SQLite format 3@ .;  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 KL\D ]S Complx:threads=4elapsed=282.789cpu=877.828gc=11.032factor=3.107zXZִF! Hu_]ŗXiɟd)&]hS.J}+%$6 p/fch"JP=ֆpJ#4p'.sNMk 6џmzIg%~w|>Z4EV-1aL53Ga/ q!?Fjst%BچVl8@҂2HBK~[*hiI`QjHh2Ưx~wgvnCk.tTۗWn ?d!J,(:z4# ]f2S"Y9vKHlkWYtiKКa  yz=Kxh9   Complx  DueΞXu*`%n#MRUL0ʋ(6is,ĬOuZր?ZϵosJ&Hn$*P9Jn/vI'zw:љUe lZ\N֪Ҵ#BmF B19T51I/U PT(Egm'V5V}Y-Iė} djyjEЅ;m*֍s Zphhzd6rh0F1:3ס:D2Ý0ֶF2iq*h\}sxlOa^>Yړ82HCjlk.Bf,Un<^b.w_0Մ`1&g 6hg<"͉S|G.^`ƪ dR$>%.BzvfuϚQ!Xյ.5b64Q! mw,x#ͮ[!mStp)VV0ydI{|^#Q 2P dYgC7tdO(D;th\bf`uj9A$? h])N5m"RQ_tzM1"/NjfpGE+i/2Nat\@C4ɽc/ʮ`D*,s:3wl::Y+?:>$ hb {LS0܊}Xw;FY_X xv[iQ\`3K-14+YpeizHǴh#6}ɄcVo9c%ORD"Oc")c+ ELPt{,. XKlCW|%ء@_3 ,s2\30wmv.I(@2$ ;k&ţF,u)=Y$H{]D!6ǁSϼz$oξ ;KWϿWUCp8i[{YK~ " 0?7ℎ)^>I`'ykk訡1Rz1@꙾rWTT:kWĚoji`TSh."I:'LXF$dɜ>sQ<]RDӠ0Q=|-\mS] 01eKBS >Y$H◌FWr#hPTbƧ0Fw?gCɠ2"MnILֹBfaűb.}mXP- .|AwbMSwGm#6i?BQ{sўBs(,tH`4҄y; xA8L3ۙЯe=9up2Ji(D+M%`fbɋ͙jhi$9`vǦՁO' ]۴WhhaZIh / F5)V-D((Yȃ#o%?صCC T(G;RdOg/P+vVB{D BC?\K1J)R-) _i֦$ϊ y^,[]rEq̏!eDSJ*rv[wT. K!Ghu3$",TíҞ51CF21gw3, ,phC1]U#cʽdrJx,*\\zIиPLeg^=L!=ɿ | &bs1@ eH3zX5l''Qqa.2Jz{PW|t1x<+r:Bk5e?vGs:zFB`7ϭ;wCcvnƢvf$fL-Ĉ=5LK^5|~˫A@Z6eY׉OKeIA[=ekjsxzA`Fڃl+c* 5⊧3y:S$GaAf`t0n ;Gҝf/>9C̯d6@qE.K3B'B] k7;v鐇v`I~e_ ]eS@RFU%g82L*%%NGX#0ۗуZfKç柍#wΟ:ytT.f,S*'aBeh5-ekzed֩AL=tq +ƜeI8C!Y!-k]3F-Z''llύ!—0h^E=*ڕ ȚbWVG$W|>I{1M:"(F#V}gF1"2mܸAsBi&3UrQˇӄTF]⛻%/Z:ldžKZK}x}Ξfg ㈚(j!~'걽vk!n2K!\+ߧ %.j01]]$K8;\8Z>ч5gPUmQz-8ݟ(|Y5*8?&!{MOes>F2܄JUK{k6X[\!RotwϰVlwF`pi.C_PA  ?$ONؿd(4R_S:r]X 2 -}7ktrR)YLBM+鲀#<۴?_juLaA<W@kGOtQ n;K[um?_^ XAEє~%iFɇa@ÅaVAw"/_XI1%BӅJxh4aE:+ى#pkKG^g 3wi/H񖪶vCD W@X6;sRrfSsX%@%"{z,hK[5Lr9}Z9<#[?ik=J(>UٔMiu{u?pVj\.XEɱ}B Z-&9H].79J^axJ5b00tlr{ 9``؃XBk8ڧR0>RTLß8ßjk2PDXE0&>Pp'C=s{[̢ƾowSx'u\ңp niÒVaZʤUlC<ܚ-(yB>& 8.qP+\l/刴{H&EyA60Yp^sbKf%k"pBUfjwA8$8'| nrvc2~odfޤ=;?^T۽ >)nw}W=qok3Ψ5/^ECZasL oRbFLI #D?uqV)B 8q%W "U%O Ym&(C_;+#LM酢H3g0^˺ouUWJwz~w~a d4 "ǏJ*D1]͋ޖAQJ;Bn\Nm*vNuȋYdB'^̀SLJ .dy\ Ǡ/UGtQP7i/Dݍ s6D2?>4}fn0t%HxLB֔Mw842EAcGPǗ^Zh#yt"k붞fw J 7 eHO̥/,tFX@ slx6A?! 0ͥ}vf^g7ׇI Û܏y.焆?FjnP{6Pm|^)v$GD ܍?7sj[|($\}z|5_aK9K/s(C@䡿wOunuq đtfW@[fYaw'.E7&.@aEoU 2h?ۼL: 2pO|Ô$x?TP/ۆ}OމK VsA%rrnn-B?:!Eޫ ċEQVUæQ1s)'q5STKP: 3r Hͺnvy;bxJʆ8T}_) Ǟ]|Cdr{IZC ]/u=| oߗ8Nn)"ZO_1u8L}lm$ij]=v8QV_0kY9L:Dϣ^~`7zpu}U ģPh߽5 1MJЕM].m6 { - lV֖c{.*陮|H4iaJ'RzZ`!9nqNoNw˂1+(jw]qamꃉŗ!âf/N[.^jUV [*51V'߈Em*μր~VfZ@o㞵@kJ4cΡc,N;s㒄e5/ BGBH2V-s'_eb̪\U<AvGҁާ/o\NY*-x\Zx~XiϏ`ؐ]E`9Ic3p-cmds^!G%Ǻt&Jd%4FT ~شHN,TjL'Lyd@O,~_҉o05rA?AY*Be.H I(l~oF픴$$`USUnb!MDkRd |;w#˟k?_9(3mv #XnNSk{-w~Mf2$]!'3|7Cf{kY}j7 k:7%@W竝>xImc{MhB 1CQ5!OOZ1`^Zd2M&%c)Sf !S%SQ77e4w!5/$sV"c>yFO{_)=&c;=̱֯/M 9[ZаK-hJA_L=˰W/\%M 3V-;Vȸf' l[t9I%4 za/:'~ ojm[JKc3CA|%*i%FjG~ 60;HqY~@aSRw^u[ll>@&_\ϳt342QصK$p^Y !6X9P}v=LEz#0IgB;pq ״[}` k=s#/"CEʬ^qOޖ類$c$(HK#%DAߕ3%CkyHLN ])$M4]}~xD|"4Aqq#JeD8m$3\y5Nw hg, ̾$i\ňYdYɸK7_q,h,IBeLnх`m=*v@DmnXhTӶ r&&=BA DL h]q#}X"#tlOȗ6q]}S:/PE˕ RyB+4{Φ$`j+s5G! ҃-RLstg).sln>+f.,OqL1?a0]"/BjjK\/5D*/R`VzJNÊEXy>wGD,ZzlR-?g{=S>ԅj,NxܬTkg^s4#f(m.ʂ{iM9rYg%>ф=}=`Qɶ,u1( 0},O%es.“G܅C \XyÆ#,Y`Nk_˭ 'ﰆ+:(H6ͯRJCQ$yu/ yA:В8){sJA^ JjuH+2l$5'zC kCh!+$$lS+dH2>*&q#$ gT)TPW[uaKxOK! o5vAe~W{~–7hhj3b8 ?f-I+o41ǫfݝ}`a5=L֏k e cl3%ad%ilxHa,j #09_5ҸUqVXRod޷յHhQƹ=Dt[fZ||C\AِYEr(Iy$mp8qHB1?M\'PEoɶBdB{{$R-)=x'izDO\&}^nfq݁g G`PRH$>NM~:1EqfʰB--ߔnHVFz4DgN?5NxpKb2Nuwu#)8/=|{M1axɎ3!5JGVk S<@(/XBDOO(lbv(y􂘕J>\ ֖8EelURlGBƲӼ*Sċz!G$-)' VTG-ʉonӸѕ7c =,؊bH{ߚBT;UhQ>pRΗG *>$W:|Ke12 6_E$M1U ]ԡ@HYFĹe߁ӓ2Hm&cau7j[Sif :(z0%6KkSO=jd}:3ᆁ砓6ܴ(;s .7nrVLq}-Po 5Ds87W_r&]PmwXR\MqXeSjDhKRu0K'5jȽ:6]p搿Đr4~n@dXfm$p?wjt*~LY)ZӗF-&95bK i~A܎!34p Ö]c Tᕯ.ٚyn;SD%X*^l/yKvb*Ix\p>'Bd?;< d[2>1rwg.΋w|歀wԬAIT*lr 7z1쮔%%pS1Y,;/ čU1x~ j`%1Ƅ: {p 541q@:KP0~eYdar_jO]g,xQ~%S*֭iߣzQs M._PK: ?s6ZK)@g]Pm Pƍ笻:c4gPnՓs<\Ht gUfnIŘ MzD߫R|¯:@pP?I,W@VZE[OsdǬN`$)8O!ebx]联n4nΘP$de4h%".* woigX5T.U?KW/gsDBVn cBGW5̯M-e(-M֠a.k2M2 {H$rs'h̒$iOiAVײb".LϞ\{E/NN@g=`rqr௛D H'Z׭U^_pR%𜖴Q𼄇WVxAhdqraxj$11oqi@SqHlTU0Owx3Bd B o9_t,H/G{ל[*^X@`,Ↄhsar>+c9ɀEFi` fJ .=/+>n֭B'ThТV={&H7܄ RFK7FfLZ{ȀP"]IV6:c#Cbz]Z vX(}"凓^KsD8V@Gd`ixT_K>ތ(7qbF5(kW@Q9jA;$UxaQ+mk& Mn$hBU#R`Ykң \=T"hGBA;ޅO>*$[aG{2rRxm,ɨYEą}q; 'wqN+ڀ{;߽zUmu_^$NlQ͝:?,LmA(@Q2wa,AdiB_ |bX /í}ΠH{d{onElRu<%$}Z[]$ֿλpueJ wkSWmUvʍhk3ҨnY]QwBe]qMwXK.٠]Y7Wn/~E>+>ښ$Ws2~Gv+#3ͬco ,yJg$`;po-QzݡfD>@%Syn4w'#|MDrrA!o> ІYC )R sK hi[K.+r1z}T҃ 5D䵀Tȝ`VQ4ho^weSf'wb}\a2"W_Y!2>\dox6;9I9"m6)6ezn.4Xbg1&vgrv%=ݔFZvc4u Ϝ \D\?`:9xkjd8ŊCR ;W}F=`kBeJcywtΕj@bAXzh-~5ITK@C&KИVi첾WsNP)a1mCWX}ok Iœµ|щOkro .ǺOb A<¿&/?{$n3}k-7#MʟVy†eHV/Hd (aѵ)Ί"7cIh~zq C`x^ޕ?xK#-=Aڢco(l\muٜ@Oxܫ{7C[8AޅA#W_od+ qr*k\sjL #5]MtbJP8њ t#Eu!DH}7w9HfcM~g )tT&g[ CV!~MARRmI*J'ٌmݳjW@&xBGפw3ո.Ɋ; Ё~0%}pzu@ EKKUX ;#74k!}Ee,Y `<}1?|o&8s; ^-6#(DE ]붳'XyFhD6ln2iQjdGEkV[_5EXHN}&/yqtTÙkݤϩUA+34OJZͽ*3^ۊ^k2 Hf%hg?ş5qe11"]gZ;Q%T]{]AO3C=˻$ zR,e#dzi "5~>d*/z=dگbL3'],@_KR1u0~vCKeN!8˚Vf8Y  4%|7zVqHݑ%zTXsMmڷ؄1u#v.tӥyu0B&M*?ГH!_n0.Y(Lޮ] P@4/فŐjrkQT~/fqRXx&NkڤinqXP#O=O;$">*Y۔.`<> 1w\˒#962eE܋BisXwfx+gD,{pϘ)u+1o.i6S|mןg)X=޾4Qb.!hAUʶ PRT*N tWO*$M)oi sȵsqߠ#e5:p% ̀ {XZU/0OX$rb!ˬK_>xiE,xZ}vW?LklTz4Ms 6|61fk[F/pIpc@Q]p ww@(L 0rs&+ZrJuGF ҸB8xG'S֑ v~' ;:Q?bt*M+[\|]_ {L4vݷ򫀑]2w#qG:"t`Kdx)(X\sg!IܳGPH"\WfdȦY\3!`( OȖox-lt>}_{gS$ش ۹ 91⨂cdYbɠ_!,=G !|{P?JPA~fUD:|55ݼӦ%"/7풢Vp{|1O~9N|3[Y?8;Ͽ׆=5.X^Pw{axAyJJy5m T8p9_,b9D ?MA*QUc֘y&\GFm;?'/ `D<b<'3LDYOߥ3Dznyyow%Y5 sGPG2ɽb QR;{EN%{\$qGQ: hi}J-4jpJU{T=(QVQ\: eվS`Zb;Rf DA0(H߲%bpP`cw pҿvK>nj GuM&)LF[sNFh< yRb3*Uh[8іGZo xpj1hkoEYA)CnVEXsm{D]@.ɷV.R'Rxu1 eQ9]A i @p{c?ς F#&dc)DK`gsiID0[HT,;]*"" E#僺Pd>h x ib)HmʿуrS bsďTu *ѼӖ ~nsQFH4ac@"_QR|5.lT8XՓ],և(AZ5SG[ÊֻnF,9mlM1 feF?6t'J=Epd"o+~Ts2s%H,F6+cӴ"OiYLGYfe6 ϐ]pxL'μ:7}i=Fww*#2_γo+jOoD8ힹI NGA&d-ITg4%i>1n"XG"GlԎ4^Α.ILbUH6 2/grSf =)*y65<} ,°=ix0PINY_@hMm9,e!rͲpv| Eysl[-}36a,]8D,,싉E?'Vط؍6gR(Bk e)o8/hdc,b$f(q.@] 'g[B_?EB-TS!*Y 7'9b#` ٟZZFE1xA{󽲹OH) ~l}s)B=`5>BFn]ݵQ%S,mÜ5'H C uc*-Oz:5dOAQokswpw)Ť4lxj"Xzj" z@Xso,+v+"|X LP׀? ,ZjwQQN+~PQ3c{evR;|Xg"K`n&>1Acr7>wrTy ~J5];2c[w;n)џ,9l~Yqa_fwp[j(^>len~Ќ.HIھkd|b= mCRfId}A V ,I (nT=rV6+n' ޢANY @x"12$ܻ:e!r:S{RO{|栲yI%k_pnlGI,yiP[/|?rl>UKkGtݶozK̃WXLMz7* ~La#~;t\&#~|n"o'L;=Vީ-.wh$ !Mɏ\ iQP rYW[?jMY2֋/S?kSX T׉ܗxaJƲAkTN: =;OT DsK\! K'I L'vgRTŤ:/:*&-$1VJirN0[Z{l >FeWzxxJMv1uBGvfݺN K׳|k6q' ƓOqPGc[VF`>-`o:֐$WHJm"QrӮe]VF^,ԖGl$xgT+*t_!;% >Qd#OB[&8 kZqC PK8@%_"nF_i~>g9:-.;&h0GlCKQ#gV8=•=7\'vJ &+Wd~&OU tR[aE%|SٽO6^"(&Q2 ;86Kwlؤb9p.K%m?&/ }ʞg0S{* -x3D1x`c[˹#ϦA?>%zR |y0RA^xuXk@FIMJ0Ր6 /t9`3{HkS5Sd&\Js_T6xuGƓ#DbAjn-Օb]9fbI-#M%JUhZBVFLa(BH0'0AeG$cت%It/%͵ʤVJѬ :;Gֈ(#cqTGgsjk9U cA~1_֟֩8pDUOg(>NF-S%j݇d6ypk5,)o@Ё^YB;K K6/?xOՠ4+ouA{&NQΩ]T`)?Z~y1u?]J;H=-B(/t77n՞QO_WCEt\FVdFI`4ahk$+̧S>L]tYH&+`kʶf]@"0hehB.ţ<\<Q``v0W!ҕAZman/&Un;6tnK%Iъ1 pFAVujS\U%mbbRӌ;^)w?iii/W^a^ׄlvkq~[t qx susQ=f^ b7!Crg[&A).LvӘZ٬{mPl rK^ӁMX? UQ#6甤ըZh>)oA?Zj© "\PeJ6+\V&Tn:בWMNjs` : ]K yH0F GTEӑ(m*Ix$ pM[$ Ao-f~bɨB'o_A/Kxo`P rԃC{0b bnz%=xZq)ܩSޜ4uW58B:XN%ğgPӻ5)JF=u{`0I0sHI"i\ʵc4dX=M\@tjIѮ*4$_9n3y,30C["uWP{Ҥbp7耠:Kt?}PSStbY 3p3!鸸`A'ݼ; Skگ4m"!Ye6J*+z%VTWeߐأAk5- c;ISZUruJ>YQ` h;tϳ}광/))IkY|{UaR5@p{+ N+p$E n=\4scfk n.:vS3^aF{cf}?k%u/ :$6:Fc= V'YQoN(@rB9|v/#;HpA 7Ē_9 vjŻW R}F Uj"2y>hs#DW;?JŸhK)XEhgQ5'Kfa3 lIzVbv_o(;:Tӡ9/9TX,=#g#Zvs~JI= [3Rʊ=J k1iA=)ל 3SBRi֟6S$_ t'NnK&cyi΅q::/\fob#3[ SRQ $iˋjafUq*R?C>pZ Dp8+B-#nM?riDkYhA~w|CХ\kv)y\^`َM dL2s \<4B"#TMŭqkaX|_B/_C(JldvmHɲ$El} .qʽذ eP/O6Û*XߗHΐOʹ^yѯ3?fDfje> Ŷ|z<* \rڗAi惾WT*Ħ"`8pՀ:o#piE f69* MMXi)Z^?,o[+(_؁de*Vzt~vs?)8Pj֏}@]3%Gnu_1^pP/YziOG8g6OoYؔAgZ4A\=$0߷+LE&Bi!IAU0f*E=)DT[T>Y(s:n!n;X81fZڵ,c,DI&pvuv祺|ߒ:VJ Ȼ" DA8KΐZKȲ`59dޘ[] \ՔQ>HHsPXxǙM&ih{݂&TzewǺ.ӊ:W yѵ83t~vRC^V+8bۏf}҄ .R)jʸUт%5 kTv<:Mw53~Qwv*jըzۙM>hMPoYG2oGyυ࿸K,;Nnӑ՛她VL.}qSu9&Fޓ>!|sYj6"̊%33I^)sM~Py+8>HzԈìTa".[5-'fqnzeP}5mmt(y/O[}q aE¶ݚдP>P M,%<֥#KO vkh>t{kt.J-"5uْQ̗q>c8cŢQ=$m8w@]Mh:LJAD(v35M)T3~D&̒L:_y!Zx[`S6 p`y+fknQ"sgή=ruo%2dAY(tߏ:*(u0&1:f&$pTUe6t EOCH]3a>H~D$2Vӝ]Y;%WD0ęFpq^߶y}SmںBo tv7m oh^8,TT‹ô]AEK OQR aUSPrtỵS{~/l]FX?xBi{b5ϸ,^+ 9)wo\)DŽ%IsO%.A 0!.ɚD_u| >'j緍V4 .ڗ ħY=epT>+qА-r;#2.Vym WB,[Dt{WhY2X6f 2\J o:dJRH$F[)4''k~Ov7?[خS@l!Q/g)BS)K䌐d@)/ɬj:,dSw(ZGՐp*9  L!ē߄P'[9 EeC"?5w>USWq} zxO沑BĻC8>EZfȑhxQL0)v|HSvs[pF:Y7vpALĭ]relx;c/Q& GAEO }{v)q?QG{-[&|/%ɥ9p0X@&hzEҶ!XuLW@z'!<ܾF~rj>ڶĐ`c]?T:d9fd'=!V/v!<p8[ K^BYקȍ?{/kOP|z$'WuIZZxs7>(@}[J%{L_O%p{ͯK66+u^2p`~f 4[􎫆n'R7Ώ̈́޺>EUYQk ,ga̹#A?= kMt-K8Q 7]WF N5zw 9fv:x0'8x"[FŴfГMxGG}s^W?g+415-c:t'ab6$Nf ז ?l;wNJWd|n]@+r@r=ϦO4lwYpa"$h_K&#``0a{ 0*ozPTR kf&`Ƅ ;8ؽGV$7IN#rऊj(߰d)4ĸh44$4Q%"$tqq+uL: V,0PZFI=My j(&&5W D:WzZ~Ocˢp3,bw6qBHGAHv6]dAu`HkE:AI\?EMh%m D@ ,߼+N& ,R*)!;x͢H)52)Dt i!z}W+`H;l ĵł&Ul;"o[UhjiZQ(Goh1WiZ\kŜuwp ?3إ54S)K.R:}e" p=^'Q6xSʕMl-raDb`9]P>ٟ8KWs:(—!`vVY{΋޲D+3R] /g;zM7Gpbc:=FOsSBfhJSDڨ͎t,9`VԖ0{l6[3gm#: Ekq]CӁ$8' ]#FkIoCJ S>d(֓^템~:x躭&2/n˅M⓾<ekCaHK@oCCʽ]b9% /}uͭZ4Z2LU,}1W6x|= ]y qH2rV9e82Sey>O_iYjECASOf ךz7  u{A8]63hMl`biӱ͙Қ{8)S*RtQ.5Z$D5He᪈Q+z&YzC֯tMA5#R[![W+Z*f mhK8ˇm ^(]'RR6 a]vfIgoW14:E޺:j4{ǭe*fobQ3ygy}L<lN< .6*[$V+/S,%-oWJƏXM>B 2NBPAW&^8FiDSّ.0-bb}Ҽ!@i=4ӓӄP]ܝuq fTBCfn_J\%UDwOR!Vn;q]P8:!ueptm=zMϬϠ:tsU;3ҖBeBFR|IYѱaGxү/<-5z2,ՃyÈHmʀ(éT}k3cٔ{X=  h3S^tx[5PnP53شéR"ir"=ztټ{,AF_3+fTldw`]eur &{{l ֫j Բ6տI4ґG UunK?dH s"iep4!e g^$MڣCGmWzpbgF奚hӻ2ͣ}0d'a P=U{Gy@WR> _AW%cn5g9**{A0FgI@!MЄܤg6@]AYǨa_{t\78I rM)0qLۿz!^5#DDꗲF4~t"c`d?~ VAD"d,[Ϸ*ia$6HUi&0*bkiȄqDLT!CWxG+j(gbH>NB0U$trA>#olFJߢ>$mC''y~nn4̱G%*1>9 y54мjdϛ,dr~-KNyH~J)ǣrp!=ܚ0}H t  ӑCX܆JjҚ 3a0h{%(Ws$ F]=X D<#_<A7VF Ku u`9mYU.`m1Hy{jURBC-4]`PfeJTUӷo hi[=CIS>~ub~+F/I?}+*f(W& (ATi#ѪR":{- F&v|,`]CVH# -:7Bt/X~{} l<| HղRܸ*gSS\^"$]fA ozoQ!4Gk"V0!MgK\y^JwXݜzZ$u$S^w0o'ڡH1K)`vole''<̲VƍBdϪXF,w1 (ƭzH%X/ eHd'S폢$ǧ~*dYYJ > ~ļr]i3\a6sYTM c{.:y0)CoOa _ZqpDF,8O_XڽY>όGQ\,$-u ^2=lڭX跦Qu֫*s6-64fgN4>(:Z ,ٰe5˷?g̦u K+: C,U:xI)ljL@Œa,ɻƅx6elY`elU1 4J2\3F;T%$oy$aH0=*^|+ |^D脬0$?{ѫy Cx!M" IAKa0(&3I^F΃u,(Bp^Nw]+apA:k$*>6攦? eJ[Bڜ8/lXd5/4+U ܃ڄ|upKR /=,!柺`9%KgjjC˿gka)vcUj31Im 771b`-tXG3}ge~vq dhy>w˶5a2`Sy,cm8_Th#y8b9ɱgYZ7zXZִF! %]ŗXiɟf^v5ݑYGKG&Œ%_rL$_pPPs[ݎ yM]mcmjH}(u>c#:x7ht`G'/xoVLPzf dQ`O`?3A0L=Šp`Vy6-͠DyDZc|@ ;[?FSeg<4GgYZ7zXZִF! G#H]ŗXi%L!l0fNfPB;sw.ʟo1<䩼2obq/E2ё0jf?v2V̈ 鶅Qk̢X,NQpD/F٦RŢ !h꒧ѸZ(6=bn/5p1Se ˟#L@`h{DW`H#2;B 8]ژgOZ=MTJ+d}6W%O9y=#z`pI(UIfac(`1*>Q|J_j,mRbK%(} ]Te!K>“{(*+ >uZXu<$?tBzW:="Gh2i;!8ܔۿ8%DӆB`xP. A<ҙiiVUV ^zϿ}["䠗2WߐdlzșS~KΠCLbفHU!u=`O=abJpBy&سPSOZ7ǰńvpeU)IGX&;08ҋ+WXXsnʼn~ë4 *?#(#i:ZcR7ow:3@dnHvnJCem%wdXq+!aS*plv/ ͹81Wb=|lJ]ӰL3i+B `PX(H*Zqآ1lBYZfk,{vL3JoFViև`o"pMS|U\Y:6j d7JM߽;ueaZc%Y/6蹓T]8=p-ϕiChtHP^`sjYZ8>.+\daR޺BH׭ #όBhAʀŶwKt5Dlx}=Ci>=Yn0Q-9h|c1– y5q1;[8N{Xy20\`n:sH`^mSTn`˄Ps~UڏLE:zE_42p̀6Av`hp(0'I. x[ڌu#F>A- mA/`L\o?׵U^Uɧ2OYf pPzŊGɺ5eu٨!߽vp}1qv9XM?fL13#;0T];5>OY͵\d HnM"s(;qA!1w0TEwR Vhd4ʬ:;g/% eB0(ZSlX otM;(iEj@as0 @򖠇'/Ҍ&!^{Q&KilUo ~Ggވ%mC}A@}@덢}ԏA2h+Spb&.@c]uH6bT+2|5Tϐd;`U%GKI}heSG+b5'{jy!=1ڴRag*NAwi/kpJ)7[66]3?3hb} ;Ǧ3-Lrc_O?-1`ʗ|ecYE0+}i\%tޔh)əE."3d.7}~X~*kqC& oKQȀ)VJb!t3,or5.Q%"ۄ'U{% bq_HbbC񕙮,A6c^> o08!:O>5V+ 1󞌆BYLғwʧc}d`R0Z̳Ef^w n gј 8yrU1'FPO0^-L?18e"ݸD2HI|9G3OLDh^R`hbJ_'a%Y Bٷ3G\U."e}să nZ`j6'F:#)qR܇tM@)iG()dJ\>~8޷~mGF2(-# O/{!1W jp9z4gܨrDQa[Nxr;ӮЬI6S^tU=GGօ dGĘ"AVRwf 2pr8]bU!uɌU:UbxlS36heerA7T!89ONtۖIn#/]o/dʣoKd0gI:4{_M~nkM;D;JMfeY)b1^kSd[OHƤuggnz0൨i+_Zj (daDS-` y1"Y*CԴ5C~ߙTܬ jj ˣ%#_-fUI@ t mZCJVKn4 /@V1&'фjZVn#RBO-,*j9Z OՓMëƻ^H+b=bDta5g\: nKkw֔0 xIY>"j2NOAKv[,fpĨ^f\ع+,s?T}֛ I+J t6{Sgcu OBV5cwЫ4eyb,!bl㕚H^ jNy3+ݝ{6*l碑;,|.]X7aZ)Zb뎥c{UMatL*R[qa~7 s1oЭ$Ix }uZSViG*hJ NSv~tuTV ZY&QQ&-xi+sݷD|EE4{r*uPׁi4JD(ro&/o*[?&AM}mI񋭨A3GFX :9qҤz]ZEճ^ =)K~@UBdn)0õҫ6q®ϗ`EB_cEtA*F5f rj$O:&1,l'f㽷()jo> 740Z<_+H6tl{pl $<z%ܹNRk`hϣ 6Ⱦ$70ڦ*zH8# Wa֮3qؗF*z_`E1R0x<>o ZU}K;* q1e5(S`(P5 hɨ|Qs"c* Ch\'_|XNpޏ4cjxMjєKF]]m@8%6C%YSNE[3mr+Tt.Lrbmyx}{5ҧH&bOvGI"+ 4Hr,uhҢ;f+r8d`/b)ȏP&e*E2Yu+\Rɮ_NyFlRur肣Yd_5Ő|Y cǀ_ְ[PBǔ$cE.Erk&IE >aP$x{:hhU]irG1&) /4,hL .gM>m8I*󽡩S&g^]SԟK8Bk35MG;:3??_2R)aɹ2~L6Zl$IF \f$#Ų *98u(B>r"vvƣZGx`"Q8‘ ;; WQX%N8PʴԱf. C :wɹGDJ٣N?3,$ujz+a}BOf0^sz)J@jTЪo ZMOpw;N^M*8PoֹTFVZvH\+YiˤN<^S{ wq~B艗Pbv}]l P~iY$L|z^k Zv'}K=Wf7ó][V)xJ֡m@B@8.a64-s67Iįs) ym.h9;ĴT@t5p4BN2OCea@:czK +Ӟ;:,K2-T?gWsWp\6xѬlbYsO1ľ{ UkDOR4+^ͩiˎ5lvxѵ(bh JS";ZV}|B"W7U2cwmڨ`tqf*%$9pcu'r[s&0);1lUFjG9Pd)KtIV#Y>3 <ú8ԴF*>8ˇ"1Op!PްG29<^˱8BC?E׳ OSயH(t\0m\R1`j?.#LlR6슥s6:lUsqL"+<F+>;.ʅx `چ@MIIS7Z@^Jre[)yg~L20jD97;N|D/7rAj"na(1_<`r~+zO]ZKCV}>a\ I3h%#(_GqN(f4Xx/!Ǽ9@?:lgP< MFʾxc~Z~m|J0N(l"uΈu43ߘE ߈ЕX@85S$|M 4b8h[[e1K7w+ .`|@1s)+*3q EG_(~n6\s->ܲ/qT +|}K)Zdm$%V7a`eiamȚ9vo'̳=*^!Jٖ`?;C G*C,eJl]+EѢ%L'n!:5d~Kys@^ %xA:ֽ;K2_?s&Zaaaxi/^17(Jmv~Ҿ8?Y["L`RE}"~ 5@3+{.1f?)R|| ,[ݠJDfX15i&KjK/ZJ6I)3gfk2?JRss 8ueBy% ;O>Oc/ވh7%==R`bo;m+if~ 56X36  6z&Ry+p8T)ST+!ҁs++{(9LvIU4뱍7bqXZ[5 f4ɋJ Ɂ+))䙳? vD賀_)w^SpH3} >XNۋ+\df% A<r!`<=_3WAbu čr,穮euRx/Hգch;MeSv#'G5؜2UAdt.. eHm!ٲ8TKuGg|n8L-W8ו& '"phےG K^ڑ3Cɯz$6Y{>ΚT Di;{RJF 1][1 ^;.amjRCF|{XRp͊ Y:H|X[Y5Հʥ}ܾձ f^ 7q*59Pr7]朦১ Ҁ>^kp8$: MɈ|kiT{m*aNaDO`֠iw]u#DVY1e|yi(?$>Ą9v LJCEV%C1Kx2foAC蓱MObkYapC,^L9̲JЂ-i'ńGK$^t\@K |(o!B$;HiY_(8 B.* MP@ f,3 ?8rcC,Z1hyRB' &eF]i<͉GP6|F"tr#3ӮQsT@Zuc$c;P0TO ph//IX΂]pS-htzz] @[F>z : #^jpmE%# DQx6a{ _~'V$M gˤ0qtjRGT"RV|w9y\#ѫF.,QF믔~LCQDDu0k]ZGA.Ld)kVh)@8ɘX.oJLGxVJ٫Ѩoitx;}YX)ܯ2yёZ|0ǛX$ί~5wA&GwX}#\}f(z59篌Mu"Ux]}?ن>-?tӿGmT&aotaAG< |8;>Y^1D:&y-Nk 2!ݽj A{K akԌ׼G=C/@jp鈷voJGse@'^cEfKy;*/v |760ƾxczWn&vU]EaŽ#qq2Ϫ\\-{}Lb!G9 r /NԢ9NZV 1]`In#k8BLzF.K(#(ʡP>Q쀗47Ait cA?d#~NaU,mW(fB"uJm]FWB'F" NP;Tgjq W*!n*jf#VʍiS_Y* bu6tkN))2ē.ɯ\CAd eMW!rXx0d)8ч,[aNCu ~& ?Q@u8"hѣbWs{m MȢn+!aL.2׍`/ 7+.H;|+I8YYs3ߺӲP!LdT/}|e~z5["U"ÀjT Y#ɮww]! 8)Ҁ"2鳔 atGv^Ag1_7A IL4ǭº;єRNjT [ M !ҿpz4~T3j4s);Z 0^Zz`LcN-qp!/Q uVlTGľ;jzլ:4k.Ϋҁ5\t0 o̢Cr˅iz8u1v0-ί(qT+J35!0_* 9t9 *$VpVߕZyz((Ɂ/-2F?T嵾tK(.q[{0)Qj} K~c1,KU,³_fAwsy ΜUj,(X]K28~>21#!g Ujg8VʘA^_-` ;lISB"exn 4T(}g D.O'b41*36xG&#T:+C$%3ciB^+ܭ?N4O"4n,TOs: Z{7ޑw/j$|vjz|O?&(lL# kCw_ID*Nm= +$Q`F>16 @PGcUgl%Gݳ\w$W5?jq`bO~XN%(r. 1~o(.nf@T<>6 *dҘW9!?G%)i !JfNdˡXX=8 +u)~`-9I~.$K~CC{gu-L^a7Zsep jS?JiͰfHC5k_H_ +3͚8YC1jST?d#_ ޚ$^QrZS!JC4 `d?vC>2Q0gml΂ K;4.@B 4hr=C`e,ÝMߵf%>0](OP%M7Kl-6dDlLԤ iqX遮sZ67)C_ Y*uC+G=joKJTq<.k#iPsOO;ME"F".r荥biDZ%ɩWlq-/Psa=JxϪLyΒ_ECDz٩uzW-S {w |ݘTWӇZuGrru!k/m(ǟpXKR]GjoLəH*6CSAsMI}\.!LRix;vhM|ͩ3J6*h#4EpWş4Jzp3USSΒbI2XIV I:'|Hа ;OKʃBUSоL5 'SC#Ξ&ܞ]c~/TZ@ãp0'ny?1BGvY-L&ט\ ERIs4@vhiXafI _$e.QQ2zw7 d>Y:dќ#ˀӦ`Xh̵?' Qx0[5ݒY Ғ$#H"ko'c]Cog8S5MC D<IJWRѻ?1yuTVYtjx\BL)-3So#0I*v: vJHZ4ٟXh5j)+8){nJ5{c2"e 'h\5e##) wO)f˱͘޿l =FX|}{.X0c4Nmi~5Ci~Ee6UF]^|8OKG|nT+)SwӀ*%5t!ͅn`o0ccTI9IX[mg4'Ay!w!B{H@5sǧ0)ݞC n( ^PrɼkPDJOATj\a**8ϖPϧ)% iL'J\+vwU _(Ή( 3Sޢ%k*{+buI+R2GlrL6vZFi"Y y 4p!!Cܩ3kugY5ꏦP;zf׶\i(E]# Frv?a׿_s/p0 Dx?n;Ҋޕp20јs܊WpvC|yr1%߱fD#߼CvN&7jU~1: +ܹ5rMlw'uZ8-v1) g9h#yZ䴂W_x֐z,Jt3Q}Qa9*?GI:8QYSI7EՌ i|E 7@i-fX~xXdf3QMK_8KQ:Ķ-pT:7Y⶘]q:MH M8ɿDky T$D1僒&U`;@ZY=kҒ8B1Юk,𮻇QEųfdwS~NGlJ(A PQTr/?R4.2T3-ʱ7]~ʜRYfȧh|$9a{a˺ ydǢ֯@ y4$QX7266۸7l-(c+x ^%efx>B~y1y>_ϻNv_ =x8jMDz;*6`2~oIVé\:Ha>b}qxw`tXzRK>MV{F0GmJ< pKfh6{ c3YMS)y@۾G eL洗y}ctzsG&vۣQ憯8A CIooi09m%l)c$Ls{cOMj,y~a^Rf{idx4DrYhۇw-hIW' .V=b9%vUއaYDΨq-~ĉvoZ;'Ƅ;"fJ4&ϵ;q$;8$&Y$mvU$ w ?-Z2*EDVhdz_cԗs 83x'B^SiϭsKʼ8ZgY{KET ިq]4OkfQ7e;i~$H'7d VF8SY#' =q X1@As)؟+jV^vf`A7i6!D>#QpIv3)G2K VJxض^t@U.BV^moZ6"ƬmvcfP9`]xYspX-i$Y֎~@/$!:,ԺXFf(:Mh'[3pMp]ђh \q(~@[¤ZijS06ۑvC42`nFUyualU̘y͂#M(^&m$Z9wTcE@uT Tm/zZ/jS7x&ubQ//HGv`nTcUf[^Icv-B ;W}VO%&#ӱs7_~SsD"Ŗ%ͳeC5'8F43·EA$:xj?aZ'V89o@yHrC[]g$V92n=-=/&3s"GT?>BӴi-ͱ MaHIĒ}pZ{)8Z qFM!~#9l譎r[3o>T93뾞~ /] i uOt4^ǿx[[LM}{r4hcyDp B]e P'+G~'2J3oЬɬ6K&SRQH(p4[tj\Yx6eU-=gfJ@Zv1SԚ:6"`J2ʐu=PڀYiR0sx!.‰7]xPZ Lz`tO7cG3nOfL.Jymv!5)d$>)ף9(s_`eGݰdQB1&f!Czp*߂!u҄SHWGCk_j3W> +4m&K)_r7؏@9Z+_y2)q,7"{w8St!o\Ăc2cF1d96|QI)TaAghЛ1r5{09c%ΊR.p/1SԮ taQN Q$۴ܤjwL 34V?Ăcv  |ycnk H̔yBWaFo\ҡ6{<.Feﻥ9EǗC]MIԼ_dx/S[2 Oaɜ#Y9@'"X\!P"poZ( UᲸPakU!NMU%_=ˀa+Alێ=KL!U< ,[l|TO&c?jnk0tZz)߫GB+/Qy Mmaboo T=fu 1j X$9Y |j ="Y^]NX).g p AYc挵F-VS:P