SQLite format 3@ 2- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 Y/$ ]Group-Ring-Module:threads=2elapsed=232.982cpu=453.872gc=26.204factor=1.957zXZִF! !]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: lFZ@逩 iP;9&C@ XH)ܰ0,C(NJ&SURpz`͌GI @69L"4$?ǾH, |0hm28b,J{Re>FIDiDdcq(V~xkqS:4v/f8ǹW츍 bOW>Е{ӯWCͫ)'*DRcb?L?\3SNJ(이`q%*Tp"&'YyܨgkOfv ϫ+墅iR9U7ulaOǻťqAbk'U} "tfVI*YbZ#3Yv=V?|Fjj=鹈٩dcn|xԐ [eMST{2"9o}b';)oؔ'<# KҤ:p} r5BI1lEO}K A޳%rc4i"q;xxxLƚǑ "8Şlfg _h[ɒ3h / Group-Ring-Modulear5RmD,/e'<6Bΰ\St=Y{KC~QcUb*U`|D >Cm@7wk! k9>*Y-;Ws:ȈFF NbC4+L(`zM-[M]*!-^ '3d7A9YʨI巚 "{s GLT5cs6OVEZF8+&/@qbp|}dMڇ=W.V:sehj\.;,WE,ͷaA#yWꪩIb3tFq8;3 =k OtT{>ABig[E{?{Pħ5%GgJ xVz`an :I0~t6MWW*IhE6Gji_\ oY$u{:(eR0X){i$DZ6<0V=2rlirHO&zr4b9 DO(B3h3k즇CQSQwn2cC- {L>!N̿ r @l_Ժ~T)|{V0z$[8d@'|1_:\OL!}sJG((l욡 n;L!$[F#+ûh#ࢃԳUIS @Uz2 3ħH0W(5~ @Q:BOK&RJmOQ[KlB3Qdˁ$H2L&d/֔Z݉/ g%s)2F!3'>New8y:k=~Sl!DrǤ`(ĕ nA5ƮXQ4&R;>w k @U7v4Ql~\dseliXc̈Ss9]EzjTV=ڐT < \>'$ׇD]uxErRW'[ԛFmG2 בpRU0=^C[q]tw0sKn9ɜ&p}#c $?c Fim퀤Eoِ3LuNsԩw2[1?̈v3pN'h+ %[_P3vݾ&'嚼[8G&()3K)`vq,6ۖ=F7"ȹ}]* MOatvG}ev8 milc6|d@$yI4[I͖A9ZARX/zaNxKfR8y ;h1=_f;A[Rh+ NDBo@1i%3 GlY $XEKd3ER?ZڳpL4/Ѱ6(C\Ry HC 8'˽N>FI0oؙB?C4,9 ͸<*\3d;la Y<g.8XBt r;@f4[WkW'a0LW81z4}P5{ .}/?hZ{F`ڊ ڱXFHB﫢 9'~oQQ"*D=y,Å #z0MPMaKRwrLMf2Wsf'tJD1i!ߡ%YDb=?tbb|͖ -Z]gr&9hAD(ԭ t"\Y9򟦸ps]_( 90*@ /r2/?_hs* ^զ<rHQR;F 4V*xbts@ߑfؿL7[h'X{zscj$a,&Bm;8`eH9R&dQ]TV7B>; f8vh*M\ fa(̢$W#Np&q\ =Ge gi)-dA)DWߜ/zO&;yRQB?=h=e<,*>!8!jFJd3;n&GoPJA_YB&y ư\^&#[Ϻ$nY-- J2ڎщ rE0T,"$9b_?$E5p#(OyE;DjI9u\S%IAeN4@L\gYy&u#ˤa$6$Egð~Q)O-ȍ_D(Id/(ܯx]xҾ֯ږ&\ X#{iE>Ǥ;U%#W5 m6U޶CDٯV-[j$(TF>|3^ҘSi zƆ c@n% 3p=VhHDm^h]l.&Z =qu+kz9 T lt/F%"5#|aD?( Fq?& ~5_ps8{w BKn}qu&؏{xzY vRg*f Ikaq$&i0Uhx)Bh'zY de+~GwVtǖǥʛQH $z&H HDh1mxMK=8*IP(ONܯO^KlLף7-tZݸ$[S]#O61ZC!x7X%yDC90 p4J)4\ZE;mgKd|)&N֣# ޿kz,q0;GP[q{=t"cFƖ%>D_5JQ˪C6n q-ª2bsF-y~)1T?+9VZsLJNX` a6B a3@UvH0:PC㢹9L@` ]h N.̣j =6{ F_Ɩq!fũ iy FCt͘_'вMP&?(ut[@|ZEyJ&2%~䐔;&BTs p"ĸ;fpFLbڧ׮ݶ7y v& 7iuztOVbn/*9H,56vŲV-DV1l1kv(I% ?q%~oM6TCܧBA Ǯ*ݨ> MʏQg2<@v3I`ϙ Z"y9 ,kG(PjFxzZ9]"U豲$oȫ%aʤ3h$ (P4rΤ|) S{ZƮ5+U9{gsS4b ᏄwM6n{IC\86Rm;^}.LZQoc}]#hSX.W/qo';JHrh­롇r[f r\RI#,tٰuyoY=?tJl=q5a߾%78ǔt'e@䀧k u}#PXz ] B%$C0z@OlumT-yfk緛۫)ھ=גV_;VB $f e䬃> 6r7 ōzwOӋZ5o.h㦬b X@B}ovY<0_\g]^ySd;$qY[s|6}e(9EZ6KWa-[90StXϡQXOeb b`e毦 .:uG,bKB6ǜζR親xh%! TI?wlAҒf~z)L@cb|+1fPs:PY.P.ÉgmGL;QBZOGm`U]?`cLeN Ut{cDeAAx98ͬ͜" MCk_^BrDzC oުL_lBOWmx+pУk?CeQpn}GsOW[+o$`8#DK9J_ 64BcwZhͱZv0U/(A1쥪ǭcDC ]\p2o_I]b[cS3wGsyW <"1NėtX*wl˞ ڟo%;u]'8o1PT2?1<-xA=*wX'foMx%$ Ȗ% B(wJ`ų^eeh[JV[d9 9-(oqSW]XGr`:!wNߏ.9N넝RtBg˾|;e+u -C϶aQx]!M10gxTeu[ PC954FԼ?6Nqrj7KE u]# Jbhio^3&GLkѠF9jW϶'T>oj-jì[αQ9!b NxYt]No2=l20m^Q:BY.J%,A7Xc䬠mQ /FꌩNcO4&-c9,K $rvF)m1"@ 8,Z#Cyy{W~qw@ti0JgE"KW~u2B. jْSSvV\zOsUʍH9aa| 2ɸ";soX'-ؔF([%#L̶+ ]$iY H A2'U+Ϛ[\C 6L*UP8W0Mq {#G :kSR(*1]I 66i!gLe @-GNJjA}zB;L}ֽLwxzkcEnBR>k ﱮ}b%Y%DAVg^ڥeVo~xjޏ?z@PrgWP՝|6Kb3Az V ѢDGH}B#G+I@E4,zZ_uʧ.(d3-OhԚ/5+t7ɪoWh\)JlI?:3 GID?EG lVGر5g-pzs۳vת OX91RQq ϯUۦ^8l}bub{qk͂& @&WjkB~H5YmڐtѼ#MF&F7/| w7a'5܀N՚"ĆR™qsi87vLD~t%%ɹ6"k[ڍ4”wYOBcxBh2͛ 9H*kSX_ b Ԯ/O^>y* wb9oCp!T4?#$juS>+3 D7w!ϝD g|fwE>pJ,W?\+]㛠A=-!tSc8b).vFhykh3e2["!ˈmN;#LS &| cSj@7-]}|0|p8G[ϰ<+>:Xcş KrH=ɒ 8/!?|йim_5vE>u>BfmmVpTxgc~ʰw"sz`3OғCjCJԥ2UY My:,'|"fiv5~@,$~`.p(B߷Q[>e[ 6ݽ&;c@OB6S]̷|+nQyIP^<%Euq!:yUŒYf#6}'LIGYՀQVTAO>'7f fduѨ3 |ƅ+,?<_V 5(!;Hɰ̀}? HnZjmٶkq,{LՎfDڅi=U}b%cqQ盃Rm+X*xEs)7%@Y8umZi\H2VƉ]oiw}h$\Y7NR^%V@,vFyDI瀶عN_ya4>!s-\\N̒v0q$lX*6&ry6h.afc\lEUM@ˀ&1h,Mif!dlLNZ.s!k?MN^ Vg>3kӞ^x ڍ|Ñri67ȤCj-IUGʔ:0':̤5^uV1n_d슬Q?< 9h !.Ls)F=ufX! ,5LI*8Dh?΢IWe뵽gs(N"v }Ҟr ?cLg}jū'5F8okk<,J׸jh#*z01C9F]iJЇlQJ> XGBSn= ~fZ]dX0$wD{V(6Uw$y3N m;嶦f 4$W6:J6N~Nt0/%a ,f!+ EQUoQDMZhb7*:FiKf&w]ARW4#͵`e#is9UuC]Rx*$CЕُtuyO ?ifߋv(rf@=7`<̓8Bq)[ck0[Z[陡9psw3(_g@'9Ŀgxw%{?g!wP6pq (3vdB/;b$tW\'2b?& \Z7(6+i}\ L7 :ƽ 5vmڼgj;eJ 3$^Jk8f&JvD9vᶮxϛkۥ :DpMyx78KTѹ0ݿ\IԳ-PgNeG.DY ?i$A%9!~7+Kp{ {17c{.,%>YSO7Uo!ۍsЀkR/CjQ/XY $!-*-k 72%s`}$OWs!}G2 Zqfyb€9⾎Lr≩mj3h8p2E|&*;Ww:8t} P[ɥSףJ7}u$X>%(Ee+=-*NVdN^Aop;h4Lw fjͰߖ$dRGj=}|S#j5 HmN;S[rVCCd|lH?wHaNL: F7F},F􀽏,8|UD8Yd`;T؏#3C3APRQ19>VEIC>ӲH>?Q/Ush!,WNS9J\m}ȼ%L ؏⬀fl&~yd-yTO踦rlŧ#- L̔yxV/ jmOobruFѫ fIad4tUc|X'#>Q:^;=s @ƹ*i,4g<*vk~x[Ej}&6))CW8vzBgH ky)mB2=A8Нi~y4}<߸T!k/uxu.3*Fh6 +" $XY~<#v ,%"]Zaڅь_o2 2bVh0M=>36wnqLɤQߧjƱ*}%?EnW{2mc{`9D)/2 #  Ptl5K1&sQ$xqܾJ۟ވ[HNo+a4}0wz煑VU\K*4Gҕu$"mx*e8q=۟`aP ++6DbD  BɬB?ˉ%v@i3']sCR-Uxds O_jbmJk,|**O֯ u?DT [NrINR;} ib>I`p]_Nui,zhD1;sDwϠ6y):9G<{ ;M}=[`A2d4 B_,2ɍ =,lp(@dZBq! G!DD tK~ta7D#38ANͽaϔE,Lr1nx^?-NIw)ծKyuQ| #߾5S{bֲHh2r{}'9JqQ9sqOˇDKIJ%PWwhBg.uD<\<[tuWzEO*ǧ.iDBio%r0 įP 0 :kfvR5ez,"݋14dд?W&U[ٯO2?̈D4p,,|q0ÆR((pxXq_G#1b}暾?M :,97.VtEV1_|gmMJrJǧfƴ^̛F+h˛m*$#[w@DA.tQ:cKwク#2OtB4sC^X +.fAڪeE'[-hF$U0d~̓)(nuO_w*oCDǭs;! ;nX9LH p~?sb$͵aR}E_d u,l?9:Q7ZɀJf&5 k"?fw]ǽ^#)R}e?H׏KsF> ĠUBqu6L%Q™؉gӴ6}_BWqꇍ;mP 5#K)U L!NZ;ʼnv*? oO㝷ʫ&c_Nځ?ݵ-A? %L `-lH,IylکCnx^ ve>sG_5Lݰ=Pio#BfVKJ9@r6{a*s!g)Do5JKx7AT:Xt sPkI+b?Fb毳CsKSUKz~䚫}dx;,joĺ ^>ۀuhhG\wWHO(|܀oQt\M ɅZ(2LY4ܖI D@ƟUqskByoDi.IfB{8EہvnnZ R[q0̺5VfW|N7U2XZaf1GnxPYkYΎuldR3 #3۶[{49+ >EpmE#"a"{-(o!KlQF*mt>DhnXD ҆9z _1/Lڡs~h}I&>,douo4\=5('RZl?JgZbz]9K"SﮡQ۾7NL^ZP 6~l)a; 4hSvh/{8Tw?@+.0*iJ=C'Dp "d:ҎlJOK(x)Ե2,iF>X c`y^)*4_?pr XsrE˔KA!(Dɤ=vɊ],_H$_(%q'{{~,(Ri@ d*5*L| th=NNs8r`'_>@5UZ?|TsɭUj>ƒEX{@ .$_oW<]L : VfCrrB2UfcgcMMRx= &\wjq˗CQ>Ku uod Vp)q<<95aa}Z4$B`n)9ō;d)I^}Cm?yY*ys:{U?nPNyN > md)ύST<2ObzuE.bJـ"?X|$[KL BY1ǭDp N-&vd>.0m󄓉X6f2逽|=>vy(fT+HeiὙߊcl6"cYnkړ|>fGԃhzt`x->c?rr10FVьQlZկ-sK|@9Q;!T? *~kE属RxUeJ<.X iG $@Ǣ7), H<0HllQɶ<Ƕ]0sPV"/:&©/ +3^'reۿcnuܖ28CLK| !6]7 עw7X-6Ov W!p`>MvKҺ}/:T#f|7,WGi3`s[ڻۤ:H 6Zh ꘋJ%{4YaR&*:Ռbg`_A=N( 1-}c܎h${BLPij(C<"`1E8BAe`4.)_OS"(#E6Z(֧\ϭNRcG+*5L-&9ُ8QdށQdT9OtWg ;g1gtc_ Ğiѩ/i"i22 [}>41K&{6) C . ߪpf?e/`xk93(Վ6>䓟H|6||*+ \ؾZiܙG]7B[=4Y?-eK/5.)WCno&?쨣؝cM!#t Zfs_eAŌ6ך#"/ӟ!.x&$:]7sO$`|c4L)C?)&Gh0CCQQ4#)/1w_ӵ }ksgX7\[V9OQöWIl")dg$TW?A .jNтrX}g=ט :0G>Ř#}.Q#xԃ|p. Ѿ꺹jq (Օm燀KOv^{y%*OuPnn78[wO#/WUb~a$#;"(# +*kijJ ;X1<&DN(($D 8^PI(W}!z9LFomkȠzϯBNvOcڄb!)5]/e*>gBئ>=?L65I4ܛ4Oم1[0W@5N sL}Hys&~>[Xief)9ꏎ>i`?4$i@Eȱ""/`d~9dOTqy`obʭDFҊô/]ߗqM/9Jj"B1K aڭqt#NªZ5%qĠJUQ4 'v_ ?KtA%#p_QW>+.~%?z[@GHP}ķ+ʳ)u?Ypy UQ=OE/Ȕ:yaG!j8R7\!2č^!9e6 lbW?f0'K Iq8uApN~WڂZa%%p1"VamVd䂉r( _UM\,GiÆpO!JtKc̈́, ΂KNC ʞM,AYQGS*|rn`P\6 EAПs{to p1e{g Btcۘ: |*FPY!+"yi8CH\@EՇ YA&CfT`P aBuȍЍ2%6{ .i0+\rxVfN5&^QGfE:a_;U;EN ̠vg%VW֘.Y1K X0ݶ߬d&\O)SO |sm1c&l *_Iaeq8{AzڊF 1@/w]NWH믭Jk3Rf+۵ɡ춇qx5$KPG4-Y}N`(|.C;kl C@ Th &d88ב9,hC<|ܻ/ qd[,z&43:-]"m`3GDU4YO24kAJL(ሐݛӑXziqr2r|+ㆿ@g#6"3X )+;){ x^RJ&iqaTctE-2E/k6D ,''heʠN&{ԅ~uos[,+&֍w0UJp*K4^'@ISQϏCi\?*S^}5t`xз\z$)Mϡ{1:7zΫ^Q ŰfBS_[^2]ˬhΉ o Jq:[ppTپS&5mP9ڈk$n2&𩻲r30*dN8}[ȑ--s؂t5.+)MÉ`4U/TX7IUij : (^:2/&ǝ$= r_|$ ?H|͠t ~ 1QGvi;N}q;~9|| 8 盼U?-p5#̓]q̹&`Gw>6MK-0wLaԑ9@/6 Z3AjlnE`%&.&B$k-,pvk#Ʒ6EqRJڒ3QΉ{%Ϣo%tD3yH'v9X2=G9M砫*Z/hd#d1oHќ5TԬZrOO=o kɜ4 JO}(Xݘ}6/N=I"*a~ZÕIA$ hZr.CpY"h5'VJ%{] 0;1J 6iJ'XI<< rLlæia*QJc#-4 s4f)7UsjM/N.upf*+fND@5EުK(Ɣ0￧g]h7ksXAyo|AP" W4=]yg3<4t9C{C0+AyzYru,c/yN0:SٟxF]V! "^~xĒ$D}վ['*Oiy| h=^7. R_gɮ%RT'6$n!p۔b9?,Ui[9)odh2`1kݜ =8i1{ +yL2;)-{K WŽvsBemii93UI8Yέ>X%TgׯXS;SA1od$H e ]OOPff%_iiMGOE~˄%Q7KΞ,fybKip*zjh1tFVZi*k4kzYc$=]$6i*[,6rGǚXå/_Im> (8ж0S%<BxB ux 5-ؿWvɔIZ T ;j ]Ϛo}#<`h7:ՕT"DݓVI[[vrTʭ mbk42v_#tv{ZI $yXEvP.fe`o8}i~􉃺bd~/ u~Pק7dr&ʏxIӌtyn *PUlodUPbqza`~9$s}{%YgZEN^ld [Ob?=HQU(V9{.bEp::ma1V^hWwV,ztMFs|3H P-5>Rq 9! ~7 gvyeؖy{_% P~x'z1)LF_hPR TZdlrD.Nj%@he'J\ ysgN)=6d܉9hfǛz ЀAB;\j}A8+0eĂφL^2 Q9?xt={s|+l ܠtCښFm8EɎpVjcNhEo :'G1Dc3Ц3o+T08Q \~)V\';:'5THxI"%WIa&dռi~DǑ{⟚;9:u07b2لW{UiMXԝ3rh0Ρ:At OZd,@,~Na'{C>"( ;=q&fHòtxPIn!K0p,X>bsƜHdDKfm6bl7<|a]L) oiV;-|6K1ɓAۛ- ?son7A[7O0#8qBi e; >Z&)j|T1#?&,̂DoWm@#*?QrpK lww%a^`Zi+dBNf9]O_5>^9j͇ݝ}±3Dg:幜b0kE鞅Wif bԫ8#NԘ~zޙAL{^P!';lO@>e:X&A` 8Yaf$MM3:X`/:DB:bUd3K'c,Fyv< rs 6#nI,_=~o‰I`lV\(3+؟i 5hr3O{PհLBIU۠Rikś;y&OVb^Go5q v+]t؃:ٜe|gC&Ѭ0Bg4V~]X_!$J&D)PD@,~%{@%6/>K P5$=9aT۠CkU2+7O6y ,j xjMY.3߹4i9 }w~M?A**Ji:XTk`+5 `ipF9Q]ߘ D.7' :aX#lٿv'#H5AD-PT(5y,-?.xo*l 00њ ڳ( h]rª!@ 9 7#~'OD i͈%Ez?Vq@=Dj(1pӓ2+'#Jxl❕r3_>n!Qu#8r/H_1➃6pǜ=-Z3%Wi&hqͪZK 1#GBV\x;JⓂVT`멺fB &ǴqFjr3G:6f )"<7i #,1a_(tUI?!zN#iD|!;HƋ_͏&՗n>3|uQiW 43:@3{ ⋩5n ;ʔ^ipbKgFȘ3>^n1pk 4IT;waNJ%%~~]+ib ڹs - A{L{4h:My ?gu8j)ASVDMafiLk5ذ4 @) X*j@Ytl1Li 2\F8= nI%ֈdF&p@V_]+ЃARzlu-?mx*\9L~id 9[,htQ'=NJsz:Lx[œpʂS&VڑyJ#I'Δ4j5氜N0F!*[l4SoI٨g6S9ef@W7b(")D`wDLEUȬH.;Sv[etgʑ;^#F =TXFnQA^sy+cP+Bqu M$l Q jg2t!#>]u,+n޼-3|} b֑n`sn^EEu: іr0BB9v!c6 ]ն%IÑ<l!чӖed7(Λa6i;&kgbǯJ;=^wrb(*O?y;yE(×(F^WQ~Bc ^;)!L+nq [p[QeK+]WA3#+L@dҕWVsO-ciYW/S" F|ʭ/Lp߲`aݵ$yGTG7߂7;m9e7ͼP}(;i7<FYh?,m-j\7&ޙq.EӡsN\$=aVG:2A#x nٜ>w$ti"w\?LGiܶx1"2 %F%s$B`AbʈS#hzM}\+ xF\t^7\j>ayˏ@<&R-2^bSH.BCͬpc~ِ /Yҷ8j8Er I[YG'OȓGxY=㮽7Co ʠ2܏[}ERrDI;t=4L}TtP؈XL"5jDZr|T/$WER*ȈT6aiU귊M} Y}.b$7pi7PxɢW®D.%jۊ-5##3.?oKݸ֒5HITW߱k*',H?/9q.on0Ɛy@GV +B,8d:U୘tPsn66:Awc^w,U3ebM ?dg 9/Rw2q3sP$-yH0K_14k 8eef1rXw5-' "s0a^ ](-a󎊢=F~nfr(4]u(cl (_9  `D`JױD-O@MDVϋÖEdSDo?)ډGbx˝}.oVK\;ē/HԊwٰDmE?JbJ3!E4A7`0Rr^r*si OZ8u|P"EJU;Y;#]elrӚbKόy-d(IO3c pGhkݚFș_ړ5%^PLI?Ͽڸ}5LKfm=FXxD(8.i ;l'o1$ğKQaek9U_j1 .ɡ-=ii"wDXe+֢f f] yUb&LЄU 6Bfn*`;n\vŚC~x:>w2EJ.ڪi}DId߳q~[e\.X(4ىRK'!6hZB'y@xua"7}}}y *;n:|*#)bKoe3+O'W,i>Ѱˏ]K+W֐+UˠٔcLYhf;_{lLv?ًU" EL72}Ս>"ˬDx' O E>]wXo#,Eν$W1`)3+EU$$BزdCED68gθSaE:2! v~jQxAf藵l_ݦ8%,nV,60K|n) K0Ù ѹSci;e V \})=Zpu[a)2H$$QVx nN=5#^V8diGkL#ImBT^"9a|.SOPI@e&8!ɕ5e(F>pud,coᇬerx${I98?I{XXUf&]ˑؽt+QAz7,g`7PF}%?!u栈F[x K)6Gi6GcpV6UKRό(?J}UQK]zb}vi1V£Z n@z%%Q4cǡ*E]~ykĘV^:7$bOUo#=L $'\zXg~do_)WaK K:'L+y p~k㎢`S;4SBJũvس!:r8Z4=-7޽?^_;*<|S}v&WwKVah|6,:<4h*I{W3"ݻEJÎ4UC`,CzdBɷ 3ݚf7PЁ9P8$o%PwN`lА;"SQܚNhW‘ Fmg+4/v) d @[`=N{G4hl`0{PN3zcw/w8"lwyElEX6^rkqMȪ.n,Omf͕DpN>fJT5{!8uq(}wdOb~]H Vi= ,hM]& TR&FZWiv y>b oiN_¦?Rm+s'Wy*ԢJXp]NW[+!x=xto7ݏf!!̱fͤ`p*e~LF,ʳ13;_Ҕ*1\o=4v}vmzR Rq̈́3jȥ?L}j& `-n 'QĢIWyAEeIFv ,=hOkJuvR31D? ox+?:KgVI6hbB)| h۫~3NZάa߃]%pmtEumj˒Y gg}dfEjx[43yq+}qLJH,q'u ƎqI}d/~ݭAWr5<tnVsF2&OX_ڬP)LBd=kۄ[a!lwZ-oZ,ZtJ7VbyI$.(H(h"s˹ lwXY5V4ALAصD?S[#ON={_Ln؂gv&Lmx)T xoswS9 u|..BW}}\%c]o~qALkaw6YӓPd N+^ʖbB'$ZOH)#󸳧Mݗ<4_Fl;wDcGgd_Cpr3iZk c81zRuMMBr%}wO"’B}A ۸^\j>W5|4 oM(zdT+R)Car6pBE$%kqjX~OpnF[r%ޢuO }Tq YR%y͔H-MV/x g[Żc8ЂR~9:vwnha˅Y)nwaZ[,x'Pᇔr9=5l U]4\2>K5B* ;uP%LA$51UZPX$9UG E+ 52ч+ v~ɧk^kh+qPr꣑y;!]((GjN>NZS2l/w9PK,hP]2Xݳd~yk=&:ѳ 5AkVR aa?h)%| ez@S=ĩOWvyj@YZZƧ@:3$mWQ\Px\ά[]?;{F_4߃٠AwE-_#5w[EiA^x=LLq Uk=8ij5>Y] 2I vzx%cĭ\YU^J l$_cKl낌$ Pr=x*\=mġf obIuA~g4kAҎK`e:/0k x35TХM_!uLS9KgX+gkiv$E ZA>6ӀTRwzvQ0^`j0E/& \z;0n-xÝ9]]#HA5U&!e8!k|l$&eؘa DT >hmQ|J2qP(w7pU) HQw|bϹ,K̭p??G"r `piᣛHݴzmr֦x+RIs?cjY36AQ5Zk^5kaD:c3؍7pT.6i^]4Z6z:!gM"N|fdwxȠe[`;|RXB}bHGs ~k8)Cn>>xn?v:k ^}pY! Lg>RWA3-8E6bҮ6叶(-hW lH;tcMcɡ08S?̍, AGXDM6Zr zOXt7qЃa/2 =HNP `߀8(ƦDwpVN+0wSOg٘oa`rc3? ,6:n@B^-v!5frH;e6Ka-]305 U+Xe> }{e*'`F4,zh[̿!E䗠دF821{̏_?~<'=fMMNj1X"^{gH!4FX0xh 7vnruVLT4j$[l8C2~kl[Z9BuRD^4YSVd_PֳɜKT٣0;yY"yn甌0ODˑ_jR47C{ܢ8eMT֮ +k ͅfYлM-a^40?Zsm+ی.V/' ^OSiհǓz"c{|S*|HKLj kl Ln]nph5HMG4QPw5ے+9>ޡ_$` ~.K6V7ݦf=Cfxg)ƿ"] pB ҘR%*IL0}+D7$na.xG1] 78:8A;fD[82j7(`IZ}Z$JlHX,w> נfb9\) ?|2qޱf̿zɉ-T?7ns@p~g[ 6^P%Y0 < (*'R-|%uWPx7b]zNFi `2T!vd"t5%W鲝;EřԲGpU>H״#\:ѧb:5<@ i<µ*|vToK8g5'x⩢Ja6svf<p8: 0?FFn_~>Gm-~? sM5A$M"B>_Qd0 &@LD{ƃ&-8A6jZSHoxw<D u-rhor! ZA+@(v!6 8&PG}sQ}1r;m*38XԔqXV׹䠒?Q[oD.Sjq)x.S:Nn'UaZ*h93a9ya+'C=x0.M6̡Y;9 >0[_BP>pĆdgj&hcO%;z2#-1_x猑Qķxeqkumo:R8N0B.<=딇es?u[H$H Ӵ-#t4$y*VAa]!N\ IP\#_t0^3^Snڴ+{NW&\~WILJH+J`+#6--ߛМ5({Țwc^A응+&bo~ YBPٮ07rEm/9֜'m֢=OooO [=.wĬ%G$WJCŐx"_(OfWWZ??RU/T;6&~S󺚪B*F_Ц&쓘km,eW5FUd'}oL[|T ZūAFCeXY0^kwa-B>qL, Ҽ+0v[+z Ť(R)}a bb:Pc8|jO8ե cKP DKtMSRm`nD ]6%&tǘPא)f9o ̕+Ԑu6p_R%%@ +Pzkܦ/(/6›8 2t~GH&[ \Jb$㐱0\}:Dv"Wrx.5n5b8" 'q*iYr7)&0QftxE\&ѡXUH 4sH LG )2?f=Pf=o(R}%1x76&Kw'ND*(cQ6(6'zo" !Opwol:-8Utuez H"Q2+ w"^=ꑔZ#>d8_K~7P_&B=FY r/%\5BK=8D Ϩxz$tH8݄M"* 1x;FmWtN,֙im4ft6A/mՏ7ܲlĀu[et"FoXp ɺ^ɆXN\$V=G,gd+5Ke%M6/ .{&ΎH,>ډJ֚AY_=:-I&&U2K>%m|8NM}@uU#!*e&I`0;^2)6R?{z-n!=9U1W* ]$X&"Zzc᪁R6 c~_?}noe4* -5Ȋc%RxEA l:7wR9rQIOq/_dDJ~K5G<+ GtdI˟6B_lX2\}P趄pn1ڝZQI3BɕÌ[[pRꛌuhdbL'MIs(ES9- &kZSht+<-h+qm #M}Y? nw9 ھ+ӅnpT怜)w\wOCgn27cFSflUe\J_;$Mr!*,'η0E$7 d+{ڣ W+ijН6UtFDncBluA53$P qjw8:W$@.%nąuXg %wPC!iy֗~*[=J%wDlW&bÌ.AA{TuR~?gLdî p@(޶i;pO'<ӎCA{ïK e9eI!FKY!)ْ[[EUⲷمg>f`# -8uvc#HM&sGbxCjJşkF3j&^em R=2}/%^!Jj:yDop]X) )f)J+|4}6Y; ٞbj+݁iTrRQ#8l(Ѽ>!bL!Z f#+lbo ԊZq}益 3&٪K*SPEe6.l("嗘Fޗᶮ eW%b`*hMNiEWTsKɻ!W5"A.<?K :k?;vJgyELxEd[q \O[Ne5T2˼99D$ kj56kzrzb^O,< o FxEμe}ō`FOnm09D9``fT 'gMTlwAPl@~P6Y0I ?PrL3XIw޿S{:KjNU-uΖz;"@2gnW\WLFjpzL]nyw1IjwތsWK_`t$qp09;ŸJ\u{%1U~ D-T# bܩe6*潂Ӳ&h@Ѐ㔈B~"6_EdbO*ӊyaC + /UcFJL6a6u+60fq\C k&uL;z8}@R}9A|=1 J+,vCFB MY W Ỷ AuDo WJר^<~?R\ۉb1Q(\8*lmnPΆFNL O㟜/",qS,؃~#}͛(whKDU?jv~g_Y,PxU}V"X@ gӓa\$_6'}{F[$f}mu5c҉Qoc|i?w]6ʤ[/ƛbQZi ۏ] y&l"j۟++'t+0s%G*~~6@s c=Yhې*hg89ɹaw[`7kZ7kvO*Kri6U׳ej.)Xi3=B;9xڴSW1GTil)5f2#UNjCzmN7-z fjVE)31W*|E"O *TJ`W<<,hcV}O*  C1\&p 6ШMW?0Ipp]XΓɽ;UԚ^EYGãwR#K?}")+5>Ywי]L fCS?벴 ylmF_EVxO1?~tae&08?xW v9]]}[Kx[R}tu̍!sMX(0q `G{LF9n1RdKĨM^=e{vlgg 9~mjT,`5-}C ;9l=0m qsOB5 r Jܠ!qpT_|9{ 6) }D~Nwd=[}V 4QoU;rPfƈ:'ϟ<4Nfu:2{ߺu.sIՃ>6ܸ3gRb Jc=,0ޥ'@Gi {Yw!R89?O?pʪ#)u8hZтOLbLF9SfRمbJZ:V]-U|NJ/+4헿3wtM8[=^sVӓQ 4lܓOn׆13Տ13*>}ڢ$sI"G}, 8w4E~>8ą5b5(Y0 ( nibL+T9vB {X۽_^X(c~ %iE#nuu+N(/_If ?^Tbvgx4`Aزp/˕p ٭9Aڀr_%[(v9"7$`ز!-{ 6+h|P\ Whϐ[ȩڎO3i`tչ$E^qTnȗ/wnmC )Kջrx>JW 4gza<, n~ףs@A2t+ٷD尤[--|1#>K7sj&Qgcj^b+ӮfBBoa0IWPE"i]^]Ds.@ =RrjB̚D8~ ]UNKVDzYG"YfDv ^g>RAqF{4N~$jm we20ybf%o(Uxx{fT`$Lz,BR4nj򳘋A;tM߀V, W6S_.ЌDא4j ջT$!!c"TN=Sf9stnEt lv*CffE_:);P/Ą^:%63sA}_u4^Hd>/;܉ t-*OJK 85 "k n](Ɇwkeo)&Y}~:>I] ߯;WSզޚltUM(Az/,$. )anIa+0FAhԁ|d]U# LyZ? ,o(u/ G+'xE6m) ~U &^'^=gw׵ke! q TyD΂ |ﴢNuWC=n:ݕ5]1eFjSO ?ͽ玌@wHǡa? ^X-x?D4 9W垏,]voSZ/F!}Ss4$4%hu)يVy'Au~G{I0L)UUɿWҎG)f)'ʒ~d b0 vf.1R';I&| =픈\s?wNaη~h_:d&(RvdDKrCvOXt~ˎ&UaFPI֘%^)G\0% _P6~ro F VVyd~ 2 08b(Rl X.Oxb Q;.LF ڌZ5#b2X`Fⓒ>I3wp{q_R=Y5 Nԫ࣪(}}bxd]n5caٯѸZ {epdfg= ]==gU[y +_!X+_9UxCL9Ee͙Z5bȔM$Y?d n-U|)~ʩ?4&3ZOt$oOakU^{CEM1۝bFw_gX*Z|.V硋99 ND FJP@ B!ߠ4B&I=7\-)LoT{o59$컺locCIMb>yXhLڏTӭ:)MJ{gn̓ )P 4t-7g\H{|^~l"1`րlQÍ95ds6+|3\C*9E:Ax(x} Sxlz^V"E$x$.v ۾z9@)5+ʅK?TYo4M+mP%܎bޣM#YkݴN˦ڊH8ob68{K7ba{?9qÎ_깹wsюfu# :И#Ve35K|~gK]l|ͱENZʠ8\M f5GkFe .uY-8> i%AA&s,ُtd`XRmrќЈ,U^J.k}MIj/D(v%sKmivY-N. c>%l"i\S t|^ļ e7*_~SDvD)KQCOh"= /r5Xu275qV-0#B*NYEQ8H/7PHg/!8U\M.B#.-FsA;~R({u ;W\5G=H;[ nL*_(HV*nEl!kwP+^=Ng>;5fHϿ?el*O@fA!x@nCOk\GNLN^gGz#2h$eB/r[<^lQJ#w3}ip.`,Ev]Ze@1 4BNsqzVQ#п%Vx/ Atu(qOd+%M^6lqsJ}P/_ӖAABڰc9v3\,>' [ iceD>oFAС;Qra}2 [.sEZq?XQǏZ`#ȖEWL6%bI[,@iUqk8 IR>#ٖ-yQ_ȫmIYcEC{-@WXBi7-Tv~K= 72x sC^61 q>߇֔kGȴ'Z$ )ojJt靭z}D[6V{p#F[x3u 9Ȱ&bˏ@ˈJ1խCiiƗh-E-wihX'ߔO@@ر4IOwQ2,y eot&V>DžT \zKZ-әE5nTl/)B~.GGA]g+n)>'GE+ G2WMإ:w]?Fs@Q;sJqpk Vk;]^]7NDV]W"(DzC;m uVtK/dU =# 17"-op bD` "Q>Xߕj裓9'3AgO@|<[kl;ڴ t6F{9X3դZN(UʢVE 0"d{Qcʆ6ow@ aGmDJ JE^]9V}T:L\&Ιyiu 8 x0#oIV!'6]">mWI]jN.,Ki6)tr&#vtGmfZza]4#+4VKONx`M)hEdfv5?@1*2$?L[m.eҎ[AwѦ~4t%(0Y\Gu>ek=!0P>jYXVяr4L#')ՏNFie\x5P!z|Z(v3R5Fo%M`#2Ga)HB`p+(NLY'3fR}͡".CKOc gJ+[luCd5dilCUwwM杠>a,"$:*h^"2ڵjyT eޘ[ˁoM~R[pquҐy[pZ0]vPH! M׌ŵky{ + Nor;F(R&x5tOwThEsIc &2;T ur( |L3Ta'P|[ٱm? .J~ͦSF{sL-S2=N#'QI]H%޿r;0"?`hɪkm,x|K{?.X2}ź@h;fmc.ai}2hԉPY֗Xnr`l[}삺Y򫝘/5[`aQM#_7N4#3^Nƌճ\Q@xqbCwX*;Z$%AHQ-٬E Hm"(.G\5Εvsl[\Yr9 R=#*$_3!1sIJ9ʼnu[4jBR#p[t,9 g J>2qfftwD 2\eʎ5JH4i%.?F?xA,˘;kuXq\\=<: fG/LedO" hJ A`GE9`x.gW.+D?ZSy|˫aw-#"VF?f^B[/ ڹbI  Ĵ|ޣsql7%jhS&< [C`Lgz*r2a W8ΒI j3tm-XBa#T^7崵 ]'J;򴖊Qy^fJsj .pX_1vI7P:AYuP8Tԋbe-*^ŋ :!GF<,A-$j sjTI(1^­a>Xuh3"2NV^~оQ2!8,zM)^hstCƓY^L/!!V0 B%> &ERr3|rN FlZCߪ=U*zmr*&TFaF*}.j%/m`mc#0ѝua; Y t\6蔻s~8^ޮ/ v_NITN?{FJû֋L0!AGwH3r5#6-ɬ=yH`~(k甡..uyk45EА3̳~X2^g'^nw #XDf1pH'}&0WEod#PڰN!7Sf$.G4[@yWW6)Wջ< oV<m$$+s~LCez$@IgJ6?o4?h&Ӹėq\u6QOcy$1iqMSRIH"쁶-k\442ˎ”{Ělz7<M y_lDX}oR|= ;-oΰ.LjarO i9)$wA>/ .#X̩ݤKUz$k2u+{LR.-&_6=爡\H-7n4ET{^xz0c!,kwLRlk{wH8Bca0G(4\!!PssP[(ל?9w8.#נN~CbސH[x xsH؄DdVɒtdS6o|qV|xo18Ư8loV qR vacEW+ z[=nj mm Z)Eo(/ oQx5c>0&߹_ ֣6υI/D:Q?hpV P YnjeZ.l(@S53'_ʞ R$]ᲑQ~DE^c {50 e/@GN;JҬ\r]GA͌TLH{Q86NU)!pXjm Jga>hFa!T Йlw"Q*ťc7ȚDt ?1~ i7DH0AuQ sR(tJqɻ)byLpLe@Nsj7m‚s:K`ϐ`Xa9i/)O-1){#Liԛaqovf5Nw+G|kJYRz0X9B5-IsMk9)E1>!4%ۙ@2)s մ ^;g*ar?VsSSZBxRZ^O*;[f7\%n0[N`XBr8>WX+>33L0QqsQ=Fp;QXY읰q3:ɺl55ߘc>UMHsl5'B%E؅:jif~֍Q968LO !gN83YylCX%[RP_Z)|d,M$P`( ZyPSDZgYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 59d11795e9d7b1324c7e54654d2428a123ed7e87 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c f310cff088d0fd2457c434114a12cfb40609df437df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f27517966e20f015138961748388cfb65481a474b