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| ]]]HOL-Proofs:threads=6elapsed=543.346cpu=1313.656gc=123.352factor=2.427zXZִF! ԩt]ŗXf1-%˓S, z!ŧo]uA{D"D5^]38n nP/m_j9Gp 7j#^tU Hi&?c%/)oȄh$EÌĭK-.NcvvjeM_ƉpUWIID?KD&"#eᇚ>Fl':_3>Kɛ;\!&jaAJ)R~|8KbC+e̒~PJL!Z{Tȉ(xkh̵rSa .tSPK1$ '#*G֣4C ϰJۆǺG%0VR# ۅ'T2*q 8w9BUk`nJdx 6Y_ HA]U\TḛÐ6"La? p$/FOsQfNoT&k?pXI6рL3tyN/!Є9Vf˜ C{|Qd9?p+ O}njX p (OOV4fCH_x&LMgkK((c )>qi[N*nSӋ(# ˓]\GK$x!`[ FZwNr@I.4R.޲q1@k=|Yر+md/}g;!ꅡ^6<`&Cs>C Q  ! HOL-Proofs  ",nԄ6wr:E`|EZioes;eG鲊_:Ƅ$Q 'sL"QEu yR1 $ve?&@)޸9#57SX W&pHEUKmĢ[p!D %_0&'97g=A%I3hYYw0DTtA3ٸr (7v>KOO6@WiPh@\(P\RL贳EF #>5ah  Cz&bc1h}cY}m`4`IiJ۳ PD.slu+54&/-SBrVHǬ l^>&8(G3z;%ik4Bd(\ !"TD1J~\#uv bXkĂx5ƖU]b;ڂ^X65NߋB"921dr -;P]𶥁LE~ (K8E+}eL/Dh]/=Ք韏oDG̰N}8۲/.+mCYXA ]=1ׁ j Tgߣl_/eBVnʥgKO:(y2!{BH[4",֭NagG41b">ƿݶɂ0t5* 8O_IoOeΩ۟c+ؽ P9 :xj Ϧ[dF%>ScSpOYm2?E`l$efR(Viܳl5 oᴮvugy|dAƸ/m<"sP@_u4wZg_-lDCl.Й:f[x(^uV;,^Jכ6F]!ΜQH@ꝓsv˰urh,9jFF˻pf'ҾȚn`uV rb?KHQPoJ2}ZO:I^sfmzu CѼ9\518y-UdWl2uggx**PlaÉu…ʯۥDW@+e^Vl%@eJOKr7@ANT㢪caan-^JR;r8#\q;Bj8fU7nY>iǥ$#0ìXC>Y6ʴD>bOOV=䚪o3EqL`y"Zou V*?yz(J±>5썶e[RHP Sn!qFv*3kgiha+q'\\qhg"78@y^À ~l+GPK=VO[A;Tl8ծwdӿ~*>vghpmFM[|L\ 0$Pz- = :o+ȃ7Rg¢YbQ49 hcgRIW?CS^.SCpC4&鏷T,ؚcɶU7P}C0&]ab@e͵Xq,%Rx &8s28vZQAL!@6%S+d hmDT07o'1.//Cpp+c8cw @v׬i-ح*ZFTgy-*0Lpf~ 9Ryf16?=z 9^sA ]k@ze(?8 3yGrBiZ2`kQg^㘾/kK+t` }*AhΙZ&W*K>aԊ iV,Z#4=HؘEW5 Otļǻ ),ک|8>P :zz)sF: e;e;.:g}&ZH= 4Gcbva~tdH[“ZtuuGq}j9>:rLZmjIwI~uj%OK+"?9 )N .qCj1Ő~,+ug"me^>aؤ>E;+UH5B<ҏTM0 5Si`C ܊fyaY̽ Oӛ'7DhJZi'c'_gTy&Wr p价޶ ?} }~RL=j@b"{Yx4ёm}_'D#*QR8)fP]˒}e#*hͷsQ=/h#Pp >Zw-ʑ%Q'겮5bk1}tCy{PxvϟRo|vbl S|HХm.'$YR ]FzSv|tpY1{*+տ)zG>d=I:^id]@Em^nhqzTd26giѦxhZrآ'Xj-a# Ṑ)DZc;7{6w#/JbNs/BgYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!*X/; O¯#MQ~6CF{l[8f{2'19yg k6J `C$ f6\+7ALF=cM|^=8׍ %v̕/Zk4l|frvm y$TJ|c|z*\ *,?H}2N-5T]{eIp?]GW@QMu%4@P(G:oJ7jbЭҽwŋ{wYktUsZ]ս5iEyEgK 4A+T,/gL  NVڶm@*.FP +hk ޾|(q?CzzS)| Tcu>-R]ŊY]\haVב˫`wG6DM Sf :1˹*|LjqU l&DA$!R#kZXC!N(6g>Z-kd<}2W &; Ne%S#R@H%C#*8xUV4Z㶖K8O*1.Iz#0:<8yZ0|֡I^O5-eSXH;5ᆺ DBXMNC$8-_z6{}ZUڴÓ(E!ưR'J "ǬD W=Zr LGe 4vE{E^pA I; [^r^h+ 2g>gYZ7zXZִF! l]ŗXi%BjP&'ҽe_G1>oy 2fIbMUST,cQ0wدɅ2hQ LqL;I C4=4|B:Q}yR ̧y&oIQ*Btl>̓f\j^I@<;+pd3BkB>K_p$I $`ȁ><˒o i'f)nU0cR)gT$efq|ChƤ >Ʃ*#_9ߔ]5$D37C4p$ /*&$͖ QYK:Kfb1 ePs%_w[]_:a R^ `Fϳ~g.() bSB5n[Hm{r=]蹵:īh['Qi)H>Dښeޭt&k 6qTG J͏,쑋qvW]޴6mlyL) zZNM &h0u@,C^,,"}GO{!%H~[DM pzpjRĥ(Q@n;zhGO\.y.jo(}Qf!nP:5 PvϺ!{~ȖdwITgUM/CuɢKq!˵Ŝ*m@BI;GuQI(:oð8lC! ]U S'Tjib(cVje+t D6^zS1j/)ݝT7i#K!NI(P̠dA6kxߘu}uj#^n/NdW+q̦r G}hfգ#$Zq%AW @e #xZ\9A}'mju lq%B~bR:~J\3C= 3Lx w+PRڵ{o8];ᗖѷݡ:nB!rSx:(e}x^:w]%9)+Y'dVI -x.Ae\)zn"%b'Ғ^ Nx tW.Ppvշ)ur7XKez]?CMOʾ(<ݘEѷ3Yd "W$Bu$ Z'p*1Q0?K]rܬg~V$Y+̽_oќb^3sb8P؊I'}IREW/EtFin+I3ݧ*r|ҳ7&g7X1} uuN4ՌTFwu~vفyE(qV &GS3r= i C;{z_"' LB=zT'tRO>[qp\ձ`څ 15dk~dEJ6U9K}jv'BۘXWhu 8PwcdڊqaV9fȪʂ/4Mǎ@jւ^x7 S2#ܼp+ yȲQu6YOrOt@gO}n q}Rӡ.Jgf.p3tfqR2EEykL#{Hǿz . .u19 .\+l~.>4AM0[R4fceJk "yN-"m5Qj(&"|,|pNc, ;BE= ŰEDce1{5-xwlRP%oϱ`-5VVp\ }6@jYȜ 9}׬ v 12geqEx(5 TV8t%ynm I=qzZ }zTy#}aqЊܹF7Lj0.\/M*ZKi|ԃVW8yv@EfO苇%eR !nϞwg]O\ɬyep"ݙnUo&΄b#gT=Y:lphMo&11SP5'bHEptOGuF@V5,\59jP;ο'6w{׍w5)aۀ6ᵁP!Ok?:bSf*G:i[5`k{ES{. )Ldܼ+ߢ †嗵=j6GCL>1%aIeD-o|0P25a}8n"eV`Y⤜<&@7= У-6*炰*3|XfV0n g 2d"f x f?ͱ<\H@=wr,IBE_ ߪ'A3dLL7(T3L-P:X Ov-|ǚC\oǻ¸Ig[V ژi:CrK OOJu %II@.򀵽ҁ~晤_C>XvҘn~zϪc6OaQ|ศąI6m>6z $jRr˵-u/]PGjL;ZI79TPڪ'*|_Pn994F^R1уft~H C߃!I] WQ3xA?Mvt(~g: 2K`KBEH=)8lߢܸD%"&,oԳD 'H;4Ɂ0 Htj8==4 q/K qBhm y;7]W+bzJ'aCU#*j;xydmlF"̘LjTNmIإQE-+%^z`j'us(fu-쵑L |$Z3/Eh@"m@,3=|wQf.F\[(ItHpJ"Gk @!q d< 6U@emxr;.K5V`+5ۍgY^5rן^|52fn1Y((rӞ e8}wmLNн_? 2r0>M@]䁃cuy`awD<6GQQ5,W}Jeu@]K4 $b<$&մAi3`I!љ Xӎ"lwc%-`(%@؜,'L`igםTTr^WOD`!eQY|{ceONN¡^4`*~CCP ֵ7/t Ӥfi5p㸙ے(kFT.N}:n7?DVR^k#xk{N)oXG3RGwA8rSw%*Am}[d8I\gƲ(4f1r^j>ռIk{ i+n*&H%Mߞ/#5va҈W^퐨ǮE&ɨ'_eBD) &Xcrj"1BD˙ru? JL{J|ua $J$ r-kOP* s$>sӞQ;GIr #{7$(̖K!,Trkm;POBܻ,FG@a<c=ta`6$ #GJc@ ҸRU1',أEk%aoVh:@%h>@xOߧҠ/w9l5nz&@ii4^ k3*h_][7V.|֓DkCyW9"0`@T 8b|(6tz8Ɩ-6]Ss(HwWbzŭkY1}hF@gB]EL!Í^I^mMHx6縓G'_Pz~jwןw궑񼓑n+ Og6Gx { 8 ٩ vayʗX<7AWꗢXƔf-[12:qSk[_5DN |@a(&,]WCҤ {_0ohK 1m{$kl4,]pĜ1,&b t)|n㲪WGp;&l"a:QPQ|J"zt=\q:f  SweMJRm} 830Pp|2|+C@bݣ,ܵT![ߊҫqV3ACA k&E)!N_(`Ϻ6x!{t_ _ti @ ^E&MvZG_I9A"sg)@ђ}at{F9ɣk9qqVֺ)y@(.uZ}JԹ9@mwϬgQ nW[TzC̮a nagohTvWV9%U(3xa ޴|ySh]!Nl%̚iJJx%:Vc%zFvO(^i',ÿL3_*RjI|II ݏRi p "9DR9h +aXȭ<Mسµ!넋SQKNJy?,#}%+~pRWQo E9kjlO PN 1O BcOHKJmCg`Elt`kĵy q[p|WuDjP4P\\0(2Q ~=0TKrl}u*ʚ@ԥ˼pх0X6}!ڻY!$[I.E]й+yFmU9s rZݐX/\P*ʌ)zuDJ6gl)KF>sdP]&2UYv?i+$ľ@um%tNP1n9W H}۶㭙HͮC}%ڎ^C7Vr_@H~9F|%e?g; ںq2tQ`}VKƈ3OqL,W4oWBGF[A:_G?o;+h[Tr"G][s<8V:he0άG"2b- i|Q|`c k^U@vBC֊Q^'4PaײKix( sG{JPSa*&n& 3Z(97Y l1)z~ɷR@It;-*vfL3_J}KoXrLM_=ъܚa k% aNj.{x~B[5KRjC [R407*HCQRoteo͗qɗ;Ur7X]9תaҽ")" Q^'>sj@ Q0ۧaR('+Zn}Ң'=W,BJ7z<r. 5qڄ+vFx7[JA5ڀ-hs|ίos~X%Qῌd_䥓8I}*;JxF MOnqMyivyՓK>܎a0*~TpOP#W>Y`+Fi jB& d%jϡ;EpV"`Wr#QQnh9 Y:_YӇ'Xv+bpNh-Q#o,37E.&IWzceYͤGT.jP>~\mz>Ԩ_P-Y͇:zW# ݅m 1H`0=/ڲ`\`ۘ˓]bJƃ 2^MlLSer)OnEFFu趄n ȷ"9*2qǴ r]X*4i7or&SzeU¦J+;MSYgJ5YQgR0?q{*P[^Q~MAF6ov5d.Ły!-GW[C[]b^Ba"lR>ޛd7镶zUCh{:9;`mcE|}Xl NAuwv]5HI$=I䪎yW@Vz,kw1} E (BW|a޻Sjb̑=h=u.@(8F<`+j^^f8G)E @sso/&5>hyy=/:@}Xj=reTDɴZ6ziDз'"HoؗeЅ nUZw_Í@a 7T >[(]~Иİ<+ " +*JzR~hVeqdD\ːm:dEoݔN &w_Hc:V tM\3c/ٗjj\Rϟ<X޷6eLI.L=k*z-4Zw&-edutyNzR_մt4\zjy6` 7pI,\Qh{-Z/ѯnP:/RZU|K.oFfc+R"#]0ώ~B,ߌ , =$ŤY\lۂ\kC2ϵS^ɐmhLر|fD#LO=렟-謮0ZAD%H RU4<=*B|/\ٜVkjmryR,Kmˤ!wȆrZ_u_U9vU*<9a(%%Җd!\ :|=M7֞zR8#'d` `XZa, ? _jݓ!)liK @/g\tNmB|25]<_$Q_ĩ'kr'%&q16j4"~fZf"'տc|]NMBNx, ғ;,"5͋B /6%%?/E{蔙9VM!ܛ $z uKGZx"}8dKI#_3קqAj3l}lPt!?ՇCfU\MmNǮ31] < nu. ?'?b8I?wÞS-_0w}` uY7̉tw&G+|Uj@,P Ր]6۬8L+=?ݣjVLI^<TY(|@5؉%"f2dEs]ٵvC_A,qOfzHUsgPm9 bYO o KQFC6RzfT[<6 O+}?:D-[d7X{aUv 6"n+R;M 3q{[H7!2!&)|PPh.D}w 3;2>P8*d*Y>.bV2;jSY|}Js;!,ܑM/h vC-d?JIG&pI;Kx||9I!:̭0N7pdD*QD ̗Ӕ2Z/܇_ .-DgRi[!],I&¤$ Pn;dɑ5SX(P$ROIxG 軏ky'c=;&ݒ1#&:uYU,kK?&{:vv 3)|hB&H .Z 5u|6x١ 3dǰf'u*:5m/M̖߇=XoZ7>3U DRt*^ӿmAWQ~--.6Ɖy{*JC=fvD2mTV/~ |ƭxhP$>QCޡEYZ-e@ zƪ c\CU]j7I_FimA܋6WhrK}P{1Ct'xC3pj)I-mPG%Ep."6FAO!ry[eጇjPnd|}Tw*Cw/5M#ɶ JCNՃ3X{Ѣm`W.u(B,ԝ Zʁ IRMˁl~a VO3ħA ˱EA,r\ "KIB\?%]̵'P">cܣ{* B1!8cs=rb{R,0ö1HQZTCCDCF :=L`Qh*aKIJ߫ΥZґ 7ŌaVJO#W% n7#!Y!$~L'mLⴹq;/cLIM*V78_Iix;aMkC_huzgGt7O+*HHiwVPDۙ뽦-U}X<8!@QZKdcc0ߧa@$,כ_=WIځ1 {1h-#܄d 3e]mBG@ȤxL#QL2[>H"{qb~M)6`6J 5k֤9@LlVgf<@- ALdu8M^Q7& PܠIQ6wD֍=ȃGWFt 4J ExfZG_yoqi ./vH4%a FvFrbc6Lqh,8He<7a63Ldt\,AgN[27WL0'$qhNnȇ2elz9^y5CK[r2ЌJF1u#B$xpL^jz2 z=}cJWDH)N)`6+V5%@EXq/\`6#bZZa'z #W< ϯY] >|sƏ`G=Tc;%ֈ &V2}gYV9UJX]YoEf[ 궆vqX^Ά ,vbz#m?}NBڈǪ9S;`=ZTs,MX>؇֑ha}~ -1R{n%6 U.6iӀ3];*5Dwp\ys;X[%O)R̘y>XŖ[W{tS.;h  <@5aRu߷h)r2U,uSZuwszSޟ!Mݳğj I34UɍfQ*I20-69uDſ/2,^JVB5s8)fV:S[iW g!UsԿ t𙜗Ӽ{x}hUc#h5+{_5& 򎖋dzbžth;d`jZBg) 6I:Pgxb̗$1RWEɨjCtbNܑ@_ɒ %,/EKKn$T'tg?#qԎK3`9*>*OT9\-lz4҃򧡗0q;,Ȳ)?1J=ԫ6&7E^jjɑA+u<+4[Υq^ם6/)ܼCJ7QſRB}~pO}4|8D?`gILS]z[! H+m<{! D9j7{Q(te t*ok?r5*"P* Dk%H1Br^kNFk`.VN<㜂w$\aLO {T1CMB0x#K[S9駌qj&IhY{ IDyʟuM ~^DyJIhr"8CCoL | TKS_ Fk)ƮӀr-/x ,_ Hzҏr^A i dixFĕ/=PWhp9N]G;ÿS'(5{53&ƾ2IҒ3!|I>mEX^KJR1BXOJ3R9?Yq2xI QG8a0`D62$M=yJ?>L'{c>.MX j:# XiNs?p)Aª٘5%Lr-M,'MAa4)`тFEBoS~] 8uӼDO $ GVBp7H" ʍMhPȓ-2&a8eW(ѣ&B,T1SEo"fdl\bƓl.B GJHd2tB\z⇻s9^ :gqTK^H 7s'"o5(kt_s_ٳIK̯qq)KS÷ #!y9s 隻HEY(G &9eH:j棈y)򖬿/y\TS-ߞγm/'`XR62-^\^={;Ύtyӓ@%RSi2s<[&).?rTvmƱ z\ %h2PV`9YYZ\~kJU!oB_B'p}vi{N|{yJ LC0?-PbqoP טH=)frE j&KM3zv^eIV?ֳi{V ?\+qڇ q? H+ӛSRԤ\4;"ffp榗xNSK)?6!1Jy2Ć~r޸$r}mSNhsGu1-#?N[ʢցV3}D IR:!g-AARcYxK{jE; o!B 9ŀ[9##A-KWJ¥ [p3\/ sKZadH]妐&Z?C(oEk( SآHAycW#Zz&PhT$MV$S%c&V {ewAj JKH}R- BźIXnۆҺ{+<3EDsp8ZǓA|; Kw(4*SiYiey-*m(۫Ԝ,swI+BO=I4_r] iʵ0 3 .u /Sp!S*'lhEtI$?zEe1bƓv$j=PXs}4ki-*u [ + ~9' aqe=^Zg+k?Cݯ߽i%JH9xa*rMwY1/lP0, k?*4^r |r9WXFyKE0F 3Hkv3 ]]F79Us^v#]8eC HAVg[؄J8Ѱ[cF+[Ւř͔$(xCN/]5DoDpN|5*6:_QL)N6g>D.ߦ7a@`,hsޫ*'F6&@G9o,Fi< _nv)"xjX= ҟ:@  54P{f)^hקCgpsqarԎ;XwmY~Zo{VGCkinVFѠΥ@TK&TRwTqssU:hjg8~c GA@jZҢX3D=Ȑ=4'ِ Pe!S>i^zRM)9(>s!(.FB3-lQkUAa<=ro 0] ><_pr3,B6BM@EwɇˁRgJy€VH>Hm(kw+HMlIOڔqCmnFwH]b?@LXI؊8~Rlٹ\!+~09U[aƺ%Eyyv=!u#9o\tH ʓ>]84SĽ]Pk\]>v5}*Pz"O6^i|Y: ߹K{2})1/֔a{b$[4z2747 'HHz:ez\#b%|.:- nV)sk4|;@:}}7O [WUE$3z;85BKLΥjůٌO*dڮF{E%PeIS=@\=ޅV5`Uf}èĘ] n(X\AtT_s3He1)kkIJ%EA؋jI?B]+BF;큮r2HbktEg&#au}G4e|Mxc^d O%L[00TPalGJ+ϸ#È 5u +|ucӘH)>­>_gVDw]]V+1ə88D_G9{@hK5<"U<\iҀ-M^+-:3 7.𭈒JpMIgo9ńJ YO%ظswI Z7둮Nj{u87 e@e)fYx_8zmw,7tN-䣻 ˛iPqp#ٝ_%x7^v6ys߃7co w}0^f-F ip'0 YZJ}\)~B~ULga>!]:ϑP&_q nl+׸D]$VU~p[ 'Khrm]ߥhE:6"Z# syho\mqm9j7/p®x$2;LW;IO2 {cp;ό/zW$l픛07&2j>A'{WhkJMD>c-\dsNjYZo 3xbe(R0rb( hqn5Ogr"$,yfl*b[8J﹥VP#^r94$]JuJUPMxsyAB#Si7-횠f*㇯BĊVKC lNWwNAr5h!C/ }61YieqFG_=E4J &<;p e..D6A|[nqrY$WO'M*6 6.vr#!|Nm9fqSHrT2p m$]~L(60"pzk4vSFM6F;:9t˥l)_pwH pPX't ׅ>Vl2h%j3k ;C0 ҆$>d#Ӣ,c @\iBj ϭs(ppUQau!Okp1))4zL}.c`߇kmMNC즕n:Qv|V R~y\?>AwH<엵G$Qy@)+,G5v0`Z@\(uu_OcO`S;#n-YGKcw!. n'^?HN} qtS ?O'ǸK|v%՚/_zdEY~ضm/N3w0dcGxCŬ3j8 ma|iP=̿a˜M@/+c+3录jhΌT/t`D*-Z>~Uյr\e599<1NJH,%0(~)TVCp&`qWD@cge</Jd!zKCֺdDɋ?E*K'~CjK" xwe1]ItN@/VNRqu֧Lp7nt&FHehlv-p498>:JQ1nx7%hZ"0Nr<YO]$ \PƖ~DjCkFV8D,0ӱYFoaӧo,$ǡdKd^9 ΞeIssت 3XmxtaVoY9FL l'e_ 4FE-M6~?K߈1(o؈@x]ؔ9`fXLS  mFy^y@S0\Ϻ:5..LTbsO:K> p͸r:D~%<灿txo%9l92j}& J7 e6s\HѫJMr=d,fJ-㖑 \*|IȽG yK9UDV>`h;n`KzMr|ZF.U fD&EpHUb,SZ)8ޚKbӎm?DghCaBBW:F5"wkI>Q٦Uuld,ţV~v@'C';s_ռ(UٝTbGBr+th>rhC6ݥm;g .IsSD/~aI4IIUp=\![VY;F @ol|6${-V.'\:XX+,xB{]ɨ 1~2Π5L\ic#kzj}er3k?Koo 4`hM0 r ՟E/`@{Nt炯2VI$dE]3ՅTmL#Qh>Cd6P2 ^%iQ^_$(;+ÜQx53%x;".IEooC}3y%W)a^BҼ+HuTe԰md}QQ O8lCqs4ةAaiMd+ʫ:Sۃ? S~| z"n xM>?{z8&yglo6k(l ="4b\gng R`^ L-hk\c==N*~$DP*fixg5D5ޮGw@e aX#ۊ̤ԥ2x HYn긮=^(GbJg )#Th=0U!}l4v  }ã,eۅw3vCIZ+Z4Me{ wUo)4ͻwtDM0C-.U/*Jgta`zVc9!c.y)W$视ŽcP''r4CہtRk:3(* 4q6-L۲m_`I7KPHDkӨ|qa))t ֪֘vm:!\pÖaX2Mr&!f2?``(ᄒ2*Ҡ< Bs[LMx]u7 edô9}ӽg#9gMC[sA `ߠ״LvJ_Q^2<Н9%L(~}]NN%Y;$nfTw6(zwpuHTur"D'T>OΣ \m,0M'шGJ ݷ7%LUM)` Xf8}?R- |Bf쫋q3 x5?*v/`+,7f.g ?B_*?pav耾[/\;KI> 5hDcp17ռcAwVh@p_=fr"NԷ2݅jmɵÀÃz x\Z~Ò<]Nx553!c<3;NG2q\%A[y\@3qWFPVqli !ߊAKW oR{T $^ȕ rm@c'Q4+0K΍Bv|Z)C1+y!xOF/ӰlӸzн)@2]  |»ܜLQ~RU+L.40$!tOYP5RXB0OO\ɣ'HtLtϓ̩);>9ZDŽw SG eT$TƍQ9 =CDh/yE*Yfr_ iP{;sw!b*31̬0ܕ ?B͔N{O*kS!.vgkgr ]fBZ8W$0S^`TKhO0cߕ?E|f;2lZݧIlD˔r=f=Ӣ5ٗ BwUϠnHmbuc╲)00kU ,]OB)BXΰ3НdѴi=vدR^& R#gB+FvPRаa;bA2 U!W.q|4N$A&H3c25yy#P޵fΘ3#vgj"dntDmDb(řL^˅HD$a>6 <#<%l7,[7a _қ(m"^*>Բ3},Jw+HAKLBHmsϥ(REhwe%ߦuHܬn{tg[;hvЏ>5MG Ä['Mʿ""Pj7roى&?^O5CSAto -G}]==r>Y'y,5RU{5QP[ߗzE8 }}NrY#A?fg}NCN0YDcXtQIL8BeW]-IrX[1u uQ'~h8y~h}%nAL5N==yM/RjTSn) hS8<+If ? T>"JѼF}U O51Q=\`@?ZԈKII\&#ۗ9*^"w7F^YWWaaʠ3 A7jڝ76U6{\Ʀ,}kpgT!Ds(9J[n6o%t`jcxakǭ1reꕝi7tg|%ݜҔIf_oON> gȁ1UzjZ2Z?$UZQXJ]MU.] ܷ.:nv5XCy 3lݑfpֿMB [7~wCpUݶwMݯ]W;DY`M!6J\]D6{? {S0\GBctIOVf+ >&yZpF@%;k kQ=T&Aӭ@ .o6倆dj>I//df>Jb5]$Ekn-i‰2H6dh73\b0lP_Xcf)Z`jD;n%SXH M St[Uo \H n#4QHEl&p!s&uR&펗㹐[ߘ7]Ǟfϣ@R VhbBB׌5*3K `u-S,0{덫"FݓY YsAQfAAoTim1#\k:Vܿ*j#S_x=<rXL%P ,P;?ۯ^04fqD}O8ۇg it#Va*לzϓDz_ .hK6] ERsT^Y=Uf.ӮzԒY?(,gaF!Ѽ 7F୮}jaR wۃx\7p~nt-RN\f d@O`_`LE0ޞbRkJ;fVŢAk8`R|zQپ͸o:ɐ؍.ԫyMs@bhbqLYIxpVXg<~OwJmP G|-and-+"((FBi_~){S#22DI ]oFr-0)UAAe0rJtW࿃,/%Ose ڧ~d5@3@J,NZ$1Ag+dmš$kR*^r8ldW'Gطi<π۶$ckzCa,X:t_af,cYCAe<ŋDݙ*Z-$ә3;|){5G#/!QkՎHU >3A%6pXtlOZ,@%xO%؊XPG/ESP:gF|=.{y)9̽J)!1$ Qo,3b$GT2?R'R"}6Bx l0峐e\VWT*~zY޻G&fCtfi"rmSPH <;k5ڔ4N$۟ %~0'Iz3cP ]iY%3KiH-v~FIȌ3 DzVB˘tRڢ~ ^LnxE'͞8X,-84IHplh3ޢf=67[t`Sy؅5{I*czv\2"(qӃgUbS#g~wk+W;BW. \ "؜P2I$eQEOIF*+Arg hy1~z_ ѿSsnF#DّE෌ c`C+a\,1V ĵ()y34A )jM@zR;[Nt{ F L^-JgvHt 2_Ƀ d]c sj>E% rf@"UE=Ӣ 9n,POni? gIQ83k齙 :9DD P9CV{N\C^Pas) ΰC@vZ;/ MA9;SFtcd"ZMu+ePns5&.3??<=Q V4m/$XC؞P:>Vja`2ѶYL7-$ QwzJrCyIx F9I7QI<_8 Nʊ/80Z)+S솿58 D#2z#T cW3FP\#sĘ\* +A ey6& (!Qivg6"͓0dždT4|| O~l}˪t%̯ڎzHzNNa~6a _@ⶴ}o8,e`:@7Av9xin?.L" &&/ 6pK볚AgId! Xj:3U!2ltN*  9d| TKfR_-$YoG)~^ B~mU+YĢӢT6j}auR`-ƽLDC Ua-VۧpTRxJMݐ<ѡ["ae**05R!邞Ni╬b7+zR)PF9!& w}H|| kpH- h1Òy#"'t=v%.~CK9ѸɃYΝ^/ g/j*E)c|RkQGFCcPA jJts+9(0gl$}x!Ju)~aж9 ~sLZ:{ Sy]MXa$J~0@2} [# c5\OIp}$<of ϗBZVU $-rKlXC? A؇T8 -I5։ yp[Znơ'Zygk1ojS-ST3mx~X4S 9"%&a\eWA`w&]<>OXd[9>䚎-yruKԈG9[Ļ21dQVk1^mmol^ײ<=1E.n&s#Ngo* 4{b̾&B.EGj߳,3e)9-OvO{d-;O?:|J)UAHG: O̭6.RE,sT.Rc 3xC*fSRˍy  ͝@gP.2súV7NPΎpMVƗ4cGn;.Z<—+0I(~]QrdFg>9qs+;RpwZPO~ ]O|K֜>dO(yƣx&fCJ]%w65Ѱ!  -擏@!Q |7A m)d pL(>) ę1g* T79ֈm,U!nW⒴y[=:{e X#ѬsLߠIR%@tR3gOJ oK>ԃ}Ek\ʗn#JaZ& n\L{1GHKzfC$Yb.D֔sB;FWj{JYcsNǤ&$7{yAtf':8LbL.Y ĐQ2BDi%׍wp]*uӖiLwx\Nʦ#3[+U}u  =5Dgky`)OY_5?=7>TUbB[-7O>^T۠Բ%;IibisNF/CqAoցF܍ zO$i*̤(0:nCGZ5Lzcneypkk%Y:y%]H$#}]9%oc PGhm>U4V\O&wdZcgg:_e7!^ jHKʠOUʅ/5*i1Q$u`jx9d;IqdžR$ \0|m8WC*8"EG>a,˻+|B$~1m2 *t9q82ug l4z|ש0(viƏt:b/$h8[qCx }j2&Uy\M C6Xs8bFW ̷X_5"e v2}C"|>8[\֋˛T4|[>v_+BlR},x.`2l{hl`G>S f Ny/+(7t(g,Hf-sgND|b`,bNFmMYSUB}CA >ݥ>Ep$=T'oFZ=܀'J(i,WwT!D[68GDRn+|h y%ZUاt0U= J"cu|Ѹk.Yq]}EԶ鱑'jJD(VR ر F<;ZlvxQx۴ܨ 'ש֗cҽQBL rw{ҖAr;U()`m1X aOǖڰͺz- )~}@(^l!~"%~'[)kԘRzhQvI !H6$pwo Q󵉂,o>)bm9 ѕ~Q4L%\܈]ʲVw@ תؕe \ HG`䅰\FyڽOJ̵0G q&,%dEe[u±ryVi=`$৕*(Ѹ'tK"K?d5'c46[/(_XNt%\@*ַHC)+:ױ1#;bszv 5fJDp'%,aBJ, ZtjӨݱۮ:b͋7OпJU5XO dYwktoh1l>6E[K3.fFw~ WẀm(#ߓH7$mf>wvw+'!GIH SZ^>.~ѦCaJp]$YJ'4PMvFv9}񎝡PA- EbfZnMd,ja5_^5P󫻶uo\x8Ti-v]S{U)99yAٯX…TJ4#59:-E- D)Рg&h/] OItvU:&h1~1?t=B,P,*[NZoLT+"I~(mGI{Ȁ8/63)"xN,J0 O4 ;*d$3n .?m ]XQ;K7@^Hf`߼Tq+s`&Vxm'|;Hu^|'Ԣo7eg)=85>A0~ SwTM<9|9dLc^zt?u,$wiٍAV틋sb |T{i>1As%XbVM\+qigyKSbS'+0]x!-`ڂȽ/*N o8H-aݒ.C5M({z#[LLyO*ZLdbu[DјZ F}d7 j$?0]Ĥ i?3+E{ͻheiTDkpؼ(+D%]e󳪤DYANIXWL°MWLٙp^|_K.FY AU, *4:L/4!+wN'Y ׯ- ;e 4ťT 0DUSb"1T JmV.*Y96OM76s$q^X?3ĘWC[;1TiY+?*󔟞 k!ޑFLsdmn I  n?Ha(- gYZ1392eeae71b054ed955ce282e2c2c443a5e91bfd555d97234e2215e68dcfd0a908d191212ea0a6bd424e2d153ff902412be8a0ff5c5fea8026f6b748