SQLite format 3@  . BBh77otableisabelle_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 <!tL, ]]]HOL-Proofs:threads=2elapsed=798.956cpu=1433.948gc=149.732factor=1.797zXZִF! ຘ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~/}+ynҠN02Dl5{skl7'T pKA]8FhHFPmng-yܗ&1 , ID Sj@IU gVIŗe<}lr0fc^I~ Z9 <[L[I^5wiaW`5=JZ+(l5}6yьa!gd^',%н/˶RtvLeJk(LLj^|}`'CϨ2X$|%V:WiΑۤSê)בVfKJJ͍O"o}%J/Hsoզ-(ݿvRDr&]dƯiPxn(}Wyq,)u޴靆̸vc%fajع)\0ٞ aeY 8"Ml:ӳ!@xgp`ޣHUʇú^D!ߣCK% iJ1! Pv'ʵ)I˦z9ۦ輁_ U(ZCnNöz!}Ã|y$\Ջc؟دjp g98XЯW%ʢ){o`M6>01Y@ku1.eȪ3-4S8juz$?`sY(/D79U}Ɨ:厾( -8 :dFhZk"#q/=2~r(.97Ď!&u;$j '{U;eC0ݻ.gNB[@@!@uY0?dZtxK>m hҳdB|KaGOޓu`G*(lJhq>"+կObKR{ҁ0]@,0e5 +3(m3|1 !v"#,-YJf-dh ouKSUgKB|Bi'䕡FIC ^-9ÒGJ/FoOw5%n QAP耚&-" 7C;Y;g*PT9E,1"St*豪w4RU7q}1S+=?zT*T%lÂE,E CxSxNЯl/݄k*3$L]QT>},ADכFF/momBq8Fnt\"Ջ[P(ݕa]&]--"6kP1 N1l"맮 SGhفқ~q D5bx'⒈EHXŢdY}^׵ .^%@A& N)Qc m\E +"AR~sn`+[Ыbl c]bȡqLly651/WHf./ %BSeo%7J"[[¨͜wӑt Qa󐐇i;O嬐Ot HnӬ@r5&/7h['!3ou蒸CwU/vFk)[*ӕ V}l@ShϱN~wUC}Z{tm[|u9 YX= |Ԝ}:}.T QyS&P?v\ǿ6-_`@l{S"u/[vobԟM)YhLbYAN a^.g]0+'|̏:ixM &ʆU~ 7uҾzJ6t<랩dLҪ/wan]̬ϚCmWBS cd!OP`o&000ɅPw "\?pڳ7Hd߹ҏ Q"/+]5Z6ߔ3L[A|_kN<_on㉄}nquO}eYc4}m_~%BF&%W9UMŰB99y|y/a鹓w뺷'bu!c̭BM *ݲ 4vI^R-O3ȵCuuu!zM#w>ݐ&gvb1X|QNtčګ@7@jdͽ:-,?ԡn(7v9)m|/So]qNVQ1g+NbN"]6!9F,=ڲv{*X[DYMV_((:H_-S&10n~_0@P%-ѷ/X.sӎ=jAPʦٛJ$vwՈ^ L^%ڹi]OW ^jc%"etᆒ/5\W|u"Zv;OY<}6S¶1>0OPX#xF.\4 lv)[G&[MeW\%S))/q7R61e0vlࢷovpkBUVqs!6@(xMkubV{4਌chMKma)Xw6`eCWBDPS7ҥ uUJa=n_]F9;yaXT\SezSDGy<*9.E+Z}'%bf|w{4tэժ7NmÐEӧdL ܌0)cp&1` *&qQ!~^C&P= ("Xp km*7 i @9qh1=d\ig2&sSGYGľm8J3A} 08pO=\lwPm ]-fK:ew8·[tWdDhS&0ಞQPTH!%DH8PmVyZл4μ/*'O!Az^$BDA5jkx9 ڢ O6]'*?KYs8"FJ:EEт@Uq>"ʏb\ @&KD:vj\g°SEKcZJm eMRfO0LF":7wj5| @.\%>zl,Zb) ̘-*sZu"]1UJr4V ~y@VJp~E6PsRU6%04 VS9iJ ڡ%/tq{"㯾08zuYx  ! HOL-Proofs Q  ])`Փ=gN!YM};|@wM& .T2R-%p[rHӘ Ai<\20Xvzd@vI>@֡FMRzb b?e11w1K?nnc A6XYY\\G;Zv+cCB6V2;W#y߹I81և#p͸:=?m6 Tu Sho}[/_&nv(xWG(SuaRzy9U}W"X<>4l""t(y[:bZ݉PGf#؍9mN>3o6t rncC U: }ԣ^S}[}DwK(Mi|XgWܕ+}P|4is11M@E0*k~t +;b^EWt3=8C*8O[f}{ 牝u=1skYꛏAhc={{;ORY2C%(|) @+MR3>d'ӴZm\تӶ=P;-Wc736#3GGY* f[W,/:iy/s0tP<.>#04m|[ۿF6F4'ޢ͹C&^HSA>C|d5*VL7pZckp̛HTtJBy> `\FSTIq~*'&`d Ff-HA;&ʲRKr7 F E8jbN?+z QC;)o@:&3qRZWm̡1|#x]@G#\m+rhUcow6)*W>vB_Cr\R dMW͢opI'aJq& 7\7h,VuIů6q1XVEѹNȟ L۞tll:$R_[+w`;O®)u-߹NQ) sZ͵U_x-f뿱/Iylw_2O˅3bV2Q :MC_˖R}j\}+שHj8PRܳx?.5 'zTuD9*{gYZ7zXZִF! J]ŗXiɟ29aoʼz[%U>EM!!BPP>HA%iu҃;͒ *h[Qp! k!\d3: ɓ@:H, 5Ȼ0fKY>clZWXӟT_4xjnߪjfʴEkxM׸A|0Jn~<4>n"i6J7+US0_B^Y7Iî͋zwPɼ.X%oXz,:˽ڋ kPtzAX:Hf&O|jʏ;ch<7[zy{ƫOv+iKfGtͳK.Cnyq'g"{Vn˥CzUP'buKuj2@/hT[|srlHH%&OKΉyS^Nٻ'M/2uA?F;5_h QG}! жF5exw )׼\j JMߒnR@5S5v@QL3@`t&).eAH+\ikrXO5c椎%cl~iQ`.z,3K4\Ǿi'I:0$)G }e8cvܷ==@YV6yF1ill~F`R?zV^z04ڹd~(Ywl 9lj5(ϰ֪m 7Ŋ_]FBL/7FG/'*YwPP<],V8pP* ; T\ hI [&-QUtT9]T &k Cö-$5a`%|LHY+V~#As$ T.*HL.qjGCˤP.P9vD`b4U j@:l- (TFCݛkA)*SQ%27TQ;oh7z&ռG_sndNt7|RR5cW$S]<`kwQE v ޳|o=0 hM#ATL@6R='Yw|x&ɩMmTpv{rrICD|ec x^4ug)59jLG *KYӠ>[yWYogHjee9x~N9>bR=ż9Iw@L"L[xx.\lnx]W8Ȧ5rӋJ n1 TwpZk\)\+F2&z0[um$zbZKL0WVRdA]T0W*r4^OPFEih5:d-G(4wW"OA#<9h{bDU׈ZN({3um4ŏ? ڱ )RQ4c8 Vc}4Dn!vߟSr$k[xliȳ5Y Đ@evA";^KJnThշE7諼lԚTLY[rdC.wFq br^5+ u2P- Z]LK|޵B!D$x6<7m^-YtN~0?oůGwC]2->\Uxzpx֙xet%F* 0Pih{'?w4% I%p=+ĞĒBJaq8o;)f$ME^VjH)d4[օ&Go-G3,(*2jnej[np/Q^/>N3@u]F[V"F m,j,6<r-kTo2KyX0RD/F9Mn= HzXw~8haPN1ZR%\->='Q;R9 =7߀nRt;]5b)JAK u @U={l_U a0>e **ôrHUY`nYXګه5ڠ~>aĿ%w2s@M@n^Cv .p.q) *$g&`(n7f m]~[zfЭP.ꮲ_9(]T-ikWa?̵J I.cɋJ 6kt;+ P eva}I6j@*#VI2YٰTg1}B7GMr5QĔ>y]M]Cm1ű2~OwcI1t :hFN' UD ܙD"$Ùq/ F[rVHe'}մD4gcջi^xCQۀK{u'M]R{c@B!p;yʏ)Qݘ"IȿXk}w:I՗F| >| M!Nɓ4W ־Ao#y{@!6r>\E9\'DqD߳ AYKd%F<ƞ+X?ۡX(&bvc|k8/*~ Rd*ٳgO%ov^aF_Dui &vOxLP`.yUֈ&~{}BsOv'v%y?Ɋ?=X\v\liEnPxquZۤrޘsnaΖ`e#y55SMd4 Q"zZ_>SP 'd__iʁ^sh vum=fʇx5{`Bau!ăXМPc8x7}w*k끦;}k-PͮC**6b'?af"g-}F$" ~Elj>l;M:C|+.xۜzt3Nm6aѾnRKҒf 2_Z̡@*1ĄkVu~$ 4*yA(  a#-D5 kd03p_p%NS(è8e!ꨃvBƦvjzV,9RFY30-f(ڂ2ݸ/I[?h Q- /qN2cg7 }hJlQ"MRg0w٘eM =$M .-Yʌ|͐@w:YOW]Blp M QmxfA,j=ˋ{xHag3%q 4$D@P?3 z7T;[>KF@]qD0yÛL!yf1)0B)M鉫 c𯿰zCeyKod;lY*uzkJmJēN_7P Vs|40O@kg6nleCU?X~p;A \o/.ftLGkhChY{8m}>YtgB@~pb3Ud] &. Mö!֠WFsM/&¾Dn!'6ge rjWZӏ/+F] R,ǜągO{tn.O8V kNs- `rYX{p X[ö?QG'igiiB]E}k޼4q ĮU7# ܝ;Vi`V:&:Sff,~m'ǫ} ӶyCTO9̆RWz2e>s F>x`nU]* NLT(c_S6ϴoKP:ɣAD&b"NmyȧK!A$-k./LIP|X ۖ˴r6:#g kjuX݆hohV%^2Qnc!{H5Fp[]uNhB6Kw>ZJQnwxBoF1T9T/OGc*H_ie}!G>auK%殗T{sj%k5xݹ#izbX9B`R(7+w.6 `.2e j9SN&+(zC{ }{ r鳩J<],~/MY"[Ղ&L-cd_ *Qt9b[7:'M`o靉GcV{ :m/yڙ$$D_֑-by7zoI=[ } !r"#n5мF&՞FֺիGyjDC?t aps vR>A[Vw\a ݴD1sM8W>pW=QG"eV&eQ; ΔR R'?DBUU}iUX˗@J^yJwB 0#V>[LicRDui!X pފReh?AFO$K-J)+|nprmh큊8-S Fc(RP?rIG(նՒ*buSf2ў3{D"#<(k+ yb aσw5(%nǷZÖ ۃ*]bpSXvw}=طhH!w^}o$nUi38c\wƪ􍁘_7>t͈ dhX;(r3)֖oVĜ2GÛֵms&gӯw'otdΜjzV72Lٺkȝ~za_= Љ$> W@^E^m4-.u Lyqwh-Όkc.6`[C{-t 3,T)b+jztԽWA By[F^UMn ̖w!@mV;}祗Y+6޸ԝDohѧQ6RA"XЎ ~w:\ TА$;HcP[^/_>N>: L[rX˄> /-.V=o=;d&Q|Yؠe>"\ <:ʝ3 7)>Yi3{}eEfpNWP@i!{~{ 0˷gՁ0M/ku9;DC >BzE3pl$b +XRB1<'NV<NHpm(!` nlU0Z8/in :E& 0gc 51X40524TOKS2/Lakrz/-$Y3p8_:`N*>3 +׆%#p4][.45\$%F<lhv;ҽiFܬ_݀ APlKWJ}fzMh0/s@Ke?y ^2׎3FѪ5ʨ\ 0;DW= TKE#2Jd0HpB61D%f;gJmOMZ 1Z)҆)^.*]J~y{x ;  (ơx \k_FV}mT@񳃓70 )`?FQ ]}Jk 8%ـYG*vSn &{`8 d\6VaZC4tJHH1pA{=V)&UZFA];LӇ驑'_?^=|R4 .'*CX&bmIسR5f(evPƓML5MZq(K=P>"qnCz 05pܟojsa3v$k웡%̐|o6_Or(布R>ÛYY'{\i@xgfږeɔS֌ݍPzr| Xx+Qm Dj~d @<瞲UOr͟lO 7j$cNO) J-R |6]&"颉CY*bأXͭˆٍ[TqAӌJ'GdEPn'r|)C# /ə6Z.TD^@ DgwRQ YE\V z 5?ksCa;{D4')dLY>TjcrZYslF^emw VLs&'ˊ<ݮ~#LE"0<ӻ KR6Oĩl+Zȋ]1e5{3qcܱ- L~ԓ봼*ٖt]Mx27ڼ"gYD=w(C$<kw6C4D.XkG6uͭF|)؞3VZ Y i, MѼ>8J %N/QkC_ ʮޓi"nK "= {$ƭR-z9д,\eb*5-#`Q`/WV.7֤D_sy cH1vim:hi 'a<ᛏL燾Yg;)6Ku eoC%O٬*4ESFɯKboDx]99pPOq*zTm4֙h">8 g;Sx@M?o;BT{/S: xƷ"irȑ|Iv8u=Pu.Q#咊Κc*n6U>CKj{'Us+2ݕD#VSN rMdFk.)+5G*I^1޻m¦R]-}Y ΄uUPִՀR 5,>W4+V"= E11_ܺߧCp'QJgٰZ{u&WU$JCzZ$*cv&2WJAJt}*CqR< Q|l2a; H.tvpBkXU/`OPjL Ķq9u9'N1P1wŎ#V%\e򄤱͊QGIqA_TYSJlSCĊ. D@HrR|-0BHHOKL U5OKATj3`d\#XX\;Ǐ'";CnUYԛ n`VZNn@WB T`< }nϑ|Hw$:'[ma8.e`OP=?ղ.)\c1h`,UN$xf_ ;aEߴQǛoDioME'#_))j@irؿտ%qu3G,xW4LmEA؏ a6Z&%4usBÕi q8@7MxTYUZLJ%WXGґGb.{C&a:E_W>1G 2/@9>Sg;U~8כZEJw8D+X榀w{ RZCFWL\z\q# O &)/W$GlJR~ JZJ9þmJ(ȡs_b}f_hZf-BϺ Can,eڗR\qtmn Aכ.E>'I$i=~X:0)']M&P^j8[}9J%9E [ C.-׼g5`UЭsǚa'^)};܈=Y[k jS<7Wɬluf3b>gSl]V g dPYN6˰6RylMxcugbRFT>]CZL˦_7W\̓ bͤ>AGc"_tN#Hj(eu(LWOAr?>fyD9`6SfY-g'pJoNtр;#y{6ܞ:u|#Z Iy"B=0$ܘ 4XY~Īez)8p2}$VĪ]+F_z5S{ʘL p&37EeOP* 1w+|a"xO5gHB_coBQ뉯oF m'i{U#:s#s .0>{핔/+Aaܬ&an.|ACQ}S-l?[VN = zQX-ɢl*@hїc=XI)S( x1" $p4OA"tyI[SOLvZU˰sfOw>Zf1u*$GjܚXF5b y?t{`bڿu7[i>h*7UH9*-c"WlnLPqٌePv xJqwaV%MGW䊱g!ɕ!OVhmZuq^te]; Bh9^\0.d$C,#V 2sJA{!\Zb}hE !X l^@Z33c`_n&l:uZiLj~07%X13XrXM A?hЈy볞[Lz8 %iyqN,1ʐv'70ҾCŵeo).WB)QIk1=hR/}h-hZӓ&hCK}ȭk  %,_LycJJtl2 f+a)O,|:"cؘUP&4_`l#. {S#2rL@}L"mD^&1Va #.K}k=XA@$|ePy6 /ݘ2Ur:NK?~ Oue}-`VZ!7Y1ßZY6,=Ytd 6(CQBNC_5BhtrsIMՓǣDn.P§cp0xY+P3['P}M+B] 2JOptj%4kaߠ J[+i5>*a[AX+ްrvRgĪ:̷FVG}Ar؊iK_P;&)RiLTE]؃QЍ0 9p@mAℰ3<^ %Z!x6jBirg0#{ `g]|9E"b82"݂WжSE$8Щr)%ʼы) R;%JS)!ι&8 * hԋ 0iL'&}2&y#*~ 5pEo rr\o.\5:jR|N]5Z;O氂5B9? ׈(?tJ_?ص pGL6ˢ:*tWp6`:WLINd]zO fk8N E1a^ZPjU.#xlPAފcslD+-ѝ0g`!tA&K{@:دH&^@4* s?+Pq-I7.݉TKcz"]9 U7X*yLgOnecz$il?ꬌhBWnk<!va3r2eRC$'@j_+8zť=z nGf1@@5d4U_ȲJ3Cyd.NW!l+,8+͐*ǚ:Yu&;\=gȒvƦt7ueZu\17*4/[֋x] gEgB/T#RŒI7X;J '0H]{ _<=ߝD*fOִ~*~4˸ˌܝ`77|!&MM]o+K ^9 [G,Ʈ;mC 47 qcXZ O?LH`Sm&CP24R5v\ΆKvS&>\PZ|lRQ6T<73D2S s+ߙNq효3pkA>㚑 30z+qP%x"'%=cʑ5ςFĤ(X"F_a1᧽|)!;)7*B88)52rA*aqU@9TAvT韾[:=` gD|w K};5OEYDzL -E~}\nZz=]HE HVj>#_J ˠ-GgU2K0T R0I:cZ!|K8Sm75l[U)t?kn䠍~"e|+`F ivK-/>ُA(Hشpߥέ1O $]9u/{$ \)Q5]P2Hp"Cr0ĺ+P>dW;u6 #C\wϓje?EAҲ9q̠l ^9'M2j6aY:ΜG{8rB9neAp~bL{XDdkR0 X T44LCzeʫ6쎎_zt T>+$ 6?-ɯK)OCUcYju3ՎtSFp:):G=p͊O1LQws.{*-yӮ'Z| )cUrw"N5$JPΗH;[9B2%7q~}2m̍`x ӿIVI}G6[ ?h6gf X̔vPp&@~\ye0060's 4e{6P| x,;*gy-+ (iɄ9$ҡɮAnGn0MN5yd%nS(f~~MkC] "c Z@?JJ۴HY!S "[} oyASwE,˩c7EV-W]V(mA 冰d |@M6QȽWg7H_4{Լk(uiVɭSM&3럒ݶ|8j$2|Ew[#qU(LϳZP)d'r[!G_st |-?'@$mOL3=S{iЪ g!N5-vC.u,P.]mj˲aBg }udVą6f3wsk˗lf&d`>2֪E*dI ./&kVA6< .sK+m1z:Ϟa'mE0 9"יwkPY6bހ^^_A3HڛTOQl,!Yx1/j@O^"j{H*kp!ކ5\Gv^S ~:njָW{KX[n85. ԙ:uڳ. >[;q#Xїa D-Cٹuv1 c:#lڊIהbq24i1愬촻޽>ECѺ `^m"Fo(jIm-Y=3r%>E2zcf͢5׽lL ]ɿpsMoуm5\n~ W8a&Rc_an:nS{w@;&X'9|,v%uUGh:Vi Cfl[}CHO"C<#R̝A+{t-0[,Ɏur[%Ia,0WLʛB۬*e u\{=&vRHNSnhs(=@Ɠ ;MvWH!R{)]1=MT\= sIa2mFhx > ,ֶ;JA&!Bm;,M$c^u#"נz.Aǻͩ{1 XOSvLߕ3-)- ;ǡ8U$$|PJQ>Ft,ܒ@DSh(vh]4 $2qzz2YȻPwuWㇿ |-Z nb.|F]M$X_n޺NoMrSJK/?5"历oKJ?>խT-LkLHs;ʟdێĹB- g TM,{OkCYz*2lϻ9S'ٴA7˫%O ;OhR'+y.:s9BfEz8A!yU–ڂ2Qw*$5U@[4;.Gl #5]u֍nrђQp*z7ƐCk%'l]h Ȫ "7eđkTBx@ݫ7?Iu!/.Jiٔ_Rr Qx"u~[lLs\G l}o KE츕 ;Vx-? 9#Z<$$U%qTT@D\Lb 烼 醟DR ʍ)&]wUiȱ N7_a#M(j[X a!{^=S&;9+LjGbhQ&HuLxkFuaqQgh@1M?_ 0[=BIFa͛Wa@6ḛGǐbUu)!&"ÉӛB(P#[*{G셴\b7O{e1TQ8巣'~u}8#9uu{Ku$M6 гYc%Vw?{ޑ|aTFfZ◑.G'7UȮ|E $,3 )/|Kq={B#.fyeygx@J g/RrzrV AZC5]h;WwZJ^khۮZUՔ }VS8Ǩ~(( XB%K=1BNx=uB&\U `ckX zKi/s'ޮ(Ȯ)^Dsvx0Hn [+iH1tK NTri3ۋOoD_=|7FF&Bx`ZK܌e ;%^Q 9=߶SnhQͮ :[u8Fn,qIIK.`jyf23 &Q;(]gݿ{)QGoZV5NgcH%{tOu(Kyz_d|Viy ?Xaם ѥf愜f}p !B Ӗl(QESzI/42}<%i4yaklPBX܈*]P]z[ )ҊA{10peD0Y6+D[$9=-w w&fG^ &*y Aɉz]h4d+sd֊kX7lQ6'wghާH9Cn>{6Ps*w`r\idH7k"'lgl\3"Dn5I&df'B~,I"! W.ůs \zm޺W%Ջ}|TKB2]AltoD}χ"wNϸyvo:7WHY6mi⠄K5e?J8؍r?##pX8Iw.fňd.d}O}Ň TFqJW0<"_gG! )ެ:y$sU#SWBS4dpD-L^ϣu0 W:[B;L4,$1+09T@]d|a>#yyk:=B5S{j %.ܕjݫi qr@fyJ4{?u}W~j9x%9pF !oa{}R[-/d#PڱKKLykvy HL_74YQa]GVմ.n@Q?->O:FrAÑ1LS&:|glgZY?uWGsC@=v:@\[5AԧÙJ7dhE{r1)xê֧[w%e?#y[,h >?=J$Lh2fgDBMuW<ߩ+o=:0%^m&2puec.Qbit*Z^Q~IHvMO!!\>b֦MzS? |N"˚fe eE8l_BU1| &l_nir+VgE+*#)>#`. ?/öɶJôDqzn$%u6'yT۴夻\[o 7]~q`֩v&zDoWbWc,afV-81*wb X+ׅ+Ii'<[!5 51S$S5yy|mT7>4fA%;z +٭A80*V*@** g}C|$:)2rej6rEOѦcy/e4b/ݴN}=ƶ1. (n:xq!8"8©m>颛,N+C&^BeuL~ u^rf:1hVHMxWj9zΓ3o|2fGQ8a (p*Ba+;F WڏbMn`BЛU۵W6F/@> q~J'挞6@Wa(7 ѭ.f 9#s .m+t#6mˁ-=4:^6}?Μ[b-jeMPVwM/<u>g_@G׊ gt .d؞CXȮ<9]#һYW䢂eLNt0 Ky9GB ao0[鐇n 37kǒ~8Dd. 1C2о}nz ?rZM.]C ǖ\0:PUXj%=nX ,o4 FK'^Cn]ꯟ^QU%x(#*a[ /bnB!m0]r|2[0 `UŻ}2ub!~ t NK@N]׮VOp #a't>Y]=8`y8ziG/SAwK׸X~Vؽ$wՇ dQHK\pUfRg~߃E'T~G&IQKilk H@03\gc_42Ai!aNbLȕZٸ?~ */%(($9)>KQ׾ ?9Z8f?hxM(\1@{"U ӐaZscqA ܿvΌy.'|JĞmdNB{h l/X'½@HstrƒxZE!:vJOzj#- lײB`tJwЕ? } B<;~F+[>3Zd+:?DTT\$=lbH=37! ZG,WRRJ]D^%м"N׾4—4g7Z(D۠ d9R$<لbu)Ӹr _#ҒHuof]+)~i/RZK|Wee{i J05~Qv{p\-ҦL~YY^P ō@k\vOpCG:שN!&b ``_8'%muPg3}c(CF~/qA@qe_st]MbAWt)-~fRn~t/`D Kil!- `@Ȅ9 $T'bGWx1_ RNw˖  TW[(WC=VgSqF:D髢fws䉚"†hLN!SsAxMlo4y_Q~QK}mQbùQ?k ļ \E3I7tNǵ5u7*1&+GGV{Ka[Ya \^C|Ha()]I̩_Q\6pK]'!M P ;olf&-xjX4Ld\u*H'kkѥr Ʈ0of*5]v˝LXE>J5[ez 4 Hf]&M'3)(,Y J{((nٔr*nV"ڴKr& .X |9/ cqBG+?.(.T7"EoKő#&:tZXuE@qYXŠ3<]jI)m?8هg9'׽+ wuHK39>_{č]ۄqnOKAkD2e#ʡP M=]@ Vz'ɾ+2=0kȤN[j:Š> >?`EcCq Vk=N{.Jo̗%Q@iKt[@V#_k(jV|ڬ% ,+~TcAt]*"Nͣg#t%L^#胐V` fgr.UETV88j (Y0"aX#o1}}M5ڍdl%-])FM#*S?UTϹty쎬Ę ],z'jR4QNNg^@DPƠ6q^Ԭ8I|AM3nܺasPc)>w [}eI Ȯ?_AЈk%ù;"7Xء)2C<܄( U 8d+5d _I=9]2!KnW± ḛwBsp8mc҇q^o׍ކ׉kԤ<p2-Ɛ:IjBlKEPRK:V/ɢ_> |\. 1Cc (BբEM6e0 tMݣU;I*9nOHWŒYzʣPWǹFY 7X|ZmpLf۩y oY9BC,ӊ!E8M9ܚVԩ,aE}x,UAwf>9JHE9<5[|l~;mJrLf%έ VYNWZ=.!v,ɗo ]{to#—n6Ӣ>]n.qC #eʔ8 Lp@*M]zw(RAv[NCDI9%QER%bQ-%c۽6\|Krfɕw9mf 8wv ~NZdde@/V5p3M"8V$4oYh+bFOi/[hjvM^ vQO~j;uve&U:0+eS^$֟Y$uM|)CòQQ>iShB T6c^:.58*_.Uߪg%Twf6-IFkp`B́1ndzMٗ24n Xy؈Ȟ|=X4ہiSЋX|2}2S+H їl C 7Œji\d ɳrLIE0m4FЅ,~0'1+e6dɸ)sD RM) UZ\P.p".#rmp -(V$ }=V-5N&rwbTG޿r~LfU*/i*AtEέX{F Sg3m=`C8q$hIKHV1Cvb.mZY&k,OiZ;P2yU.cGQ^bFG[.X!7ƷCE_*`wIHDv4 EGRzθ p4&~+3ADx;?<fp w|QcMH#ALgVAu թfpe>-r} #Ҫ7?liL7@ch3Be:R +>_pwӃLP YMu?0־dc?ǓccH:ގ~S(ΘWQ3J3=kxA[J>@[ s&4(+ k=x#/a_:jυefn%Vh9hećW:]SWqܽ# a83dCZ5v][TS*ܗr,#C$!4r OmyjXKX ?nLxwZՠATNCV'R̎Jd:[q:_iZk R;xtf,#n !A]! W DS?h%Lե2rT{m.jGI `8&`1jG oe.qiA",}G`@O*U)avC .U;TTIO ~ >SK|u pvfڼ?[FwQ>)<Ǖ mF%<ř:1 37 PsSnHn\ gxґ_A;v_Gk4y9Cg0^DZ;f, Z8S}E|C9=$(NGg(Y1wUVl)'K<QlWfɧE0o6p@pՈ-t[w[L%rRq^;E2=ݫ#m8Wd~'ҹ 9[MV 1z$lOT"&i{ȿϺz@r6XIhUŁKPwzOF+B$aPeHJ}$vM7.qB}fqiDsjAP @w &X.o.b_Dy; 㲴bZ*8[*hER6BnTx3Zg37rA4fWa3DʖL+ejf7cNmF'֒8G0 PXTZT |=JzaSgu#Ϝ7^9fmIЧ([ے$_ _bs`Q7]9cE }Uhn~G&~n*I*00V㔰^dpkWFU9GgA2ueDL׃$ΏsE>Um: 'ɨVn& ѴeO[T7oH%ﰘe i{?CZek5 n{B:aeGہ_B56f6Ȇj24c61&x6Xw.joc0tSu%%#뗬08CXwGК;yF398yt ^rcpb@.6˸?_3`)+4$~u ї!ߕTXꌹӀA\UuAsK2sm_ p#'0Wq!5mk$Jg=%(6X#3"xqW]H{p(BvC6!MwX+pbK  {I]d}NŻF`ct1,4Ӈq%L'`We/'K kEAn/;}aׄdI?7>~7OL$0c׋82ziƧ(=$ܑ @9JbkJBuEgͿ7NՋ{פ0 xЫsVx\iOhJdh(ϩLj0}XB5B؀5 i."Bb?Z}f|3/"UP94N@ͷ c}\^5Y1]tBmUD /nr@ Lҏ^y[@ME1АKm4pNzuu-toɦZVى hV!3PXh@Χѣ`tZ&\IW0JUT4t G{ ޜ79[-D^,BB|dl쌎. hCOeLU<6JX_sUvu?#|9iF 05dݔ˼L(6Adb$Ny#j<^A9Y/1:{->/?J"z^m囷 8Sgdvuk% tj[c A\ݦa@v#{ڴPږ$KSI@Z{6>Y gBD$Zr5`dBgIH4x4/Zv߮YqBDlxj-$)C3c[Q>ON]֎8>T=@qe eh#5t›]Ynk.KOqڕ+bU\7'Xro>T5MW?hD29KЃv6>rJK-VQKSіۘfYQ0~?<:h\lC A" G;ulY$C#-H;*R.D|haYkYQyOR~I7ԬܛMR0E84/,^Xo渽`uB§5!Xro|$HqQ!'a 0)$Y z"AĶϳoc:zUPf|J߻H&`ZzYETvKM 4 ټ'gJ n֋}q4jN!iRVJK(!2%uVٷٞ9bD$JĵZYuAT3b9=ֲb߹ #_ yR=_?Bm5LG%[(1q\Vz]"vPCBۊQ׋ :s|v9=>3N,=b@yTߵ/QMw9TmPV'?k1{u_t)ޫ=f*&irN y0Ǣ߄L*qdh@^&7z&3" ugrC{ .6?j etdwܪM;!^Gк1=Hw؟gG74$Ֆϻ\gO䩩n#<)6Fz#2nq{ ![KtķYgbY*&.XWsHn*fG[^q )e(ȀYeqowͿrxC{fܥ(R}Q[ RlKv/ $3(>"Ebʫ>[<\ w&x\BL&m N[ -[k e8 03r CL>[*=32n樝ipA1"?H"PW"jsF.eJBԠ?JXn;D8I1lbZbnY W^=pbhU=B[4@{F4=+d8n JgOJ3fcoEۚ CMa'GLw}iq!0aY5&Fb7W4. VDYqY. "EB,>!=f/1evvX;Y)e-hz;6o.\ghLzj9l݁ TӅ)Y=$mpU,,@ZDP(W3c>: .w%e YD) dMˌy#ƯiìC/Ո.U(%b;^WA"6xJt-<rζW9IP*9=d2[pop!YS\aM:(u6$[nRwy1; (s} Jzt)”՞IkUJ_d 56̽aKEP/d>T^ koyW'iH.3lXe~޶YWamkyImѝWq`tZ% }(Ӱ"@++/1_0iH*Zw̭ϥ?ſ?`MBhTGt}Sl|w~u 9 T#¦i%b!dzqs~%MF+B2(`P3kwʃaGSl!-:qJP*2FW|\:WA`-XwG,Y$t+}"!W)!yY3͓5a>Kegw_ ʢN:sC u'3ٰPcʘ'}xG&nԹݰ}qpD3E܈P ]`i.V!ǀW!? ɋ̈́枍`QK}wokIH"8ރj\ge =.11H|ѧ(i{=ΖE{mfrrD@㻢0 sV'6̱gYZ8994e0de3ca93609441a2283731e8b69adc61e24681d5f7fc3e04aaa1f2e7e53f290c7539f21d9624af0be627252a43827602ae9383bb2fdcebe96e8