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   $%< ]/]HOL-Analysis:threads=6elapsed=353.149cpu=1800.992gc=81.184factor=5.107zXZִF! U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjk zC>8V\ܹ[8X(;QBxTA l˒: G,QUEZ(V,(Mp{ڍVfajǾMiBMv4h}X)+Wc@WSU1~W=]UCuxuʲq7:|RH#:t+\(q9O@ «]nQOG略2PdW2q-?1U֜۟W|}BԦ uN~%G:"<{Ņ\e&V%l!v6%SG>@qx'? BtLֽL)h@ƻW pQJk$ ̓}?tQ5ӄ0& ReJ“⍲6kt']7Si:!kAIz=ԩQ|젱a&mC2K]"ÍM\q֙ۖ1E0[ *-}DHDK!0Oo|F“MEVɸ\R`^NRǁ9A{}Ψ1~VvNu lS̢x'A2o57zߠJsqg,|z^:[r$}HqӃnM(K~Ș힊$+J}|%\) 'Ul1.GbzfyZWˬE2,)ҋӁ\T,#!O{&!60Hn:WqBm`л^)#"vY:TtYrEhZF8k@6ú"q3/E%Mi;2OMvIiK:45^WhhnrSٛQhJAT<یCΘP[]S5kڷmXSFG|lT;\ߋj@9:7kZ`{~T) 5n:9l];x;f)e"ttyoޭyf ,Uhe@ +#I,a!j20elx>- :t)Ns#Y؇}xZ֝⋲H 0%%ȳ!e Pc'xwl8 ![XY6ĭ4?<[st;Dv`\GpN1fE [n(/LS/n֞ϟ(;9 CU3z!}L5Q:T NI'yqebSH1E~FlRI^  wAeyW\;NbiNd35JT5,'CBmElBhlH) po 8i\qa-:׹K?eܦVP?]Zk{H~디lˇغ*A\uYم[L`̻}$.Lb@ȃ3d?S'ep($n,Td#r'DB1y0[#ɫ8!!rzp)P47 i?tb鏃6r,ՙc[M !% XWy%,+oI\o['^%Xn`3E|dm?3C 0,0K\];hyQiS>>jNDݨ hQ88]a~Gilqi]k#h5|pSn[k nEu݋Ƨ`}_nڶB!d( 5GzEG۠\% ZSϸ< ,i4 2p㿧4fI=uUu`HZI>/.p?# y(R*$pDCw˷Ү0D?ez;eo@{*9jk] f5) B ]$8;O3z$a>G&4b<]T)W % HOL-Analysis  {O -WGu ƽ* <(Xz&򊾼 է9`s}mc%49~LoE(F1h0 (84p1x[ϧ,e8'F~`$g(qA ;ҖQ(;}+* ]HJ\qbp@wDwjZ델6[޵Q ?j{i$#rÝe_?-y3ltbw7c*O-!& 9qlr`>ͭ" %cQv,Yq Gu!ц׈dFsP-6n *Bȩm2<8zvEwV+~L=;7ylXn-wGۧpVL뜩'=׃)'Ǝ!%v^ΦiJqBk97%(/\pTYhR7`t1iM!2 B P?FGtT_}bc4.5Vr6Z^n>v78{ o8zS2&-RWOUGf:=,G@y 1_]Ǩ[IhM~UFe3NEf,t2hܫKzG g=\ -l! tP[=8䴰HAmABz .%O=\8zh=U;UODi TOz耑ȤqU8pK+0׮T4,N0˄n%3Ne)3j7.t A`io0MlvѶ$k{sien ˭l2AtɤO}[6ڪLU%喍6?c*C9RʔF%Ն>odhOtgj5l"fajH"Hmi.^܇jUFN9CzXx$.lZ"DkSRYi2qbc'l.oofR&WrQr->K=DA}u9܄v;?IjgȈ| ͏V¸N6 㫹~ #v >0~zA&/u>! ")fv,('t%\_k]JvCV출R<df{LGExmoW]yɌСnY'BIAa {\ l$R!poeH9 SXxUAl8 A! ^*g/X81crZ-ij^|W ^Y|]R,2r]qgvc)YSGH2Ym]i(iff CG\.t|݈6 ^~IGӴY^”`V"KCHUq+h4ȔKGh[1Bc8%rj//#_Z@JSvF=2+:<)E˔LQ1kIȰ6.'J5[gLD rp,4߬캩ݖ@ qM{ *=墓2;ZBxYl|| s1dsHB웲9\IW*BhOG5OZ!?]n*! jʲcn5n]X`D$Eՙ<_VXTnx^Ĝ,001ݭ\27֠砖 v#O׹APUŞއi't}5Է}C̱=в`}yţtr7 c+@,}c9{O {M0d3Wgr *z8`o~V /31׊Fnb,F:H&*ZN$Vj8"Όݒet%#O āDaD&TUk8C>n CajBrZ)MmARiV_^â' 0_Abʳ[ ΩAyϙ4Mҕ\FA5`Pۉ蠁CX,\jU RL0ӣqH2> @ayut8'9+&hx׈&N<&]6+dD;ZP$wgDu #;PK O&[Z>/G3u=Xo`[(r,K[RDڤN$"'VmXCt"9Y['8ቜ_<d:z ģ?Zb-a%7[*&va|(OzT3Qo.=n>  :AN8_ GZE"3qJƹ,`@/ITSXЉj|DswCY?xMW x>lc69ǔb]"[յ0 gyEuuWNY^-A|f˒51S(=U|kѐde)cP&H%=SV,kJyQo{Rgu_4jפDOyUW29},愢;}gH :?]~F7RuN>gbd#6WmZA7n xWX߰UHʔhS_Ad#_*;/|5`(ԙiM}-p%mQ+{qlbUcwCիikEW\: DN3P*-[_%aQ2ޢ];^_ry5߁E<Ծdoʲr rEjOY^]hqB6뽒F*+"`P4;OL( wFXu茷&FӜ mdf8FS&Tqz >yc)aͿ?XᚣhĖvxu"/ϜJ1_];`Kj?=I9Mth=!L%C$ h%ĕcͧvƣe(5h+@ Z-K0t8?CD[f(&ཨ GekfA9LmqSg/}B@ieю*Fmurk1 ߡH,]2ANN2vv:țk Ҍ5ZB?MöM n#v~\FX}3\?8\t-(6[ ==[ͽidh،~BW2} Yixr7k1=n5D_m\" rJ5Yh'-z$2vNf+cGh ;oi>&VU& ^8=NUՓz&%АqY^ h !HY@yq̇Hc^csuq>oZ%>C: jE:Rqxyu!n:%(ʲF,HĄAZ1+LtqRnH~.Ƈ^RGK_F{1o;s~C.OI&/o2I[ZՃYňTo@X r~U ?U'rǯĩ{.dGE> Ǽ$B1 XzO~[s)xn   }UGOQC^` R@'#**_Ӽ>.:/9 {$ʽ1 N5LYaO#Y$U[ 2.dTw&uج%XġnJZe +}ҖvkS҈?ck5^P͏DO]sHಷ>5K59հ]v,OQ㮁):yZ6Bc,Q!nɵrM)@UU@VlZV9%I$"fGN ߑ%apB|.NL/;7儴;~q-uJ:J|z[;yY|,LIrT-1!D%=u-P+!ҷ<<;w2|Cgyڎ 6MԻBQ#bj+&HHC.I^K_p Ê~R5JXm<ܩszCR+ M9[xyS`#&dw#ڢ-"t1tiirA:>TQ+ A2 i @lwnE U9VҖA5Nd+JB}i v(uЛXO%z A`l,D@{ PFÒ*|bV1Z>c¾^ v7Lz cO}^JEfo>W '^tDiz9G&_c1 0эM)ylJ*{](v~n@*aY )3/si6S:+V輠F4ʈU$Mq4=W:)=\̆ BCo(nB}+X #2v}zԳΡdhCXSt|`g3fnA^!uUZBOrϱl+H9]^ 6joCe}sˍǼg[ZxH͆2 Rgc@Iz$|zOHUAA4wID/I^ rĈSVOUk 󰅏eRUIY )b4ް}KphNe3ݕT7bbwv|K)S "}3<x/+*HL-#(HP>Idn04I)CI.֑Wdq 4+(fOpR>n EPkZDkKk'Qꬢ<\4?xƒ%>ILp.UtrE?"-g柣O'|dS_QԝSS1GuN-{-9Hgx\. =G{9`J^_͢X'o3Vd[5C 1`ifJ #i|xDHNd2\ctB0 L}fIN!80ZOH \NW@jnB msJAN| &O [`Hpޤ5 sA?\]h Љ>V\'":u.E1lwJi<[gBCًC\ľb ^EXfѥ(WUR/  RNq **{+b5oI9h=Ź%g*e Sxڷn'S3G54>w~ :R & )g|6ד󄿜;Pܲ%NJ^[Dfi4l*>3H^q _DC4c65ڪU򺧅  $ߑ##+l,1Үγo !}gE<(07VB$jcpFJ[QT*6Mrܸ l0Aǰle?%0w5:-s@\[1pv$8|F҇;Ż~ELJe2\-wHlhSZq@yT&L-Ct5k_b|РV̔c;;4%q"ʡ4,\ma~c&5UzȷO-aP^mN| s0'nkqnZ !toe\gh:|gϒzum(E3BIW+h+\A/ GLxz3x3ccgTT3(s hd D} =0yc5N=U؆h*e\R c>C wS=I5~wb\- NRgU!NJ?1sMUT!ygzYմNeoֺ1+}!֌Z+z) bn9QNΜ~} *ۀ'TOám?N ?fJH#IǏd~@uUͽ*e_C rK#S)i' F5g$SNMTs3UnՒ׽ 2k>aK"wz:wK6Y~([Wrn<SSFMObz{CVA hqes)+00B )V 2Mz4:=s[7BW8n6WM2Gl`^ DϚ%xF9y&YPhu]m=ߔF.̈́e&+O|ldSR&PY6DЋG2بP^va8 "QT*#]Ri4kE|䯽F("!lкM3.ːSܮ7@F:(,e<#" W ӲĬ?_1Ni804ږJ-L4 Wr\,~?9Ctٓz@C5@P;hܖ$ǂfѮ='bڂCH^>(R) byY6 ]t'^6`0O # ¾YaQaY)PSw5"b^ Ȅ/ ^>YN:b,,}7sxxb $k? R4LzC%rAYObbvyڦbWmk{,jRtHxwo/K+?<<6IQ5Ŀ YR>lÊt6I‡!HQkI+& CtC6l9,,%&l%EOoq+ HZ9)uᝄ6soq?UOhA%,V7Emf1?+q0Y`w]t'coM~a^j;G){xsMm "ӵb2jH^̜ :p w*Zڋ$_=2LhiH=*i=RoU@!ЯLs8fc^`ʩq( {iZpxzZȼ ^!$` qL ;󄗎MVp̼3(939?ETk{dJƅ_DZJ1ò7o]֘}ROf3!s G"Js}zKo0!UR.q)ٓ,,\2MO6z{nB n4P}q=vjss+Oze;j- OCj?{-WGuUam-͝e9Ӂ-kf Yl< };mo(6V-}.bScIpQceM ѳ&ԛXj; 2Я1TEiOp킐ޗH#AJ9cc&MSF+hOC8ybU2.lJLA'q2xWcP BFְP%Ik7n ?}L0l#;b7cS{.1:'F~q~XNhUF`7QU%Bdf2~ŶId3Ex -"RB'y; )\u6Ab}!E2*4x㧴eaZ0N2W"1L[DUq w>S7<0o36_`6tDAg Jul2yw9^>E* 1,kWܜtQw8Qyqn! 4ߩQAS%nlޛ+:6KiH#ڇ)xw=:I(d\\[c4RV_B~W/%{*eٜ F9:@^š*m;liTΤX%dc͛JPY"|ٷs~`$i}mJ1aBq?JץL%vrĽT;bƠPGd3ab!ʋއ㱛aAoOgk?f枾q]hubw"W ss>dKUjCRJ_Tf7EVNy'(ªjc#5&X+.@Ig]:+Gh.F+veDd5ڥd?DcMX1.ƥ9 Ӑ7h&:'sȞ}Q"6<5d4z@eiӃ¦7Sbr7].m$ThBVEa0}jn}skUѬe9cKFVޓ* j1$($ Y*!7Ye*@myў.)'(MM(~e C<ڳ+#КK3W6vxɔ C=π' HprWE:pzYphiԋPx~e&Sl4A+ˑ،g|ŖQb7j3,zhn /:ذ(ZQ[OH޿?L"oȁy؜zʿ1hsS]A&DT9+YRH -y;^0p :wYzC ͳe@34tw7%ݳVC.׉MXNnTׂm*p]?PoCK `+Y̦"r!v$ʧಘ)/tdnǓYp9LΈUĤ7f\1av_pp/O]ܾu Zw og;\CgZ ԓEg=FPZ|'8#DlXGB" d0i׷z?CI1xTHC  Ȏ &7(9Bo3&U[00PxpLjQu<=9H0W>bFݣV.#A) یa)~|=2t͈}8v2mcsG+e-gpWVs.7j̬{ ,[ۺԍ")H0 W O t_ȶez N p&Qբ3F1+2-VD<hvve. ?k#Oפ1p`@}q{;r |ɐC_ޚd ڞ+7t ň 5gN̍2 DL35`[oVzZYSVo]ZtN"$+jƐ"kWf#0>.OESmCe=m/ʢ939-~DL `H "UՐxXgvj4߂X{'/x6l_+b+ bU-S7g0oњKByTrVX룢Yc콓ŷ[TIsw9|*ryGnWۮ5`))NR+:sJ}c՜_E(J% nVyV^тuiqF]\(`3S* /ӧ2ZRd ԯ#2:h#C/P&u(6ݒEx4ǍIbXp '\FR]zo⦭V jѬrpOsh[y_;6ɽS:d(|4^Gq5 FΛ+4N#֯V\+J,2b\ ~@u>HG{tާ?Ji uۊ[}!"Oim9 Tg?epwt qKa s 1֚o$@  =$I-5U%r[E ʩkSmѕ`{Cc?c_X9x\K@g^sy|md1c/N@v bk-&{",SIPp=m{ތ+Kx'P)FRbw]G`5Uǭ;"4qΕ y9r_S+ϨQli0'Ez6蝬 t`.e{ddvmny4qj,{6l{؇ "FciwCEij*lXĽQKDTHE(f$$رv3d4QMqgk770(x]I=N$,Nn7qw7\w__N)q+\l#Ul('{c#]< j_퇀xRڐiRTyԶZ-"!=NT|S}Kh8k\vU;N卼}n %ҍdzu5{ğwSSb!q4|ѲD"Vk=~Q>V-O6Q/Vцo@ӼűW*뿀 | 94 h$6liTTuZȉHih7~2!!u+Bڌ'|+4ul+`Vƒe#g'@H3?K'NN: R2k?stG2BKg `\t֊$YDhq\IbQIXNP^#v{G;c+Z ?:,`#j> njй+y]bPYt$zw oDw.1`ٌETFtb6A($i \hg0s0우4!Bne$Ͷk] #=:/љٟ?HJ)1KcM{fG/^dh<)|-$mڭ9k Xʫ"WQs\:3 2'2Ex_"# 2@b: (3lt q҆9`] ¦6/ʡy c1-=i/}02BJ?*g 0+w<7ՀњY_gņZ:W@R-+ 6kbˢ)S@\4 KTFJ+v 7 2buf$FWgЩ aBHG/3Ūx-eth_rWݑqC O-rJjfAVdmXhIpwa˽t XdߙZ`kKRhdWh~+9j"RVDa Җ)(GP)̯>glgB\ G_7Wܩh6H=?ZtUc^h]m̘9<k 3!x;ᗽ%~ G+{}KӰA4<"Ċt[q?T'µG;o_#$ Qr?z_,,;#~P1pYV=뜩 \؆3)WY~oGԚv 9Z3D͎5ћa$%/9D(0~z`seNX`x%jULR-bfW#W;}:Bb\)=Z."3g"4 *ٖc ]$D0@Ju/BA#V뤅_@Ѥj |-?ϫ {?h/\sOsQwQqR䇕C|J0 b~LJ PF.vϫR4" MRORRѻjYUrFF;q”ۃCx.PQcKKSLڹcK M .{jm?b љ<5n{܁/1g0@j {jq,9r& ,Mo/&krF;`ޞ )ZIg_7VN5ƴsKHUz惔7c0$ ^Z5˅S2?Ն I@Xfq}VkKڲz!Y<6[xż1զ5+0+O~RMu{gp͉#ۼ}a=H)\P;;WW9 A0ӊq,if6%@D [,ruy|I,~ %~ܙ* Œ 3:H j(<yUq[`po)x79u\@ro8eaAbHC:` pPPG,uBB(Tp+j @`aa`ڝ`Xr3u5)qD4_R^6$ i0MbL'9]5ԇ8$P(%%J9 sS\p-N֙4P/&;+ϡt.Mwf Xͻ=o] {#1Z>Ut6H.`s >ŕLWܠ@"w/F&ąq˽H*"o,oS8=8> pᜟVC"8[f&09+,be$ٿ\.i;Tg]*(sT"3]K(hl|,K, OX0v߫^gYZ7zXZִF! ( B]ŗXiɟ1˦r!cHkMeBd4>c1Ƅ 5@nPCNk@$ۑYaNZkOۛcIamM电$ [K6\ΚX:`󑠄l{UXH|R-nd2ebZ3z-sNENG~*no'nR}t}i_bZdU] F~\)H B@ؤm6H Q77aoʁ`% 2jcׇSTyDRЭI \?R#|?5chJpE2vg, cfA ] eѠ~츘!}ґ#,)|0h~⫝̸V3^~ R~S2V:Eo='<9"jtZƨ?OE 8|OAjL:ʐΠb$\yqVԒp.V}mH'͵P:dJBoy-WZ,"^V P^qa7mb".3*̖M9xy^w8/MH_ gPq?E+}kp<]Vnǚk2sEV&E(C̟i؏pW7 (yK)ִ$:o l.Ny|ϵFîfwJΪ,{[ ꄕܦPƥO9I>zjtl.P3:onܿw1tr*%EXTJt˼yRNFOBcR1QkRؐ7_-?+ۖηw-6{?۰N j:0B^[N{{f!H&<=Pn_V2BY܋ʄ6)FnL\˝Ks*{9C4V;=׿FMxN0O_c.BJ&\FRQm{-4fBjp띏s?-Bi)v(w%,~tX' ݗD୦`Ĵo-ܯ]A4~sĈ0̹p8պٱhi+`26o9g\ I%\$G0rqz5ÀJ\@F|N8i$?PkA4gDT⚪&I3k+t~ {gOxV9WSۅI+%M !uoAM"p WB&'= 0?7kMu@$"$'T f(FL:  ._X~Ue\vҔ+ o4 6:>'42uP~)aG{_#_% 3 ڢC4lό$o(׼ ѯ$C fAn!n|ĺP!i9S,Om#3o6z^F-r|1(muy oS&K?xHDI/*KPr10RHf^q(Tם4siz;yPZ 9d;X`ʣl0r ~MOia7hT8>ɚgF*  u8 ég)ymiRgA(#htl:āo^(p0,&SEac@v6n5u+ЊHKɆ3Xݫ5s[ YwܓQ3YtxVwˉΘk )>b /a)֡)¦D5hX;:aѵRH~ۄ9L]{j5V~ g`{*a\0cQb J4̶kpf@OrM l'iӇA G%OI 9af7Γ"Ьrsnu&Қ-1{B~ɣ^n}G 7U̷iky]_ܾe{UO$q=$4n&Lak#V]sRnT)mR^YhQ&! Xoetŝ* e @&d7ip ,q==4P`h{VkJ!@1#1<#@nq ̿c7n 59a=Lw7֚x6ٜXs;ڋ"ʦ=%&P?˳b]2GBltETwSY`!;L 82S.!VGK2 % ,b;>yLҋ]"N1܂"G:hJCR}}eN|\1{[eo<:𽗂w 6N8 KyntpV *<^6hb1%zzsYoBRvkg F|TMWz j"4nĵaM[F z[wK>7 |0_O^V5:o AwVLsvB$&:oX8EกCT7Kn/"H"TܣHu609hٷL9dہnD; 8 ]3<(d"(ӓDyKM-Y f<Ś0uhؠHm Xw6slQ<>ppjr}dH91hWT8 \=̄~NL7i VMʮ#2DbY?xP@jhϪ1~[ǂ EwJ\cp[lo+| јfrwnذl.I!lՆwmiƴ׾IK8hRwGNul$>vH`K[wܕ,c:ͩ-c3]S߯j,l4r̸)$Mj,2A܏";%IXnuTcHpvY3|ќQ/;@eܭ|o+p]3fY8eƗz+nT=]b&-TYΊ2ۘ$eL<( ^r(D7=1Ra(sTE{#b/^3YD?o3RF|2y$pbSJY=1M ظ݉?SON:LhK$V"7=}0:pexQ Tj h4\ eZ/2a׻7>~GJ`77,kp5at;䈩yv@_Wq< _]älRKzskT@n؟%w i^W@K}fI9F,κFx,?vKt#{A*u_;qb 3D^'ӐMC)S:$<4ALLfG>L{)X1vu_gY0Mϣ_oO6ZI^J3MZڵ7%=EKM  2#uvCDU LX(ޣp8ZєB>G׮G#g"I*OD:N9jF)H-;S׋t 꿿=lmh vf!;|~p х`#5+rZbWUęT"E+/&wgGAƋy72h,s{ Kk*g߂op9 礷GU9d@35$ƿ`FL1Qfǂ/{B{UmpE-KSX6T<[)ڶ̻doCj:pG+PiףgrP8oS>%gd lI!~uXi/0NЎ%^S|xA'Vk aɠjzV>8b}?ypz 0Sg}C- YrvpJuoo7L~I{.=,]mr!hk/e D܁ xi_9go^ŗxG:=wDYۚ6tҙ]lyV#BS>Ȉn39Mh M^66wxk;) ipa/ȅiy2wVv7炰dBSNdLlp׌ Yn0Qk|  /y7BUf4#d1pb3WZD*%O՜VlS 0HtC~\/)xj}Z1zTT#'sc}c>[u>dC(]В5~ c޺+%(00-:V6> phx)[~~_|GÛ)9joTL @`,Qtֈg%~B`}^ywjBWT-Z؟37I7hubDziP$jU"$J0!-W#bB, d[{jnxmg;1*T ɁFNo3Zoȥ:ޭsčXnӿEݯ3*F4dȱ R$:|R,,o|Mew+.3UqR J1ZCۋc!32pe*);h~Aʡt,YJW;uWHq)HuIؓ'D}g̫mȒCRe[&y&"{}szZ-x2.. >7~%w!WJbŽ6MT7Iuu|.5lJ H92T.3[M{d>b}6JB>K!Qɶɷdj6I$'% *D8f_噗%d+=>Pb-B*10H]{0#,{"вH>E8%//;B܀^MAYj{I _< TYsW:mK43zt"j{* QĨSeRYpFta׋\(S.FrepC*ڜYҺl癄Mʵr! f)u;>yJV9aDfjw[hP}9)6,x[D+}fERm#6^M.{Bޢ_ݔ׮+C8Lnf?B]Z4d`'e- ^WhkHU\tjeLOfWqu!*ȶ>׽=EDO nVP4\ֵv/+T,KFۑzlj|Hn!{J0t{=߁aTO窏,CRp N$A\ўpCv*ntCDɺ&sf@ډCn#FcI{\!5NJmAVrOq4#W O4|7:4 Z/xljZ1^Y4k_۔Ҝ W>U&3OD}b ֊ݜA<eatrJsڧ1Rẍv4]lt ?0r(/MDmMHp*4mVa[V˥&{Ș阇1$s )-< 0S<: ,R{d0hP-Ь4ꍿ-*2`tX 1TcSt5?j>~G%mcЗ,;'{YkK)8ncګmz&*;W2ƉܔPqi 8=Z V`&ŝıX(~%odbtR\YE;t&hZ\5VeQ?9?^k,˭MIS+kL˸Aۯi A"՞Ec(T2<%>_ U~Hc[>#Ę a^[o=:~>Ƽi_Y\{/ t-R`Zb{(o}i|9e¶}9n5q:)Hc. hZsof9ċŤ*#pW\~zuɩti٭H-VC7zmf6Ycs`WpIxJ> Hww&޼MG"ŻaUWӹ_(ĂyrձLgqZxd*,ϊަ c %ies$n<9-#2eɸ-؍Aa5" Õr~6Ǣ #j/{ir}ܸ90 *hT|zc٪ю( jЄ$L=q^ %-i}NȚ̠P9zsCYl|!ϽHl;0Q04_o7ydwTIQCX 21&E{ 云KU&[4׊ac`ZZ*x'h"Ue@YUa,8WC p|.`w [V2EӵC˄ ]z5uBBe.U௖ŮsUҰ9H,s7Yhz=zŅi"$awQ~D5C$4l5](R;&R+t$)Fg<: ֑Wv$ 5<j!"4- ISTO 1Z_70ou8=%f\Zd0J λ>\!$tp|On"1P@O=ࣁUUPyC+-C*hpj;)4zzo>~HZC"\ 9)ߺQp0TƨԊwmZsH6S7B@?^O3 dы 1l1QG:5 { ͻ$O|3oO8ZPvM@x|q,a5e8;QbR4>e,`J[ЍջoA@WwoHz-݁zE 1Al ?ٽ[?뒡H6`#ǓKhj%]u4 );\@ @~Mݝ%5RsDCgR8yjB#뀅c7:~Y#i6 C5D")e١"{d)`t~ Ȇ{H=P xjpMJ0ߊ.r;xl_'_*I'L@ g5;K_T#aVmxvl)pf3TO$mI :͔CF~YQie /k*(W{.c0Vd#`= WDBɪJ)IGq?K{V;-' GȞKǦoWJH4N܄\DgcZyAQ:35W<=D7[$T|<bv# 19x{ wئq-S{ vNGU:6jB7eG锁:P'sX8bZ͸0&VCרZFC d,`P$]?r`Y93)!z%Oy 剢k7 ;mV";Aٮ\u5bdCYa><48 lN:Ţqq(Q_rsEpꚏEox/tL~WCfkx뒮bqrDB3T%_:Z 6x0j?Ykb?FKShAXH֚-H\%3ʝ vi$6VNW8Z: 744ڽk gd y}]ʠPV;]IGdyKBט`Z =\*-ǝt#R )v,|UPPNk,QjJBc\=^J`3D7wr,qnXB4+3WN eK^59R4\B fB#A ]PdXl jE3k:r=G$@6<bwAy4jœʮ_1vn>AHL  ~H4+PٻwM6KiB˄'ҍ)1bDD:ri]Zu 48#s14-:BS w IUáOy!@Qv\V%B:~ުC@7Gf HR8da]E~NL3Z/W" 'PtWeY+Ti1f4AAmUHD {/(V)y'fs'Os H`k[F#MڽwHܲ`ktzxf ;RNh_45 /<%G™byjZꕇL i͜H vduT؛)?eļw8cJ;^q;JkR+鲸`M[t!˩쮓gC4".46v(X{\D6@b8" -gvIYTmSMϕ;@ֽk̃*>քʳ, w`s' |`UͿ|,f_4lnfr j" .'Zq]l}!V;ׁi=4)_Vptc1M*+u`3:D=1TfZV cD2,>m m7z^s BctP&\-!ãk6R%+VFG4}K7>x*T#1109N P/ltoZ{*{&44C@ޑ3(̌F +-:}Ԕy[0p\f(bḊHA2:#yqj= ֏-?x۠%W(BPmt$yyύ;huf|zr+`Lh7D P}~BKOxK k̲T M]lL6ԭ^-I;lC(.%Z=O|=Gk1'0?+6Fҥw_{GKy2;s3Ug2W#pNY` dBqTQ'<^ż{wUEv蠷2%T( 7nn~e /ؚ2poNrB -u#%i_wj =z1J0Go1v3Re^@w&] 1$FWwBP'ۊ.$e)ҺЦ%{_=X bL9(Ρ[Tr(g 9d=?hGq8"R5t U#$nOEᡣHGPo>嵑A7Tg<wRW|";(2BfMf]w(+P5WY[/,(^SB!퓛u-T&9p룉F_TZ({ }Wkk\.ѶGWwfhI/SVyvlhխ!B[7vjH10Fc"14eqB)Gt9'K/⒳K+_9*Fjyйf#BDMGtdV E/ZpĀAއ?ߓGPI΋gLsNݹk%q \@[ރ OxX\|ȁ1I ~׳['1H"^Gc7(LًW%p5 Hٳ/aWrڈsH)\{oxnK{ ` G}fl .*j$oDvIEJ[KZ+n x&T`|$Q7 ?DX _oc.S0zUZ߆7l9)i.]Qg7tlXd8#TOP?ݗP/$ws&t{9|!rU 0#?d!!9U` mp)J5c 9]d$3([8Nf넏lm;} col.V]]uu}*&5>cRxmYdP]ڇ1Li jEL[V/T 4 8cbe| Sj5YOk>v~8i!:0LQ91ӣr.i&_isRVhXAJ;%3xX$ԓN;*S!Esh2PʤY'q!\+rf]*s9 r~*;lꆽ%H %3tÉ֣os~1 =s%\YMyZ-0m7`p8a m'NsF(>ϲ*f c~再j]U8Ԧm՘FiD٤r/JL*ئw *W4DE'?BdR |Hp%IS!K.nv1%t7xqY;T4eB,pBf*)( efx.tqI]sg~CU69ԕ}(/pwzWJxBהEjO4Ja.]iSw{7 1hO4 XJ w.YQ16"rQ~ԕoF W3<3*<@pܟׂ۪5N`/,V\n!z'x$# {ȿ>z`D*`WNO; ~R* v~vIq*F"JGDAGu#t,e},cMm"syt{+r=~Qnk `b5u%^*wÄӞ_5o72*dsL}lN38T`,BsR3}[7M3]yNُ`k! c6Tb Ezg |$G ?-=@$ d dk@Z)eݱAILet0P"o\ksGP:\0®^{KMKqlY!RN,yi1P<1y)SdWb;z 8[^O=zH}jؑEB 5L EwaoN=UGV5H-& 4%/~"%0b2 BH_"k.U~D뭭Ky !Bw4KpKaa  *oDBF\%8xnA ҎBF!χn^W;6/8pRX7;/udo@jd)2f0_*kL ~Ov8)ehf+R[t{ʠi:7}<ҺDb0ƻbǚʂtrqZKO P"zɫ5Jdt_lyU%'GVWȺQ)(1D&n\%=^n;uSH=~"3\kMZ?}Y<9LjE+ i PąyiJukKA+p;#m$qBsb`;)?!ӝ3&ïzacvxj=x5C?-<G1~49Y7W8AJG([w S؍``VoM[TnT@´G?dĮGUQ|fщܤ YɧŅcR֦=TwRT7Pyc~[8d90JUL~ޖ dR-&C|[NWw1lehoo" OAŞqjy<sG+/CRv8JbIO?M }n렯KkrO|yfJC8 S"y~0N"50TרoZ/"By- *jy;>I(E{o-7~ѳ,,8@Ǵ9vֻB;1Ɗ 7p^RtL]0c0}e%Mt6#.*H~60e88($&B.mX[M3Ά~!`pvxjenlND**^⮴#pj#:5(]:_źeqWl9I4]4Md0!|cg4+6lm"ы\Tij6ﺼ"q.p\|E"uK)i.b`i=s.E<=RGS*(ؔPu7(-Ύ_h@#!~ `w_y]w92\L-OD=|JxBL\z G . %9<^׃QOz cr*E>gC3ob(x (kY 4̬ \<ǔ͚>VA1xDN`;2/B;A#k FY>ZCg5Nⶃ8TYކ~6Q@ ˄a2n@sg* FX`5{coKxjE\)H]`=m<faZJ&Ner&^FK 3 }΅<lofwQ;Q.}>imOVʡX09bR{L  `Iڄ\+J/c! |7"&;Y0̘#Bӈs4sS=?J5oNOm)Lg'sr] 3L};;"C5gT6e;wH%z󗡒<"1㖆+ c9Ux\yQtDlg_1FǞB% >p@V7;2D00y4Z窰hTKr&n㰔M5%n&,P&&_pMwqp5H}ic^ddPe_pRG;))Kbk<L.B 6iڈ-e˝b1ViTZ[kỷmhávy몕7v{ߘ6g]Ą( y 0{%SfBՁ>O+[dP$8bM^E7 n`GZN%lL*:AaiR2C4~0!$& ٌjHѼ#$-# طO=e7%ΓG)_yV\R$Q U | p9ʹ^hEďwbcHASD248XߧVNsф߫3G i~WP˙a]ҏ^TvX⓾ү"?i:_9^ROqQ CSIcO flOL ˆ[s3o)4G%H-oыzU"e9Ӡ婤\$Qw|ܕe9h״$گ!̥l4IsI nBW E?P%K= kҤDL2*8̔,(.C|u8~wuMq!鲈֣MPX~jQm08tw7@K~v]jUjArQ:~su{JdN50.qgʷ ɤ[HS (zơS/nǘ}UEHvI[f q%_RrXy&6;#.h}n8s;t qITt]`+k 0yz&K#@9KyZ l{n{N>I}>&3zW 6)B1su_Ռ*7wIgzިUY)C[N>"%s;Ayr$_&Ұ>/ym:y"52RSK1 ] G}2׼4 w-r>R'^5ȇ ;D'9IE@_UPbIYr8V*̢O^"oMy:P77s,ߔ5>ƜA[W,NL?<7~f-d<d2\qz^r2L\!| 3y@WC!储_ן6ϝtxqۦTk4Lc\26UKеD3ߊH&Cj@Qf$9Ͷ)BDtcCq㖪I7ٔ=8H= 8l[22ثE Vu5pE"jI&$}C}tQA}yQ!* -e0Bj)&Ԋszzjc]YKVP`I۬3 RjWp+C1[Aj3]Sa< ұr0l9SЅEy'ߣ1FP8$ʨy\>{Oܿgϔ8 f uK w6Zt4 h1['􈥚[mv$SQ ZKjɩӽ[A'ʥ(ʁ+0Z ^JsS{. ۙV-hxi )‡?.khՄٕG%Sn7 }HМPc Tӣg}ae19%=Ҩ)i1m;4x͕sЄZ(@G'iX$Mx(^ :s!'wHbd;H\zr* ]!V{wHb[oas׽Zpbk>=u[;(E(3l6)0yJ F8!7D9NJfc~| N\~R 2V>C%8H;G+c|@.$a dC MlfLb+ӒA/TY' j-|G{qMoHEQpԅBfHOq9Yt{]t$0ȻUeJ6c.=Z%.93.SRF=ŠƗ*QRT_O厔/ >a߰P} #D;.-ZU"G(/Dd& J{YAmW]IuP4Ou7s>x4 LP ,4>d|_?B! FEv v!#*u{dC|A\2!"5kg>R-3)@iݐ;} 8[x]3(P#8{I" |;r5W.*dlNXz#W-Uɺgev`˃~ Z]U $s*6лƦ HsVЇ5\BAFp葞 g|']_` WB#+RLa?xJ#j '6EbD%y T 8ASdMBGtzﺠhn[&&؂DOp3 &1hRf} 'WyaZ| fsxnbcdHn\ ]X)L+BSu-6Ej[TtI9EA۹ќA7Xo{Hxn.nҾP,Hhт5Q*>8S&bvpEZt}($1aϖ"?͏uPxsgڞtžG{iϮ^ Sfqҹz5-Š#_3x\},/Mxc|Q̅vf>1e¨l /o5~w@>Vf?64ZUԡkQYX4#̽Bjcp+WZu4z$+*u5Zր=3/ʨ-k>HHUl}r$0>UOZK[I ayh >2%% Q7OYxb:SŘ.IgHOMCޙ%t#z7N(83N@Кz}ɀ݇!+G+mM8l}qrw%Q`,Қ#?d5.|#U·C$7ԀӺ{E[ t iс~|\t(|^7f5{'ٴQh'.5f3]i! 걟 ="E*~GDt2l? &k\Uww}$CjXjct8 lwmJ3%*)0߼1Fu"w "rmƤ['[}Gū>>Yo^e<j:EX;b5p|jfZ 6fDN3|&Xe J/'WF3\< U ]ΊR`=eD/ElaTAt$knkQ7)^u? ]K>)˽4/^Q]ܒi)Ԫ㈠ r^dv)gX! т3XA34|rw։ӄLŇ I[y$ڛ[~;&O_cRʡع/%,^!FI\n,ݻAod,z\&Xꬸ+вuDiJmy2g#hP\95:Cr(;7mv@=Wg^#!2qiSgX;K٥i]xoQ `ߋ @k&Fv>+ J D,k]*'X:!:e VtdkrOmJox 68Km*%b ^9{[=/2f2VMI@ZVzC6kmTzՐZ@K"SHQDtAC2ŠZnU'U[mNuvl0M7yP K[Q[4뼇Xԟ¤I*y 77˫(vk;v Ghx7y.h>A2wеJz;9p:pȁ*UHhF  _8Wk1WN;|'+3&qH2y ^<2'ҍqyc 8NO:9 G.c|ClOFی9,1eU'Qw1m[Vv8 [  P<4 EkVPT(!]onW%$(x܇ G.#+gْ?nK:c1Q:eMTn9KF{+V*Y{ƣz+&QC@\Vro͉ǀ_YiO *-;\>P#? ;\gP\}0{AbA/3QsJkI[aPY[5yŊrGC$)ήEꓼs`u4}Md$Qoϫe[PƷ@sXgZ"Wyϧ3pH"6ũ[I9m<mB2zHգ!s'gNWr5@A~zaKe>NmDpsٻ8ޡ%}Q50@Oqe~;5FxFF0z[WNNYCk@N?Zg!F`VF0]R8Wёp;3g ׬꺐2M&==UxԳ0 ./Wvf׺Ҩ8`c&Ff$pŚ"eyEԚN.0LD]Ois7 W93?׃].7j6&]`ی`~lVW+oGP<3eŒ.WZhmjJBV:~X0+g{UHJy2ɜx1|ܙՔ'&BNC.gMFe- p +Z w4 @<!˼OP$։koŐ "49͐y). X* N<"5kSuIYjW1πғY^jz^))WZ;i3?0ٹ3 ku0ce;U[ B ?S1Ag 2ア䛷2'?:^޴l O jR0ĕQyi򡭜+!U؛֏JDoc<7:n]Mڇ;}zC.slSlvP'}s{>ZF!,Bv)C P_]_(Znd?wIyG#TJY.FM8&[՚*Z_VSGDE;ϭX_Mn瘕ל--TEoypB /"XA׷gg `/):19mghG:0qQ'S jmi7c8?}IbLI{?Xt,fJ2,= vE^/Lqe]C)%&SY0P0e;txP*H`zCp71lq۫d1$ϏDĎ 'x8q:|&g(pRq~ZCm]~ӨW;J7RoY[Q!|K2]!~[01R;fBvZt4sm7 1=眧v'Iql#7*йEGcT r\dv*~i:C:lgR[8:[ uHW鼨ιמ!|Q 492`Kt9:Y9lևJ`l3xz"eO L/ siM3zxJ 8Dȁq}/7s^u}Qweu6d(Bfͫ)#p=nʃ#|ZQה5T"+N|C'w\ 4ȰT$CFvv{k@nיa-W|wݲNF$ψUK.Ax&0ߎ$EQʹ h،eH:E|._9 jje= K^ ,= ՄcnCFaqL*UdgQvLeĥ6v/`B9PZ63ᱦ nnJa߭JA(iry]Kn`=KyuDM$!G,sP6N :4veEgOUO쳧LRj0 :z:יQ29υ-^PjdU9}_NYC}6.pGר!㗑-rx2AHhAL~ 3+IвM3_,m]m_Q$p7ha&owmo|^wzChj1Hi/_̣Dc)4މ[w_̐nhp,)MZ";\f_uf':^G AސW >"kRosE| yC`|$Zȇ=coYrWmlhj0hm;M4߃H)fGL$r:tDxQ.<NWݟ7f^`)ʩq=G~3nl)YdID%$ۅёS6Kw.$<*!?{֓""Jm Ah zOdƏkϜId^_gE{ @D L\uF\O d-k.ZtuѪ@IJy!? j7v)0Ti Ճd !w7ԕd+8O0)1X\A9]wcJP9;K\s/PPگ[b/lwdPk;W2!p7}=,>.F"G{_6aJ :WD4^]76dDSc0򖏎#?ݡOqi\ z*PkU\*ɉz`x( XT:ѫ cHLIԸ`z[eְ:esd-KusEwG1s\4b͸Q1dko+M.Xsw^e!qrjO׳OTȺc^o)Ciiֺ q4@o>D ~@A~ (6-5vp䡡Wk 5{ Mrsmmtu#Nף[GtcLZ:u@'O??HJ 4$sJN[M$nG!Wa[1HY_Ù ѣe>WNlSd!N_cpW7PA iIYPܙ9޵zuZp[#GU;r]Cu~~ J`N-R`O"yгe ~ؚNNZ-msA?P1^X 2.xUUGFk E#Ō+QXɵA(H |Sx+K&e~E](\#QDċNnv(mq6~,N.*И;vi8ŸZA]Nc{Q Uh%:In,=e , BX&f̍1]Wu.XCqLC9fa&& ֏EJ ?l̴ໜj>b [oC@eHdAaT<0\dͦjL]^=׀|WOJ}q3h"ֲn x$J(AοPx׻VOCzG hc߶˕Oë>ںh`lȌ1N*IRJ y@ib#&=^X؄;-w HY; \l`5M.X'7Y;X{_gV 1ȨhQ cL%Bv{Y;w+NrYIOe&b9 TJ0:I;WinfQ2sg \̹Fh_t JK__gv:Ԥx '69L1jqHYo\ fV)T%LGdIzR"qJ2xC+\TQ!]͘Uʴl!ժ+2QA@3M1N$9%s8ٳHg 8ΠpZYZRﺷk׏$ꓵ׳q!X*[t:Mhx6b:Z$} ћ=)ERq_YO >9 U@Yxλv0pBN1F/4/"wk޿y*N`6YˈIconQ0 ;28[|-LqY4I3\ S|25\?ˤY028dXZILZ^yp+XBNQkOODaf9˖q7=Wu!2d<Đb l q˅h"nR4?{W1?psӡ)%^,K<^OEg1l)fJ*ĥ,dPغ[>{qL( <ćmveGP8 ek=~T.)yCQht`.lؑ 5at6ⴘ׶ 2ZóFz!Zɩl!#i%Pd7Ds(+XeI좎BO. E'q6܌^dSGYo׷sbNէ $ܦ?K5x!Ϥ œJ Czd|,Alv#<!̈́ uߕJm|D|,bR`.ˌ-FV}n,nei9g|s\6s>ow4ܖ R?e[^4Rٖtk )c_ | 8CGz*g7GifFsӀX3h *=uΚ>;+f*9gaONTnގ1v^)aSƿe Ip@Gկwڲٓ>("0X!!!>ʡ?L`W0`#cB]svDoR3h%E4,X&E7VR5.j  DFpY&QMWWBᝆvJo[ӕ5" u!"q'(é=̝Eގ"Ʃ(W8Gݑs]ٗ祓¸ cB˫|Hӈ (?T؃mj|F:Eo]? vs!k/j| X-`MM\AI;QDl%D ~D{NH" cɀW"T@H`Zy?5p$mIh葶 x%e_T>SィK޻MA_+,@TrV]ͳICV@0̔x~a )efFx״cZ*Q=%nshCGìd'')>+⛑QF|,t\ޫ|r=UZ.51Iw-bFM%3F{ ~܌H0^v@c.KZ.2sNDe@a˩18eEeiL65׸dpe5Y|u~{h<y$[KM}XE2“PNv2M1,a4EgP/?uP<7FaNP\L|X_`^%eG͋6my'}J꼅=ě'TaQ,w ?m^'rl>ok,KZ BJzsHܱZ2M"״k/ThiC`_кl+E"fh* *5!ځ.wgfc>. .ѝ.3rDj=Z#N.o4pw[1G@oOPØN/)N@]~Kk -YHUB t9"092ŢE 㴕!QY1?hDʏ-6Ҩ)I ej6]jt@,c8Ur<ض57 |'!wR2Zڏd7C6_̀/[AwcL pOgi@J+Eq:cA&W]oN^=_9=D T[r&?94+hU|(.SR[g|zAqgzHm$WA T#(>;}"fTRv7΁L]_ \SoP!>CȊvisN,h)ɞK7}C$CL@ .WeU (-Ɠ0+ayFF Z_vJq[")Ĉu'<==8;0STJϮA։r㉐@n;@^%; 㜢w]\bf}6S#pݕV;QC: ]Qnek;UĨ 尋xS޸hGW[ Mm\P~Av('!'AAaVh3 :WY윮PAX㼸R 2ŚIֿ[b|/RQuӋq%r}`"q b!<I7Pr=@ mh;vސ|m$8YӧZv᪮vKX0c};+haAELrJMS`gwВ*,Ydcf״6PB7$%7{GN SQ"Iq3\1'\v䤀)J=jͭ$Z M +{[ex\tR@!q\@od`=R8xili9FU%AhN6CRs_thXel${zh> jUC!=2)4l"c 65Dó>&mZw@ _M`