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 2D d ]]Category3:threads=4elapsed=374.256cpu=1129.036gc=63.196factor=3.027zXZִF! တ"]ŗXf[&wΞҌyP9Zm濻3 g@"y{7p}n!f$ [5;r·'~"HkȅI {i[9uaaI.0 b9Yf۞T̶fR>.Q{\W=7.I#ZJM 'Vy9frq m_Ywt{_™ԖXp4.D-OƂ)tޑf-woe+ٖH f31p/!D5*>n,+uGtG'6"$Y4)fm Ec}2#^}*IxY{4՜Oz3֧,zMW]Zߜ ,Q"sz{ Yβ6zCEH@$xーT)_?xKf76zk` x\Ԫl fN=E<6>[,!xrƶUEm]qT){x`!Sd,c+GXCK@C@ymCic泍%e[XtIYJ6MӇ!oVeOT[%aaaV\g\Udճ޲S.bKC%d9 `<.lE_tZ?1cVL9p$l:lﶋ/֗XEs8} joy-q,ZO-!",Bͷ cH;>TЕy;ށRPy*nw338_CVwg5'ҤW097lpw-,$yrl_;hOH yXrA$~$]GT> )"62\(Z\j ^~1!K*3&tKé\HLV Wtq5"}Je M=G/"<ϻ 9UfS{މ`>'$==Rg;S'˚h*>p=H-KE{\S=b2wY(QHf$!KpށO},{|s좮Z $fuQrn֫Fnn읈otQ@a;p@ab>& }gQMMמ!SDLr7i5\D)V ˹ "R~};C(%Ƌ2g\+-ZiJ`"sӤT7%5 2۱`Poqn%̼%sh)R]}mݤ5kUO|=u9Z: M-T5r p=y]oIfڕ#򠌋$:T]cb_cb=(3ۥPieHo]hBϳ%LJ0νw@NdM64uHbţJq%1w8G h|x=6uy\Y,\zSBIpWR?t>/}A{Iv =95s7 "<%H&uw[T5zLjKq`M1e;mZp6sM苴e)txf 3fIkx7qL08Nd|o'o?pN'P\nNm:Q4̱ƕ`"%r<ř<["lల-'߿JVǨ' yx/=RE+`ZU3Lv - BFP@ອA+^go()\|22ECX)E)Zg܏z%cI[A=Éoxo\7Sc􅴟~섷C$Jw) b0 Jc4p{~B{XҦ)c13ƮWLMl:.;1[st-i {:`soo%间#SƎAi3e%ګ$Hom!#$j!N_I%k_z1k;rO@F4Wb?F*EtCXdxR4d_Z&<R(mf<(ڗyhoE{"2SB,PP3WI"mkOR5m"4>07 I[iߠz?0  .Bk&jgnŃ(y)0 WCA mKa۳[Y *p)0Z˦ .FqӤn>&[³%aWz |\n" R_Y"\(~DJ]Owem#IMi5&Tٖ<[t<5Z߼ʈEtKt?\gŇH" No*=Na.j rm<y:Sl_h8*q"3w@4ЄE9Vdtf2Z_\fC *I.Zj~7mm؀v_22e0oλJij#?E7]fRz 6sًE8yIl^-xx!`5&[X1PMu^d]Mojb7',g-yVlަH|Xu֐(tA?ҙH`\utpNzouԪ6uxɸw꣈u=^{#&Iq ]PDA'ٕ nYzZ=r?M vu-3X\(<ڶÿ*-kb<]}PyԵԁk)kd+kx'7*8~z-W2V9 qvUdUEsqY…Ѩްhiɭ1e8Oil<tQʵ2.c˜Q<<%Y~5Q{퍋⌢gnBo#䩨E`FOHKLA4w,= ~e=%o uX1׶3<(ۼ8KͷT}Hs~yir#X# SbR*fLOTZW, % "b+9Bv}Gj=| "L[v-x.Z~ C{աiK&'=gq %^9c%u6zyr]E+ߚ,Y *Kihg([(,hNg1F-wәBZ0Lޔ Zin [*R#|)v,8}d A] > .Y8֣|('8~S]4aɎt=ggumZUm)_q q} (^rB EoĠ[?{);dK=  {A%H!t.N^A9)2tdeWƖع|޼ E*O/27}#7T&d-ϛ,QIzԈ+lW 򔌵$QgcG":s>^/zWv=Ehr쬔JJYɯ9%1^V>E[V^!`'JK eU":&/0 -lA {yEB/],/>\rnBӱmJd.$JA$sΆԣEQn]־?PΩ&.,ǑykB͟ /j)J2%@gRKBײdpJ'UtsbWx`vQ{^!3M.wk1cx$tqJmz@gws_D='Il_)nPЬcPa :nh]"TB}MkT { {E<, ZQQoN 37IՋ8PH5q=ͻ_!78G~ea_R-+lqŃ\S_ypvf[$kʣH.ZAP%}Ex2<+]JXRGE̊kj!\ 4BP%S{c5}qxoCgF2+["dt/KqFi\gB@ )N'gRմTg:>NxfoFc DVQ+G-c. f'6ڧӏ뎨7s@waGI?fB`wn'Uzc\MaO7POyJ$toV*VqƵ` ^ ~ۧ֝r26zW*oN1UFDk3xYSIifUvgoŀv;?+ca06xUegcm ΄obQ8 T[tcNx9e bfcR9,[(ƪF,&5u∧q'|8*pn䵵ZA~yQo*a!ճ$6ِ"yn\^Bq4zZ݊F.khC2mfP ,ve 9z}-8[EQ þEyT*ً:H,e~% 鳡I2Sq<'tԸ{Z{pEH2Ȍv\&%ʠ9ՌaND8.c+f]Aimp-*"gJrlQyj#+$afߠ`a6G/{j0( Νډ'{fy=:Np޺' 5g30x"a/G4|7kc](O!?j G|w!e'l*73.){mFѨE{z[~H6cÙ}7Hf%$&Scu_ȦfIj$9Y78z)![*ܦZN!__T&vE} \N#YmQeי]9^I7OxiM/Xމ2DwÂc˙%cQ? {~cpRMYY&c{>dȨ&ַM ">ZjS$tû+tQ< Ijb&Émx8x I|s:s @9- T>Ur14lOTdѢ% r¶ke?G,2$qûSB[7k/M}Ősc9_-}0T.{ >/0 =Ж&/FLHL=xkdL)On ^&?x!H ~8A{h =v呐$/A 룒%A{Qjokq\w8Y.Vi( %RaICLC/>x!M^*T#//jhEr]/5z̒ݘYx> $JF+ѳ8.O> Mm~]!2IʋOy%2|\@TtsKmH҆@rv36=+Fcew&:< i5A7 mze )aT`mٽΔy':.v~*4Hϓ[*,LWՇJ4R5yh(II$8<ǥ2T08PYf6c/obBdK`d*Z1K;P !F7e`*ϔKAo L`9WsR8/ܧD'/YP\<eq֏pAvCEa{ O!@-Fl3+ [!w]0O,;L=9bzqZ' r*L2rztXTev(8-ؖʀ7I]D\zmن>& Uzrx),Xg\3^p-Y-;7ԺS*/pZHqQ@9 e^)9tϱ99#P:ZrA1LD3iԢF(g<*_ ɝҞX=嫗éƞx}q.Z$ye|!)+3.094/ z,z2IdZZ-Qp\+ şXˬ[AH?8(G݃\7$FA]MmBh9WޮS l5Lu:2%f\I@Ztc;o\-; W~a|zֲ[o]!6`2ndDѫf P$RsK7 B| VOc 9%Gp&tb=8cTӀ8#|Z~>͇20xrnZQpŠO>agЯ-T. (6*o" 33jgYZ7zXZִF! Osi]ŗXi%G̉LI3N a[aq0昞"qw{Х!l_bmcs-뷹m$x5>6kc*_ZUsfh ɩO-y1U]/-;R^$,"ʟGi~2OŔx ٰM_]ˁ4+'D}/ jl N-AV*6ۤ2w%o%x m^¡5RpYQb6rH̡bL9ɪkIuz>~'~OH{v2!"`*@Ξ[D3 #B^:0Pcx8.5Nk=D #Lƌu/ QB`'>9Tw?_$ઝ^C5QJv*mhihNNY6RDKLḗs4lbl.F2dE%4@ ѹ SBhm_/>%K1o΅J4PIA B6/筘AFA$&t3o8⟝{I$;)c*> G&'zɠRO#&;gh{9-MRI#r$,3r ;uY^ ӛuMh!#+>jHa>|.h6%%Fb[]LTwP`|+k{ȟ*0G8b'a:>Iu!$It02e( 1 0D;<@^Œ`9%,}11CBHi%hU ;F;V Dr<^DWc۲,S'Wͪ؏yX39[z[2!Asˑvމ*4}4~-؟slۢ%؜3Sk9zas[@ !UX6֖ӛ:0"e@hydL i)}XR.:0 *pW+M=_`W`oHrϡ T=o6h;1i#AV F^М}AtqIgNK o(9"Ms ⊣ǣH"Z-':5 8* ?_`!Dru6s/*}݀s$[:ۡ(«-0kg U2tdè۟F\,x<E,@L [(}'ƽ@|g^ˈ ^M1߉&;"Uk 6%JzqX':ᡶ| ]w<<zW-eѶEԧ]q>įؓۀqpȹ=D: $(z\8\z 9Np(+g2j5}yҩB3c(DE>]$7=frp[ s_]q@swWbEAD7 sj$8ļWb6=Rfqj .)1,GK}+nÆ.7``OBv+-ƙ,e$T/<f? #eybbJɺqt{4O6GPܩf>iD2p5Pծz|\ y:_8.Rn2'4םIWy`ICME1.yHm<0+%Ěz?T4 3j@̡oP~]Hp=Բa58yl(X"by>͙D&~I5r+FN"oJ+џp =W=>mN{=pV(+9ߺ1{4`j5*q8APZJ;qy}Amz6@=RgC-rI[8IU@kge@OP o)7DJ岦;!:Dž M6%z9j}bPѷLO=;N<`DDžP,ȿ2;+y'v GRqQT3tF"'Ph5u.ud2@'|]a 6}<ފ(t V_A%[rqQ. %t1ȯI86-xkEtUaS ?BcU V+YVu?yAhڅunҍpf/!Dw\+ rpoR?2!u ñ~WJzXy,lȥlu '[Z&E航<{ٷS:-9L QK0*δ)e_bL팽~ -HJƢG녰ct)7FDf?ףEo&cq-b^&\՛3vHzM2&>[oÏ8,xl<,wqD»0;㢄˓gf┼u d1yne eޏ VsNHVmu`4T#׍/l#kT:4kQR+֠+&U~rһ]3fG5N.OOzn&FD,)8 Lr*cUw5yS#}0zi5oq\Vg /ްvő2Ds" = P=r_ C j& Eȴ3ȳbD Aח#JcƩ̫J2mX[n=jtXDe6#AsB^[oWÊbveu;x;Uܸw1R_ۤ%>nIv2}zGɴRpX3T96\F/S Gd+ܐcY ;bq4tyU Qj,e~uG~uY9ɿ5j \P@jͧ!rﱾ25+ӗW1U$3UdXDHH?4ς`a2 H$x }D݋nH-3~,mUVSr/<;'ѕcn kf mnT,lzkDmu2HS.v3C=~8ok'4J)4RH,]WlI$9LvAe&sq<9: 0cGpx ̒vYT$.OLj/@| J耚6V哞A\2-}8;߳ P*tʁDŵM>O%\$~nlggFمw$I cN=kU!}ǁS_ҋî"fI&=O[#؎oQ l؏^Ni[.e[KT[;ZUaNXӖ ?k.o%t9 R]z8S;oiv`S(!ΛΘFo)Ua3@!}n&%C65,jeG4PÈAyGw|H;)=v]8̄.YMBxk0^t+[їTz]}La0L T^ fTid>-HH(FP.ZǾ#FT,fvfjPr{9K1Kר0Ǝ'~'kuĒ \5ΈPIV0"Ȗ{H\WF^08º(t*%bnHƂZT}ȍE'>f͢+s[m8i4;Iow{-L_̞xR۵33"]CYk3z[rD ދjbO)3{-3~~ufUVx̼U1*[x?t ;8?[2ٟ_%vMd鄢5;/y>m '(f10Klbh0x{>"d7'Ty϶~3-F_FiH)(]um;ꅫ+>"!/l4|2?'pZRWjࠢjKg-q>_d%/HB_5zxxA>9{9cGoMv#O@p سΧ@׈1g?:@FKG{oլ r2 @CS$9ON1aBpEl#⨧<ޔ*.&7 iaX̏fn cShB2,YDh#yS}͐vjrdS$57[=iG4_(0@By3js6h!UF82V%đѧZ3c# 6_C2KuVAQGh/Nb.`e(rU^oCψ$|]rq`]!Y B6h t+Ou$pȹ2V]*nVIkՠIq۰Dut֞JyKѠx?i^c[[7.68 j1lCG_~iy͖m ĩծwrv0o7Oy/_v! ^'휀;TplD6tq}y$q8 !:0sbُI5^&"cr,7roH?~`ϗ&/ BiKo]U‚_]B"Û٧2K9 'fr$J1K_![ [[l[)/`|gC4`^~lj3Xx&df(LL /'{\piyCOvmkҏp +#D7KS}pf64O}AR֌ϕ!m܈(tx *; ELq7,0$bڿJg5O« >r <g{7䊩?PbJSx}HF ;̒mq(5SʽyyN0ejҩq@_^0B4y{74zhl..Du'ꮏWH@VКXՙb1b`?"IWpUhVf!ŀ1( He3ܞG4F>mYxEFg 4R۟int>6wPpHtY-tw|}WSS7oWK2B֮jP WV Wgb3+5ד1둻|* ҢP E ,CC 8-c̴&Ƴ]Lyo-GC}7km*D Q4pzOBlk[@R(:)B2<cjE] LEҕd=iLah!ZxNjaYVb 1IkHy@[ңB~0mfIaͩڟI@N-;2!͘~]VLjthd[V rB`nM##I#L6v>MG%à_Kx $#&OH7`3᭦{χPk`ءGgK@3n)P<g fX]:DFI8KQ[@Ml)m>pj$t.V&hZbAƦG+AͳEitJgf=,Щ6WAɀ!^K! +aR5ɟEr;N60y9vѕNrzsuAʻ%LA& pTeJCr;+YMMl0ĵ:*R<#p=N70E@N (ϴ/<. * ݇@ɮJXF۩xdBV8J,󈫁)5Ms /b 4̜?#: Y-6БStjR]oH.aeD6RYC1#*IB^Bs] I^\%ݲ({2jQKJ9EUeG3R#lygp]W^ZG9I?"?\DM)_׊qH4!h~T)uYIb)E4Iz{Ri0w'/^+u h)+CQOp֏ *p=XcƑ,Aʶ_MбS㠶d ĵ3Gk}ZkϪ|N}?ĿWOm/jP=#`[5[8fמq(HJ"?>PcIC ;z!]܈9HSV*2,Vڙ1vFS[Ô8& <.ҍ[|E-\f 2mW_B7և*YPF$IHPH M == |ƠcoWGE' j1fZzB zC 3'l׎Q}Y}v^_4voُ庌d)\(3JHޜЖz &w[($IV@H"l7*,Zfm{5ѱqMl^ʋs7'H`PIH߅? BSTѻ;bb[c\kk2'.j -ukX:,Z3{z(\SBhO. :`I%AЯ]\F:V;⓽N_]ǭR,ʘ,xQ(9Y;];!e׶N;2~<0kdXv?{Aut)Dz勓x2Zay:a,lQB f5?\YsVUs&"?cn!w%,v @ VBI9`L//4U.|Ƥ,K= $\m곴dhԍ6=$'o3e*^r5^F$~[ uNX?~S,sqXb V/ |BN hP15X;bd6{WsT~E{ڪ2Xߪav#@ӅېMyW!ŕbnI5Čp;5)/VK|0|ي'@;C=J"w^U. 9 |:_Mn7Ր1۲4&OB(0do3MG6.v(un-gXZv :Y7qD@Ѕ'ÿw־up/LTÀBRfV{Q|k3E =᱃Ǝ#1r\O\#pM 4htVHs$Er2 G#t< o<,8fkXj+e<*-BUJGIt"jg-s TlKL>ljIޜo^ aiH\9}64tW#-v^Zq ѬU͑!.-vǍI \`W?嚑B~*NnW~PψEҧӋD}~%̖QSI jH0օrq((F-C%4{fYˣoOFL;WOaؑIbzeT؅\O>{T(Qs8~EۧM·!$5wV:/nҔϧo^v=M̟X1kT@U9 VㅄW6RyH.O[&^i vT> ~esMC x(-~(Ի߱9/<}[ר@>i::4 :(YZv.j`URw5JWV\ݘ[fK~\NNֽEpԮ4n)+NGb_zM H , Jl=!_U&m#pk6&"hi .&c5kjܒAP3MqOH21EN{AFJg/֠gL^a4~|{+zdQ}2GA~gt3㿱Ph BYҘ=n9i"բCI*G?a@B_{juTo9=k坿ά}c޲^pSW8CsPd L NwƓxQTb: fp ǑGZ8 w!DuX9 GH2wGXu^Ł4 Ma7j]_ `<[A>}a3Y`5eO{OwcDxczNj/f]XZ#NQѯmsF; )2K%)RY}j--Lz @~"S4zc.p{T"}"*xB#{>WpI8Kx,'}es5T##˽7VpKdz,ȴӀwPxir.*⌓LLXw pD2>,G~qEc={{{᥻@ P?@,S:MЊWvEY=ylVױbiFB8à7kDRrNI*`EK5bEi d1Qm4[B'2^]ͥ֕ K- t_XW|ƥ.ga$2zNx O4]]) 9QXh;3{f͔4+3~ֱ? zܟ@{n  y9FDg͔ Xqחji"A[qSau;-?އm UEy_bPP)R EY꼰{kcgqMpכPG k zʼn7E}WZtUEr2Z;*vE}\[q‹(vaȖeJgعl`*O ;Kvf%)C;_ H3hѶMgC7kO=vҦ5CTc~ybwRdvaUEĜ|*~IEN?SeBэXBH׸6&C37zFY(Z`7BהZ,Mٵ򓋱Ѽm J)q2gltJ6mv2Yg /Pc"K|dH+ce@`13'27|tGMY=ľ^JpOqrA6Ӓ}.^g PQc7u$~؆ g|]F͡uӏl.V[0 N h9Fe!U|4CHFS; FyAOe/n L*‡ݽ<>050#54ƬWXݲMCɫ^U*4r6V2<7'vGuMaI_rS XTZ<ҀހX?ȯ-FpXG*'Jcߊ?4*N)#pVWSNc5g 2*C NG,"*~,w#c/ra?‚dߏ}k~YɺoȤWhI$?h*G-rT DWC:וz> [8SnN=9 -9[]0y]CτE^bwVqYiOڊϼB fb&Km1wͣ呝^;CJ_x}Ǿt23 N,P5 (瓯e~.B fbBZ`Dޡr{ajT&75a 1oV :TPa콒# V.4P҂@wfK v620nX.9> XFw_4ˆiOWYrqM~gvgB&E_vn Ѐ 1F@r15trl^+)Nc|\/SgTT<!yFBq%~mP֋.`A\Ґ҅]t@ŮЊ$+Fx8 )!+1g(׳t ݈;X 04st?/ps>>i6P ߶lw7Hb\ Cĸxk Vϣ[ u!n^TވV V:')b[ŻUC @2&>U.#t}#%E:A`_u\~r[L+_igRP_Qȡ$Wb̒VQ,\>^7y#H | 䫅 c2X|ò|O;>bڜGɁpػnC|MSUR$Í?jY89R'GrCDh%y ߿oSgҗ,L:b, W)eKfslP{8胥$CeTp:H{B1@:!3Z"yw=6Ћv>Anhp?4L8o4g kB:Cx: j@ =0D&5Se#UO_D͖9.c5ҟoW1hU{lZ ^ޭw"PJH&yi mr:DLV\ HV ڈ֕s 7+ ąkz;zK<)j J %Xa;R/Xn1i|QιN#o*Nwe)0)cESr 8CZ*$UᾟRJ!]-/x$H E2gEٖe)֝~uW, 2L\D? ʳJ= rv%L. x ,`8kMw홮{#m P30~YY&k]+ӴBGv@)%*{~.LD}ka} <DZD WIWT`:]WD}P~-, bc9B.l&f^ ֌ǃ (24s{ܝ?TdY" 3;HZ^#:17Mu VeT$oa܏86^/eL5gU9Ƽ#EBYǜՍOD!ASy´EV56Q En]ܫ86%>Ǝ}u~V훸bD敲F*'=sIPf_Dg^#U4n?5E%H",H8{( L*xL԰brl)B!Du-IIXP!Fؗ(`rSzE#\/lY' Ty6BZ-T7adbUre3`*"نpGƗ%At@lc`.3ȐGaGDY#*-HX+ۏjzaWP%e:4SMv?W\1pRL'caxPtp|fmsPPٻ%+ l)B<=*KbT{c@VF1ݾ`\?TSJ+ 2?1ְfi񾠒[ /Hqˮ-^}?eb?+ <^3k$(uA2 XQHARB鋱|k5jUS95* L_SOkEh ;{x?TZ||hgQ bd*h_L!>FCkbY>Ѭk gߴCn6^`N[OAfDu%("+7jebr`:y]U Z\ [IF [(=mGu "JQ!9X5 IY <8[t@ŲʽdřnQ`pvu(jpOmnUd+ʤ"m^:Cy7bCANbK`=A += bqD,>Q %QF.UWŶk-N1v1!ȋpW y=ei{"9Yap/\;q_lXWSPF"EVGK^ouAbnd*#2>Mro&|( `׋)CNlKp`(]MHRE"e^u'ɆRd bpιcǽp I' DyigEd"ugnR@=3~gQCh`}0`A^ owE4pBPI#Z<@gMM/ʼBxfFe>-*#Bm b zh1?[tǰnLpޣu?<'E+PY&m$$a dz,HS'r `fKqÒd?S;cѽAyi1͛tְUSr=_  Uk#Of*?ݺzE NIp 2 )>[]=l-hi;dޛ]9&yBO)i3!nAwO$d՛ -ExZdujC1 (=>o/%Z-Gք03i3dظ8װ;-o6(%ry&3 %Crl'5 CĮhO]<~ Rg'@gh6 VPV?}v4T@9I* =_HrZ?=d/ 2?fNuIn೫lko4ޥ@qƙ\U$+i%6}N9wm^Jk|%WHLHɣ;CMֶ~l=O c ͟PjNs{.6L= Jְӝna%KN6W!dP_#ZNFfp6J9.e5 K(lũLJ$}`1xe4bkƷ yKBkTzȸǖT`i pݮOb^ɓ=$S!G){2OGx/!!z 49iLjįN$Z XS`-YKfT/27W{2̀RvQn]n[pU,Ht)]c1UA.mUQ?^Rx7jGO)eWhJM$w."!.ǜ v~n_2昫+.n ;-,BAv;6!́*&.,_u)'x+IAB;` 28uv%m9a)>NGY%@;'Aw={U')LB` (+g8LH>ٙ?gV2닊>ܾ2hg=-[lJC}]FOR\5Qٚe #>K*D}ׯU.:!/31R@ժ*Ϥ~npʑ#hk)zψ7$d.S>Qr+sLN >;}PyΒẄ\i`,}튆G7(!GX/ZWa"_K* . -dt  -~5::z&FV'6H(,\q0 TY Y) ՇQ吷ީPʙSV-1xg$=镃H A@:I+aCʪÞ~T- {bL iU~KP6ڰv˔g|x]zSN50HGfIM] Qb`gюQ kCw.tu0%bN酒|{SE;d/1YVCD\t̷Ih B<>@6Z] 0;xx]fzs7Xnܹz _թx0I deUU4ӟ[`K}){$;թx8Λ-DF}[rE;vi1<:ғU)LHm,DMl눨Hn]?,Yd`l(sQs_6LOR]IWl:6":i?1HtKf8pdv.Q|3%gzL6 ,bSX4^Ybjt~ɦZ]կ~\Yt=c 1Y֞.Õ osl97UVΚ%&ѥGApw"PJ}-lx/gZ"3i`oM=m@Beo|*S~S ٠c3X8,)x .x*BzۭBw.A47HJ{ĤCĦo}QN\S\/BMwgРZAwqMǬ1+=Ss<6u;tW"f.d|[RX$tMfhj!\dVY$f;!NY?kG5C磭NIؤp_bnKF3Nֆv[NL^xRͧ<^Kuqgl.(nx*6ޟ@*=mwCȞm'a"WgG NrB5a0Yʑ׃u 9"="Q~T[tS\ WY$7P9WTvGEW.sp,ڼN _URό̇lzMHӁdPV+47 VCӏOJxìo󙆨P14HB\1NB<`vva0;\ 8nﯙ-Ns3̽pF{,j2W2&2g ȩU `s&>v$I:EWܣ7c,g}_t3ӼYqJ~tAž/fgSar.;h{Q rћIwn,|Ҧ&]UzwRӻ:guDnRhRK&}~SM?PC7Xt?9e7jcr?:U(Fa=Q@^kb]g0!,{e;埾U62FߢFtlj}FPض:0 U[":mZF2o#'W4TwFX#..NMOXx둯oTBgon-ڷV\C=47ĩYft <N8?8qf-ȟ*=i,T ԠyIk3رe Ezn秐X]WI/r2 4/&wb]S~$/HNNa~hA{ VepN:ې@ r7H{%PM7Ү)bFLY_q9y#yb@՚/7l[8_80 w F+RP5ZEsi `8ѧ 3]Uyq]V6!^MTRܐ;1aR0e}3o/lKz UZ e]kM `~Ie4bVpxʿtUeE"h-Rk%5?Dlt{6e/jyZFP~!pD%0h7>6vzdc1.}yoz(c_cRY2=dcH8]W;bg巙|@Elhu>d!U^l"05ʩ\0́[Z(0 o;&k(mqY,)qa{ AT5c2Ru jw P07j 2KyQb9nG̡p`dǓ<4V<. d зo64!Fӹi]y;>(EoF=-d'ZwQx2ȶ?}6 .`#M6/O+r9G(?9jA:W~kGٕ&`܄RXֿPSGUĴ2"PLP!8_d7fO,cQB^T\-wçYHjJShx*WJU֏\-wp{ ];Y}f}RwJ$4닄MK %֏K7pfp9Z  />`/wj傏w۞_=Jڥuxi/yopD$I?Oi+dJɘZաRNɑ!WAm+Sk||c: [ZJiRQ7\]ژSۀɬӼ\{i*!C]% g;4x'vdxH>׹9S؞r+Ux)_Q;P.,i%0Yl)a&BBA 8a1"òQ!6:RxJW.ul܉?ω4򇨳cL 9)8~=|O6k/zC91צ'&!F0*'|p uQLcq*NZbm6mý`t5'\ kR ho+99t1]Y *^L_pJI!K0"4 cD*IB{7AXI>TK{^nã>NWMV#6Ypf6$PkМ*Zz5O:z{$錴r;gGXnP/] f'HB'vO`*F '밖F:c[ZaDˣ)A|W/΋*,^|ka2'b'B>6W# t/y ^^)^谸S:}6MfDDToa,a?+)jQpэ@.qۼܙJ߯-"Қh5!qwyIPeb-|X@%#h : uQ2Qaе81Z.dnqyh5DS4nwP{QEF"+o*%-0cd;oT,iP}4޽M6# R2}@AМI-G*} /c}Eu !ӖO+.=XT榟|p'5~|ћ9$wz?NSDVgWmYs$5 Ydԥΐ7hmţ=fUɛϚ@aYo[5bLa2 =$ǁ0neN6ZF6ņ/>i_ڜf'cg =Jf'ϵ )%r|%jC՞%o"$=CmKJ=E^xk䲈 #ޕeyh:u_ҿaa^:w@?ךmW&0 :m+{%'B+?)Pѷ9׹B7ZEҿg^ԣZK![u9зJP%t&>pDž h*/ZMTV|#0Vh%@kQebq:q1j6Vce~Y![?*1Sf H49x3,@/G%Y7̞C0 "X8l'AneI'Ʃʄ,1|\N|re-E%n!jT (s9@ c6GIT0~` Dи>}"}]@R4^"kB)h%>o<ƳDI74ta § zE mZbfϔJ7}lQK9"kjΙNdYi5lc w{=4f_Æ p=j}.c>m\#zA͘obv}mUnD" T&jՍ_)(h.*;}&RT)vfI"$C?ቷ|es>]J:9yd f8Vq݌!wXmW(z&եH RE40Vx*2FymSm׮ڕ7w4ÑLWDz$um7U@rsܛlJdM݄;(FX)7 =(ṇpN^!-K$C<~۫Agϗ7 ~O¸XϷ 1M,`|2lNnZ@[|{ z82;=Ajyk*: -_p FX퍱?03Jd,=lJN&$P5@?ua=u9mn(1U@IlW⸷UOMx\Kg:ͨEFYN`] Ч P_u5\;.ÓihPezWL;E!2'J,sOƚh ${b/|y 2;䔵]4 TႜY*"Ŷ5^B5-QZBJ9R6aƅ> LT_\j_)j֌3(d +'*=#h[}AQZYzwSe_bػHke@/P;~wce_m+^`@qx77%z*u'G) !Zb}\",&;Hߠ-mZၿguў:ПޝvZO s6meUERJZ7Ps;SkF/$^r9Eτ V(|UVT_X<erD;>&ZfQ泛1X9~?iL*{^?ƎҖqEO +'/=$Xya0Q溠 Eކ&rs9D\5gyW(|ݴ[̖DyVQGě{C։hGοh<=a E©0ŽZ_i&-.Ac¢2og͎;+X $w1aL4wv]#Wܙ!O(K?nn:Sպwn2TtY] bj-|Ŗ# OVʾ}?3AjU[k_~|1bZt37oMR[eֺ3u5DJyGűm`)`{/1ĭE:\M1plf6֬?@%V oMh< -@S݄^ ICuKPu};ոs/Z`Ýk6W.rmzi/6W`e%+b @]{"-TA;q˔ *RiΎ~:*k&{b7i'*MA xF;PWOCwgRP^)se!+:Z 4 F㽖y87ߢ|QėG9&"odԍOeЊV+z#)R|kWbȈ{X`MF|Φ@wjpXD9 eF3>F k3Wog] lWLq׫U%).!@6}E% =GoQIã$n];b'mOaIm|P• CL\HxLjNA#d8]-z336b> .8"cmoSPI j 6'n0'u-|DF䶀Zj3 6^iq7cWu«eU]/CyX?z-QZ!h)@W+m8%0pW$U.'7 lNr;ykhpbg G) BU[!3#Qu}Gi3XϪA([6霣:mGyA`Ҍߠ F jA4+;kby))3Ob\N;pI~ aޫX#K0uzi4x;?4N2b铤cT~r8ƕ{hu)'OeL l NEtR3JER 0OGz4>j+v6~([Q:4maJEacn&+&%e0gCN sW,e?˭ҋیp6EUP [{KawEIrIkHFB=c]t>;wQtBҐ{,<9=!k kF u_Y[6!oLNXS 7X86lf/m{u1ưwmxynE&纙$=Ck*1+[ڲwmmveV椼ʤ~EOQe GLjcLBšZ')Ykz6>r=R4"ͱNJX!" ޳E M6z5 X+h>&V/E'Ks{/:/>+^~v"=oo$Q,Z6'PT"$N kϟOEhGPjJ nz2TlЕljV4$)!u|BV5#fAa{Q.BM -eGpd=^B_׺F(ܙ`xR Ň !; ;)miYM+ӭARh ; (VVgӮ1?w9sPˉQLm6y(tUE9LYn.g#̯LN0Pʥ>LD2yvzlX{o5ڬ`YDҸAֻw݇_H$6dധ3ÛC''8@iXf_A&r-| 9D*6w3gC0*)@պGoFǴP#t#R].;/P7Bڵ NcsKxG^;:"N9* 0N'*ClUSԭoxI4jIgf׍$*g>>ZNpg?tQ\nGEgOǞqN.-LC {fiu{PCd %FuݣW쎉Tu$5x[^.$̤n;9sN qPVr 6057b$ Ib/pfKH}BmkS/ GUݓBU *z_{мR!]ӛ YLX,mz\(P_`nK|<r\y8Cw@ EjOߕP4fY FKރ Ǡge7Z gѕZ{J8+\;W*JڰOĒ"G޺oʒnw}I$`ZK2ߊ<\P:FeەbQ[/ 94zGԔ7m] .CKJ}r؊{/M 8 !,ϱϷUqv6.hV'U2̅oN3X"+-7ף񰖝6Jս~nDvu\^q