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 c#x|4$ ]/ PseudoHoops:threads=4elapsed=119.372cpu=166.244gc=4.5127zXZִF! !v]ŗXiɟH)0%o׺eݖi (C-f+|<;V\U}knɥ\9SU|Zm݅Zv+7Q v鄆.ؑzѓ>گ~иA#YC&oiNl"dՀJDt@ ֕f2%w(oaɾR^jfWw nq9Ǭ19w"gCIhwwCVz t 1xE u_lf]{̣ۧI!P:}e}>]$a)o.V̐ c_\".z7=990P/M3&.Y[m,Ԓ1{&N;Oprd޽h"{4|ǸO5EF *K?{W}b2l)b S=-PrSGmScs&Tf2(L9ٝh-̖b~o}3ȵ xHFxX^0=bzb-:6y< {;[Ы~ dhк- <9AƝuwe m|f^:BzBl&,qP BvZN-O4'Gm/_}aZ5HQAaSfb۞+YS8C z9Сy^dϸb "{# \#)F]K2sbXJZz K`rD!=1g=[QUlі5^uXqqgc.qO~2.s)lG$CA))" #SoCqʠ(D_`@hEeR(!JP~O<PX # PseudoHoops   WO?8$hj/Ǒ"mOXH InEl'1sI;0_]P3^7'`pDAEP [`I_CT"WMOp}m0%pcU݉_]+8\Q{mכmtB*tΰUe?GV裆T/umag]rRKMAF 9jW.)F M[9PKf1liblQG*>X,߷t?vdjzxZ2!G)*|Լ쏅%:#ї8a7,qZ]}To?h+W]~C:VԒH'MW.J8s'9Rr[n[PuҪу:DiۄO& ㆂ Wz;4ۄl!5Ɍ00.aGSZ@?͝2V=nÍXu9CE~|mic)Ž)qBr۫>OL*%*8J),wUȶw䭜 lDH[~ښbJ?+6K !8 6(gr`et ֯tYOω K"Q ¡e/rA{R]ǟ~ti=7Һ|'۳~8i\LB[e4V`Q7y¶ͱG?m"rv|29]BXښbE4}GNa3Tx/x2>Fu^Etʈ'/cVŘZqbq?_9&O1P|92lZ8NM4")#s4[ZЯZ!d'a0OЕlbMhӭO"hj\T@";a'75bF%e3>VA37g~v;Gx%|t "GsEY\V3'ۃ?Z֞E0gYRf2s"U'R??C tT]~{`wЫK2`WIi4@$\]MǵkRAʨӄBx̬W噸p;,ؙg HJ91 X)nʮǣ.rʕXmuuӪX;ڑEiIqNux)ۉw]tto e_\p N/\thDwhrM E40)jKt#2a}5~-Y,-P{YDٛJÌ ԹF @`OX"$&Yi="P8*|.47]>ވz}3h#sDJz&]t q)9;}+ 寴&9H %;{ JP&5HYKõ"v#N\eDmwp)*ϘpFqu+h6gg~`GXbmR4Z\+iZ oFv˽ޘ ǮzX{$"HRXB,)L>1%&^{@Pbh VUxҧv-Ï8L!7aC)2D_ЃR]3GT1 ZJ10jXg T t/%T\cDU᳨8 ,x 91?s>r1Y4/=W~xZO;Iii5o7cACH] fuk,~7a+w2YBdHɧ~Ϲ24IhklCC^71gaO%tLDjSӅ {#Pζ FEX2u>+vPkf"_3U02*W >|tprGHgE4=_O,5`{c,vG_ި\iA"{^-HK Ս&tbH Ʒhkꬂ왾+viݍ<y8E]vBːglWm. _FaJ,M2T)sse[_.ԘI*0QL>|s ؟=~맜:BY"TRBy!2V0F4 ded4q m )a_Mq<]]?]h!s | Ì^'@~tg 0Yױ(a V׋c՝vfVHHG##R;9K!8'?J v *;;PJ9{q<̣idʚH_&x}GǠ͔@6@zX';s ::bWC/0ZqjЕ\_ R5&)[r՞^-ݎMJ't=G@ϭUuCK"ys46}v&{@bi }9{)к+__Q@ l* ȴb/ xZ2i$#1/.67jI_BI׏\| +a ظO`6,t^*b="ifms8hWP>"T"~*)/<_6Ry&Ql1ށnBDl^٧Xvdv&xn".USlv8a/)OA<,UW*f'jzk w9Vi֔'gDC\E;u0SK)'v-iXw)PBX?I20:ۣ}04wqW;h je<U-nU2ɦ | E`\J8 Iw_@}*mŕBe|JYNN^ 1h]fn>t֝rL)@RNhj#w*U9ٔ(!4N,{(aA_:濚#;zW3>1fv[T97Y+Wt[̑t`׈ q$hbBjWw/Pi3lP RG9.Ӛb$OX9 pX=oMGV\{^|<Q_"JKZd)W-([bؼHb0 Ś^p3t߄_3t)ګoVz6$yT7+y4U/>ԋ#RB^[JC :ͣr![Жo.͕V3,GVo4Bߧ@Yqw=P#þqt6B^Pp UDxmxN-jg6R鬫^-+,T(x 5;WB|4s'(}yQ3Ow/+2ko(nSҲBNiS!5*/,?ClWn(xZP٪$Je/]%f(]"2Q׷ꍮg]D5d& eO3%1:g"kFV$}Z*S Z@.!%!ld~ks3pmg>'ι?-_ݚNLgnz &"ubGrIjVmZxJ1:dr\:|X<D;a2A}'K`$j2k6P NuBN[76Mt."5p?;27^9QWtT9z?Xw3zią2h=U^*  |55|7We}pޛ聓B_*v^ f}@Z_i!EՌ9AM*b~w' q e %T[CKx:+'4GƼ:C)苌d65 tCYnY52vաkΈ@nk?AjZ,%G;[*}~ 4ic0"dqNc[u5~hi&QyK * eZժʼn,Nr ?Vg!CF?]O%P\Hp1 +[^eD>l6Y^}O=1C:fg 6gܘzvaKXv0zjobU+O_uӿpր<%p5 ł''(H=t&;yCa8c s3R 6K$9nCP% z%JwS( R!O>w{jj1#XYfIcr F;8l$o3 )z+MCIjF+!Vh!R䵊|rv{`!= [`BoSlf?{E{vy\/V?gHG΃ߡ@0Yl06Ц1CrAD*OOi ,$g!LQD0THh?dQZ>8\٤T,G_Bs|X u Ii,LT hHA30%c֍TG7"!H=i &I_kɮE,aŗjW!0 2WJ? +pD kt:? N1zptBU\5ӌ=a=fcul'DΤd^6@ {va'ֽ4ݔZpǥۉ,:%QLh&ЍrNvB Y:QC:O_4W1ㄢB/.>SgWT}{gQDgaÍ'Xuol0P'JPzf[{ $d˸R2O{vzi/1Br}?eڢ!>2= &Q+lڊAv5h Y <W>a>NĴ*_*)|/t+(FsDӉDfbR,n'4`;lXDUIBKca;؞wEW1v-/ojK&l9 ̆F_R f+3qX|_@ Y-ُl)!V.IegϨ/'50 p\l?N\_FE"$֗t7T6Xrŗm `vb oອvcUF1AuOŽs%HF*-0)Yi@9ˮ=,c3$abFLfͶOs-W L 7׫mP1LI/Cc/(J[>wJ;#9~%9.Iz&i:̇j&Z|ElhMAX2O:7\HE-c--;̗Y[CX@>r;/8i*lh ?Ov9%wLľ_i ӉW_-08iU4Iydߣ))F?g*qG.貄j]EB+(U48:߽NJe5)*P\NV3D_zo*ߢ ,'aH|tTbnuODza}%}LN]^1bo{z^wM|E\o42knO-'.|%A-,,jy"Q%%PMAĮa4C?R1WBTkg;W̭ f 7>Q_󢠑iQc3-xAK50,&qxYNR?=.{B!r0j?UU7ȿeiY"`a /d ֮i(Y 79 \#Йґ .T(?E35w{y¯j'n|4ӡQ d3&ӯ\YQz|_prKPf-F 2#Cpݱ!z;P#[-8FЯM*rg\] 8}v_e99G8锆5ί*}RusvԉlZNc7.+ d}J#W)PԷ(zYcq{ ԐDwX/ƒ)͞p *Hʮ{lIy`pcƈwe.Ve};"#zЇP(¯?@xt.y[Lb#w|Qm$m=0qSj6=J,i|?◹.xp⩯Eɱ@}pOnV 3tbHMY!s1^b'4=ӭ KZaecL~#H }tX*at`-UxZ蹍t[! Q0ݚ: \y|. oہm򽍒Y쫪76w!CzAᲚ9?Hq0 |Ϳk0GF.Ŋ9[3.{ 7<I:|`JؖP`٤ ,DjC~EB=5$̨wk$8N޼쾭PK+-y^!{-ϹG,2g"fjj |}-rS -8|l"f.~nP] Xm@ [[yQ$IHF٦0f>ia5x`cfTF\ydWSݠu㭵6`zgϿq]tO2E@>rBsj&D5U ,r<) W!eb8]g<-e.bYY2<vTpEfE!^.o3/¨t^[ ~Cmzv3]@ ]W O6RI;uԭ8]e?} =KLd`զV0;r'*̘ĿF;'B0~L[<빱n3aM)5FwZqseo'%zZ h+7@M5~l-9uSs3$%+zs4x3,+/]u{̓]AL;mR"سsCF;KvR6O'izEǺ*NUF͝3jk#yTzz~RPhC~C(cZ> CNt`?\X{)픨5V(T֗bQԥ$Cڐtn VQ#_(Gbun0xM+1a%y^ѳȗT7EҢ!O]}o_>q>l.M9@<'Od6զ/EVJuwc drK3Lq '9okb ,B`HFa/p80:̙6e1nyȪ  YM ꞁ8̗dժh ;huw 7G{&77XO[F"Cx500q*wЈWKRE: WB=)˂~- )wc'' T>B3T m(HO?˰#Α6r8YA QrY6-}8LA0xp%e֒nφ.g״5>1l=s[+vP{<\~Yf髢(Epm ^%kܱ&} C{Ĩw:1Cauiz}6QUl.I쮆cI~Ν<@G宜@#GR\yWx "U<+”QF0Sԝ+i_P)(>XO83Z98)>{p[-XL-}ukVuؽHDZ"m:[^mLn+ׁyfb<==&++ڇU=L/ɥpSZx09$Uc_#5wsn>(ރv1)pANjPQ4?~L?FOԑ}}8HT_,R]m4ˑڑ3~p۬k<)=uҲqy,PX a0#L4ᑺҦDeϫP;D\;SQ6gcH('W!,O,iyodTdL .(MSyZ)MIM}gloAWS_dKUtϻhb{œV t2+F/co U)#t„kkl\7k G6OtUa," ZKeMbآH-PNN|֗*U 9 / º jx|B]n44vZE AmTJ6P7IB#A[*/ \sm7 IrWRC%7zθjJk7,? 8 ɵp+g]蠶u~ʸD-QQn7 Uk3NKFEc7[٪Jrqix6ff9"Vf-w[4LK|J,5"P\u^孋8b>`{(`&8<`OjV](js=;W:u~h$RJŸRxK A=68BlZʒF@}/.&̜!гrF2:!)pR JNa@Ǽ:+̲Qmia#&25"d20hMC@Pi[0z4C#f1c8vܨ٬:w4D$}#rb ciҘ[q#V'6 Щ/ Y,?Q@3\ @awDnYKyt-S<:on_y ;&Ԭ@ @ \(im =  X$1 JaD1EyȆ)wq,#ibWC1&/ xvQA>WO61.qZܠţ|-:EM4c'?, _NE}Fx.jNγx)c:vl`͋-Z['t T~_zaiN)PwD9ؚ*ՑۆW !=e[%b&66~ 8YJ\DM&a7tC/[*!n&%UO +$sGnvnZM7O0e ]˞ mwg9+NO9.lK?ãߵƬ`jScK, DV]jh`9ݹC^!r/;~o9'BL- uNj%hqH_;9<{;1 *z:oYڧ'MS 5~M) 0[G{䋏`6C_\[ K&mVi1x3ayJ>;^iӖa:~Y=wXAΰi'fjVX'Gͅxa5V__-Vs/N&7_ jA]i\$ ȹCgz h@r&_G@ vxJ~圱@8لт_ :(]Y'tk{pG)yΫM>O?N+26}֝Uǣ ixJT4`ieI"F4^:(%?=8f<5DS\-*͛bPdpVcZ3ews ش aJнZt ukS? )qMb+-nYQ59d iVD\4+x$APD{ n#' NsQ%\{ 6L>2L}nPtyXݖ.R~o.Xx~k?9 ;7Z! DL R"6Zs%G{_ڙf//th}qmNCM~gkOX8N(4V{Bw+(EUl I{pҾRsqZ=YYa\0twhqs fȇL4p6yoI`Bd}]xu$MO'߰ȑ lgp !r3i4+9z1m$} sO*+U YwWjM[!}DQ -ͣ}?Y>F lj}fڑ޻W+ث",7㛆,)θtj~^9/Y㠆<Dr[rU%VʴNOI@ǟ[*8eEZjl{P¥ KL= -i_M}է9!z1~srs&πl4 7oq ^B#z|o#ḯBP1:ndLg[~0ۗ=Ki_}57G3YlwN;AtH5}T]{tdxC{IqIKdw#ش2o[)?5s+׻>b֪VMābT$H'VvI,D'صS7eʤz ~|~] -.s1'ta#o_rF $Yxwy,$j삼K^NEH PȟdJjRB ;#Sq57@!MF]?(Vm7Sm,ڪw+|\"DŸ&Ւ0'<=7$,Y,ρaF?0SOAUjNL~I-TYH=l#|0ra>hD\6(=g'bl \dɖ]TTQ_b?y%&T/u3-)2|Rjp>ߪH z%A<40\qKHDUYf4f4--swl!4}2TtϢ+ 6ŧBOvy1()8HH%AAZo`ޡF{)h2 OAx+j90 {}bcNZ`jdtL,rKDqxw$+6 H2m1K|H ̹,*Ҥꌂ WƬ^3g+ o"2ܫN3Lucs^䥔E*K+-&yl"Sw .S(ǓP\[(>eZ2>~| J`3A=ɿ*GzVV ZLFO7 yM+VSQ ~2=+p$ǒ[jxOヲB| }$BFTlH>9 YAoL,؏96;Lïbs/µTi?W: Q#nbd@_"4^UWS,Axd`4EBbkǫ$+ xt RR6X|֟‘yJ<أ_Sܛ}IC)(pŒNz'-pQrv#Hag㞿zTigT47쿇íW0kfQ;AYm}jKG{ }QM\ǾzkӨY\69.\:K5wSE[o; FM6 ;mUv2FL PF0u5UeHGD!FX^ٻ)N6WHpZdayU(eԪ&FA{XndzZ\'tk^)vnWpj^[d]T6,PO|@+P 7t~;ȔQ5@Wu~i0zqnw6AI͸\8‹\< ɹOzIi"W!GHS(bXh ,2*5UÝn'o%K# 7$9C**5iAt``< %œK}W4#&z뒱 kq4cG ]QM}Ҽ6! JŃS~QZΏRJ O]2=.!'wI9#2NPjwy fg:~8KA,Sм \E8++-hM:͕XJmZn\zYGheZ|M @y[E  {]ug_F$XZY(덴b4ܡ:F_}ۺHN|Hovltdz㖨m:S;+ёYrwLJd 9Ω $6r)&2aI ~H&(KAv=Qg' nL4'5cLz!0c8 ۠-l5Mђ< e*#?6 PC?gNGdr4] /K޲z$sH"!)/c>;P-X^4FIDUPПXIN鞪85 =Y"9U/cW7 xga%z~o7 mG.=3&͛( SV,jC4Srz&J)^ \X7zE;qRXKޗlANS!BU jD8le2^x bwJ&D?mYwHz"2Ȗ |~ZF 1,䧬qۦT6:}mA񔢜C| Atީ۾12 e J3'xMֲ$# %ΐ`d@uިng+ @yyw=ꅩn>閕W$N&\wÁG؏~hE)U2άe ]֓X 詵g\=e{ _3L/Zc>0X .ΙC{UGvbUA0^:Yרzq6KdA3"̖< VխxS6/Ȼ6ɞԵgrњ& /Ŧ_Me2pfW;, aMd2' | ǡK0):.Um 0lB oj_zSq)gɂd?b/vp%1b/hޢ\2|  gk"Kjh;œW=2~? }H_^tsW'PsSV=T8֒AmSテ \?m%> ~^gE9ޅ"{@hZ8Ú(4V"4D`ItfP07VvÑPyIВprN8ό*{Q8`kv/=M`m')7]APc= 1C޺E?k{ ulnZ 6VeIן!*ԊWH2$W.JEzP2XUK6cv&8P~(J~,crnBp~W'uYQBX7{[V4G3Eq^}ՎJ !yǧ_Jqw)ld>ZoLǐAPL#^BHf6 mɅXglE͘H-"OçYy1!0k]~S tp'Y,`Pk(KԞ8C #|c$6+"7pX-u0: VC$/Hu VrCNI|*[:=%zR$[d߸1"SS"lN$/JuƎIzcFx8Kn[oDkV$8mOԂuݛ sg'ࠥ_!&ކvı\tX),W2RlS0v2GS(^v4#J\M%=. Vf#hBq+L JrtĄ?I#B 4N]%$5pQ]Qpu#cQ>\e:v 6f"D)GYOf?pY4lՒ@abc86 !ن$RAdhlrфNN?xK8 E"chy=?7`H.h[zfP83rnOfGKn$Q Zhb;$ r˽ЀؙmF|; 'ЗZ9 L$=kFV@3^љ$sǕcTYI; }TU>TZ*)Wv=RD^2^b?Zo:hLoj}mkT{zlSM}S7wbiEMR3菍<XfA)Dž0bR4o]VQXiO^NS  maJ4ywBlv$CiT&qnsO}_mL) =R͆"L9S>ܴ]_"4Oy4Zl 1â!۩mehG2QԷBBK/3(V՜g^svZ>^ qg+pr(eQ'2Dȶ()3*Y:1V/]P;d7x>(OTp@đ'}l#HP%粞%pÿD20؃XʼnOnJHUF`z3.~W臾jLy0I&>YA4uJ ,?ePLj'7r>f6ɜҘQUοR-HbXqֽ+*lB՟3G)OWx_QAB!LZٮƨWS}wTi ōf>vvЦtI݈_v+0w,e:v /2S-$hl`E:ej\.ϐ۟g^͆6ALKNs[ՐU"&{,8@Mj ۣ2T剶STQ0Rۑ[nوVqw_<*y`iњN z$K$ŽF`Ju٩]vNT.k1PB'K$}ܐ tZ[A%BvF_F{8{GVi/= TD|bkwB:Jc?]ѾfgJn:稜ނձ۾1Y;9]DT~EJCu(l@1h2b7w8ӬM4Ntw!EhD8e[PaeގzpzbR0g5XxVQEF#C2ǀ>}[.~D/O\TDLwTgMotdi t+xI}*7#!7\T\'Je m0; OS¡~J,I:Hq)hxjy;<n|.`}eȘ;F!B+Ok3uK 2C 6Pm>#C#N3(`z7&6Rzgƥj-L?~ r#LDs߁xSQGGuV%W )zqQ>߄ ћ|KhzBoZk e\Y_ciB26#eȵK;e2*5RF ;P~̌Tɖ?!ґ߆ڡQȠ7^#Mmh v8u`I C4>Ֆ0*6J/2Uk %eab®$fCG5zmZ6gE6sߝ8viBnH缇cppPSa5$$*?"U)SmRZٱʀR<҅$sW͌l[eg.(#(%3%8ŀwuK E/|K{Unz?;@Ǻ9b_#A(;.["AGOJ"֐+t65JFt7f(|@v8%UTr~YͬC_HBE;D8E\/G}-E]%]AVJqjt/f/H@~ U2zjJk>сԖ>0]gs<$wS9.þLaIcN my{P{_ٗo3ᆧ^-\Lӄ5ZV flԐenB %C2A- P hpB 'o=(/68807Do+W1fDb]_-dFٲTTT b?%ꖏ}(T|ejA +B)hy7,4>'N@xZz`7=ʓqxc,8đH7,q DNh75Wgc8kc>LHd0;&&T\3J7m\mc6$#9lq^Sk՛*K&#Yc詿GUoͱ+Fo2ezSs{vr:\ _d# S%3yn1(J3IǦ%]J3@ u^Ͼ ?;_͵3ZNFq̱MNu!.pڍ|C̵IY[""5qq=4oe%bpV'W4ܑ3 XSH@R|t3% 2d3Zz䀑z-00ܫ-< DrN)2ߩ߭>Noi~4mh`B{қ5K"%烞lrzdV/'|'21RKɰC/7eT^?'p)AԻL$$ ]7Ǘ +"/=;V4ID<\ wCʒhS| cIM}1$_|4Z$LA!M#&8?.ybb!1yʇʦPɕd[lZ{ {=nlc"+lDLV!JsY\|8ihl;8jΑb "Dw'S5TQA``k"G+[KO1rL9] ~ U+ $O&Z(؝ K0DĴp3L &ܐ@ ^T}#IT\Xr(՚O>ݙrv:m\4-RXw:gKw\_nW|[ ç(k$/Ywl'uŲkIAt9 jK~IFrc Q{¢k$Q6E4cd'OmcAcz4|i Op0z*!.5<% 3cޏ_yuzԲ̂\~SZpoNjKlĻgl1X`dncwU-&_H6 T :HT\FS<L"3v0-ҟ ˉ%:]O)9V0qMeu׺<,+>Oiܒq"47rǩơry:G=`G[o{?' 'ݠpʆXz3&X4&F>E4cI#D!nJss<ݩp'_…I5_|&Oڶ3-h`Bb fgyeEAcF~@`?Swwz^YQ<3@ې` rDas@/" Ks4NǶUw $Ey[C詊bI?4}7̀InR$PrVʒm*%z9r&!Up_Kѫ! ڌ{Px.t]x`1]P?HMp*7E!oYF2ӌ5Xطj2A_z.My=o6E&|3z@jK'?FG4 PLzTw[QD~qIvG!D4r"e9nb)%aji[6aȸ:A4d2J~F b6?qꟁuޅV> CL zo 6&SR2(A^h%c@z66\ؾ/aD*n\׼TnH+[-Im㨦jF 5[VAU%`gǔҼ l~1OBij u1>;υ9 2F5+y.:b>$㝋LrWGP4QuqCT)WN'iZO]`ڱ&wl M럷_8ʩ׼MHwX]Dh/!-o/P<|<һTsY#1obsDiig.:v{ cbGyoѾ z=ԇ<ձX /xI?ie"mDcFH:@'~jEkd^!z be ~+czߎe2OTublݲ &zX\Mo6/8:\!(_~R>997RsL$ܔ Sc@ 'r fҳ]Gp"sR 좶mzw%t*ZsLDŽ6\3'EBD~\C} " X U=͞‡&xsGTW(E[( FVZ_rde *IcS]-Q@ۍ϶!%l~L9!`[Mӯz=SGd CVz`PVXKdN&4w*S^/'ө OqpJr:8iZBL"@qv4t[#YV^>"M+sSS.q71|WQF*e(D ^>^ޢ?V]2)[O>WwZ4➎.`]٤k(NweShM4k}ĿX ډ`ArI\r$ Ƹ&Ө\6"՛eC\KͶgcm28E0?)rjJ_m`5or1d#NWPYd&.pxgI<{q=#E1 8\^\rOjA)c63G,.>'̧z~MԧW+--Tf•sݔ dXŸ4ԊΛ} >0O(s)0x{=d\]הyMdbj-x랶y;.>_K4J.ayiS;!q6-Qx"M2h9x vtЊ~`puY]_Y}YW(zĄا`d5[y+ ] O/HfS ^n { ўϫ |>,:bI(?i` %ːуfӡRC"@-n-[:  wZP̸z=`Zkg4fsMzw |p[7 Xna%>IT="(}MMfu! Zڥ7>zϾX;XxLGh*\;f:%-Wck%_; s൹9C 4Sg6.4t @oe[t_Qa4CYꪐ="F*qLLbW"P95uB']Ǣ k\'-}v,C0?ݢi-XABc߃O֟_&bU?fTkL8󒬎i]u8RVKixl N$´?ޜm{a"yxL`"zQ"Jy'/i>{8 /_?-l"(/r6(Fn|$"H 8;IEu;:AtN|g:@i~hCݮ_pi{hw2oa5Ud}2oz%Y 9r=߯CZ8-<^#׍c7bӘ Ra:bzln,+D̓9ѠҸFPQs]$+(1wuKCl/bQu2$XT,#`p̅۔]CxK+5)y=6VT?#Ա\6o1@ 1n6_l\8I:_V~H2E+/)33d ~iY.΅%fi!3  Ӂ`}6Er_k/ vQ.ݲ5$lNބ*@WߜUe&48VSVՈ=/@wiGh d?5O=MΫvF' ! .HG]+ocsuvTU 1?SFS.BGK;|‹FQ ILjT)X@F[:X֩NjpwQRcLziRm_֤֛_w&b薢Dnz1]Jp {p/S+H;tfqcg # O;hC(Z]je=q+m|z9 &qwC 3"kҳm 45o^ LglF Ӌ7RT\ $yPlASϪ'%K ە_!OӄѨ]]|{>#$,O8arUO=_Fok$*N7Wɾl&4uf|>cE f@4F_S/HX6喇\ bɨ6"_X4:8k@Ŏ5l+Vj^g y](r$YXj^k[]6ggys/Ͻzdk^z}U5hy˵5cyvOe4@5o趌GnN Y,+p3 :7EhtBqfX׹"g#l +Nh.V8{u<ō"Hl)Lj?p1wp<2ye4oh؏A#$,U+V*S=6npQ8{ # :Sx{ֿȼ,WlMJ.0^ F1no'`kP 9Ŕ?j> 5pmg@Ak_'H>к(kmZ h#jP_}vi e>J;khX j.rt6m@LpM5/ _QpEC AYOy$e4=&qAa{y TscHM\9h@{ƭb0T*tR^k\yS(Wg̠`=F2, m3gw[KHpn2%<%lcfܻC)ejİ.ڶ?~/AԢ*g;.2 *̦ {P)(ЋUҳ386{7 ]}|Gv! s '&_'өufGåa^yN| ,/yG"!} dw9JU>SѥN2[Lbv]t5>B9y;HS6mP#0(|x!oLVQxӼ{t#l ?AÝD?!{@xtگ?'!1eLއcx6^$D@fjȤ|8c?ڃY7*0@/Q!EXH6}Vt- #h 3k6J+Kó=e{p {('Voo''(=y ՑZ(;S7!ӯf'yꎝ *`lL&@kܕAc{r]_NH]~ߴq9"%(W6V іS, 4' eP ݆jI(1_yH̏`(aTjn`O)ގָG툑R!/d%XcxѲ{8*.*k;_1Q3+"Ƙ ƀR d|"wV{>NJ?+1U !RE N3n<zC ź 2C73j9/)]o*%ʌ`r61ssK-N(E꽢s /Y' 9VLcswԩ G ٺ(QPG&)RUbZ/`e꾙{R+<$m( (7GndrkIRIn7A&^htn_g櫗G`%R#{Fc5>q2h]WDa-3Bs9?-cH܀{WY[ mo*{)_*0 dz;y1a7V7i\[6yNRj` S:Kv>tG걮N}wj`]nlrt`[:(ܞ+P S&'no1q"y.\׀_>fcC_&k|l; q%5?%=I65\jv {"3ԙ?LTÕ JJJ$xbe+C~/jZ9xHx͋xn#Šڶ &Wt@־tA[sZL H5K[!괣y︗~wO$k\S񿠻41 :%`uL(45c\w2⎸i>LWҠlC6 #(@=X~YDa{֎^%\(8 asȓc9ff,Y@g<$%OTT_+nqVX zpöe MX-bb喇鲥?p1sd&#Nk9"px\UʪAu:;iHjQvL5Q+%3:qi|吩:qɀ@[=k:6 e(Z1h̳i0L^%?tlq%PTy}(ڱXQtXtun\Jct.oߚeP/] X'm{)›gd)+jC\ͫ" D1H`*~YRPQ(hoD9Aϋn_!]j?7KDxI ۻ8+\CDqAEg.mE*.o:q3",9ؒ~[#BUA03>DFBv4q}Rt)PH}(9J@@09:urt :y389OxVxIcC[P=׋Y_Zln=iOfVFZ&)4mwE)sܽrtvRpߨϹrތJ)XǙ0'f&~sg3-K`{boKǨ'u9ϓJ ^3Rs2VhtOӐYW[RYuzDQ_bӂȸig o`dp:,ٔSP. ʼn\*& be6 1&^ZJFȊOE"^c|C[b&Կn•+5X%V{O|be/TO\ 6*R ,1j??$EU"r( Ƥ>y8D)˟H^BWFFʹB`^*IGDO$Z` =/027n,18 *Tvtҷ7Gsf4˨IS<'0QA!m|ke#ΞKC{C&vpA= % +lYg2Ȗyd4dExtR 2ʍ4D *xm ƤsUOz>a:{^;GtޯzЎ_;`?eஸC;y)crL^I!7{IA,^Xl4&s#j3ỏBr,?3` V< |#*8Q%Lo)3 [3=+B'öqiLF^Xe977S˯h\C(5y7<{ET|H^0FսŏSݬ9Y(7=%Ycj?0.0vC&%ik]B:o*ir2c >!@, 1 'yVWH.U;Q9w\-/?.d-Ru4=Q@OB/%=U.MWm]ş m`V]*5{; rZU>0`~?>?a+i`Nw1 T"8y\_ e`%yoN=5,GM&F]NGSTfo&-jQyot9F5 , K(}UD\qL85~OVzg l~k&ݒ+Фw&p.&cG)]gh>>qr B'O&R 2H ^.ǽy Hw7 nb^m8X{րsk^=r)jj`|BOz[ )yA-!h@9ZNB9e+"< woDHFSY9kWOʐ$|s.Zonm!I= =ZS E鷊vݠ֡w7qMZ x6>\hl꫒ 4i]wZT+3-<VRATpESoPh3:}KsZSe9Ȅ춣Նq_T-Ĝדou_aBa4{!Y5_~z"C`bp؀!Xtq`&m(N5q4KkzH&cH \`}f~Sn /q=S%Y0m^&n3vqLZTtt6:amWl[ns 0U&yGz//2O4u=gdPǾ{s< ͱ+GHp3o *;B)!KF)e2ff4Ռ W*yy^~t`+.|䰜m9;hSEՙXn4͡ShyB$գ#@fj#7WFtfo_֭6֗_L5{PG!#YikVWlPGp|;ߔL\&Kj?k_w²4:W:: "bT ϰG,ˬ4i-26vO})׽Ȥ*`^Q2a-J+ [Ԛ+_Oz`v<+u9 NTNiAS?.̞A\l#I᭞)g TS6t2_PS,ZOs'GbX_fj.y!io sRY2|ŊqH ,YHzK^+Yec*\I9~vv3CY&(x5/{uEB+˲Yglf;k~~D^hld:ו4}~bu%l%l(jџpSH\@VdizMQ]=7VcXէȒQ ɤάBо_h[ #sO2-^&Dz3x!RVQXPnji.bs!Kh+fxKio9]>QV髡&k8P0E2p漚K<593Nw%BJ/Km ɯ(xBnwC~FsYQE)?QGN>%a(Sx Z6&ۿn2'{ b=P˽"'GL,XRZ\_|`QL% KF~\dJp?jp]-7DlcQR9Ly<5|]tbyП&iǷGJhG=\j73QZ'ќתּL'Mz\k:n4B= ,mvYI>&bB6:G )x@b(G"LZi8z[|{}W|]1-a"yJI!"h-#ziVG9Շ?^Ȉ=^Y,jS_ΟsŬ('>9 otե~څg/m(njTսKԩTuRM(Z:u~^(Ա+s3`T\2^1&vS!q%U-HoG<RgA ϠCe؁Bu6G>-jX96lNNa ÿCxuHT6{F{ė(&wV !sÓj6heNDE#,ƞn|?cDW˖Vp;g4, mS¤'z|L*,٨wY~{Z5S 9sqOqE8v@ЖUF'x`G2}| W[2fq#Aixx$6xr<ńAtS։hh u>V_SXeBSZqBC*8]J^9ú'nB4X81\wl${FՔ_Nu-Ȑ-fvk̅I>HU*vk'=p Iȯ8%B/jM8!V tI@Bx0j:$0g(xkU;dvix7=gV\"~p/8EQ6oZ"XQZ̝Ƭ4+QDf A^DBpd7ǕNf FG@A[d0 ٧I MFǚpaZ4 b*D߱+Õ\)=ϲ2q cwGzCډ*h 萮[m4 ҜU+!6+EP~z =7N$Mu-D91y!-w†zԛ%em|6MѾ;:ND}?c(p*Nm:gU :X(LtV:E iꇯMjT{D'#(Q4L@i&Jv{FkM~pЀM=?N T+1$+T=kZ? 95"Of kV \HsKĖذwh|W|?OU>gpz8[u]gI~Y*=@ɀfoJ4bܤV7mm`m'~H}IVLT9w{P7L4 [CX"<|qEA2eԾBHq ix?ctm(t{V do麸|ٙ QCtGpz ggBꁑPag.w,jl+WGX{fRF 7 b9/uu^D"#8>/`N)1ύ\w,[d틹yX^VD1'$⪀٘kz)s&hj1i1V͌N^U?\.wZGÞB2՞ESl=ՠ>Ne>**eEp:?5Á{:7_lT㌄Fu;*jXW4{>QB^IM"ʙ_R:WlOrub -,j?"7jq]7 G*5OpaIEͫ$7Zmi*Уq:L릴CѼ4hxr)]cP.Xb$:8UJ~wZPTNRY3(8|m(o(MXsxyViW5LȦ~هՈՋ-x, (W 1-$ueFyxs uKDDGQ1E ?H}s;T\,jp1ዻGYO3_P+F~&"ަ5t 0LLJ# ]%Jhk"z1sŐB _CVxT >) Md$E#vuef9CC's-Q&ޘRvLkctGHs^ө|[4* ;k;b: K0C뿎pҞf+cƵS\iz@MҬ ^Pa4jKi׸{0BxUß'-RMSl`S k  watgUW,#h|c et+z5 _בj^3J1_KΟՀ2d"2m)B@jbߴ0jX" ^̓ą7,Nw|jq-j܂Np"j7'Fy#"_=;,"SD9<5mL+8'rhggξCet.噵R@ sUfB`*`,n1_U'K'Wx<ajs,:/ZQwUXւjD}sd)y'B` 2Sc5Xj̍\ nSYGTES?+q¯"h!{^e>xV am.rOo[RQF"w}Jk;=xxId}L<>Arnf[F_CxCTyQa.qp4Ǝ֜1kwN:m/ɣ;UX'B`+&H^db=92vM;ɑ^FP|ŅIkf\!RaphN>Şzcʚb=!\ǔqe@#fYˌ;`fޫhTzq?,]@㨓32I*OMբ$GQ(1S񭂳~ D{ [q||@FQ%x5i:pN̷~#UmZI'i-4}"XSE3{9ԅŨcP\'-WMR(JRHcR ~-@r=OQsTVDl.Q=֭CDo`*2L4ӵz/`ZtFQYJsy%AT-1͚qbŠoi&ͩo%RvԇMvNWq|cTMjrW6JІx冲[}ub)X=+֤VlS"9:Xsa<D7T7aSlH+sPKo Z; *|%"[-[iq0ezJ/mɶDT_v4,`gϴW܅ʈL ɮq蜛Yr8sb,q|RG^ȠW`f?cY+'닯?<ڣY[rϻyhµRi3NUS=eZ^u;9%8^ZA?ETGN2`$XV L}$y,A)qcIs>zztEK8d|r>1ԐшNQ'$JOPc?oWE?2%j>f: Fg55 y`TG"9ݱf)AzUq*d>߇M"p!_yl{C)t!~Yuok: GW7ZFIj<U{ AUz ^/K̳})Sk`;,Tm`&]ح㕙nG$IAc%D ŕZvATDU2UAP{F$LJOUXkAkrG>RJI3_I _Wfu\PNO(M Bgֱ+C7XC?.}Rڜ0Ek4t=ϐ]q&>Y`l!Ϲ0%sP]v-<қ::rgDMˬb:~S'd`bG(זLC,s 6˟qq\N%[vhݳ SOmFK\G)m)a-fqpC{J?E H 4l` kj67(:#8:qjy  .cC;0E_H^` ݭcSi^cz4`xSȶ&K8tڳ@}- :R]4V'`1~W</Hb msޡm]B ﮩ|x0qȁuA%¦ rI]֒p }i]N0@~VF0 It?xK!6&JOYPs-ۭń;1g1ov[Dl7V6ϰMg|}T"?sLХig)#Au1x>ʴ- ߱,*/W{\f'~qSCԠV\2]p 2JM{)4{Ⱥ-;D8(pab *5͊{ )#>U 7p7m7=[,M}RPhKSSѪPS*ω:Q<)B|uPG/rMuj`fBIcgpѤ*65zR@Cy"hJʲS:`=FRE8<pnR͋mlWH" 'Ua?F mJMyw?:g(jUT5vYy lɹbpqNPs',:6qwucMSlƎ'?ٌ`Fy>ǹ):56IfP󻵙 YN$LiכU\+.4 㬇:!;v4nQ(N]PB@x'z[VI$[}z^}esNm)#$sKs"YcvʸQ} sTx+\=Btl L ?cebC/ul0HhַKt47{T-ꢈWKʑ2P$F!ޛ``F־`.>J^b_i xV=}Prx*[ .TT1HFFT9c,ecM{Hxf / ҽhlU;7G؂5 J\3d\B:9y 6#]y ):/QʺUgUibcޏبC@JxI$ &7e)f@|%$BBvyUQawDYdH6koA#WRv}5%t3 DMHYA펨Y%q¬]$x-1x?^h;90.@~hm_OECb/RGijVMw&3tz[)qȱoA"k >gGiBlphx«]O4-=E;(6[춬[{X4T{w+<03CNSfƘq1)cYhe$'A}=eoR2-!ceH)b(x=(iD׽1&12L@j`͑_Y .\3isQ~:0VLBU x1oaEBOc+,- H19mO5 'fmk~TB?-JR3',]Swm4cלyW:@;j'"&) A-@r64sȷ{RrH9 5-{6߿Efbl@!HxC?\Ä̮́R@iJ~+&MEDpn64 ̘T":!vF^詀y #gB՘JB)Ncdut\QC:obwa o4cӚRIQqJB:~5).+!4Ԏ/ܕ">")_w/+;iV5^yLeqc$ 85ʃǤ:Q #[dD{'P4_qb>P(j._L e@sОJ]i( S5|ͲCܝ?73"%ҷaa0C0 ?rz<ʊz.Yƣ|?G&>i]I! a0I}Oݓ^cE \T>[Qs\y: VV#b ]6̧E`7}0_"kav7B¢K?pUr'lK|-qSo3V*{쮫3p CZwx ,e̤~߀VdKxf~T '@9<)\,IRH, GN!K3aNPcAN>S40h3&~|zR4[ ېOZjU hїvy3,4m,Z̘dꡙjqQj+X[1t/b3eb\sgd}/3薯C|P6Syfx&o+ M 'g]sQ+m)闇EKNp-ަHF7Z"`ЂzergB L$k^s}SRW4p.X61 o2ij6\m qZCUGKyX[wB%La/3D01}z 1Hn}H91{"'z26^95V\.q6d!$M(x ԿR|Vg|8 %T{{B{p6ryJ*Ю|_l8L}v;s j%j 003|Z(Ʌm&^c+A4| ? O|'FgJcPT\wTc^ =&y\>|˞whbShy B$l%O=>[KMS(9O﬎gv w*$!4-"dxbq̩Ok*0ŵ1R1__~C]bRɼC)e*A!wΫ)L gGT,ayEy9,Oda[ΖQ['C= ++- r=&#WTuK~,b͏G8rD,١HpQZhx8Z*7 ,V̤=]7YFKr/, ϝ=tNs~X 6ZUWM9WNUPw@Hw4TKB?-&]k YiքGU ssw`WC==(K8K9p gAeY؝ YIڮՑ^"D!Vg$GKo;}GơX` <@_3@pc6I/#'=cdA"Q~Ko}Ъ|y^rZ)o~N)WRs O5g"ulF:_{"q-AB!NQ)rFRe10zST Y+W|YA $ϱ88y4 6+6/Z'rB'a2(ܕq7aSwSC}*x.זz(U^4 3"saYIl@=l :橢 ~܋vd yCJ fMכ"xfzti4jUVd 94lFRGm W{zɽ4NHd{M?ڙ}ˑ0AxHr9ء k FL7%,*Ԏz $<.%-eb  ߄|hԲC:1>Sk~veq[Q{Q"׭ UvK;\)Ot[F;Q|N|hqܒ5#9!玥 Һ x0zkq~pOVOq7'gYZdd90f506e3a728d47c0a91106f96b75ad047e02f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535