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  \ \t!tL ]]]HOL-Proofs:threads=6elapsed=542.924cpu=1325.880gc=125.184factor=2.447zXZִF! 2]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ@3u==w:4TQU3]p) -q1- \Eg87tat.v65RД U[ŅjؿdBIzd y݂aJOiU(0oF.B=Lm5^:KigfH d T.9|Ji}FՃLS+lCeq5YݟsN,7tQྺ`&DG0\]bɾu\B h앾J"EhQR*K1dwEkHn>IV@ˀP*8d&N?"$i6ǐنV)aR˙)yfnB#V>CJG9IiLrFF0wǓU m |.a#01Kj8M9ͦmRGj:itpg)Jg@lw!wS }Ď (sL[5=`54͌D$^i= R;\vSpMuD#vX"R[G|Ŝ 0ڿ|l\n 7Hh=<:b JlaC ꖉ^mVEN4E*a[^X1> 6J^'?Un. ^.5ݭu=gIտؙju՜cz4MU\*TcaNsi27Os W> a㾕q sFp, .IvL: 1iA]RYE9 SirVEh=DD~< l&o^JR@FZ!QLUZzHC%y{v}l$VF:Zp oFV)4J+aiS2; {uM:NZb|GClOm+h= Brd]%'^iSlFÑ͘mHa堕h?ЛW\ 1iq?YΔ[䶤fƠBF|#ݳya5R \]bCANr\O~RV(d*4#h$)X$3p챱*Rk|A9$ҵ= /Q Lzq׈@bg=(;ρy  ! HOL-Proofs   p ?a\#@fEohs"H5"Op{'-GdCj*2 Nl١{n8K>XоdC~?_#!8=n־kU fܗ k1Ax}:}lЈr!䋳 (p}aI횥! yuP%V` },O0:48 <A^\ =vY%չDI *9zP^A65$-LZ{Z(cͤohoks&$QU'WR֙RWrT%UUN4(R |slIxӨquΚ ە-~f" FӇh` 2mR@Rr7|)-uE#lSI6¤1m Fyd>%?;N 3 ^, m-_G-v{ ~8UL11--zӣAz3)Wos ~w+(֫kԡh;#m G&Y_wHRn6,z%yJ 5d>2 (Pp,x. ZoR ԭ-g3A^lPUjnG*ly!@s@)Qi DyX#&T$2QWP[ 5|79ZPE]ݜ.SG٣Js6'p_ kiHp :P0㉖F@yx VIn!\MsԦ\%g Π~[<`I!QI(MwAMتpI'. {\<0Dv4-l h)&}䫻t!, Z4nc&FO7cek묑 =mDZ,=5"E\ tDٹV{&,ٔ$놇Ƴpg3'wQF5h:*{7y{&,`Ru`!dhcO[;`5y}(,Q N~ NFH B1+F,,9S]VRZճݑvG9.G[GxINSJw0Xfq*VzƚcÆ%&كdϜ޶k 茜+Vh`cUIZE~OzrK4ж&f?aTHYaM8[+a,89 Pawtr9i|20DHY9B1U2'-3;+P{{݇;+g@%qK>s@su큤 TeCV7aqkWASiR5*&ЙK Ihvf /D;S&7& -Xe GuoDdY'Ef!+V)k 8_ - C+2_4SR85"ܜ;n,fNoFeM_l D聾ڧ,.6/ztyIUc({$ vJR LTc VG}lĥV&h-88ږ;E͠:T,[}pvm*o=h=V > 7nKX&eN4p~xȿ?gYUNLO:,L?+1$R~5OO'Oޱf至j kb "1E>H ,qVI-wAwKN`J+_ du85fmˉRDTHifFC 2^#UMwO8)r]Wp,zSrVUY4v#ˇ& 2Wad4/حPV‰`w*[ypR(rx畦jpx.k$ŝ{KnOGC~V- P(KzFpvKmY̰<հ6@Yߥ[\n|%c?^8*P2eӴјꎠwi>ͻI,wn[H7f\-OX ?Z0 $Ga_(NȚ 5 Y&;ܕ /-ht#^Y: ɟߍ74a΄ĉ{>F|u'Z?W+><}Y@w /40QWi&Fw$yzsTq ؂:/PJOqY0bؖrVov$LL=)S"eaoáuցZ.z(7.'@$ ,0wv}x7}C6ՓJU +PfҸ&~1OީW6'Bk4e M;1tu`!/Cѷ-W;'b*{Zu2Ezr @?oe!'?)gѫyD!z>QrEC6+Xe+9`$׼s&3NYv̗`Rk}=OOڿ^LDV/pqS6v4N.й}zG.;hvn.etp]< |g O[)`uGT ob>8b?CS݂Z3u.#^KqXbKcQ[4~<^ 6-uu7'sF蚊V$}\`Ihz-g0JZqN sR |_FsNAlk(D BPu DOhʪyRyF"YAؘ)]:Ig?"E},3LVqqٜ>2huLKf+Wًt!C^;=ysaCK1ju;)v n}W#GɵWdl8SY?Zɕ"V=,VR xV 3qMz`1X2]oKo S"ܵzL9RR|P*] a TyIs"V֑-qj)ھ֟`eB̈́Ɏ|ħ{P&bWoO H`!.d@q$}U⇣|lsQτn_i$T C4*%Ѳ)hJx3l{{JȂ2l/،SXeDd4aSe_c~9葜pz b%N'ߪ9plG=+OT(o'Uݲ{q>ܻ:儍%/Lhjy1;ӊM=rhD&zr,;B=D.$hvgYZ7zXZִF! b]ŗXiɟ29aoʼz[%U>EM!!*XKrsu.%Α2,1#[7P*(>Y2)>2|Tr#yp LmO;?̤8˾p0XzO4?p.*[E9YFЂIpU4-GȖܡ0LO\&"u?nӼ.ջ9A }ry[jY:D~<6rC 8l:]@/&mh֛/&F}3i` _a!zI 0bFSF❷ 4bvD 0.] ӝv@Ӥn0j`*(;~'%qw|0 9)1:%m,r"ҫپʥf;)mTh}l#ԡn)'g(qNXFjf,ܝ[ZĴ3ucoxiO#80cfꈾ"(Ww*/xSwTO!Ccq.d{eo+%i9` h+p> ܴ&dt2h:7BÇ8W̓94q}~IM#"HlECT*CBȤ8Niq9ޮQ=' GK"!?_(g[@QcP՜$(yaXԇuX/V>딥qOtձj˚K6IG;,]=-,*' iߑäit%ןA}MR/; !N%uNTҧZ1PMIPYna3kcddՑt^$:$ݖծ%&?طf=ݶndԠ 0J>ak\.G؄G:@2 }#?`pªo$.lB RVx4LҾ2ᄳ-ϳ9&xrzkQ|YQ$޼&p3"tqD q}*F |7 jZGܒNl$X(qWͺ"R@,٨=̛ȫcЪuB T1ۤϏ)&R3XfR{ZaEVrrx'PE|~mʇ@874Ca5OKb\i%]~TW'K^ b*Ӵqx> /f *F7Hr#4J|ي79G7rjG^|\)Or^JNn;y2qo3_zǝǼLy7 Yˣ.)7S43Re_[D<zu$zv'1Yђ&yK;p 0Bo5^T3b+5LήղvWoYaI7p"aiދS>׶̐Mܵvxr˞_LsS>#X[ \,(x?UiG2.ᅯLwqTyI>󩼒M)Nfn~ש[ FY1؟Zo6:kSl˴Pۿ̇7™G]4'G &C2P4ac{Ik?Q sLKѨlQMl Y!fV;!GR%VŁq#J/h&~H򂣸W=^=.屔ĒjNd=X|[hkY2Nɣrn!)S5kehT/t!|h F[!^ BxtxԲy#ƇT2\4z#,3P34"-F›X<ߌC|JMH@bnN|"%]&`6],kl}8")Oyc<ֆ[eIf^e-S=(Zw+PQҾB'o6Y/q4x)uLc?{gƽ}khoob1@yy?`!RQX}jnq.ۖi"i"rɋ؊%ޭHhIY}t:%)RczwZw3 ѬIbLnjj9UYDdP:sB[*"TN_ߝ'~Q4ye1jӞE}U=2D0]_VOo V(lO,g~5ibtXI; } Qk1U+S[8[B,faU5Z/gPhet!=%dEָy-݌ְcR;%8L}RۛnxՐ@N# ,6Hӣ]BDc\E0E V?gw2ӡCҶYgzȱߡBES P5L *̾&`"fNJ࣪@!Ǥ9nXk(?Wd* sܠ[`1ˢl3Nݼ0R35!(<:%i.,~8k^1Ebpq>;rLJb&O5dJ<楮gDΉg*-3yT!d#`Fs3FY*Y Y0 ÀyWCiQz,GܬpFMCF:WC:vI:P qESTNf٘Cc&H0QQ/U!6}On2 0@ `qzdͷk=Kz_1c"`Mb[- k n)Zf_ ]]{t]Ƞ^*Rhq W`]gtmDxV3HRr-ֽB(͔&^O}Q rd:N )QE2s})3 ۊ{vI},Ψc6,;ᾜE|S;p#:u xeb0T$SMn܎c0~v1J6؅#_踫:Gb\@u~Pu5VC+o PZ"IH=ZU `4HԣlӤ$X;d8b,*P%_C9+[3NWOُX0[1zJದd\yY̿Jb}iGThd7v~}zr,~)EowzA =HXQֶ?Ԥ$`ҺUVhxXF<wkOw b`wjOr7N*F)LJqY |j!#lvIfڝ|&K*5 o:EnrȀQ|)˫g\4;11~8LF? f =LcH!1?`=Lh[\\]N/\Iˋ^{x  An.4o7ߞfY"q %Mln ȪWEO̍a}͕]Rǝod՛~7oN,Xb,m*R I$fJ9j*\#geܼLFϠ5O-Hq|fF¥vs,ր3 @#ˆMۉ[ *&Zޖ<2{S&) daKڶ@xN(t/δEUS6K=h혋799D/[װpO^:A u 2ě?tIEC.U !=(S?!t2*`h|i7>~}mn{-Zdf`0?Y\/ 0>*(a{n b=c䋉s}nj#ѓ>!>ڕ:/ql {R/0mDbtfr|!MmF0-"b#YLꯥ~ ץ3Lo+wyޥ(ڨ'P3Ub%ʦT-ZNj.I~35tN0?E 3ts +I2_E6|qi.@ bbN7av0H&Ll!>;x՗q_BVߤIyU6d\Vȯ^]IV>RD~r-ae0 ~Q Q'AE)P BfXFR񢰥8lYjR| ) B*Džyը2s#r{ /yFZ04Zd.g }/!X^{KsJo0̏lX%9Ed+MwsR&ey0XQeR8*c}6{ZqV[V:{L\^y$osbߔ󆸁 $ZKYc5=2 H2}d8}աJw`ĄFY!Ҋq(LΑp:\W% eqv ÓlxOCIAKYhWO]M cl^"+MvtXaY|0Pbg'}rOrίT71N͓̾ 5 xpc17"M:ba26-\t ːq9&Սo"U[\vdT B:+)uR% AEUգϣNiUy|IƏDX8@\5|f>8"V|ޅ+:ѵ.`#8>lˢ"zt$-lOmcdmצ]|>17c>+!F"@O'e_/wᶦ ^n 嫯+C25M5O~T 2rCGgEןF3BAgE]8hHi E6(&T(cڳ`).}6;BsgDQc IۥW32;<`½rG$w~Y=sv>rZzc"JHXȑȤ|@,|=UP9+Ϸ4VUuD#ᢆQ(%M`2%A4 Ǖ@ߜ=_0J<_L[kiJpbF*uzDz &kFڳڵ˓O:"110SuTޤ&\w*횫2d ^ \Od/t/h\.eQ 96 o!C8U=RuU_~Pҕz~9<b `Q>jXq7jBAlS qwvq_q#\oR1k,#<ثUq'[M؟W=$;|B,h8gB _ey(SÅf*!JoMCP=ݾ\,svtJ3ri=0zE0W>k&,WI}wOb)XUXp΅M^#Npc? QZ(i'%{&6P,By#w4 <,^> s/\[w.d)qL ~dK*g92r2*]C>Im(̾׎'~<*z rz;oO^a&8{cGbezmMĚq_qizvCrU$suc B6W)k}fꆌĜ_ p#)>U||4h(a_9VpM:Ԃˍv=U޻SUj;Y}4(i}`ZG;KXl9ĉ.Ñ|!@%2Nr %[-D)<+ `1t R?suNIkv VckU6U.k_D㨃pF?S/06s~++h5 ]!^kn FpCbekyFi_r0aH6˘ܫDW=^fg‘}&9rjl'4Kn=&cOyb\"H_T Rۋrb9Kbd['MC# 6TkȁCi\QG~|B_ hbga#6XF,*ݦզi!D̚C i"Rܚe6CkxkjvcFv(Vx?gaDɖp' KA{s/\)M^u >`vc4La}#ޔTh8[>!rK" +!Rqv'w8/7?i4 Д..68;I^#SxR2RǗ"_ S26eُqhHipY"J4ޭ]HN|;%岦pԛl20l#зG2B, d\*TI% =SZ0:r %Gw]Udŕe~30<5a^w$<@j_d[g^b ( <~&K+5^ D|q`w1"d<֪7v:o0{KTl$E!GO'<X;G"sDָpmsGxc}>GAeҲw-8u#(O;)>300 o\bzm:ZD $AzMdgP`(4'PV!;k{=rg{ū<7Pl񥊶Iw&ւ49 gN;qLꐮuTj҄qs-4UKʐ qyXh.dYyS{G?у ꅋ}6|:KMLyNarQ^n!|;A8(N3nύ{1:s^iN柝΍HS\h &~(Gw[$@ b;6W$(kx%N 5NJPO.S*{q+pxouIf jn*'^U+ewklqP7Ҡr#RQ_ 3x1]Rd ;E:_&˯W-QU9a 9t t;(Ѝ>\`Z.)-l$<r*o։plCSO" v_aʂl*4࿽vOBL~4$aI EA.Zn` jӬ"Ӓ)")Ǹۛ^ Eg3S_[ӣ ϋs {bD?bmx^-mR 8-m|?,Fn~N@E+Sgت)7];Fx9?jc8}^;7XHJ; (Q&&\ޜ,L }ʦc6~/>`t7d!ƶ9`doPj1h F3c)$^iK3r;sõ}CM{aGgnDy6Y#/4P*ea7Xo#OȘ E{R>5.\]]"_E02׷?*D\>Ҕ ߳71){ 5BݜY i:JDA5a$m8^fIPx7%g8tHߖ[WUd\3ԘlQ_%$@Ѱ܏r.ƢF߱ p!XhL]:=Ҩ1;3V_P!}j?a C!#!V8Y{}wKC 8Ԗo^c38!_o)1vafVge%WQنw[lF)EY >s V}{I%EιmۭfL2dWMih;cBxT;ʸT1%iP`u,isvmJIAqKM+𐪐H h?=82f{]s Y*"^q!qQ 8Lu!= ҁtZDs#|~qN쥷Љ_л@ӈrŞq% ݈?#Bu)qK6B۪Vr 05׻enV|X<,罹 5K=4yci"EU~pMd- 颴@/Ts(qJBj`@ߚ覷A6axB]g'f~DI3 »(9{uMߦMy>x`)o9f^r(#L}u57 xǯ;7& 5d.+XÞHj_MxA,8@U%Cl-f$Ʈ A x4`y/  H9^p/<x濓(hCߓ?Mn SZ0ْƚśW5\ ]F` Q36q Њ -Z)Pa oF |%!b@8}ڣp.N,„=ky›/?D?wI w ^ =x2r8{LlK:Yڤd9ͳ&tx>}:82ГQ1ݎ X%>I89Aద(ZyWV[Jt9DDbWm+E{j\3II u ͮǔK" _ Ap"4,OGY01p}UEeLbv#Or`{ekM Xaꐩ(!w|/ V$I1xpe[y7C!DQ|2=Rlk7H14di5 ^mkfZC**Od WBqo xmQ׷Q!mO95ꯪ .QAxІ)pu.dC­j7 -/IhQ`d?UOp2$sn6=a UՏ|IZI}sj璁P)C1!$MTET}VzJWq(ssK0VH18-Ɓ-h`ǟ xvR'c g R#|}W_ i$2P[cw[:✋\hXS+ :L-_yvYpXd`s'4 QWF0l .5~Q綹5 = <k,WM$w25wW~,iXWme݈ۨ>C3ɷu/.KTWoEyB /M'u_gR&G:BRL 9?(e)zS7RL"NK%0҄Z e\3~V)yeCu3_\'u5)VkZ3Fw'ZmHo5]oLX ?}~o 5j5v,[>Tpxw5;S eZmA7k+$qpU_a9w wJzzI'M畧7 caa_ᕅ&}{SܼW0UJ̟QQ5B>hQ9f_𮏄)eENB8gq({Z nZu~')?Tw\blG.rƮgHcvJD\-nZ`Vͥ?؁N=Zl/^ sԑ1_d!e=Eww:T~ʆ- ǒё ۉ4Mi-`OG9eWrz?zH m=q._pPߘu5k oi_t$nҧ1h-o[ KNA90Ovu+d£\,e&.=7Fg 0a}Y+,j-j:qcB<<{:Ƙ!{|J*] )=~jOe`D8DvDJ/ \AA2oݎ¬.h'8D'征e:}ۧd@#qOG 9 +!%϶Pֆpʂ箲wTivˏ.ȵ0֡GšY+ugXM@KFeH]cNqڋ`+ճzc'J&1f}̐e>GziCx~סiϫ=@ZҼu}e{SlќAb ?PiQ6pNtdN`MNXd|w,g?y޵"Xjٳ1Vx(4S+|!U ^m&5!I$q6;%PCLh]zkL~s1xāj,)&­VE` nSJKݑ'٢9D6$Lr-zQ抍wavH %wqLjvW]sy9&ݴg:?SҚ(c3L3 .H_ ' }7 sU/ wX#il8uj\+9+E՝XPI}_bqb}522b߭=ص@3p8ˬر;ྦྷ9vﺖi. 1C"~ii,Q?8T: mPmԱep~!PLƇ.t[DL[L?I,mc":- .'|iX8sbБ΋& +5V]a:6 LdpJmEbXw5:KY{+8_,"ew~FEA,Dt0>Q;{Ou|L4yIY(,q3vDf[gm(q:shؓ-} ԣp7t*ʢp]SLFYgqQx ?rtD{J"p?Z^N{ŧ6MA3 Y`1VXYlIc0o;Æ.3$^FoK 85Nϯ.6x4UwֵIO}f#<;^@9,K;3=1y| s?*FΛ0*ksJ-.;ocMu~IϞikqO]v[F.yX^lƥX#GmV@fuc!.FΒ5 oM %aQސW a]i}mZoz ͎I̤ WTnp攡&9e:lYaVnl賓{!`Lٴ6؊FKSdu`^ ]qpf,?+Mݭ4s46y9h(ueY3Ї!98?DS~PҊ;Ҕ$LJd]]@.(۬84>uVCIJJ|͘QXSKPQƎ9{V"R!_kN!yS3O_|)l3̎!α2H- NIo ^$fZjw]2RQTYmf(?R ̹VS>aEE<BX68Y#e+WG؈1[c!s?C|oouf1a jAE^oi dP]Ր3Ϗu% Ԍ^tn\9dMS,P6QK ($3һQټ1w`7K3Jd <~_ǦWٌ^W`rsY a4;`|}bWdPk,ݣfVG:ԧ|5yˠ2ޢpb[>lWm m@yu99L l5dĥA {#v|[W+O36=+j13kQ9dx: h_S^VAE?`㫰:6ng[-=fB=|_ ?p9%&ӔHquNjhg~oO C]>rM^aAҽ#tnl>1i(.3l å!vtʀ/'c[EQﱳEWKbǮ2{Xͽ=nסE.q#"< eY6N q@Hms(c@I`G<]P <2He2 򊫖km-M+1r}BHN(uX xbj+݆J7O ٛϷcE}B2i'%Ne&%`S:92q|;8?x ] O #0hgV8K{On|6u#b/0{ "5`7p/ ,ּcCE[czi'vex0"xݥis;Wyzd:m ^|eؖcdˣl_B՛"2|8NºpvV\9xPVrXLin`Xe|%:]®tDci;G~@DX W]he\_= ^ܤG$ 1\`;YH3[ ,c_$E"}MBFգ$孇oN}z/h$~W@.+u^Ѯ7-f跮Q!Cm-!̩7I0'҈+C88;lJ'_y]ͣ;u5xBܐWRKG>e5 93m\/>hFĄ\"%!MX^li<# ~dHqioOYy>2ftzYs_>sdU.UjEv ϰŖaMQtxQH@n= y|Rl/Rj,B؂eS}諸a#<:MT,#"2$,-[A&n}&hΎ8H\wyߠ*,\\L1MJf>.|Ԗf@G`"WOȲrB׬)ؿݭ|%;'(b5NH 2zlG 0]&r(Nd=I#;9ZQ`e'яC*͘1w]54WGra]W\uRhBFvA)MkEvz`H|5k2NH b= RmW%b߆ȉ$d>6?SNвy%KE{y "m ;I?Ki6&%_Kvbޅ_/T?zBm@q*~1۪:Y_3Q6[~TL-!cj?⥥#NI|[o'CXvƯhZQOgNf=Cq.4 VQap6jE6jrgx6qNMGu&#[e#a1]H)鳷Y|90CW88!ty Į)nL)":18Hnj,:t\fӇKڑf)!}Bwi5tԙќT`CaSRgt=ha-{>tr]ܘ2|ˠK#D\WF@{3WG{/Syb kLD:$Yl3X M dG7vvE '9l{ciN>>蹢GZBRg,,U=K8!H ^jC-C +PL L,*ǖ$ǰOEPri (dy(vVB"xoHC}Y*7֎W۾Jm>j~&K?r_X<)d92@8o ^kr5ڊv٪KvNn]]՛>w 9Ozc5 =CT0^i|LB6"،1R|m9y{Ѯ|ŒfKɈ며6d81 0r} I9&,l{b{?rb CA g@'b.0 gRV"%y1t\Zo2 YAk6VyݫʙZ.b=Te܃E)yɀ%M4ԁ ޚGq֖>_#0~dC,V )HMG%@/#O" wt ?, O/>nLӪnqD/m_A^6,`.Zt᭚Sa"f 1F] GωɳxK)X܋6(Af5 Jqkz `%w+NwskZLn4ǿ^̢ 'Lʼn<3Isfvz1BCkV:Ń EҨv͓2ve?W+G|[u肫OaA6796urφjDc-~Q75&/<^WUP}z>ٝ 2]zɹէ]^S:l%^d_* ? |ԨB?KګXǛ+pkAS/˫^~|6D7![9ӓë<Ge61%{.J^QTJW(4h<8'jxpE1R*>N}ܒmwh-#9VdN~Y!Cu@{+,[ejAa[T􅎯e(Ki\&6Uk$ѧ%,*uf!,S}#{>Rޔ^uKm%nE9tJMlٟK*j²2_:ɘWtf!C]+FO-L [ג':=3:]zs~et8(MUյ-lA"nm}Wb%a}bϕ=u{1%<oI}>1SitTb-H;N1x.n=?n2u >ch@RzH6+3f)= {t1c{j\7˨mq$["vn OS995h 3.ȠDGp"ʴ ?j83 ,omkf!=i~h@8uIoնX\_2y4ӕO02c1|Ԋ؀Xu"xf+$ʪW%ebnq@2;lO_+!jHƪ2^riS5{ZbЅiWcڮTǘ/>f?96B=~;cC|nX]IWt*KVn+Қng_]Cᗏ+@W !䰨p41ٗSAg 8UFB8V.aF@1 _ [T5,_HD:C2Yƌ)wFys;u& D9+gg.ﴬQ-CI lq\jhDn5ɗRTT"&NC.Vi7P՗;CY),A"&YNx'!mqsS[S#Z;-arc$J\E%I0ԉ&q`ֺ|03Upw9nW%p)Z^߻9k:˳Cڲ$cZ.Pz(`캐I Ĕ99ꯔͣbte951ŝh:dĐcH O0 [99O,,N(a R)N35E[ysut %g8&ve#^'4a[tjU x\v.rXĵ6&]|e obV Y9%4]jSsU@֭B܁Fw \ߕxҜ对 %UHAEK[@)"y9&__z[| 3 |;4J υ\'$؈Rp),X%$տM1!ژuT(JHԔiOWqey?o#pqp5,.=0ar6F1EzŭZp\lQhv~% VeyzKK;RP=򛰁>gyl ",75MAI-ˋ|s '7=Ϲtr/ynS#l~COek,+,;&z ڋ#V()RR"M2y97RxE$B-|_m$3/޳Ҭg8Xt;x/_M!Ƚ[bI7׏RM SvWp;y8>,?`}a>q0r?_%x'}s҄WLmMvFfyGN*,[\)lWQ,'b$06nD6]ufDbT͊PD!D[2͝tnKIF"U#%m̴3#)IH}~/~k)Nُ0ee?J{yC' +% rk2Η*i&ݰE)|X6NG[X*7OD(>>EoTSpg0LTуqU !?س~BSDƵoNҌ'88Y5TD= `eSa9OݑV5Pi)ONO!H&JPR` RỹDR҅GD20Ȣ4jl B>ۑ uAӳ HC~X׾R4.>cZwm"T?`tQA%owrlNBĩ=8ki/ ;.r :   L /<}!ָߒ&b:&"}( k+fdBA&rPCraQUV+O S '2`,CY |~:ưłt0MVҾG78i6mϗ(LQhYeNΪ_QJ@Wp [4Ij>w|n QٿE,(|\!yZݰB,s}NyoxtgиIx8_A,P#7209kв0:rv躬rڐ0:߈zWa[[_*؏b Ҭ:2H-temL@+9d-P*`"$lpQν{a9=!LAGXU˪vcDİ a6v,zJ(Wሚê7v](HEЈFxXrLi.d4Ϻ5!j㔝m귞XƖo6ݪSR ֋e1{X}0N驅$`4i/ C1H#%A~݇-5aPD(o@yg&4YSf_ 9mf[a-;Fx^T?yOaa%8S(۬ :c{*{ .'5{~jΎTbii刹 Nmɤv 9MXZO-nh)u=ZMy8P[ Ux$\1j]px!\&~#:q)y- W$c{'|ik]@Lb: ZC![[Wb>3io-+moɘϞ_ې;]`⩖?7e̍׶gĮTQPl3uZ8T^ɗƉ\U SN_S!Hҋ7#QLAj<=%Ob9QFN;ٕ6ZyZ,G l37$f,"Z+Mv8ʾ3rVd;{zǯ%kL(z>%xfk9q V X4f-V?%R۳E֗t3gE|o- *7fp|GAFRRV~96 u ڤ7.tO„ F2GPk[ _05-H/&XhGyA+ȇDF͓Me5h1$ܹזxa\:g|Y)(SM"=˨WӸ1%tʗOέHξ)O.}0FjyJ:pf쓆7-ȋm޵G&kbW7ÒJ#Q2sX9M[c"i=d9g5ޣz8eTGZ2׀ <:9yikWM JxS{yc_T ٶGC 'r^βoȽ9NJ8;rO|{nĒY )g4 1ŔrT4a(NF Tp8ۣƲlVm NBD߁kI_*Mq17=vg,c=( ԪڠZ D`s٨{rYB/^֟';_oGʜ"DPq]p+Xu>VKOK;}ikbE%ĀL垄He_ky$^euPZ^SZm,݊J&PEI0 Ttwu^`%%+bWK[9ɣQ PQ/5_Q[b馾rEIЯrk*\οwRsfNEeW[K? FLLn*&)73-^,DNTޡRZ}KQ{JÑ.oxl_Vl1צo2| l aR8߱蜴2uI_3{hІ ,񉻧ePt 9U]GWNIh F촪6\J^q)$9VL Xk37>asQt< a2HB&s+JDUf|.$ 4Rr>d Ti XB{AQ)DR'9Z UQ¹4vWD~y|R)O7JȳÆco1R[G$G'W~X&f'#'s ]9,)h:8|&C8פgQآxom'JzIВ.!0Ns}gXۤ=ߗ&!q@s,M w|6,"Ĩp׌ScY tP(M׆6X&\ݪ WpL3Xxx>f %~]Chn;ΆMVhLPh=n Σ wź10v;Iwķ iJ0 WX`tL"kygt9@:Q--%Rko۪KaqrZx" 3wZlYD;e3%dy`.Y07Th/+4u-ڜ0 i%+/o Y?_GhN嵊|[i8n]g"Zbš#fKzWE'aq#<#bq<_<~]E|\$̃67dJ|K(b~m_(,=UBKp~v;ğ{|@l*n˾ԷWsRjz:N8e҇2E:%.(\jTWlkg H{ Jm\&Ǐϡ\U~P$97 %Ԭjh9U1Cɓ~c FpDa%e"wW*7ٽxiyNCЄ@>y /XaZ=q=|IJPBxJL^K#P@ۋ@u %ceS$h1̖ 52fMꅅ_RRQR q&kd/`*OV`v^#P"M}.Rqkؕ-jW13h4lhN@s&p > 1"M驍Q.RLo7VAz ƒxbRѰbf5T}E7*iSF :{A#o_ _a(b\֤B*%LO)` b#1,?Ɍb^v͓ʚ*ݠű邂Ft@՟hjsm%?62xMFƑ&A[Zآ!qمdw U*&PƼ7&XlGy=-V<2'z66TA_mel+XOg$ |:!0A&5@1n#ŠAއ}%VG !@C&Y)8fT&6lR3S!^I h2~0B|g7":?6SsF`ewAd&:c ?MKQ}e.Q LTRݶc.ӱG9tI->e6"r_z-0xJ*gN4-Jjg^!1ȇ(+oInjYJ,V0_'$u :a'؊Ow q̈DZ&v@RqweH#ymւU@hub# =4Y8E@ )0T>Y"IKR(En{vfd6AcBԥO^GL=Y)۔yNc'RGc\O_oHPS8 e@=7OX70R6.ļRql*HrXvuK7m}:ɀzX̨Zna@޼pNBOdgbeaFn L]dPLX ^jWX;p !HrQ *:W'j~o&Ti&x `l S@H(7:G/ǷGi̹1G4\4_ ,XQ*sB<xꣁL yj~2l8j(hD4A6H- 4kEKUc*bb{,%bƨ[@* (ԋɽz^(铈TD*䤀5Cs`M;?i i 6sA.jՍ4%4X9F`C$ I`'t 1`p[ݰoKi5_wc1$mCd$gވ x́y4k@q@Uvt7uoǎ9FvY\΀]ƿi4 (Zyy#:Vr ^thE ^wm,UKr!Yo]3y뤀 "m BeBZ}v*~ wөo|TS M!f׶Ybz=bۻ(fd!&_x8Eac@3۪3SLc;Nvy K~o?6A9w`QJh=aߙuj;\oF/md]uB&N1aWsH]R֪&zC7(%Pcj5 (5t|J ϪFtzMX":qTXVbʝ Vz*Wªzh~˱V|=մ*_H$v7 _ P!U}[_27M&oF I K޺?l8MgXpVvkt0ӢD:'.PTeA}TSũ4} BNB¬.YvKR@gnmL jӎ`_J!\R[Ds5 {o^OƲA|yITMdu'ҭq;/^w?isވPn=%+EodssBݴi8HkTTђ¬`Z2Y/e?y`!Mwcru {l1=bX]L ?D>%Ŗ8 O.&FNDrC튳AȄcJE^ 6Mw(o1@ɔj"T悉![ܰ0h'ޓ~ XWU2o9}Մ~amGYr>ۯ^oKhgS_1´.vJmfEr\8m€O&'7Y0Memg+w^ouA$$BYL'x!  ׳1>W.JTu jJy: h. aQ, Sj&e]Y0tG% UfdNB("J=H x]{dOP5^sqtȪgʻȝivT9`)A'%Hc' {CkP4Då<ؔq\A9M} ^hECcN5F% b|YmC }M-ڥb.Q9 s HH~ ^*mݶe>X$fI#&soq X9 [\g/iRl9i]l2n3$"%z5 C Me2Mjk}'aOB/Mڦ @0x.!1DGsV)WCY_mMBQDrJf*X\بJ;HLۄѭ/\/M2њ|GG]G<|^%D3@ |BO>7vu@W-s9hYJRe;06(6^0k@;&)!Hq_U[ \wӭ S|'o+oZr+[U8X%qN?~dJ>'@ҵ#h^gۄY LP~K~50_5 Qcl;+~ +d7 }"{=z!yrs>u""u6tYsmby ޟ-;)OOʃG^UQ..ZdcSF{T0RvE+ m}/O ޭmCZzlfn1*lNvEGYg)NjA 7I͝Xje;ZV!r߲39KZi~g (B K3izsoͯ@:1C(+0C gPHE 𫟰47uwʊز #LX/7DՃCfhѦ\-qWp܍B#nbAj{ D%E] Cer3K)3[ w5ht`T?Ux ;`fA VzEs(LG:ay/9O:+ZF=vVnkTҘ1`҆^*'ـ^'Ő`d5NE线,܆Kz wgDo) {k/)tCF"a{|~(oEUVZeϺ+aѪyF 0ܲO :o9^%vFĎ1bPwOxuDfx JdC9X3's~Fa,僯@DaX&`Rg7ݏtҞ2eD`MWvz+:g놊P~*6M#2 XpWQ3K:C׳4@>8z.Zw9=\v|W0ov/xI tA.Y{=1Cx_MpNV4".(7S@+H)5oN><, m/]u(l=,%?0qىi,ؠhvt N>Dߵy1iIpZsD*{{~qlB~sv_HD& =M~}1*GզK"k3"7]Qt]Ч5'%RW^M6#fJFA߅%Di,!p1RE\K  3<5{/϶S.ʄkRlz$r.`F_fuu2u&B0V "wc_giUe.TsJNI\1ZAƉʈ{L y)<d^71!^R*3ōe_5=etVʘ'+]ew Z*U^! z'%Pfٷ{K*".v!9}$Pln@hbO' ÅZEN-xmfW4ym t8^ `;nF-@gYZc42869c2ca7cf0a2edda9e4d9c7365e6b4bf7a9c3ec2aed6e56052c24ce5cac914b0579704df917b893691c34e7b591da17161cdfc848d16b52308ba