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 P!4d| ]]]HOL-Proofs:threads=2elapsed=981.104cpu=1644.196gc=455.912factor=1.687zXZִF! ຖ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba  jA]/}y@iY; 3VrKsð_'6 }gwȈc[%- }ӧB*JoE$۰*@#o4,Z6(7!i~‘{Cj)MB<ڔnw{6Jc]z´į^I{Gc2;ZeE8Ƈ?HС-<JՋ5 l@|D 6 !K! gG@ h!`l f&&͏^{ 0Aŭ >N`y[CiX_J;içi蔀5PNԗN{>0ebϞЉ|3;y)=u0, 4Baf/o$N'qji9s&8H#5jyV-)Zh ͩl[lH;#Eϔ׭e|Dmj!+{YPQl5, uA|jZ6ҏ9#1qnf#*Y٣CM""cXUbwLR͕k]UREk$~/t%@kŗWRPIW &r.58>>)"6"ސ x|2 ~elivD$k# &ze>g摩IȔq#b40~ś칲7y㣛&NFSCZLGV] wє&\-6o} ^RWbld_6!iF,^?T-E3|>xHD[aPcF-޵f҉Yy*9MI5KT8檭zh =9'WlSj)&uݯ_L|RD,m_)?ѨSL5U!٢Z emHssԣ!o{z+ΙMmHUC1K@Rh@S4eңMl/BC5șTW^ c7d׮J6Sto9|FN; Z-ji8_dx?{ML&3c;O1n zÁ P\=&8nk )dƣmM`jT0Pdi:{qoMS[NO\^{;[2K=!+>L8S mȂOD[LЗȩhN#βW.<_M>AC@?zp-z$Fؚ^bUe ML!X_t02wɿԘ;**1/FA ms(FOT'^=/fW3/^#8G Ex ["}B5%Es ªjG?(be9Cݵ +r QZ]9{IK90ygb'_)rP?/+ (VewKo8G#~š6 ;?U}D٢:roŧ aRȾ',8Zk@nbec-%<`Cޖc8w_d+|S&VySFCSGwC9]\Cå""#. TTD>v{0Toa6n AVIRY u \ɋ͓r#YmHx3@6 -o9!}ު eO o2KtBKKK`O 624֦cOѓw!M4겐ާRqHs7QZ]Set++dFSd:V6VI˷"N4h+}}{q+PT A$.rdSnIxYCߘZWQ*> v;cEǞr(tޥjB !7#h3YܝnH #5_Y91pيv6*2>Zs 7AI#b9TֹNMB`cllepf6wf9is =8]d $S(%7tyҺ+?!R-YYs7@(u-7na`q _gugPzj4GP i[)62?,PL`7Ē?P K[D,CH6ܴ@9ŤوXОP!E%T9m3DBgB"vkoI[yl}/ }P UpSobs!NvObwn yAu90:{q;T1@ % JǬu$J]xcnU{}p iY_a289nrs:j %u@еے)1."3d%  ! HOL-ProofsR/5n>kuђ@[ e,2^ϭ+sc(I8^bo+6EX~& DAT1Hb[n};8/6Kڻ HݸL>8&A6wgt*UMwZU71ٕ$`uΜ"8A=xJX~Bf Ne3YH%8"bg &yź=3qu5>DSQ+wCTMK7tި~1McS#h{\teL@f380"s<Ϳ(v@% r;ȇ(=Sк s2C?&߭XƷqS ujC$G$ۄ4 SzϋW2^,m-es <=E05$c" (1{*FJ`zSdOQ4IgFJ(+y{[Ŵ2"1#Xyz%vP}eުLNgB^Ζu22ŭ\Ĵ>g!>jkIJ=.ƍM[?~z@vwegoaaIneRbl鱼^FTFK\Ə}8ve^xҢ! |{5'|1^Ҿ$[(_4E㒋a(d9`eSI/M@DشGeyq&!?U5tIi!^~L"y.H%W"Y\֑ƏJuGl0FBU[w 3=$=Дb_e嵋I#WdT$hCs֙= |uxf= ľ#dlRAfZXa){hL;ج ᫡^_5N)<1]ѷ(/ӓhlJm%>zozDPӆ;A#x4,hgyZK8PI{p[x]VvgPF:^Zcvme@}8= bl#g9+?3qYcg)rq/7!}cۧJ\Gf/6$-jl@LI^dK|嵉1-XB^4 a1I7:[Ͱs02g mC_a !U/"pX枫c(u/ ͋7'f0;:S;nke淑T<w0(04_$"\J-Hj yT?sPRR]it_{A:^I ؜ҷFRo!6ٙU<4٠䬿p8)<'C H}Ϗaڬ?Bv˾tK" 0+y#)c8O, ^I(ON3W L'Y Z~[Q;c'0k.$ɤ_ >rG_62dbnMԽ5wDS̏TrĞw%9@Jc,xj R 'c>̵sZ?<BU}8]󁏇\M*بH3({5q*!6$Jndc~}T>nK)xշrNY:A)[:8IgYZ7zXZִF! E]ŗXiɟ29aoʼz[%U>EM!!*Wƺ`8ɓ4d%!d\ޠٱ#"F,"&u9MRXe N۵]*A10 Mh{CWaGR#/rlcKi{'-q~F?, T>e'GO@: _>hGjwHND+ {za]8 X:?YDL?Tb 0% SKHiط*[)gYSFx 5N#_>rPZFjnah2GO*@7 ۹**F(9YE7ԛyS=rBD-B[OQM(PyYVMOPr6v~s@,B:+%.rUKk@ -\c%8-vsK篷!oNV8¤;w߃p-O-J0cV{ٟʠ?VklؼueX¯xRڌ7l;[88{|qO֚d61ds#'=ـ+ѷ9u(E_q(3DU\nK`3 a1%((JbGCKz+}SD pb"K qUđ#?9~~u `%AZ5 !0+  2mgYZ7zXZִF! ]ŗXi%;a)Dp-@\Rr̮Ӓ X & ,[HRfbh ϡlկugP? wGkg?ns}JzZl;o6j6@!X@ZBhT,, ~KJ d::HZ#9\_v% e]E7iJZ5=:BͨY~chaEs'O-w;ۢ#H">vc}(g'P)Ac0z]Q/)l_?'F!K0b$Ü̵/t̽L 2& twYA1K}zP::eOFUh<)ܪ<;1>U J;-gCo6-Q:1RgW,_Sw/3hտ1~_oMb']ҌXNЇfsZ֝%N}d@[Vv`K9e9<z O_`y܆-9Je =&0aX` P OS{kIksF|q ,K_ʉ_Xo^S0Hٴ=Y;xthCT]ؠ{M%`FR,}LiTE94m圵@.rN14k)Q; Z(]Fs_naJqᣨz<ꓢ>5نo62q'U{Z,3rq ;(eн&8-Ftj̛S WQx3a2 N Okw$fX(<=u'v@$Թ]lm`< ۶Կ 8[|2Ս>:PH,Ygnѱg$[|WؚeCX4 ؏GXa2g'Y`^73z hTdC 1ڡڤA V33SI@z/ڭD|ԄٳD(nd r$kĭ-ȔqTFhgc ΘԒJ(Ů?JTPEjTan{&2,CՕ7!мn~܇`@0w$!"ī[ѹ %ڧPd*4Xyu` \1aAwW6V١D,_Gj_ێ$YП窙^<9恫&kdRŬB`l`q- 2Ȝ>Ö%F$=p($+'ct;R}wpd]4a+Hr.ԱS%F\%'JIUօ|rਭ@gZ]Cb =顧 _f t%>3r~ *աxe="We~R5*L89Haԛ3'R`)KSꉾn,ؓ '^a`xgQ(Ml©K*1r2dI< |I܄Fֵ5tsqW=75<#*uV $M$2C1 = 83~Q5 IE^?Y`Jkא:b:~ڡG|׶1La%iIMbr6Ԗk4 OTvO_,c$CEI' }qwف1 {Y旪(7ԌjJݷ slV? O *!{)µk(e܍K/9A J1=c`6wZY1WUy5z8P3F@uct \3Rt>BU.9i~ӣCEX_yH])^ZmwaXגoJg4f0(2~'D걽uTwhS@8}`LxԻD~1j NƐ#5'gr\Q!fYОW~yvH9e5>[ z)j4sR7S`Y}@Һ"'k( `V\j!ߎnG8z֢A,d;G6&񩮃 `v,~2T…a~nOSpI@ 7|܆Bvy;@vO_v -o3OT)JkƩlLؘ[3lnو@L0:O3@Fffx& 7}^>LIw+cھj}0C@WURE$Mb 7ٸP󌮈(╵<."m U׊$\QefS)|U*/NT $HTv!ƀ^h-ABR֣}d^`F|l<TAWtpgZ(&gN@^0 oŧJnw Rˉ3&|DbL4E-T&mٲrX؉Tjl.]Y˱҈N1.ÚZV-%G Rd2ㄳhfkظ J-֖R&ڿg蕠>v,qnюBjk92 _Y~pRoԅd]+O=cb3]N]'Cl8K Ur~@DAv5$cG(KRI?l5xCm WTQ/nA@5H/X UJsEvߣ;W9bR׶9Ep/rq-kh~e6 sJk;(p`p=Qt) ^$==r_;X%+Ƞ g9^E k bJm3hV~)W0|B49+~y\'ޛOoޚrFs$0kY&I2Em+sнσsMwhiH$3MNBT6#lxbdLLH, 4B{5"hY" ΈQ®Q㸙Zb̮~*` iW⣯"Y,hD W? +THxJ^6˂6N>ky;Q [Wώԟ}$qgV3Q 2 =@~f2, 2p4>?9Y1%#)>#C=ijefeIssO¹dp%4 !䭛r@zZks)ʨқڟnsDВ>x1>es*hk8qbr勝Z@^Ġny?UI@˲4( m͇QRIс(ۖT+Q^.:ȣs1mj=a$L+kc|?-.nJkiٍxKZ}Tj&%Y[2napR„Q:Iki6I}W^̶vmF +>fvF^M|$kx9D{l#~v*QCӻB2At\&x& /KSjM6~oo"9!Ȱc)*5(HTD{&[=<1Y@\BiyFڷ!qC=.ɾHyW'$ƴTc"}@HjAkM!O&) @Ckm$r?J" _I< Q{`dcqtH(JԐr0 ?xDLxpD( z+6G8]nHL`8{^i<$`g7A + *22d!@smXؼK0 -4քQ&e9d2")^i'Wbq"oQH34?):'A1 {|HQ߃LlQ+O$"HR?~+K9afmBMbCD-X]Vz8WrFS"AWM>?qsBJg~ īIA\cP`Wba]R.1WQ8٤kUWwI`1A:g&ͱ-}o}0 ;;M nʒ&ςԮ[z8T 'y44=s&OKCc Ȑ # XW$H]vhW<G^ƔgDTR)2S > oBn 褸@0x6%YCXOfN]I>f0nE`d |B5wI2-jhY[/pPUd/r 6_E<][Hh`+YW'x&|R:qy%5aI4u%9s䈳G|lH3'$8"]r|Cn#K{I6I =e1tY!m8 XcXGPHyRՔ(kp"|@ F=M>/:M@55 >Y"mؚ=jB)0aNn{uޕ%j5Avg^M"x*R-Xᵓ^SUA#R# *Th˿%!I9-IGf=͒m4|Q'K J9BC(׌176XDۯiۯi[\0%94O8tЖ/6ˑ$Ѐ '7B:!,ؔ k_\_t| c sùc%&3ޔ(iӗR{Dhnh\AW&>(RX|xL;YwR*jPV8TelREơ:3_e9TS/g7).w(A {2Mʪ%v~*NW%PTʙ˺|T_⬎L,$r怼+=WAW'E|k22BlNs(ܣ3\Ql$6[K `e-f+kIl40Z7U5iJiV|.)\D.xB!Pkic$)G/[+gz-bx|$eZ>@R%t0̻.{xӥC郭a ΄ߓ$ö[m|r$DwG%7"|DgRtڨKeqz (t& J h_Z/\1$6i!dQC`נ^3UJ Hb>\}܅'otMI]g񺩙QasYmں *ϸZ-ԇf{ri/8"Y_\Fݞ68wYTW>߅ƇccDPS !#w5DYzi`g/ S_딧YՃX>%u\ f)ҷve3|q[cxmrkC͘rlcPCtJfAFeQ !f#-([ccfAMGYȭiqɱaSzx hY`TiWe}"[2i=_`CRUm|qtBfOZWF5tA3t,Ke`!+>)eoG/hrYK(gjLѤX`: j4lcdϙ$P`;Tc/~.Z:\pF>I6^-"g6v'JňiO_N6z@:2 yo3/%_BUfSϮ*1dM: hp3M_vsk%{ ҝ78D#/Re[gEr4qFͣWE7D~%RuQ@DCZ3%~}_7o\PZTt}~vzk%рƩ/q$ed9R*,{,'RǢ빃Gl|HK۽lhCGE-~.rhZbCC5;3$2lЁz3~\ح&!1txr 2$(ln +bڮF[%¥_g) ~O=h*~2ؠFQ/.Mài{-{b$+tHD?oFP*5,0_xJ$'#.%yۢYyhfڛ]\Bg$n V^2X@6SzԳwd va]0 ]/)H Qqcm=Zx !P!.Ӎ6lW~gHTE? ʐ?0|*5`ƯMO5$YT"K^:2I\]̶sd-/1[Wg qlKVֹN0d,noh 8:~AΉy>|`-Xx\0>v3ݐ ql󚀩\ 7^ՏۀD1*Z ~n4̩S`Qr5_˱o9Y̏4hCgaX~Gm~9S_!|#'cl/}0r;=~"$P{kF^T\ȬMkSH_Wr1fPl." =:NK"MN,֋SNeO5?zŹ"OĄBk[Ak&_6H bPni%$I˯M!x;@`I >(^lgbX!7neQyr ~'@\¹"*>iMq\*o?=mC{ oLw`-۝U b $w CSm^ zY7' $b>-Er?f]f̚`F8:~ꏧ` 65C_):I<.2:b(HA40NF,.~Qz`!ㇹQZ/l?v|[#縿܏% DT6>fBՄ?/z9y&%eY_I\9 ͊Q$*.11a+rNFw Pu;"A|<3ChG>4\ cv~͗i0'LN!-A=@I'ogf,,țe Nqՠ!Ƀ2gC7J#ؒ0J%iZ=[/s8ܽA)xeD08{)cnn[Ll$@V>*Ŵjy $},E\ k,2 @3i|rܝi/D]؃V2 J_4xzJ#bWQj5 FHȼ鑑 ŵ[Qg9*r_6K!fϏt}u qn2CQ>%=P ~ְ'9"k(? @t~As نUl.s7[EJIT Q"v$ITcEm^o#K$/tK > ױzc4Ydq M>)]/~Dp!nP1,|6 ( eVx1,ÀV H`lZQU(UԄ/ivhՂyO z,@7;c(~BП2 |R՘Kj1ET!h wP*p/OM9RUTV5G)2zEQ;j!bձ 3, pt2Џ"NMe\kg#zjY٠hzD `X$6BqTkxsv]:uÒV"i8DcMw^'즖2[l+e~/fZ^FQ,s>|EO5Dg¨ ~*JttP\~:I z`KHNy _TJvf@qRh#0w`4@θ` !) ƬJ4#Ѡpar(7)y2 IP`񓂪+Iq3ZP?`kD6KocJp0sZW*[=A0jaL 0ɌwB}_msސkOQ RD jf2$k[X1p vhF{-{&:$R gg|髩2BG(ۋ aZ~HCǧjVvAPCH_V6iY ?ɸ2’sq4Q[ u#CVɰѽH zlNQ]yRT7d61]83O*!=c &/Ըf>,W}eJ=:o%[|%P)Ncpaag^M-_7GWvn^Sos=kF"=(ipa+WSQ3R!9Yay+!h;@8r}wT:WټrJm u(ƿϢ혖Ch*_̚(\4IxЍpAзZ}" Ud&RN]D ۥ$PB5g ' xqġ& jy3_IP j ne!GҲwJyHٝu4mG7' Q/ mxS"F2d >E]laNA =9PNON{ӗR5x_Hü4 X@̀R_l>M!]=.~8~f??̖!o>p)AOE&`XIC'= (12|/F]sSgGQ"iU#O1k7 $­0%ղK.D4-==J 8qwX 4FMCǘ'Np`7{ۇjRtNz1k.]šFA n n`S4mSL\}r"9^;s禿-I]q=PG"iW[@x_zy#{<06S*nc,o֗2#Cʩ1ݕ `2n]&; Ri/!7rƨv٭kR(?!`s"K8Kr,]MHYIE2ItbMKTrژ F^E<2hzQ1RQnд@?¢/>9nddͶFǭ[o;8e2fa)֦wwj&Cj[=`=/'GhudD [7.,ó 5?5O4V\SH sNkTґ0,R+,ͤŽX2Ġd/+u*pDaϳ7h6cq跰,lk"}pO;R.JAe13+($J?P$BAԛ73fAVPwxŪkd;a0b(0Y: m=zZM 6e",:TE}"ʱD^b =pOMT>Uq{X8"-llQYܮޘɸ dxǵhG5"ŪjR6*eݫA|J*#CE=\ȬF1r8+!~ezIa S*Axǂl+oL-:SkF EHL)ߋ"03zp,YJG{A!/Mݢ6Gۀ5Q.E,*[6b.r-3ဘhB߿MqW}QgG*PNc:v_[MiHHgOv,ƹ3W H;unm6-'%!Ǖ(vT;1{|ʶs#O'V+!de)^nlZ$ 胶`.s5GO,LaWlj`Qosݮ)26(T1Ξ Q8M ZNi$HbٖҦ )E* 6?쟶z~_ڽ[_y<. y*\[ 7ohIXO~O^ U0!8߽ㅔm~)ֱa³_hHaM&EމE])(4i"Tr r1; le \tJ.rڢ Sj?ΞU22]+<m cZ&P Ȟe2CҕmR`8 hܣ iˑU|i$ W`#j+y6k YbVΒ K88w;veB~[Gml>75g*?TʼX^@׀0l$R- zʡk6WA(WtamUq尴^6d&CD|WX0g Tt", L3u~5^pfIWq|6?[ )lD ]QYXArLng4B4Gb^ХX]{7.`}Jg &mU (pDR>L kmdﭏiϼ.șx?yӎ\(W۲5JHV&YiT}oքeFu3EA6Sx~U vC #ERw/;I@e$|x@ef"Tms9X6D}`ݞz_袎 +2WɗT^K$t@JFҐtmC 1!Mn +BR@OXo|XyCZ{Xp0jica1xuAۗiHeČ]y4ag2H1_Fi >7L S,gjVs[ U0֚`̙9_y?'vU.B,y<*[S#r2#ΔfU>#Pu.MA;ΣevX`hC.ɜR:qɓ")ض1%qHkE (30uX DlيR:ʕT2y0 χC&B;uƝL9y*s!̝EK`)%XYtT#bKr;{/kf'Y^W}C(JN2Ԇf@͈lPQ> Q8@'[G)B?ܙF]svlH+}Tx :{>?g&Z̽ ;ywiks?5zngaSq37 dѪ/pE>gSu IH Ul H"S:0i`Q"hd g_Xs |T'mo8IL}Ʊl3lgI3;-L y4`.LNEJ^]COad{ǿ~18)heUI"07+L67򲷋tɔl_-ήJ kzF1F^]T8{-Xv-)a!ղ_G#qڽ)zKk*UT15`ᏧVR]rR]lYOcB X|OC,5bc-0[B{W=r@ 7>(Ap4&)]-$-++*fNlBH8T̗]r*^\]C/@^#nD?dؖW)8e#qv'5Â>Wgadl/ K1:m筀x~?a² obuGY1Mͬtjfp>SG21q^l A6%T6>+VSj̠@zx*CE @Eq;)`OzL'4*cN: 7h墷|.8 ԉǍ,ɪ7jJt])3]Z3j=#M94j}?V'Nl .8b? OV8#x w'HF//jhu;/tJLcOēm ߋ>wH%kh$T$P;`b7pUȣuԺyx&ޒ8svnBzz/ZG׾UJsX Lw¾ky)r~FwXV\w5`eVmמc *j;(T9{{`bhV pq])L0wܬDZlG$F@;U8KA$&KȳYpl[\4Xz:A3жtOE捂FW,:ڥhI#AAp[?&4am˔ *GL6<"Xz2ٷP(}൹;>Rz^WwwQ;Zz"lhT]1,N!X@v@]e }lG]u]HS},sI]%:7dg9)k)}W5o$(tTf;b@w]mg$JjDڏ-(o[ kV "pg!FYcVh,%3+^ V[J]eP}R|T_&r..l e mq M嫩閗W$~JG@@ň( ƞ #־݊p1O?n }=WB^%AwGkj [c Tuxx1"S"I+ 2T)or6! [f)˂*֘Gr\!Ha&or~2o倹m6yޝ$_Rot?m;WBnX#6sc {|8`Yȑ'jaΡ X[ڿ,gUP?{VCic)JQu4{򒜊G0ȆP1L!$+ܺѲXTo㲉x0-aI1*ZP*QK )Q_n1αZ GA &|$oy; ;#iN48]e8qQ HC*2ivHe"nK<=Òk;nV0l9zzg#OqMW5otJ33v!Υu^Pj-5:g )$#8I(y0tkw Nv`enIpw֜+ogU+&#<##A=$6޵-4;碑YLJ'lR { :6NFh(i!)7s:~EiNVܳ'F"K]$ ւNad.3²Ge`w}Yj!\]ξ #GmYVȱWV爋A"i"HYۯ]F5C s!,b+IdjϻlW٦x^q7+yяZOSro\⡑]sR6ۚy,d.E/k/cHB5ީ5D~=){oi iAnPFc)\%ou,q}hpPA$P(ccHvoނ)^:4+s=V%3 ИȠa1]$.yCzMޝ._i-2c߼:8M)_p0A zloV_(Z:!H/ )H*BA ` wqVK'P T <s]6ʊZa$ul0ѷH(uR+n+w Ҩ1*ckw$Mp%9~B3f lH_eGbt G 80 HڭH#;8K1[ ܗ'?))hv_Hz^^8;c^+vi$N(4vW3\.@ٮ'XIzl 68]lx@wD*rE29JTNV)OXl$%g |e ;x|^cHO)N.wUaQo1eul㴅Oxꪑ>ZzϰgPp>U xm0M*(R]߲uhmf[w.0Ӎ@*x*T H2kWA< HC W.W # gl`HňZ1>ڹO-ѿn Pc"%nr+圐t9QX|A195RG΅WD Y(4=0 7M.h`w.i_k)[W$lyiǧ|4ە3Hdo[Ėqk 4e' PQ0T*bfuʋ6I1`23kW1/yB#\-RPeLv4#Sg#Aɨ]0nmM0JHcVI8jGwCB(_ Fk pb7[[|ս?I( z\`&4~niu) ӑ7 nrVڞ7Z? ZJq܊`8q=ڗtr N=ڲMӁS7o)`I{*5XmGκλ0N`)U&<ߛ)"~hJx/QgXE| c - ese lK3JCo=s(TZȲLLiB ,0; T|U8`tN1mpCQ+}fTlY䔋EV^\~37*=Pdvy&nCP~aO'k*N Lit!S)RPXĚe^ÂK+\3+MD~/W8I$X[xT dK-7G:wSx0?c?jayȈDl wy 6c8=^ݸ _/[aاwXbLKԅg 9dM(ԭh;㖠|E uʺ˘K0?ҶU ^!^'R/]r3lAe ~uj8[/%a.gČ=\ CE{܅6-0ϥAtA]V/#͈l%=A͹Q- Dſ 9?+ (YR茞t DaofU*+kޯYR9Xhי\Ttr~ɓ_8%=`3NW\鞑HlI&:0:eTp@>ij[60N'Vg35*!>+B5Kc1zɟJs ZEgZʝCwn? [L?7TH's@AO콌Gh`^tfꎫw;LlȲI#,Ww{dOӖ *p`^J) SE!?w52}ރ0<i*)EBxKJaW+MnJ^'݈ %ӊ- Rt&> +F*qfQ%'޼Rl(BWɗyS"Xўz2x)aPn y!o'd4#dޡekaO!_7A 4Q=]'5}720x̓Z>5q&XcYY&Oe#J=+?&{w0@z QC-_{!; ,V\yaZ~IƝx:" 5q(H"NdF<92Jk@mm<t:ٌ( y76I{۝s ? '96].eA[w[{rD9g$OO.yʞ52O)NЛ%>Ƭ!i7$:w|fϸG"e@y|H[ z 5̮XU0\i0{d3)ǝULɪ $FA<\xtvt2,e?[=yJ3e'16[TDgW<{1@Z $"0XJ}/dvOL fۃ"29،$0Ś]#qŀhK]D_/|tzz0.,Xr§0ֽ46nkQT  ٷޣ`+@W`tvJIC'υq]$! Й wӛmscۺIRV9ΔmTrH.M&sY\"\1z/x* S, r}I%P3m$1Ju.'LPL%[dnAxJZ^F1mqW!^FrFeGB#V 5(iXeH;|[]7.xdƮ_pi.}nHeg;cR l\bA0ViIri)EDn`~׸$2]+.Q:;/6q6Z dA[r#W֌W#@"`W\a?Bxr (uۢY3I}`޴AV%$!8m~ pT١c)ē᪐,kݱ/UE0x0>s hd[z*DM@vp[ŘKt*,riH+F;=) !O*B|ڭ9H|RwѲ6Wj#GQϿ$<8dH|0g Cα\m)?2~5oD#$S:h/]Si M}B(ᕻџY7r/:mޘ^ٱʼI#v3yh@5o@wOl F bM}|ꭇ؉L3'8$zW^ SnB_Œ'2O3om)~} ɟP|qp kR I0,៝(%{2WVmK HJ(&=<^5Ouc;+SeN3fUZ0ăgS@ږR:*BF4/JmiF](*Nέ k[, H_iK/B\(!^_Yݍ#eb?.@SFce#0BkԬDPfhRKx Es2U/1mZl% Q 8zxZ#_V_%LxSػ?T^z+}4e-q- ٰ_R.L`T&IHQ9:5@KHe#bM S>h:1/23lY>eYu#-Vv$iS?E$ MGGW> %ߖCy?%2fh11{9 jN]Asv!CMh8з`9!v86G|L0WF γ*X4.24oHcEfY8"US0.hxX1p.e{pw:aZ#%d6mquU%'p5ۨĨ4XmŅ˦T6TG &-_B W%$W"؞# #O IIBQv|VUygY9e'wQ&…'wTQiSӿQD9WkpYz ^y*Zeyn<I0O>?qgGZ2I{؝-3Jzx"wi%ҽI44`(Ll $'ըKjFRwl<ΐ==#yWCσUPв{6; Bη?'Wcd&8 ؔ0IL/(լ: ˟;M__3HTųԜ 'V I7UWn7]V@MyP9pS45i2 b 4N-IY8Po*? N~`'7µk嵝+z~ 9+9 ;U |329B6yo և7߻*sB[{l`;urݏ6Y{݅¹6 JC"_ij՟6z',Yqsl06Un0[R z%E˿ 5Q''s"$B̂{2 VVsT!@Bɨ`Szl`"V%~x]k5heTR,leZpa Or}&1i/ "vҞ%Ɨt, v^wt/?(QPAQߋFIbj9UsD!  ,&%فf;XGb6J\^8^ŭqAQ⦍Dy ۫.2y-6B0a~-5؁J'Giu)ؒca}k4X\o 8>~}B8,#ܯhҭT% v- , )zVN[fI!>FL/cE8ŷ^x%ܚ|`v\@g`̅q46HӔHL8M:*Q4a &ƓW-!7nӀM>_3{fpE9џLDfUrmm[,(abfܧYO!“: fC҂(_(k}HvCUEMkҰA>{R s˰|<5q>̻>HzKSWH.NIɛWY]M$s%,:W6\ߵoN4;†I E㦬;?;qu}N'O[tdgc3Cc__~vYnA!QR-Mc@XD#:>o1O-ISfSN[=MTqӥ0]$dA >$HER8flYRuuͨ巘qY\n5LjgL{ pƻ8瑪c xUV0;m M+$0Fu@L,D7[bJ蹽U6<5ƵuįQ!W(].{c{lah CF&o,5H(C2cn&BOɨegZpdKJ+]03 li8l+=2bݍia!?>1Kh ڑ"+V)JxWSWNVr%vhXisZˀUa>c2|AЭR4+ \5ATdG.'Way]}E Ϣv>pwA[9ݒ`{6@^.٠b3wU5LF;,XYTzppzh,4 E^[!Јlm8gKcAC7!/y:ጫ;sv:TֵLΡOΑʢ@2roH&Qkx:z1<hdv"Ru|; epD>=bܩT&p7d_sa-t;p] A FG}P*坸;E jJ!Ӗ |إ,!uz'_|ȳ~ѣ=6eV7W\a3<ܡL8w*AasB$Y+hC]wֶˏl*3Fk5vN#RJ1bH Yb^yTU5݀J)_}ZO6H-]~M~荎>:\*.'FF¿\Wu$"vXxĒ-99C}ܐCcDd#_Y2q`wLZ 8Qg^`2g*f?'J'=2?a9tuFt$ido)^Ҩ!f1cMn9 7 jnT>r2ҾiM9dn戍 v#a.R)ES OAc}wǧVsmno0u.~-ANiE]Vcm>( 0mt>5Ǯ7 OpB P/n-'vyO`G@TG;y!8vSuϾ˧OA/"iJ $qGzDn:wmvYF}ϪwH$I4Β hQE] װK3OI2~ _ )d@״0+arU߭hx6TW`D-OLW)eΖxKJ_2B*J[|kPmr2P⡄"Q n;j^{U5-s6а~E."1Qk2+~Y;~IG\ ǀ"y⊡K"u2{$N,G2 ̗}фQͺCh)ζT8h̓ lԴ}gBs2{&%wdVs=!w5,D`h!}GvXM2e&OYf`5:_; :i)3iRR ͓ekYښu!8T<~qgOV6x_a%*80R,U&X,n?R71S&-= τ%UG֎"4'AZ&qR~ZN$pj,qiF`Bw1Qgr8+ jG߫2\\󝭕.k)ۇuce 8d1Nʚ a9L]̒mL#J =tWI:}ke5!Gw]e\h#EZ/LX0iV66 y!|Ϫu76}>e%ܣDVlاR-hS-kWk `2l1[UjJƾ>/Z"LE<1SM$кSً_~]p<;ު0'K~W@F[Q?8@x 1v-6 l x]˖l:<.ЎߋWpqlb ̈,sqʈuW8!BF|l;W!xD=O/No5+:#G]mSq +!>w 9\ #HT(rfdS0Kw,z5%?36ElLp\t`E}i3kWa$iNT]r([sۊ@lD{ g%5>gA:FR}lA39mTWII*ī;Fj9^125O +1!pΒ1Q4\oaYF3qK*@(|MveyaL$lis,[;<2;%c>!JϯF~S"k *\&mU?MIX܊?O#z?硇R ^DXGUCB=ǭ"%_F|Ω0[@;KB]wxi kw ѐ;waԴ_>ObE! "WqM={ Y͞{L<*3';jSNj+S<ǵL`2j?iXk"3+Xd0[qu0~9S1ZC0I]8@FE YjERĸy/u0 v]OY6U=/$ЍIa%+cgx1- ކ5bNP V${O5 #(=]*΅g>7k}C֬X9>4/;E&X_K<K)")Q.q_4:jH\)Now泓5̦CvH!_4|o!c+T0VoYcnc}\ms\瓞k\B`QBAF_Nv';"O5YtD]5mZXcLL;rM_o$} &ɳپf)lL/a4˜`3:F=g1Ig>lk9rqSxp.L'@#^l~.޿KԘ6|p4zc)Yg#p-,,̌%Oth: !=\0v%-H5^%{+{M`!$1n6& ٛN+ 1 W=<#YcկԷjկ/aP(<ttuql$j\ExG8?eWuʜ܏gԽ}G@+5i Gz&#ߨS\Q uMS$ #;0, %˾ %.ҍ(\ G1t*S$&;?,Xn162-U?~EaEpKy=䓧4PJL"  LZAQ4 $ʤ UwiKj 5s${xo)RFq?B%bYcrH#ɕpO KYq 3]D.Q~ qPkxHWFT,gkf]K4%-5ʨ1l[Z/F9 ڗ-I{Kh.ZI6hɡZ*.S CdHos$KDf 'PEv{U(g+=!7)ɼORˊJi-H Tv`yY,ZoZ[Qp9 $?S#Em&rWA ,IWuVZ=(͢}-suo{]]?P=Gb#\G+?lOByMk0)њIrc б'E`V+c:Ӫ26RbFZJDHL˽9&K/9z4Tl2_bUڰolf5_݈D\B**mhҫZ]$GֶP0i,M_aM,[2U;}82Z:3qXQ5}bX+b@BRz~x*~^7w8#ւV9bW, {(O@LA$㕬Ɗitas >Jn ilN1Iceh2qdbv/~uv$w֌%-}& ?)OVG ?# =x'f8Ndau!xhu!+ G6KZ>$P|qնy\CgB'6͚갅 <T~4! 1*5g՜y]׮hM'xl!5X5YS11q=q,>i{.|?/Y>ܳJհkA#[8G>H'2-1ڃ+)icEBw;Q#܀hzXTY@kI_b.}wCVDtj\lrd o@+gS<0P:E?\ӚSA (>ΫWwM~fˡSxY?[ּ_Țm&g5?Hɣ oQ-İf\H"քXQU7UqO,W56_m nNRDF!17(g{*( nI݋s^~w1*/0A-"&}%fvtYü8 \ѕƷMn`gVnN= G@En]!/8Ņ,_4ZGTyX=~\ C}-jt(maAs$R{1\ ]^%ucA&)]l৳3~E0~Butq[4!U KDQv4dYY)ğX\ZH諳UEomfW5 IhhFq.Iǃ(fr;JHzdžp&bh,(Tʛu&ι~NFQt\9!C$\`4.W YeT6*RwcLv. ܃ұHoAE & 1? y;bQKA}4.F%3ahh7+Ma֌*~e Ka<ߡhu 1JD ,#̦VgAƕ.vtv4'7;2Ŭ",6\UCɂҝR۸.D3ߊ8 C3DdlAV>>%4'Hy\Q: ZIXٚYH8E΁#T=Sj AW+ڦW&  Nzn17gGk*^x~AVxm9TpV)) ̓G?lћ+ )APGInbBi?^)7e Ҕya\yڠ0^nW4ӖvI/ǮZY滹05h^Utr0Y&iͱC,arPI%.ɠp5N#2jt#J]Eb'~zA|ѫv>^e:\kPh(:l~ ;&9U |݁#Z;c%Vzb6VщPLng|k % MЪoLM-+>m߹xQ^L2{ܰ(~܇0ʪu{SAd*NPG],'_ j};BNņ:Xo?sFB, ~*_]dd[0%o |fjGCΪ&t a[APCwHVK(:|-R?v3#N8`)P%qYGlŰzQ]Tkcր+LYs[u] `g7+@N&/CR~3"@˲8rlqk0$OeTR'($]ZҨR6 jBjz~6 fbP}K._} .)Aw:\61HM8K oh) En?\#:L(8G[Eۮ^_ /!! OV̚h'D;s`L@UͭpOLX;`gcyEӡp38ݬ:W`tٸ+$ci0k V܂ha>1dڂܥHUkt:M{%8%Ɋ=.6nWR IW$X<8&pi$;*'t5`v~t˅#=NAMݷ,!.{ Er<q0R㰃)R fbwrM .TfzxdxI}߰@N54mfQsgE] 5@l{G7Wۦv%aI#~ZhxB{3(&-L;»fLtxb**p1bwO:)$%1<́G?蟐4rH#6Wi{_0OiEZ 3>ʨOϱܦ*5 ݊kBpNO#&-N&MQ7z s+lE$8GB'HKQRU_1Y1A4˞a`Jb0wj#cԲTS APıl_sh0, y$ͬu4]?qצ3q/u*e/;`{\dJN/mla ~\f<,sAlwYSZL l*Z: 녇V|-0 Q흾Guivd:C\=wŃx7ovK8;BzԗVaL1]m$sf+ 5B.Nb1$NCu -ԑh@6^ET&:DV:-"otqz ؼP^kxF";F*jh$d,mWEOX&NIT h.)xD O?Ql^C$Cwm򎙁A3ՙ5(H UC{0P&