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 xxP!<\| ]]]HOL-Proofs:threads=6elapsed=640.596cpu=1533.868gc=228.780factor=2.397zXZִF! 9]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbxQcd7Nh4c+oMqʋP1hqםX=ќQ-X|0=b~?\3NXAQ]^Ԯm\o-}"}ivCJ#0Es%MP`Hh_7wK~YfQBӭh?R@˙ oٗLn2~GWNM$Ɵ0'g^Jd:M4̄Y,[L"2! !AuAhzZP#;( a3Y "vq[m~Tw=Qdc_+xJoܦl8'8ZX΃&Қ&Aju")3)F/x/[c9ƭ9z35<'1.QB\Y{H&_eYXD̷.OoI|-^"Bmљu)j3Q&y| 8y'Gkpie}P ;$ ޮo ށԢ1&ך ؁d'zN~bksp3eٳ#עNX*/-"6KnZrwZ{nk6_^B^N! mT7Q^ PN6}+\[0\T?iυe4+~bMw Y>8|Tt+y w)-΢gאd1r,B&A-TWz9XEQqPǤ tWELut8̞3z&>Gf Y9-im?r$o>n Z'͜-R~޷|^k[{6z˸? e:_9ڙɺ޼ڻ&No>! ) k=C\` [sOV`g9oS"^9&R_A6-AIs|+pɳO4 K)ȴI@ pMh\b`]iM[hH]GRBbo=/(Wq~":hָHDdR` Q̠0h5SAW)xF !MQޢs4[aq(: Bڅa;E*fpb`4N3[Xs<Ze4*"hJr0oe +.[ó d_=HML-z-߫iy.|.<亙#i(U:KuBqbV ,fqmHӿ끘wHy.CY ]1 pDl 7|%'Y 9jJ AE\7~3na0 G=mU9 ps}wgU.*C vSli4kѡ.oЈ)  ! HOL-Proofs  @2kdEHπZVG]\\rw|U华ͣʯnUi\ f6Gmѥnc\ixt?r=T:,b`h]%W,y7R(pTV}y0O 6t^}AVކ\@?ujA-NQyr lkVO>ޛ\#|߮+n2Gx'6ة=] -iiwldA%!6VؓTZPގMN̘j4ld2'oL9ȖQIh_/}1Nǁ=h2gn1FZ_<:Ӡ<Bi%pXP' ˹B@6 :,P\j(7lxVynKzdKZUlT Sbn^9"@y:en1XAHƁ$^xck^#^bvOFQu/g "ISL Ym29ũ=ɯFgޓm!߽VT1_{aI{̓aם@X[^|ǐ^d4/qq*(]+0JqXHt"ȝ`]a4!!C!@8s=."")$`?"oA");c#"jdgH_y%Щpݾs,EwЗ8x! WWuP=4Fpy\? 0/41n([Ӡ"⥿)$O'82>s!:Rj=.{A !'U*L2:$ŕ*u#*^(W2 䚈ة-s/\li J0Y};MٲI)67n=%%zV{J HgM-/=QPZ]IUvSzK7_͉{F"$:zx2!JÆR zt;n),Vi@XrB]|'Qp/C\p耘δ24֘ETL[8ʭ{5Q.s\VJ@d[)@)]lzP*hf7QnK\rR!xd>^9 ~VĢnEQ|yb60JT1FR|/ic(]>+HfoQ3<+w0` YDѱ2&da{ٍJШdÎ!h )~3to vEiUE#Ysbp?YvûMo$2?;8 5>Gk,C\(7D*g#ۓvo$z4c ;T <ۧW.9U1̖w>G,l(E녴 z]8( r3 ׷zH5@"*M0cSǡs)CstRZx5h;>u,%xKZ)8?ML?i;!3#!}ԋU[ri'Ik&T/H *k,0W0_=5T·fV!vCLХojF)wl u uUclnQ%DGOg\@^H0!.^;hSQ}[8/ޅKPV"zMQ4 >l[Fzic˘Ѡ|}(DEWaFYV}qf2q{K' b$хOS%Eq.~Re_6Cj!fAQB-ܩl=KFz#7;3 =BӫN=OAl +Ne >V;)[1BF\P?9ߨ%^_t%'4Ve!vD?퀀To<ԇ˦Mr;~&ۂhbf˜Q`cw>9_@ڋ=]F5]Qfl]֠[K=Zp֗.hitn\s֕Ǭ]ؚBvǎ*M_3ec_GQԣu]#kRtEU1ӑT#dXn$5_Iڴ^>Je'y[8q[o !3(3eslFMalc$ {~@U.7Q8xU>uᶐ2=dh桏AD߯).e_$t Az[%!u58&::C-\`;6@)Q _[#:LV$)=[sZs,;\f6Mwf f[oJvQ_|U)ڒCBuӨ7BYBXo&\E/욵9X"9HQέz{ vtWC5AM+twG\T8pId @qkW0,fa ^Ҋ;G`dq7&AL}>68"BՑD%?]|qgJ>g՞dbg Bz͞.mKx B˷]\FZyk$ze@-P'_<k2-_z{Gܔ}`=Y..8%t5,,>Ə_.Oˡ􂟕pI]Nrd G+L΢~'|Wsf㿙Xغ8vÚPu{x&K#L}KZR7`3gYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!*X/ԳJuq5rR;V /oJʈ$V EAK}6x>FXLaBᖺ ;\bD]k ;K#{L:u5 xQIt+d2\G|%K[x8h{Y`Ba/$9 V(yre::XA*n=X<l|acKmDQ<1a]pc#T;?ӻVL=dx;ƟNwJd7c;wbF**/2`RE}SX2Ƹnϩ#uNB(q>A6#CA۟Iw%>qV/;D; 58VcصeI(Nφo7Vɵ*CVbp4:3}!~d_{ I؁L({W򖍖^ZO:d}6]*7uvݵb!ՙƂPr_ 隮:vi} qKBɾa'=3ND0Lg0woݟoXC>j>-TK)hl=bkM(¦zս3ÁAW9Ӄ%O3]]߶kvMӤl1O=9MWf·Df=Yۦn C|j<<vvG MInt,'Zؾ N ?+P[ڟId 駻E#R涤Ӈlo \y( z׫޳޽OXiK>뗑; !.Ϻ ^_wH_7ڲ87e=L*Kr}BnwYN10'@q% n[{Ϙ@>sSǚ +)=izs{}jHjw2`hSS_֙*8p݊v+%waMwuuVc4ԅ")7m}cv68 L{e/e}n4u|HfMN<˦ '$!ԮIlIFKx5iѻ(Q}"]U|)C~ch@tEu?]EdMՋί3:SfwO8ԓ+]pscMՅb Y9 l/a!ܪuGj2þ$zM%C<2Sxȣ٣-8ar:eS]Fp3$ Ąčyc;~1Wr\L,2L&u <[i JE9C01myoE^O|猧:z2L,3UJԍlr:Fs!j [r⾤lΤXlʣS`@F2hlzgYZ7zXZִF! ç]ŗXi%B|s^gp<Z+sP9Ess??Lw/k9:窝팶o_a)yNM3cf~4ɣIWe V9ŋVPٜ\1LC yɳrOcמ~`=gGL*PnR>͂?T J7!xH#Aam)B]p&ϳWe4 0֎ν v#62#|q`oC4Wo"LPAhl!N#s|s3Ԗ--,A=GWYv< ߢBXҬ| i=i,R|6@,/"v7RcL )8T1F1 ~c(lK(v\cjXʩRtH:P=!؛^6 /<>zM T%,W.})r!PQ^'M9H `يO:*=t!ݣ2)|o1 wec:=H}0noxٿ~q5zC.gBC,Gt'-?5G;E,]0?N L\'l4n^{ᔓW\PSM0HƼv㉲1Jdj QJLQUUKv=8#L1Jå˵ۓꜫ<@JQH  0 wieb5c 5.0;>EV]0X3Cgefo~ywXOk%}0%.i qHZI { ʊhEMU@]/r)aga b\Cud/X_]]_O^m@ӖʼV xs+&O?\lےzMŦ(VZR*~!ioAoK׸B|E)=FU%ٌ ROZH{Ɖ$@tBJZ߅e\^"HSF J>{\: N m6 Z$8Hbв{F児2t5VO N,F4! )! ҭ3ɽXXwyILLݤ΅T&^_Ų]XOwM7XTa|;e^|47G56=qG.[ OgU G #" kqd ]XF}Vww%p23$NBrY,7ZDp҇/Q+h|WkKoSevN 6 CcM+eءNm[zrW5 jg';t{:hnM{H.PI"O 4 伴*A)f$ڽ+SM=xd ] +|+働okwۏF~ u'1Wѩ6>TE+SE2Det]W2}we!\.n\m?$T9jZjB'ݘg#Ex `м,{XQ+KMghk=`cB.ķqz(_J@4`ζ`órtfpzT7cw^}c7=isBJW,Cg*k!xv~tlƘNlWҪEUl_UP뀡0EQ!t{<)55Y Jkg9#YF-0B#2i d&O_:8 lthr,4>+ɹTV G@ *SĊwݮa*wprRybgsy pN-zş`kJˤhX {j8WY" }]K #JLʝM5)j#*DZE/C&N7MCa$E YZ*ii8F\̺6S+ k(N%\ :t#)>#OTy(YdIM)=#:Z, m8s+ۖqTV8@KWTM FTC%\oi!ba<>l-^&gA`%hHk祜E3`yȗ4['v|]4ö(: a MGrxlWX]pR2~p*B|9-Em0?qi\Z^ϋPQz+\̔(2 1rcߘIe:lڨXKDQ7ÇzسSNBuUT>_:pa'Mg7EFœ￁I\̫sK!@]U;9饢*8?Mdj#V?̪`c Y^Q.2T!D=d-.򺶨>9ȡ`1m lq>5uw,+BtG샏߇I%79F2w,Jp.h.DS^[Xh6h8FԱJX5}=Re#woFN1s2ܭ:`xɆ"J9.R.a7UȈg2. HnE=~y59YҨkX; q}'DjJEMKK~RuO8LaD/}>n'I1N2М!LgO Q_ (.&Y_v̺ zLF ;2YlXEn4đz *<@eq@q `a"mC%*@Ty=!"Zb{y]IVIJTnN룾Aɻ͝Bf rh"@ˬ-WFhxlSsXN,kHN(m B>wdo3C [_+aZlc |˵t SZ #_ό)\Ĵ]oW}ÄjL?O;'/A JQ<,iM 3JKgx8I% ^`u@Cd82hِ uu}(B :jёO ix8S 탮.'c:/Jbw}NIbB" [C7@8 kjZ%c9FA-;$`j(:IǒD{֥(aO2Zl0^;9X1DqLRQyR^Ug4ŝ4B&Q6cIh*2uP8i,F (LXnu2 8>b=}R.2PpD~K8%4 -#V8N 9%!\>SS#)0lGb9;) meObbc+&c/݄jSۻw]Z<"hF! f҂T?E95B&ky¯l@aR }}=5!<3fvޛ~1C_D#%θg?AnF#0AZ;]wv@'O0R!םZw;F=r9KvBµ7 Ma/7&xnWosBӁy)YǼLdYj^Njfso3YUDp'(eWȲ]eowk DE$eIF#6#?j ,?ҿ5E^4DáXQ+$gԲ4 Xh6Z}f1ZuFC#2W/~$JeGۦt}v-;ȾXp yFNcMd``+- {!]ШK48^aع6 f ߮)~4v54@$u`mFjVſiUP{AE vRqZ|M׶KԾ$q 9:۽F_*+SG~ylR NEi=i;*en&VVr 0e%{}Ĉ)V2D(M'4"eDmQ6LHC>VX J E+ _Vqma|)0\E$} HAltGx`8S`=RxvH'nS#l M@b5)bT}}US|.60Q ZW=vc`%  sGzixqšSyGL+j另{A>+؋\)4Yo9l4~NbQձEZL,SW<@;ym4ye\W=FfY5KBٳlP B.;=Edr:4%3E/Gܕj{;iT-f}zЙ`&yB9hVDA7f[j|"Ö71:,=/6Nv??_Y99%w۳LNBJeZؐZǴd%r3ݡ@Im*_ yl|@eBgC'WH#]E/$Çن(%rTSNݬdcPּr r6mny V??.W3Au#{h|'?orV(,G'ӼKM] ,/X4۶8.G5V:gq'w BGY`Zm WkPO%3aa^ྒྷ:vT҄S$+xGŀJN1 #hpl[ۇz{^;pBaFBщZ$sFsoz{vG S`"+俊7 #{* 82FxhޥC, iзT'K#1ep&o6~rsTԃvH/5VdLv=9>*^3C~|5-ihu>wĥmȍ:Z4f[U׸qRj]|Gqu-kI,(N]RҤi]baemJs[17|TY ͆.ȕ4xO}*CѾ`hyR0QULOxm'~  cIՏT 6r.I:_ )3pM <8M@hjp]"IR9QZH$<+ba?խ<P< >,8K2?4g(-,uT8M };{v_`""hٹp , atHZV"^mOe;;^y͂s*t-p-HC`L8f_P͇4^@[j8O:'MM;U"[IhxOδ ?ҚDJ!-MF٤N^c~E C.IߓX8}M(N9)@%$l<p ͡}R2!,l,s Fmi P@qbވi@zԬnkJ Tse W7)S ksXwu'1*zilὺN_-;rڒh@6gڦ5<r,f+x eURPv΂ZFA88c?M0 u i2 Mݬff%[kH:נXaׁXPFmU \6JvvƋwQj7~hm8}1hF ˘ˎzi`$ ~-l Jڦ_31p'GFn/I/XtӚ<~J+u:oWow3--Prst@X1rmVD.8i6 [z7bOmp(IZ?s-%XKz:؝#?wZTކ# |DPg|*l.SYl٫Kl c/3bHPǽĜG0 K=` 66f6cZuEE<@LJ0e{s^͡r}XQʋsUrd}%]yy'1]yMpt~+ U-| $e`-=D4Z ݆b0cfd3~Ővϥ7I#bd׵ Yw4^s\z^Nǽ R*(pOf@@FY5lL9L\(0P^>쭛`SKpeT3]! b,En L8(`Kx_qF.Dޛ[M: B5SWb .@3Dꗺ]%bI^MURZSHy#W1T`@hPxmd1ILq:3v_:H(\Mr9NdZ[=3"a" ba=}#u*?a P& [}}MqXP{o˵?(x XjWYfq+ti75}g7T'&SI䛘}7֗k\b;a{gskCu)bxEgl},]QҀjU5-2̀R%!a%4{xWE;TjHυ4hDS [ҀcVIȳg&WJ%>",VJ觇MԮʄ%r(|EwM$` ]H-wJ_ſUZ $*XD qOQ"y)~$oſD%UPZf$9bbT4MV !]o)╤J\ő @MOV@tj=CQX d 6f Q]p;1Ds)*-AzFv&[w ii,`TM {SPW{U};4> lǚnn_aMv H;i8lt!3:9.s]%`C9[ &ۆ6juDDoN\zj&Yޙ4X ;IY3AV520\_MvLD?_ # 5QsW6s1QjgkH^bHCPtWh`ilz>>(u\t1w3yk25!O94ME7G `ǣ0^5tBA 7 c5Lx{Gg O[jӫ _־7{A:޺W[{*9yݺ-鸏dpq&y4P&{y*{׶Os#j(y<8c 7]&v&P|Ni g> j@-ꁢZ1Tď*4I{b#ej(g؃Pv593h█'Jj2rf5U`UJ&@`"J|免yАc߸ o 51 $VtpGAѱxC+Rڏy#lBuO+cro.TEi݃z.Lg P3k='Vi\+6ot09r/f 0ijS$~-;ʋC ^jh"o]!(Q8_o=xœ_Pl Zmd oܯtb~kVW.Yl)br'hVުe efpt/.kDJH!U~ _ "ڀg1a3V  )n7_o Z@7J X,xp}"SYnz<@XZ9e^H%7}ݒ>5;W,F_Wz /kt~]i·9lԡV1F#})7PDZ7E=@KbxJ\3eE`[@"QC F b| FPKKG܄H4A]=˼NJY`/"'ϼ#fљ01XL"Şx3\wlZ :hC*YxN*gf?P.FcL0-o~`aR`ebg$6Ŭd]lw{\;]4`h9)d#@^q.Ѣ=YDh"Up \:U'm0h:q)(ӐD0yV<yյ~]Nfߛ3t+ d>W`?ȭ$i2Vss":KVW )WU,+Z`[ҽ! ."k<^S*ZTV MvYN`{7yI+b;u(6[ޘ[JR;=RĘf~-FƘG"Ie_;fr.Cu%)R:"8όM#[HRS}75N\sc-9Ί@#ď֐/11j$ӢʇJNڵK*K CeA+WnXީ+A>) A<+ tkaf5.D䄂 SD0|r{%tiiÊnXg,\ߴ 8TYU SzǔFoYUp*Pgs$nȐ_spyRYdæDZHs':svb.Ax ޟ{5Y)e$>?/lޠz!,CXG⧻|Ns$ oXV7A!0vէEͤ .T.<%ln~Y;S/༾}ΛEfK~ 50 ہٲ'o}"Zַ +;9DlhB}1MJH #cOP"Nӟz}.-Suxzݼ\ ?]yA6[\}"O=SgE*fF5D(Jtփ]JO S^lztg.fEpa`Ocy '' ӣ|\;ɿ&aw*dj˧jZZ:XɲTCG.HIRrFBjNh񮮥_u(Xr8m̧rb7Ąt2NMAXݎ HiEb '#4Hml8F;sҢʝG+H0FWcYE5>&kԏcj*l@%Mb=vpɇCF4k*Ef=TŹ>3NP8YDT>}>҉-5jݍY8p^ZA. 1?fW qzC>SU{3]V*D9-eAY  3!v+; WhA +pԈoqQk}-|etae>T1 >>ݹ豋Iƙco[رܵI7OզZb^=k0g2<81~*pVnDOg*E%׸y^}􇯢NF*q^GWZQX 8We^gfe[,OV׽A1{t1Np]lIʛƄcttrOlᛜO>7pƙWOu(1<5 u\$ǯ1Է_|$[t;MD/8 -oS 2 uP^TUF~R7fK +B1?.K˄ݶ+#o!,ŚR 3cԗf3/jˮ³ږ~$2ru~[ 'D'dq_ UcrX&_(눥xAvT}Q# 8 B) n=d%vhg@S-7ZcA؂3~ HFJ<&uhJui+RX"+ߡ\TBZ] n)o` ~MIpο4Aw"o ciEV(.]BR\HƎf Cmudk h$-czA͜ !LH-R>ẍ́e9NM}N*NIze* ^tM9p׵HNȄ1`I HW{FMpf%H(e?eR1=Y""0%0/]{UUR[6ˣ a$zqUu?Dmr(:&_Y}2r)3{Xf`-S!HMkgL>L[&,I@j\ -=ϯ!WW<Ѓ%~yʜTOoR bjuW3=ꃘl I91Y43OJI0p2y/UEbcg,VZmL gH%Eعҁ{ycGסt;M\RSY;scg{y 4WȆ~?D06o#*CM2xN*CM:C9md}DRxiQa 鋒y隑_`ma?Qz >#͌qY*xASӧNV#^Q4Vݟ% b9̪iSYH)G86؝XdٌmEe͜@KZ4 bt۵]CtkXZ!lܺ(<ЧoBb4Lt|^# 9×:b6 clOg{p<$V:P3oA <86oHd)59AMx76~lU+jwu |˶nyx5UV Rrcs|uƾ6.蔄?<ѝD'.`‡zQpN zOL>8/N6ri~$\]@8wau..^ط*(uq16K9ow6 㧻I]l .t?}7sX'EPl\hzu8d1]p߽ S<@O.je)]i⧥aШDӠ3}3lfnQ<6i@?#=doPh<9^9/yy3b,IVYZ7 wPhzqw~p!ten+LjՀrڵVe@T *oM1Ԥn&zU qe/8ʝ+N50sP -iDb# 9^1 )dR5aܬ 1j]{$}#B7Rp] .t /f+5[r6^1 r^/SpV.^UT.QYb?!MQ1Z^aߨ7(OLN,a[fpA^3zwe3iҀ1T W=U&3R1JܵUS_q߮yCI_Jd^,VmƱɒ7.)< tR_-):H ܗu@db yLF7U9/??Ihsl}7Gqz@F6 \QpF|o#̄j:mU Ŝلd;9i 1x微i Alw <Ͽ4:ZS%ԝI7D'Ca}*Boy~:E 4k?Aٸ˔4``:lK "uE_z'']0 xi͋vh}MAv;G: uVLH!Tl\uK|wS/e*44XuEki:qŠ1)z ${ӫ&Su1W;',fsƧI'm7ǟ)xV紨"|duhir>Ϭ%0v* >wY/,r<w TҦ rjCs!/ѡ_{Bbk'+25H>4z TM+qP1Q0XKG`,K/*璳[uL^z*\)?S>3LxO7^?Alw(L0*l  X?ҲveTMn`:UnkAx2Y+nzzMuK6ϙH&I~VFrπz ,7y>-LkdI0)>X!2_oG'].K^>:Ll1T3[pLM`:BW46{WQܔJ4H4< N)tGnerj}G\!9^JvIIuWE+f鷺Zhu{fʋ\gjEfys |a}WޥHuwas|n=~CT{sIgD__ #ߠHV^,aVl@Y("ս^3߃/6Hᛣǂ~:|:@"؈3bh 3vj(_^oBF?Lpn>`"Cv.F %4α=&zD@K -D ?7+.+HKVlj,X um0tޟRVOU,&fE6S7@urو&Xr*vوbWCF:*da*;7,FBa_PcDGM 'e7UAElڽ# d9)0E;A< N";x)P݋$ Y+'y79~crB#4lFZXD(+.@dH"#.}UO0!# pl^?㡌<˓r4%רNzocVk>#1F hn miA.75:kv}LpjhJDi˙rλ%n)Z2$qJi$Qʤ$L=4xٶaM7~RX_Jų1:?rAUOv;<8be3y1gs< VdBE '&;}Dh5Hf.@)%坒;Ȝ"lF2cd?Iod"o]5ac|<1m<=)`t{K) ( bOrpv1W2I0E,Zylk}sIWaJI-y4p߲xؽ9Quܞk3<>\MC\9R\z 5s9) a,_ ƦO Hzc("%^@ Ҭ1&`^o4/!U;O ׄF[h6L(]f%`[x2ۢ{Xca!aOYC 11{SeM|W87∺97b6^ط4H1Ad:ș<-d#h/uJpR/8m6ou[7]yK$Ϊ\'>_򗎌\ŖiIS~ư>(NeBX=ޝ6+ۯi".8HX`(쨟WA$ںOoÿqs`X2kOck{;6pےe`^>-)S!? J}"t@|^^JI!'['lp :aX~XL y Fy'J,x];kHNgz/I^m-Uj̝j$ԭ 2- JP-犇+4VJWKm,؄2y*Ã:W, Rּ܈3֢}4X;?QDzAẔĊ mL|Ɉ \t[X\zK 1 Xu],mw|?A}H4d2_.qQ& DsOspYF(BFa;#:uT\zʏR>zm_'ObRUqS&mK/eneY'2(k}p;͖5Hh꿁QFd9o~ՈwcUOg}X*1iu^)S{ވG q4\ x#BP~$<Ԋ<_%|${]z 2zݴxGl)9XePYr '̂ ņ\63)~X+w"5sc[7 =@vj qhGn!儞walƆW}G rWBg׸+t2o!NXeԢ5lp) UQCRo,4rH%,Z#YP&%&G^4CUo5\ 0oUfE>ݸUQl0xn1B; c>e{ӑfo3(¬*+8{2{em'6̓9*NQ^ܪx~ Wd5 1 ӓ2fЄhOvXF ,'1Wf|8Zekһ͐XH8u$.e'wx:-UÁ!*2>E/-enG^4)}|umF,!r=,f?*b%8u]Ϫ./-h1ARळ+|xiFMNbJ-m0 Q8M]0Zc6с Xwߺ|U_ uyOt$6KU=}k:˨Ϳn!*؁Bݒ gbm!cQ@\܇p O3< $<%>(\~8E(R*YR{–*d@xmy?zLVM'4n՘ [E~.eXQ;R >mZou8ƦBmmަ c?z9"Ka͡gH'ذW*q1%;$<9 ,\: MtaZ"ѳ8sG6T7fP߯hI^>e w6O(ݺKyN:VXwH#2Ŷ\yhk_NXxfVµIRfJgmlo1>uг;X]+h3ËAY :#6 EdPN 1mP]sU%vE?E"wm )sZ^xŞ73VnefhBQh.?O3nӑL_ژRw2D5E7#kIZ3h nWRgLǶK7mHgڭ|Vѭֶr?V 7!P]Z&hG. fyXNhjB}_Ѐ+?Ly&BIג=n {+dal%p)}K(y`k΃D&3L:1d!|l.g;=0b*dL}ȇqdz->BhןzWpHKe3yy-deib&6[_APxË̓oc.:71Kgp1CQJF`iSpSSS1R-ʼnې#Q$ YR_oES}JǑ3lHBKa(1u/s,ͯyQҘ_YZp_a8VP̀LI\Յ[S,o7i(b1 )b!qG~+;߀ñEd/G['9W\A&VՆ'G|d0&H}F7,@VZ gC6آ~]zKmswSe$½vWQY ,чT>edJ,=;yзPReo;*sdl- f7Xq)2v 1ΫbR^a9EqP$Gbk uGN[0&XrKu_W9)|B<UZORE wl1.h'<\z./!nc2V<3S"S4&awQd!͗-ktu_bFj"ISAMEod.X-jb DOo}Ȁ[GR=wKܫ JkHKpܘa('T笚eׯ}Z(`ԗ{^4/t(`d %WpYj}O, (%4WQ͚Щ\y,fSE]7EԂSS(mgc?9Niu:i_[BnF/-ɑ.A0Jξgpcrm5sSFO95o;-$͝]N"K-m2}ҽJ4GCIӄvsC.5lw+`#3m{Ȗ\aAEؙc '*2ܪ޼ϨI,f0ݔ5%5Nj"ӜM; ȲBN@,NJJef?0|Rk@Ŵ|{`a:F vݹ~ռO gw] NA'%r+S ȲB6n`A{8M݀.8+Q!Otvy2LF$sHP®.JK&r89#A fHY02͋C$˷4u75X@:b%>v *>W)v}7=#ÛA<1 [aӛƞ&֞#6 LQ XWѼ|#`x=_H:G^Ԯv'd19+&w]_u,DOE( *U*MR-2ߞd]k>Є2s? \)'hoHkaϭ u͓rB˖.?RX K_*4mB۝m@ς XꊛoK&]eJ/P|6hCy;zkhS!z(=)ij -RʾᏊ@jYݾJlK #ti9Ym nUԍ~!7qd7j ֢I/!w-T C><Rkr߇xέù*r69|a.`w z= 6 sVY{mŇ, kydcة-임 It[ ÅKJD(ӕ3'cw-CszPŞathJXHM*\#Weٻqrd.+',T߷2]W}UUKR~>ץ[t?Y-*O[gkm`x21AՓ*ˑF /Id58NLHq ss=鳎Ij<$fl.y>j?~f7 M Bn$an1o醥uq tk \a[=1-ZOe ,>7m|FBdxo0xe"aUO"DQMzȇ=[e('Nw # D&\*Pl7۴aQ0[3`MF#G;!>z},JЏ"`͙fu]Fӫ9~LP/Go=)QJ:ߪ"JY×y ,[wPɪf~yJl4}'.|kr;M$91? +DqzG zu24??`# * 'fpxB@o Iw< HMD />v|= ǂ{:x5m) ;n #0OX|ex y$<Mщ^.~C97 >R!oؤJu-QU~Ye3R6#7$sr5٫ lvTJy./MjHhBj˹uy`̸OW݈xFbQQ#;Qq>.|L.!)L"nU)Ո -bovQ).0ȒdL'DENͻxOItq=GJ3<7z5~,y(oD(I-V9;#s mMhL_?=,'3ejbj9U\B4ڳ<5#H슌 t}HÀԑ߭Kۍ̪-PHnu{h߲ s.kf #gкl^2F/ѻxPKo%XZF9<ڑDzY<. ڴvLm#z4HKdyJ mH:dERW՘5J J\g p]$?Z #酤rOۓB9*i"}2şfuEœsYW~_I6]Tggcݡټra +u`8j#Mk]9=ҧ^HEdQhE}Ͽ ~ߔΏπE2*G9p$;UyKB#I! gGą9\@ Lj4pwFOF_(ZN˦y{؈`-G3ooiZ R"|c%ҁ{H$?I4YΧwR63Vۯc|&(P ̭T_f0| }P 0q`$9MxLcURÅ$~6"8%$]zadA`8ȤC;1jTеV#9N9Aq٩'s9̭$p560X$sBo @\X)c @Gxgo-ӵ]b[b~&E\u&zq߷M!bӸN(r@0bD(Q)kB P/B @yAeaZ5-NZT!6̒T D=.H>8*R#Z~r f=AbSFKm݅RBPrK]HoI4L! 1SX!Xl E Er>b|:oj;^*j(j1{{٩&l:W-04#xW!eV T~e/2)•ۍ: c7*[p!y+2T[`[D&d&QԽ8i9_Znfƹ"x/FgmѠ_u\ZH-2!`(17V0ht^U,zrhE3a1TQ!˜?-]t8ۭ6d>C`9v eb_ }R2tAKtmt^T~"=)G`Tʵ| 16X=㝿vР' ?%| $BP30hU{^~Au (&E+Enm_᝞}6z' 1CG\!G_*EyОt$[$>[ʣ)hczRRd3m20#8N{N؊ 9>"NLawK$/ BYZJL7KEkP`9vΑnqã tU#c49R#2D NUlHd]~ҟ(i*Ԋ'gƋ h-kFY!$`4;ŝG8ݳk5 kjL59)3M^Sƛ+Hp#OldCKoic|=CX = c(u8 b*;v8 L`7pB?U)V#88 =CL)WBtt6(ܶ>:-.Rv)=wllktϺxpV;XTZ~A5~]0jjzu| ׅ{Z͍Ԙ87F\& t6T]>wc" pBFdBtD? *n`c>%guG!;Zj/׃ߧrK<܃4~ ɨT^?-I)09U"Z )VsboUFx[͟. ƪ(/ DPz,mjo(+Hy"s.-y ( af#%B@?qIcvS1T37Pe&DYǂ\ӫXsz4WZge4C]]>dHg;c xB73.均Bߜ ڸo΄(2[8JHThAWAo{ AK@+Ǻ+7vPo,8^𷊱|&gؓ- Ԯ<VWعĝL-LB8r ӣc})G~ECn+:{'$c^fIE݉f pf}$ۄ,MWЧ&Lq|ttI@8WTب` yO /^Ko| uȱ~ml[qfnn]cv 鶯DB28ra/WP2RkkȣcYJ_d(RIڤȁ8αl7w:SDT8*/ų GK[OR(y样CoiY<}#\u{R'^^J)Л[#:62vszGtQ>!G@%GYT\ \ۦ&KGNbIdDWck, Uo%ײDzc%nDmp\`|5*si*XēF̡W^iP?LWƦ݌xa2p7įcVYSf! èxu ӂ/7/מ[jupE@J6ҰG dHzuyHL_WB.*EN z3(Bf #14Yx S ؄Vn㱼kA<mdAg7 >+*SU!͈εTBK'âysK0L(-wKT@%rn1x%ZZ'|Ӌ358v@ʿA*XYi?W;s>lz<4P3D3JaFuIdR'* g o[T gBU܂ABςUq/2Α?x[i Մ =geKx{t$rJŭjG!Ma3d@B߇tE݌?o3a޺nZ0gi(o87鮦]{%\F{^Y+OEEYѣx>n nu&c -5Т\a:?pv]mXJGY$::Kl;A:8狂㸪lzp%"s5 =fR/rF9T>{9\QR O(3'7eڜދxV>Rwb/(ތTg9WHWH2_N-'ֳ3ME/ 6p+rU\,/qH9ngv(GYH'fc"p+ט2Ϛ*6SnmEJ4dP $PCb1RnaHSoeqDaoYf%_Q#&^a 3L..-43 OFy$LS]4aI2J ڻ |Afk$'6$Y #DS J Bo7 l}yDnᲂd*țD- ZV߳5eEZ"YkY!Vu_BǹJH$8ǽ):M&,_ ?i}An+gM@ٸ-bIڅNPO0=cGzLJ \x! o<"f*lۉ(?Ld6'qc͡R Mhk/?Lu(a<!YT\AS׊f'Pp"j`-",-$Jm_:`&{p?\:~.p_0IKo;M]0|q gOVlK-}.Ǿwx΍4 t`A[-^n摾2ҡWUT dō`;S|HU4`7LXΜz ǕO7vy:ڃHJ(Bɲ[Y[SkVc rg8s׆JyDruŭ"I:b>;VZOap{O(53YkȒë\( Zw; 5V޾c3Wxc%adxP'!B$"2./7 ˨2& yxzd٥VtPB/КZ;8 :1~>lx1cۏTV9)}xXi K 2L1 [7@y9 [. Y|,1.QJ"b]iRxV,'U".|!\&0cG4Fzh j7IE8qߞ8JP|{eOgԁ"N@j]ƯոX#c4y(8,VF^]5wV_[85[ՎK [V&t$CVnyxuRnpR yS^t; b[][S/8VqK׹7Ziw'  wҰ`:PɶTAI4!E~ζOxԕ\p6d~IU[ <]3$Y;-:8 -KOsS~e6c$3p^R,NiI0 f"rKGBy^i+N@:gQ P aN&ƝoD0FSft#6#%BI` P}V-z }l5#py)wŮ}..:4/OĚ~;@>2.АeBQT3C[M- xΞV"Ogfgn·˩/-o3'!}I5nFt;AUL+@Pg9)AHRbe++q-}ykU+ BUL$z8*wEf$_%UaYMKzJ<wx!L1r\UKgϪwӣypbR(gOpԵEj8ՎiY "!cz]tIR' )Xl:)9Cjm:L[["CۏN QG\{Дa[>_7xd<=yD=Xׅ-Aifg蝪-JxlM΀i)! .A~||ӖʔvߨX'܇{Z @cUIxPυ'4N&PPƐHnr``ږoV5z%#m^22y.Xt"!X3H7F$IG*L)OK(^y{kvs̄Bg4GB䨣XSWˠ (ÏNB`|=pϗk[xW5Qt} w!\2V^Md:{4^h5Le{I@mɽ3 2[,P)Z01OaAwZk h"KAxZ eYw\5 vV+KuC zp5OA@G^?8h~cMG%px] kyIbL?VL?.TQ9zBv TIu)Up@n~wi]Y xr'9/r7\,v$Qg> }`jw\BB- Ln(̔kЀNeO5LFdZƷvvIU%"`ΨYy wGQ;",P=JzYN LNBa^frV]taP0"0Nݮd@9@v/sXsUnapБmhg?T7i.;-q\p)WkNŐR,jUoו`ux351B^eQAZ{:ZV&{GPu#A&mNnPAӛZU@™E?l({' #^K ”6<9SrAekN F& RnZbJ8YUMJdbfȗU*SAQu$RdjB ۤsM 3=rw Y W"ohLq| ?& NDMoL` e6;+-zwjGtJ\KZL}exԊ%ӥgqȩr#W.ݢc͛BO_ m{0J*R{5QخBKWP~ѳ٥4;w=]5`O.5iԛ(wI["t| $U EMq"RVxiT`A;Y=?Ax}Ƀw o$Y[-JE^tʷݎ3V,lG7L{,n L"Z)e#8Zm',=P_}'" z~昛OW7P4G0bpW%'ϩ J škO#\%{˕g+R<bNM\erǐ*,5~\5kGΉǜ,cz#c95; q鲇;LX4̀~Dd;r˅yZՅ-*ώ֮!('N˪& j8As# $_go\;+}(JߐtEٟfXWuG"K6yĬKUu]V;iebtnz,kkkQvE*#Mm"ldwß^P1Vf`Z/'RIKU﹕ފr!#UbѧK9J:h￀EӜKBM~TK{fAޠhմʊ/riz謊;xLXTBޒKNZd.*+=yRGuk9o+%dG#Is.㓱d[k0JBn'CCP|Q 6ڤUy0i'I4^7uUKֶmڊM?jW }~"\RεPsMa[C ġ)?Ua%\vs^^! 8SR)ʔT q(9!Ey3 Rd?)L,U["+ꅚEiHDhO0˜; zhYW,:[_Y`I[ YZ+-SHpڄnhΔI6o1{c2J&擐iҦi8ſɤ9VA > r oSȋ(QqIi5 ;1c O)gV wfɛ.F捔9¹H|G[X4B4m~;;iY0HeǚOw_VFy℄h&zOs$4Vѓr@mgo[BvMMY$y{C"Ta0M'f1^&1 w|b6UZvSC;&~$faJ[iR)"T576_1Hr|@.ʇ,rM@^`y b_B=iu)! 落~wd8 ^GJq=]ϓ!Jl^-^ֆ[~]"C-ݴ,HCkKP!4+NB^#̲(!o jJNdBAH&,+~e-R|T|ِл~0>~`%8VH"G@nb'쑹q]9k^|SCrn^]aS{4{OIm Adv[+(QsT#)cC{f2ƈE _'/My9/m.,JNNXQv^Y>[ư5龬xӦe.>2$"Wn%ze[蚩(2ΤulN+'ɶٔ(7+g-(;,"渷-gr UΌfWbR qtAJTs\7P/^MfBj:ŲqןvW cs9guD 7dn5 dE71Xc9)Q[2RX}vR)[PynB:z<S@@ 2IͅC'ĖuJ$̴VsE зIXiQ^˭XޕdؾLӤpĝ SB!A<(^v#5 f=#ƶG)͂C {[̙ὰhpLI6CK5l\e7A#PUYY'J:-˸oIB qBD3V=gi8 v2J?xA凘H\5=mU<&e/cƶ͏!@bWhnO/`US7T&j4:Eߛ1xjZ=ihxu -qWr~xȦ)Gje2Xt~Ȯɝ)?O JHN'8=xW[fJ2X<B=~:M?бpPJyHp.T0|pH{&vm3jbQ1qR#x!P!D3ZU=.9PR$P9MR}ޯIn*vDs>*U&ܖ᤹wD\MNVH/፻KCx:ReN-x{RDَ!vGU V̍A*9+TiEj6V# B@@|.C M3K -?x7~HGBaؓlmX)J<_\͒%|<β SjfEX`VX#ܱRG}%EP'[R4\'x=΁w-ݿZB@NT8L+ v$ߨˠDRlٌO"RR^Dxa? ;h_LѧW8\Wx0'kII# n\v9=+ 6v@&O8E0g,'+Q`jF }Ky `sqVrNWQN|^KpxS)"|LDKӜ[ҙvGԊ}XZ1rIiq HGL:B<:Km__/,Pʥᯥ9kn6MW!%op ##&&W Q5 Fӝp~βg6RW0Nyo@)ù44ޤ!#P*19UJ}n}>fȨuuytmn^*xȁltz}zYoLG4=1'c :QL,tlz쓆C'P"$`l쇴\w߉i)xS70*±L>O8gͶS{#wR$ਈ5CtN>wjm =St…vt'BmN(H=c*o +xM O>;'?Nם,m 0^#4B7! >hwf h~ v]{։Ad)K,2` /~ D{tbtO"Gbzvd8&V5mr׆ ݞңǬGM#V(/ul XH!V=|Pg2ǓhE}vDO^ߘ7?vQZ.*1ULF| Zb o0%F<*;,0BhZui>~GqQz^5I6n8,$ 58 \Ual;{Hc!W?Ά?/6m$x?Φy"F00 UxoWjK.\7:Dt D"N.]E|-Q/h2lk-~Arn<'zvp(kQmpd1*Ƅ6tkW47c$ VScSkBܓ尲nG|u~v:G}6k'%+$&AXv#k24$C?]&Gda0:<im <@IYԎv &G|]!aaÕ,|3 {a6 w0xeY!%j;=#[*`"C)P`K 9}#Vio)jy?j>ZshPbt&b7 傕K δSWW直|{ʮ #Ї?c|'zY_Ijggd?6rndHV{LA*EG~G fb0I=UޕPgsM&A|jVQVr.nDcT÷0!)Tn/OjG1E1\bZXYZat&=r"cB@v"3w, wC5l[,pbk̟y?qeˊ%wstj#׸VDءrA1H; X#U*Dċ/@scg8Hhe~=~F†^ FrF b3IJ4ͪ􅁑wjFMmx@ swg tVY^NLRCA՚/a7|$=ehAX/(86hTe';j9N-}Pz[36?_Q+@l~ѩ'LJ64B{#Hq"vi?8ADpEwoi,o%Vs ;zZ92#" KFJ|q@ MMbS д7]_ m VB s3ݫȹa,?PMbsiQ@F57峩4i/`1&oE6-<;v|E.,I)g%$&6.FBͽSY*8ٝuH~x9xCn 0\EdήIt*#Gv.ÙC[1>LҪ'c E~EAe4fvT*M +x2:sײZB08@`YriA/ν%C%.!9H+-8ә>2Fg-\4)ۊ&X#U.],Uh׳_t/$:k LJC&Zw|XIw:<{ 4}k3|0D>b8dM%E^b cR%,Aq[bAp,u{1QKдwd#}2JwJXA~QLkdzWcʙotv?[Ah5P5)XT^UpX[ԯۏX3s#Ջ1!^E=xd7>i˭5#h 3i֓UhZ(yhC0s>\x6(yfVP!`0