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  {'tT\T ]/ Nash_Williams:threads=4elapsed=13.242cpu=51.304gc=1.3207zXZִF! 䙡]ŗXiɟH)0%oJ >E"-D*@}?+}0Gkyң$lAS̫{ 2j3 GZ\t-$Z]/|$_Ez9kwZg sap(OLB> uy@ MZƢr:ՕX-MCza>ttBOlMUxVw zx$f-M_f{]':#EIy=Y"CH9HL^#q9\72"cx(2`z ] 4h@Mm"t y\<:T749d;x*nXA =Oj(LlMS;*6󈯹Sfl"} pf-@ ad6.Ux?|QeҊI_~DOaf?돽m:u:X^, ' Nash_Williams  -9h2>\a74Cy7H`᥹ OFm vĚ`| 6t\h_Tb'צKBECXhDNUv 6R/ w'c`WV>]~t/&.VX^b+jF0t(f+QI4bJI9es .!t) 37;,+dM0vw3zpEbIJ* WD1W+z@NME &x{vdX*X'pO vNdW{XHsr_WnlTf|/hB+j7~$P4krN{je 8X91=t 6\ V]HeXlxӧi 2у!V2%E7K42 ̈EHzZ8<ڙ WJ E?[§WoL:,E9;.z524*a@+x`;W%+B}.z%u*P\cvJI4+z.M]`ef" p"U[FH i!%ßJ(nqDJnݧgM6o84~lω 3M]AX!p..xƫI f?P@lVE,Jϯ(M$p}>WpӮќc-W$t1Yt#D_6a yp[pQ!8>_WO.mp[gA.l7~mEYf? ō",88+)?d]2hS&no8j& '͗ omR+Sdqv}Acf=fC=v4qixz YDnQdý跮kqhȓK'fH6 Yu⒜Kv/c"|)).5R- lk4+WƯ& ,'Ҵ޼0wSti_J%p 81HHZف@z^`J .KU󡷲O:ɶB{vFgNaU:kW߁׻KY}ᔚՊQzI1^&oY:"4(&ɤ4nR tơ$]t"dhZ^n ~U,*H`*ijV? q*}E!~dov:cC]GcpZVWi +#(|#U7nLi籃qYZp!V ɶ!o$P53#Bsċ11$IAd;!<&DsUegL|6uVtz,|_Ux)pnl˼`lӉGpiGdf͇$ۃA~6 1z*Z~™HcϊjPEN\xmwK8*cQ]wUIt%\*3O5^hQI@ͳRguǵ:`n] < gתrk?ф[) 44{y_?e9&0fR2&x|E 8aL8s,]ah$.oߑ4&i$ 6ŵxDDW L1uwQGZK=SLPYg z \bɗ=|E< 2 m+i[9Ml0ȏmEi}ǛxUb%h8ԆSu ܾ{QdTj*jNfI(6ճZ>)Z@FEBu`Hb_Amvij(j 7d-cԉߊ͹m#DlKUJF.sHJX3'[{߈:ψQЙXuo;%ك C( ->^x9b( ! n+,u%)U;Rq2<gJ`}\I 1cQa&y왘gxCҸy^!` LvhvҘ+,,M)6-f`-ֽE!2 hg| /M/ ɓ.S|]1? IZKl hX6*;b3xsgXH#jnvo5T'֙rb%U,4sڄ`}>4AjќeEgt@4F5ՋIyv2srLQŷf-CȘ!jlo+= к&# ~|iX E1ZAx$CӍ}#ad\%Gz2&q[yJl  )"tIRFCP mM>l9ѳ?ƣ ?uZz[}'N~1;Ж>+a"׵NcXB. ÙE9ZYwܗ (@tkHbm!#;gע"jl2p wDIZ9:J6fsu\Woޮ@G.!Dh4?Ŭ-3?5M388Qy{,5+VfVh`FڑxxU9E槎g SJYθSSG(T(hF]ݓDΕ䢐֬Q,IjSUkLI0pobe0SWxЫ" ,<(yGP=f2Jzgư4y-az2ÛiU %O>_emz1ؔ1{d޵ du&iU R6#|XoՂ w=X+3Sog:-(LpƞV}X{p /U֏ī%V#NksV%$I0te};ktI>fJ twͣb/սh) Xy$3 lnd `t/%ӘQ\z @1۲*'KTv튜}9Tp񬨧49bBvvȸ(pwr#?-fUqH498xL))kT SE:J* gQ #2ɐ,Fd1'IbG-ɉe~ gMAqpHʘjrPYV8ψ%@j|- 2G Y4^G"&cylξE@ ]?, nE=՜iks̓&F\9iӍO21 M-[pz㝯ugL.n!{ qe92e_,M!$=jq8klׯ71m@=vSEƑY;7fåLOs3pGyUM ("S _\ L1Wp<!hUD~+nj_pR ~SXE!PQM {?9aSҟ`x:@FSn2DCWA@tL|XǞMeCzY{>dtMsMpȴ9ureRkMg{v㷳K ^\~]="Ccr'FԂY:B3oMSEY1 4NWd|^"$fLߓ:lODHoGf5{˧7Bk&& >>;r168\uDDt %ׯ054m ɻ''ޙIu?JB1- " 7 [Oș+_51nﺹZ&mCmw%)r;?Wb6 Zya{x~GטXD-qs)l#:_ilS#sm&-QLȱ抝ꎾY;RS#7[ݢ.szl\uMZa)^)z>:Q[ H 'Ta&'o>'ܠ:xsg^1pNp'GS﫿`HE7HE {O: .zmv2JV?P ™MRyBw+CbHs-sZ[Y/#@;8"+Qp7Z]/?֚ T^б`ǃ (mԠ@[x--%/t`;i .k%aQ쯇R{:S/ :hJ]k_u N'9Se4* $dfHbS1\w(BXE:Vk9f@zD[k8kFu:݆8Wm~T|ZyGm:W\?9'@q 2s2*3:X0_b^E:Ee飊1FDw}@(+FF@O0\ZHyzVC|teŵА9 gw*龆. K>7=pMCR\-ӒtF~_q01K ЁpOAs`bsnw UZ`iܼkw:j= x#}qpI,wwFxQD:xf6:q "q k3tO'3vOm )%c(U[ ' ^N@E >!{*R|nfvӔ$`\` 1Ɓ^+;FِJM@PfB;o ,exYSc}sQ$1`O1-ΞAjg %[Z(+-/Ozjn uDƚ!4EM= Vɪ\Nj tFXdXNSLӤł>W WfEA>4%VK}co)žR,)jegI@uA19SO2ebUK.zӡOÅo;@+<;Tjx-$ I KF7k{$jL||e*RQU2{Ѓ#_7c4KvJgi]3B%ivK(bH#R)f ; @$ՄF$[JA1,V/ $RfdDTt..?k^cJZyC1JKv~:)'Bpb P'- (>8t+m 6K o ŀ5|6,*P'kur/e_ ܛr4 ԿevcMKYSrK:g̕1AK<Ȗg"/!a[+1gYx~Jó%F]ܛ-TC3$ ҉`=m퐍7`a q 1ZOtVӫMˡbTlcf#S㢹&/UCrkL<64sȚ" a㩋 G1xg GfwrHR~R5 rR{rW;c6Q%9;P]!5SA;`VIYlށ`BjESTq͗ED7_M -~<Kw "d+F~m(,6úG$޻[9̩#-~gi8-M?fNR &s2۳}-DܱΡ̢طXީNHb81_5ՙvIU` uu0yc60ZJ9Lx?Pa½vt$h`3vhh<Q \Kp.yQq ky4k`t^vCςj19RL$9m>\s~A}ۃr-[d )֯~G:= EQlmx d¡OG ,tdu\xp7X )L'1˜t#UJv{1β~FĞ'Z||uFP ]t#JɿÝ"k9lΈꤐ$m m"OB Z0 mBY*u"tɭZh]/%NiyȰyCSY#,ZW6mԕJ%`~k9ހ9ǟ:ͣǠҋ"߻G>Z2 Ǟs7F?+[7>wmPkC/U6Y\`:0 tE(]s\f!`\e `ԭ:XP0Ԭ5Ypk+<-,6W|VTľ`TSv:7K0q96ϺJYFP3E)['d!9{%r4Cqf] 3t)rГihrjM3:տɽR%QRLaviT9V_Z;Bٙ KƲT-( aG-Bzpk18 _,Jyٮ#差iAK h:\qP^8L@( dT%"h/Oժ*1vthME+S_*dY7?"Y{5;ݧw# D*OVK'4Mq)fvmN!َ#—R'&y1h%BSM9+芙P9Gy XtBbG "c2F챺9$X z\v".3jJ@"TՓlGeQaF>eDBG9x]ZC_q9!?RAKOJ^vYq߻״T 0&R<3ͦO"%^Xkd[A6͟J/L+B{%$+22D>,{1-qP=+sC/UI#t3{QDѰ:sj9@ t%"%%Z3J M?"'hn-.o&oHnNHOg 3Č噌l1"ÚUhj: "6M3Ï=W<Er :iOH C]k]e+䐠,~G*hcXC@P=Г+jkP IbQd+#QlqN _1nOlmE(7}bK]~ 1/׎ms^V{?ohemZsm3(։z5I{p1"@ JF۠80l4ȡ p5\ґ$DtE% Xiz\@ =q>@Fj 4_S ;àzf\iI {ŀxk9g(H)~Y5u:z"Cȋ[+J<9W6x<ͨuKT-fӚC<|fU^6^*FuN.L 5F$hZ:7eM.3.7 WYYZ6t%C-?۫"zA,[@RdxZ̖\_Lfi8GQU LpƪiR}}H%' ٦<"G4|W~fXX|-BGTh(Kb$<6_6S%U%HQdCTQr~kǶm*jk|yAqzˌ՜Ū5$9܁lc@< 46͑2U@(I9lMR,oM:17[OaCq: =U4Z267$&4;7ap[iWdUI^N],D#ksdEw񭰚V>Gn_ZQfƴ]`ZƏ1f|-l9G bi '#I=spǪ9^ ߍAUٵ :7ȋݢKR]w&|5 у*ORTi\`{A{Bȋܭ腵]Ih(xA]K*m !:4LcQnZ#l utaۖg5 @ڑ$ +'3 c kΔ}312eag?^0~Ș KQNQvރܖx-.MzI)~QX2-Wem{ڃ{ʵƕj^6ԥ[[vp}.+uboޭGTp牓EZ$U.G#vHHҰ%F;2׬}v5lmIǣ5>||sAވ<19'dVxj31\%l 7շ;B-1Rms?h);ΐP#Ӵ "xvIQ+4]RrǀGGϺǦeiFի%ޑԁTȜ,_eY@*+6L|"OWn!x}Hzg EuaaR!dH!@G=XFyГ,U*>O9ScX mLv3 54dekG;'RJu:8SF.3o2|Zn^&ALX9$nnh)1 !j-q0Bh*mnMD'9abWiɠ0l$AV\Rwx0P}pO%2QH_g&k`Ne Ldc'#?Oa{|VEH-g #]1ɆQTt|JGm929cZ/=d 5W3 9ȁȽ>J`Poi0nUӿ='.rcqwj] }Ak sXrIzI h/+_gxap &Yh2C=Dd_Tb-Q#lWVnF.q&:>O;^}1# }? .ݚɽ~Ny_-DZ%`^ -`e3 u 6a<&(j7})@HB}ˠtn+3y6Co"+^a%d;k1ؑ L%?Kd>2 XR_NQbQook60}v֣uWCy6Oꨯ2mll{[YLC #Kw gxFU*fUTtp'w ipy#$/<)Sub7l{ϛ4wj"͝V&8S=̨rsxHgtF V:o-P;|c!ޜ@'\36' ;P[['zzfip0 I$Y?NA}5ZY'9᧟sNZFL6J_{`fN끁\ 'b]b#)Mr}Wk9a]HnxD`)n2H3'/F 1+*JW Atlp]>)Ռ c;F%e݋rxN_K$S|)@Py%Mve#<!o%oSb0?L ugK4Ü(UBs.<4_kyդ|fR nr ݇!c7.)P?\/ǝUb%lgZV%JJNZ&JVOG %Ǹ"VMBKѧKߟrg0/&r܂)SfTs+G^}Űg,HaGTyTGHadB%˧j3;yiWxuLZ!U")ݕ,]4*jqJ%Ȋ "KudOu<U>jޑ牬d>G2MJaUM R)gvR$+K!lmn,Z/6i^eV0 cD,; ؋Jv.5+D }xR;r@PRT@<@=pZex(iNf1rD ]'h0&]JG:A96iwԌ,?ӸdB]aϘU8ۇzf2$~JdA",Y>`] %>:wʥan_9Fp nq=#!=0kUqDfT\{‹$˴%Dpf~CW^UÌR<'] 3GG j۽x՘\w?: 5=|'Rw]6 )S1Ĕ>A09x@ZQI_ ז,nFi66i: "~AFQLJG!}5eiM]5V ·TZһj3mCiL_Ý,Tc7vl]ݔ/\v= -K)y_DPNe3N|1-`JeG!g9:2+QS]^f|(IF';/T$:'}e]5kf,z{2`acU+y"X枕F|>XopjYm )9~Nqihۊ}VаC:"š ~EfJ?[BKC>K+=khri!48K7d[)Zay.Ya%~_Uf!CRxKX(x韚ʐ?;e>SG$&pqSK SCy<]iF>Qq$8-Z(0&3LuScJ^,Qp#Y} N_\{tl]Nz毅/rv9=*MLKRpffS\Q`<է X߼Ik5܈i.f;DIFOx_pV_!-IٛpDI3|^2Oc\nⓝ) rgq0l%ůU(>粽"}nGpb 73*C#/%=vX#huֆ9{hLS5ʍ5 LbƧSwl !E}t hY* ޟ_9ٯޑF&H}ӚkZ^ =x1Q~ Eڃj/6O=`b=qSR,\qG@iIu}C)gzc-cJ☆9Ȃ'OlplE#JvyIXj\XHh*vَFtdtDEugE^/=q煉7Lິ `ֻMIPֵGlڱ^#-,I(|I3}!ijie:f=&k$!nX(ip\Rb#dȰ#EKZwE ܔ gF*{aȻQJ>O j8 R[X=vk{i1ӜG.mxtwnG<  O=N:l +10՘k?x=> ɼy76ѫ0OŒMB:u)JWlҠyS xWI][e?;e]Iomx'Js>xU4mn׽,ąV`qE3/Ƀgv$W v"js2sXK yr1GXgBPNb.Udx.}C4v}huguB |kΦ˞MW᛹f!(BPtKX Vn9^z2vamg`ݪbN'=D7F,"!QXє0VXJ\wS8(|^qH>[\AfFI b]Amtb!-\hFr+wnoz<E_F<4s? H,ա]%0~Z]pyWL Cvr3Z4 A`O`B,#Q!r>b%J!,Y 貮v%V׍!;3CdN&f9aH -16ri)_̲̅LVaRώ&\TKD`O=,`$xTM_ M~{ :F H&%]xM#q<"Fa1{,?.Q`$(ґ3gL OH=eHàNyu *dmQgă.SO{~.PaL?ʰ+.Þ5Rpe VWG!ە;AkHvq%g)(mDkU!0Tϒ\l + CIe)1D:x2n$XwyN.yI:Jɿ _ I%8E@Qc)P`,h¸">ke m~=fnv !/zHB@@ow_N#b*o$5]vDܯZ{t@)7O56r !bE{yPO-uĆEeHM{)3Ma6Y;Ň{8r"}|fhX)J+y/jߏjי27I, N,3x OZ #8M'nk(K!l ND1OXI[cRۿ*Mӆ5@6;FG0O@n8jϾZ.t~A"ڳXVYX21 \ӈf2w`vA;20<@j L,ЗS.uFNv4<0Ծ{{ iw}rښuO4OD-Hc}5],HZBbx,}&< mŷ~F5^l#JIobX2w} *W :RtbdWh{Ȅ'`hg5 xSС6k#sجQˬ$bxG*sl*_)R N5a5},J8ƗSͪLV)\GUZz ։$}o=c;wEIW#Iu0'7HV7pF V&r9W-16fS0YaߓN:ZޖTn\}29k0_7$M&~ Wyy+eU)Q_)NKv 51%RA3 ]eףLm|tTBs=GL)*~A#gտG?fZbkX%G /4_j0,gtD,q}߁W1ӗz De7z,,]LОH--Qli }޿Ð&"%07xPShhJ5Vm"mORGކ6ookI%܎1tN3mCV17}^Y)&kRaE8Kbpxn~jkRP)}-fx@NyKA)ܼ1s} Yr,:h;!92;8csu?0\h?I*&%xp`Ns=Hՙ|t2]rT,]g\xl `?#^aØY?(_L\B" 6] YʃQ# '*;1˻(R tsH@g mm_ )Qf0b0cN2RsjNB6tcWKm.o(X'dl[:/C#?Gg N$[xЊG!$R/y}ꝏB}ڸQM?9|C9 -OR~~ˮe[߀؉DxEIdu"s/rr/(L8%yTaMzF ǐYt-4F9$۴-~&eV0L6,of=-Y䀐ń\@ %_rdCY$]xmI8yM# s6W:5OLIhiGj 5LZj6W.O/E3ߕ/mh&߭np'Y+OXNbǕ,l_eXCWa:}rN =nH:à*IxtљNVV,c6.ں 5Z41((I2rI;z!J|E0[6-rnCr6P,df f`Z_%6xp.ז•q-%SѸQ%_\RLYWV֬ORV ss/=?ITE a"nqhF#pQ슴$o*P2CMJ1t~# B~@o7Jy4*y4wO>ez9CAۋ:7tCIZ?!h{$fsMŤZ_aY%˜nIJ M=Mhޖ?yOGgScfJ8 rA4Ch7 ^6'dkuï`I!N0䐪ImY>? =]ӓ=3-TyxkXX]iF1] R.x3^Oleޑ^ZlnV $[")n*c㴰wp3 9rvzozSII+YCƕ Z6<)9%^ qr9fbP" Y]!ЦHD/hL%E,Ɋ_6lr;04HuGc8?ݩ[5G>tolOmAj)4+]]qo@Oĭ0yPVl͏{ˬݲ#$(:d _9Ѷ:]zHD' |eN2hdE]%Dn[,>Yp%^7qSs]N Oj%.d!i+|,qy\H 7xdm&N+f/{񋏓G:g97~F[VgZY y G.r9w\;>́:1`j2Q{ 9vY,T+_|cZAYY'%̙ .`T>o,ب[P1֐cw;)0jeo_(( åy*>[X3' ( K>,0k'M0wm?GA:K Ck_dKv(+|G^T/8s'؎'Te&}|,oC Vz!M^AW P!BF3WY&lš$@e p4 cc]!G?܈ `u(ZoWcz￈r+& aF^ٶg+\ay6yTsڠۣ^4baˁZms{@Yh ꁦ͗>>>2\ (J+fb`F4۰ޣ tRPy :ҨJv<"8W mlo'Rծh[9ɜu"y)/tkKHyLx\_6F "@?'F|D+qQfON٨y1XuqL8˒(nG#3.ͪmXӝ77~uiz8`d'Z<ӷCNC٭k:Ik;t&)џ8/IW6<ZjX7AQ `p_wx-uhx:Z"Q&TOҳ2kX{B:fbk3Wv.`*xH|Zj2a8>Q/(>O}UADFC[l-𾣔 +0dx^*QeZ.DW̬j ptGǡY.L-Q`Q=UV/mbvT1L~O:BtMz3}*7--3b6ľ+Ҝ\Mcs1; wjzLH8 ?׭}%cGu:` ./lPc p:eEϳM߶n~i3P"$ª ( H@6lΝ*~W8%*Xݻ;FB[}q8U/% 阛;w輻DTu=ڢG{2v>##4JKDIu]=SAφ7ך3F2.1CPԊd[A0JuybGUA F#L>}|m^K7jOYePsNfqLv c!gGغT5鲟U6 $Z~Iw oEJF9xYI.˛[v!gl&vDH#Nxn䧇уIH#rf(]4c8gz^/psF/r@rЂ@*ͨB#m-ݓ`à"nbNb]jF 33U# <~E>a>$} Ƶ}T AٳuW4q/OZKE7M}P A. bAΑ#H;'+:uJG†t a4,-kO(N2Ol=gm0wdW 4g԰wu)I yC3XZ9wPh'?},"nj*ny0CG=#y&vZ1xI B_0*-˿vê2B:ѡBVHcU+=-"NQrsdyfдH34Z-e 8&&7QĠߟ%kW_2:"H{ae1zAG?y^\osfېSKլ 9 ۯL[6Wճ-e#Ϊ H^Dzb˪ewlIMkdv"KQ߭j[ۓ&/OUEF¥ mj7qc"!> 60 I-jEO Wk.ՂPzq/"ȷWnכ@Z{$\  mnՓ,tv-tuuL/D̎rcǺTi!Lop[ٽu4MūDԊ gRSGe8oX:ޤ\H qVӕji"r&W˫imҒ֨~Mti m< StMf[+Nw. moͩ6i\la퇭ik'c0nY!JDx`\WUfhkmpD\+_i9hF.#Hw_ZrU ` ]vWv|*qM A|o.Tj&?U]?d<ύR&%T(p *7G.oQpGtsa0y%^oqX a8EcRe(D6q}}FL=5[lԶW 87HJ|kxKj\^~Bʓ]g۝-9mٗ92BO 2`ud[K,`MJǛ@YBBNcM, X2Hs0T5U sj`133!d/tᅤLD2xE Pܡ'ebT/}"U͋3C42M(^w k݇ +\%FԼ卋mzem.`Ci [Mv(sQfOMs\|Ԯ6 4:9ٰ1E} e=cM'y.֟tB03]w(w0DŽy6OC;f%I_ [orlÔkw9@&5*5_}wa keu ApI!d)iIc%Rb7[k`\IZ)5gWhn{=g< ('[sc~IiQw'bH_2{5 UTpΘ;1ܦ^}M/Re3x60sy#A##òZœ{"h7o.;,6~Aw.Vʜ!ͶqOlHcSf\Υ΂Ҝ10yꅏZP?U#@ 2daZ48"3,7|sTr4V%0rOlmX9*:bi AEg-:<5̍֔1/0^(I&wX̻7 q2dXKsEeOLë(~8g޾cCgI&`Q~( ޣK?H6W9a๘>.~\[|Sx,TP]U 4sD7k*m+zmcHMz7$?뒦A;mE#;0 %>]q~-,EoER܌V?{TY!c`~4TjyM+b.Ԡ65hEUq-[W?9y0q;,R=>2-bvL>upզqq>? HB,*s~ʫX"P ǡ"`Ҕ!d8'"0rl`$Ǹ%1ygd%} !+LF@<}?)ύY{u`M*WZ {~<{!W>'i{d6v { ԛg)uC9*'hBiw7)Ub3EB9<2Fŀ"nhjC̘k<\ è{) rQ!_dhq閞,Lq.owOv:}zT|lB-8 X#8Mq Vh|-5)4$N !w7߅])ԃ5~krK&M qnr][D".w L\U'AgC|bxtj?muw؇!"T im׬H~UQn6=(LDeK<9Eڸ_yh{|%~W[:y(U ̈iRn1) хߓBdcJl'(yye *W+CnMΞĂ: թpWr TG'PCM:(ll0R8ѣnz=rx5zl@>Vخ(ɗ ~0`FLi$ψx1 5 ++i,xFI,ىх׊|dOY<2+SH1q]@by= &zHν&珞6W.Fv\F{9h!^D"-!*+j#y#GRY,ZY}Md+mbKn2ᱨ|残 'GJTv8؎eKXbny64iA@+:߻;;T*HT`44LTde Š?TPx(*Nv6\VYnRy,w{t&zJ!3_;ߒ`X;fcۤAP5qņ-ܔė\5D'Wۖw:ad0D[ށ Eů&'0$:wqUu^Ma36caLiqlxPc6#AIO^QXT?F` Tn?%dA:HuޥzeρX&KvP|6q| @KSLYvv.A9Vfke``Φa*H/]i^t OFF/"hlM,%7|Px:0a}O#׆UR|YY;oq==}D%c2+k٭(\$(ݕ`4`9{J6OBNvd6zE^ Yf2-Bj]-%^la jƮj5|Vw`ᇑ Egnǜ/i۳?bm>ԕߡ5b6)婊f,H^.,`=]2M;=(odL\_t}3@uGE JO[vtWHrPm3Rs$?"WPzY6֔Oa*䑽m0> (9Z ȞxHσJj륺1gۈ봮.nYpHX w*q/ 5p|"U ziA[t*>B^+hr 'm?+s8J+|Ho RՂY$A^~܅@MG)j"g$켱9"!,tR7K${Y%.=!u7R q܁11Dk_UWR z=z{W ]zDs?`d '<&܄JN_%g9OTJG!+2s8s۷j]#SX-|ɍablHʞ r%{E+znB,:7²Xp+ yT Gjq"ۅn4: c10d\JgӜҗ*WRK ^A.glmεM# ۘ-9vж+mAfnsF _j ;ja-y1v.k;h)"58qP|ccnas%Yu[uGYtw,+bfYG)g/MU Dbr: ǩ ~yMDiݞpO^YNCamw8]@mHruF VisC3wf~-֖wڨL.Uq͑.¤-J1 +"ǜv_ѹ45'+EH2^RDvK}Œ7QdnOM2p!i3_$FfLZ ^"XYAI)3iMCAsF+%[SI3OrF'_ "k"m@IS5An([f݉a-U,%V,L/ nQk܉RuRr)\*#4u*ZUOX8PFGJ,jZ8*2r(~8@6ǵnD;Uz7XϬ k(- gY1]EYka6’-QL RшDGy20Wȉpf{O{7e~w2h&&H'#İXRgE/d>8H#\!FK*?09%<{HVH]/lƅ Q]Mew06h32-|V+I!ҴG +,H W86^bLMÆ]s<\ ;ds+~;`h?PTTpMyMiJW?28Fp?lMtK7^IQ u/b~SBsUω:yQ]Pg JXJg;}oq@mf9.}gcoӛ&ivi_'/=giT4(yT+#ǵdw40 C`|=aRPrWQ{L\Q.0>*`HD:#f>aR&\Ĺih6(#<'")ZCuϚ2?1eXW߭5>RfO8 y(#kZ1~FJd5P@f͜K7=uߎ%UT~l+TUk kU2_O$_nT2HɌ/o_!p3_35h)*'Jq^Nq¿Nlfܡv^b.LZRG \ځ Ύ^1w$X,>~` a;C=!m.~AhAXgrǎ%4bw`*`2C?N`]v{ATA(֟l"!cg mXaOnq JȢovBc7`Q|낡D"` ht $E7ʬq_x3@`SVۙ3ɺ kJA9q>U$aBu6nY-qg`/ȁ$1{Q(gРQ- E[j0̱ؓJٖ¬tP& e9Zkck@*F%O'nSZ.xwW@rhZ@Ö+$0ma0Q Vpw%D?YfpH<1Sf?qd,x} WsfşcvhqTsyqP/q6lq>-+|f.+< o^dUw_$H"\r9X7/j uώs_"(a7fA&2wL$e,& .< ae`ڡS:{!Ѵj\c24IiN]]>6b^6{NUP]e!QZ!3fvh#[4Q'>i<=D mK ~80Jq*5zOںi 񕷾.pLr߲)Qy?w&8M.9|?3zv'JU:$nu7oOcr2ne@ml$ѭ'q#֢߉T' D}(Huu"+6S) PPܟu' ylC10.We@k8)|ȂRp yT,PEYdݹ_p%Ol{,߀aa 8 ,%Kxp@fi Q^A_93I`X; N[/#OaRFX0@8+1p˒=!+=9%'R54ES6"6AL{4Aee` !؀V˨go4nӢE,@ൣxLRegoK j[C.K JWBQY<8#t #<cJnFAވ=I_TCrumYr4{2UrY>(ъ xX*WgG_IU*SAf=/ + ?PI;îcλ(BƬ/ %q^fz4J|8QIyq7kR[nڼħJ='TZzF!ޞ!iv)X/~(HFVLTW7Yqyݘzo`vfQ1&~ߘQ'D?'bjG#,z _щԩ'{V$mX1~MXh慖IO}tɐ:fEs)CoZ];H::T&wf?EftH=p-v%j-AGAK6ta;k1܋$WUl`;I+\܋]ee;sJ >Aˊc9x `ݔo xJT'G.e1%!b%tsSb'TKvģWWsaСmS*ǨW)|ؘPzkXL~jpFN?;P$)${"+O"=OA۔W6" \/&t iX~ }geDj7+% )GclƄ7_x>H6UlҐqHƏ,C7*o6={|":,AA9^V,ȣup➝ yb>W~@HW+wGO ^KPO!CT!%*UŬ^i /Mb.Ea j˄w7XOuF4wbhVEO1-iԨcrăC/.4d޿DTX4Ԕ#Rו>ã,3qz+lߢIG3R lPCdF>ߩgYV6 +zަ|ʩuc>U"gYHw\eF;xW[ 8)ůh q!Apga^qx>m~qjf b犜 `{E]Ĕ6dԴ" SD ֎uI(%z(TA.֠|k4*M>ː{rNcO) Z\;i:~ f]=7Ҡ*i@,4(U)mrI?@ڸ-!.Su;?MIB]/f'0NaΓ#+ӊ|!o6\ Dӡt8n)W4R(f p7+5Lq^%0u"Au0Ql0lCVg$&5#h7ۗ' &Y$ Ђ^aC"@Jy㬫J.G, a ֒ \oq".=[!wU7f6܍ѣvfʶ{yBjd"n*gWA{ Qch~_?%/Bݡ7`"4KGArʭ6j_&wX ؊lޘ~_[1r]`L,j2 'if1ipBV?q]-'yM8)(H}A]hl,H K،)#>#f2?r+P&ON3DU]ENis .m4">F^u<[ [TM+NCZ̛8Fz٦/N(zrƂ녹w=Hl\ӗͪ kgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X15 9 #._sS> 2MT݉~zJ2T n%̿5t#IzкN Y>2 rIR7 kvrщV'/tU&gc}x#U͛ d_CB& @ ;/n=7IэyHH̦j&;w9'I}gb><\xӬ}3cJڰaf:mmD:/wK+-+]0Zq2D L9-> .LI}e7dzGoXHY+"(TdWDvJ(!AS#8n`(7f!pXB5ÏeKAqMPxʍǗV)v 4mTGUgN^91F,{ʰcf/VQ?J^Ҩj|;;IQRp) 29Qq#V(E:&NHz ݟ%doB.oƍ?҇c֨6KbWB4% "2TPev,Y$nѾe]S;J͂@^Ә0E{מYES Qg&.Z|V <,ojIme]=..CeF.>I˅Wrt7>[)Kڷm#žOqΙWu9?i*}:`ǟY\'Md MV~ስT ]3xt O>igRan}"FA[%oj)V~ٌ$$gW,K8$O$؏/y5C:M#zxg4Wf8z媛{ `jk[\2AĎ!Al/WyE1]~E3oC&'K aQvpGcu`[s 6cP uO>" OL>TNEEDfhz_,W~شh!-T!& ZXX&w"T#! h{HtC {7" `"@I1q GʄG +2SYQ4_}rSD!*%FLqtu`"1JP"Z®~0 ʥ=D:8>$ėm`6GbI}NErU86Pjyw-Ǿ.3 #ZN2z'fu~I7SХ:55=COψRUutα6O43) #QL=تQtO?P6,p[QbVX˦v P Blo%*h EL([ɀifOSf4ٖ+x]wyB }1wQm?e㇐*T^IE&\c&҇&~Elz*LXD͈J3$~{q2t |ܑ,2 ,=mwMrKOi FRDis;'PUb[b5ЂznƻUpEVw4i9:Fcfv^  OTVrQǠ3 ќ3gYZ2eff497fdf2f723d0433e33c93e95fed432a5c719aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535