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   ]3|4t ]% Stochastic_Matrices:threads=4elapsed=264.368cpu=715.388gc=23.856factor=2.717zXZִF! s ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`z, Y8#DH7Ŧ·0LL `$R 61(CShfÃT8u;&6EfI?-9 bCv>tüv@ݩcw,6|yb77Qq2E%ޱؤ=8G'h⊢Ჭߝb\6Sfkp @jw6PrMv⣆nӁ]6f >Qէ]* ?*=0Sp2]m=_9ڎ$~ QbT.X݁uPvP)mdcʊ,JBCKq 8aoKĒ *h-4NK VqtVavuXAa_#{J>`|mTd܌}< XRBgic^HCQ"cH~8z#hnjJ,v ;c$x=7}`$ڭm/$c'sPU8ߺk$-hgEck}# -ꕍ5lS1G]cR*DL|\Nyf \Wܥ9MXi%&0Ie]GՄ{^Τe>С# 8)DMv>mtu<;9Խ0jʵikRj3#^@t'0ѽ4͝U'LmN& qt63qg Z-Q'uaQZ<,cgO1ec//ek뇴X,ֶr(//|J^. 3 Stochastic_Matrices  CQ,FL\E3APD}Rk%5 _ϼhI&XxL-e'O]mXh aS.*ԏAG6y~ Ζ/Qdc7s+_C5rT 'J\lcl&gƆ֩E^wgku`giD]f4"(ہgC7C}z4rx*TX8\N,f "K{GND#Ϥr:RR<؋K3ȌAq^Z*>w n5(uwЮ'C!D;NB vQ zUVZs郋cZKkTEɥqdD݇VxH5w].Y,JF/5ܦ0}5ޔ; ̐,)?H.98ۣQӲ8t%g]-Oz\[)8mCq9 %/3рz)qrZd154 i8K LްNT!QJtXߣ_&?Se jGa|)UpUq߶H1#cZ ]h+j|?Sz>.+M3Dl{BG|Q֍% R&\ؽO&Ś&IXYk욤ОpSw,%b E 5s@[xvΌ-"*Ɋ_Rz]9-o9?\sS~~f# {6Xf[1TEE+{ 1ɏb/}[4=x6/,b]_^U^U+T,,r0?ۑ˘d$8|OBq7YM8u{ Rkĉ@zbήI9cK?=G&^]-k媰!8QWQ#<4hIOSۿ:P{ *09 0b+7$tdYQn0EuCcO\,j~hFHsڥ~ L(5}+9%)6 v +A'>&MR'XxRb(D!cSp_#]ڸj=$o\hxF1BzР乏`,P|&;^;]0ྙ<7+W?ʁEi;_vLZɃ]*nG݈τo"SFq`YNi2q8+=Uݹ>-bwS;s<]YAOy]d: 3gw,j˙,֬ÎVE ۼSmi"Vo`B*F/i&ƅ4AV9魐`XH8?ڹj2?nЗ*eԼ! ׆;Od8J900  Wn]~[M^GdV 0h0sZ#dQyy< g sDm-uw D3;?/!ps!quCz7AS-Û6Nˢ~;uXYLeGQ/IfBpxd`*k֨oMOřpŃB4-i UV&fsl Gs.#vs c{y%BV|%jѝuy`d]Ju]Y1vrKO~v^tZP Qt@[ڃ_ !OLY4] q7DOf640:Ԏ,> J0 e n{~iг؄XR8*R@T+=yFpA!=19}N?2+=C\K,o((p]\UC,F&C+۽sli֨PA āQ'EQHꅬ9pR0*bxzýry1 T1].(mH~Yt^X^ 5o==C} NRsf}fW;4gF1 ̜ұ\e7RBkOf :*$gѾз;6]FDfmt(q~Ծ 6mfa|xm8a;'DiR!V6 8͵-I#_ϵ&<)J9/&3`mOH@W#LwͼLGCfA[h2lSv~{RK$#U,"Y_#7k2y,)v_)y+loHm0uu>t5jS P(֭3dhy#J9#*_~!Ddςb6u>qX8Divy\nd ڱl16){M&9`(3\oX|:QS0 //VNw‷bK .:8bK *\4ɛb"v9wڤT`nhUc5& IWZ!ccl#0#(*ZcӠd5_7ˮ ~F׏:d3DT꽛O|~p# EQ1ԣ1dH wTQhA oPEuJsg|M.i0롉WYˆrgNJHQ7,`(Q4H4?3vd~7fmJåx'gez\[~Mr>|}l-@BෝR^N7>تpoSKJD0[nwj1\ ep³Pΐñd}P1B`"@r{M8~S٪)#U P x1Z [" [),57߾n"G@Ԧj UnNwD{iNx۰f󓆉mYr eUԄõAD8c@ل@XDgV5 >,LM&<=dD*"Kʝ1}Li*" qh0LgdžJӎmbaN"y>>.d)}gW 5|CEkOO fiH ]a iw{&ReGN#gUB#\J:^mNGPn(r?g;-iZGaʱ2&}BΠ#vٸ1_edH>Ū% ٨SCȸ=`pݯv=T}B󍤇;M3J;/m4sz_2&1*P^[3v[]K>ܹ(#5(Ģ}K(~Cdx'LVJmLVM]p1oxfO) Ll;r\Tރ?{_gE6wsHx6B#o~X:h254nFtְl+&Īe(2Crѩe9}(wg0|i5=j={V'AZ$lߎL4t+ E>aRgns~u^xFﳶLJ6a=RŽ:G2Z fvϘHWd$!$xFQLtLҸFj8M#q<k-C e ].'MYe8Nz.+ *Ís __2fY[;nC%:&7fʮm~beHĖU⬖ \AR5$"sE~ eTzF hKZ_WԽܓ]\K=1vlVTJa:,#~ǭ(}.@ݩ9ҒMu7qq;-Y%m~_. ?YkRiOF:(D/[a]Щ!QӬ58i,"%n9c0D蟤I e7 jlm_DI #_LexAnɯ+a+.Y^plD8ݱ`er|WViz}&"?!/ @xl <$0dyE M=A +w]S(.r Sh ay`\Fʟ=Rn\eU8%\[ zK {!] .ɕrk- cDVdH/?Y%W_ E>'"$<$n D9iǻi6t[]ϟńd][k`RaT8,K7(U)n٢<@CT/9c20E)xj,h+v+ zgّI*RDuΤ*u).ߑC=Lǜ.{ZHj֘9!ҪiVޅW1Oݨ}mI{w^[S\F%c<H}׵ ~CWVMz"Ec<"Y -`QFY]݉oUCiqҕOh(%!6PFխKOj26<+J{g5+l9 (Svg>V{-=ijt8\i籘tFS?;ԹN 410 pRu{87fܻۊ6Ϊ6s?ԟ'jmIrPd:̻lztwb[ɸMFJcӥ]\ ;T+R@}gG]Ƅ')ar8{nm{mj_|xG90Rn{vC_${,.k {tV Y eImJ8{,9:Ng/~{n0d沸Jm$j\s[&#rF$ՙP.+6:C,$TBR{V%i_;<0G2?DߚVحwȅ/53rq6. )'B hyXaRYS*PvjnaLׁyWQ^Ԉ[<®SY n+j!2+ s*x(K֯9Qt͈nL4,+q+~*ߖ e~E,ԉi VLX,%ē7EGzj&S(ТfqSC557g/U~BPQuB C1OCW&)h^V'8CdgC@쇳Vhb/S0!VrҀ^5i{WPu\w⒜݅*\[j;ۿSxO{XR5 ? }#rC5=ϰ-%5貞  zi_?kJ~7{9&B ^d_A8L 7qЉa VF-(Ej;j3_\cDA!SV(BS:IP5.AVJ,eܡdJ!M>{)sCD}uGƂ ;Hep=XAp@k|Q\g ";|t`hqL wܩ[qZJ5ӿT^}tְ3 Œq1/4&~$"WpYJ>UX{`"2/`Jxd<6qmök+ b8jg*R igJS_9ҍMBެBFI6 H֙D~M%m$0y} s%?R &1e  zld̶𗔏fiz䁎*Aղ.oWh  }Yl|L[j-WN5iE_|tk=U$`֒ByI&M hxpёѴśϊ(`\,2.6$+"6E^*{m.)D%FZwփ5A:IZ(;P%M`.K/"v0.&*t G8 T[U,`>g:('g2cc:zqqkx] ovtOC;9rgw.=fyUdE▾leIMӗDɚ !7YARo)gYZ7zXZִF! R]ŗXiɟ1˦r!q=4!pƹ $7#шt'K!u8Oe-HBEGa+§!Ӱb-th=>Uk@*'%Lzt]'zG1 -2IlM7ru, bMNO #LjC'LC?/$V~Hgs^cLxi#xEyv¼Qa6Tn.8YHe[XS쾂jªnR$)}!IG!9E,3*FMZ1#QS WFH{'WjIZkwU$-e$zxf*G(bPLIE9X_s`>o; 'd!2YV1?FCmt&)=yYw{Rt[^&?4D!3'yalѠw9=ȲkKJ!5[ٿwr꘴D$i^6i!:1R0A3_:4ĝ+*DT T 5#+T5Q]%MG_v5>Zs ",22T36dU<e.QiiB UTf 6xTx, Xtq cgBLѻ'x&`!..JjB(B?-DG XP8 6W<Bt48 bzW0}f[fNYMR܏E$]lYVUOT!Ӧ+CWLNM`Ԥ5@?w)8pbo,;(gR]c x@p.Jh 3b4eܩ~:ktf_f $QVy, jiH=oj|q6d'*c6'8UvVP:=&$tS-Ne /,Z#} MJ:_Ix͘j"_zpL&b~2P9 | *Ucѩmì>-@$$x\4<|@ G0sd nb_%J>mt@ ǎҿKYv>藞U}Hŧ6Vba~g{>S&kTȍo}(*"2@!CySM.G+k(#1wTnXd /Q`ʄiS<=;j ~t0[w.9%SxO}̩t\TZ{ T;-nN2V,+Cf5W*`gGN科rYf Z11Jt~"{z H%N4x6j*kEI yn?A3scZGvAW&/Ȧ*ΒNJ5%vǠ꓆aֺOEŦ#&^QLH_@(CY42ָjV{E E)0s HPh>_#Um& #dQ?U|N?qj*tP|nTty35ԽӁ#E&r`=Ƙ#OnW=-=|K#yVus@{6Cn1a>bwu?#ƀyMYGA*J~P9!{ U 10ݏ >]Y Ek>Fȳ`w@@\8ON[7d`*}3]^ј!NfD slm)t261jף{>1]&#*.~b,|gF_A#bL}vdrki\TASR>Dŏa"~zGF;2FFyoi}C2lΌHH>LuZO캛A+tctӲ! v?`,79KfTr/E*T?Fm;dFEդ†^T 0%͉id9'uJd."\i /|Xl\z=|[b j|G5ݰGm[B&:F7k Sw6i!5Yy&c' `xi`bH Y̯4W2/.H#l6~!ڀu9nN[5h&vf*_"\wo7E`(uJM#P؞xEzϰiv cNh>V%qWDd+  u21Hr}"e -8d˯I=jDim'gr Ks!FxCZKTFs#({ TXMYUIw[ע8hr̢ zP݈3tAx)R%|;jDG=i[zNRQ #EHVǸbd`Iž2,CAa+͔rP|#<8ġri+qMٷM XTȎ4 U^oߓ:^%Zg J5*vPUK?=&9!H~?v߼l j~)܄ѽrvsu w!%܋VU׏G\v gaqMwe Qu`J2%2/tŹf3uJ;zv8L #:84(&I5z׉jIõ*RBY?yOr^SQ堦 2F2^0JִaM!U6켉E' \.M}gt !Ý ך/||"b"+TVTGjׅez @ђ_ ?XY1hh4!!Ṋb* ^Gb~'OMX6VXZ94O[}EMBHѢTKs ?5KvO6ܙ*޽ʥgC\X7<+-U9 ,`,!I6H3œ6$(gDj R,aNi\{0"Y( J@kռon(X(FdMzV5_s'(x 0C,,ab_i(oȍj3m ZGvټ ݎ)+l{c&o<0J<4udu56~zN!xEh QǺ^@3)ʍ3j rN0>$OɧlS@zub %sY(0t9JV'[|ֆ'l/D@~Y[ y#.1 6&sd HMq|ug5d׫ $=Z!ͼ`v! 땓h],w#‹Ѧ*d2 8\v wf:~+`zDK(kz}p};5lۀ'Bx)ޝ΢5= &k(DЪwP{k4/D<("F*:=bZ*H=]/Eq~m&^&j133a0ul:g='%\FBԊEwIAa-Anf"Ƣ Q}VC&$rŔj%)j"q 9v~/՛Hӊ0RGO.3, +PacB:L_(n|Bߨ֎Gh2Uxu:5Yd ?Xkm}4)X7{w42XPх:;VuaҗkE%@[rg$QKP}@)jrQ+S J/0=X5/3di=H3.XcI{g j3{>bNxd{ z#^;BX>WBT9-@KKڮ :xlqy hĶMVW`7)Ʊ2w  풼|>U5y%|\rx~4)!̶9BY$ i6*0?iN\AS0䪣;mpŊ%⯌vwX ?hI&O=~|WA ̀t{eVr>8;l1öc1@ W@]>tp!b)%q7OY,hf*^-1?+I͈2P\"-{˕-rje2Xq>4pZRwf:0cV4}+^kATt(ec D'bJxF3{@e'\'6׏{ {bQi+U7mh 6B|B߫vLv'{Ad'L`}VTs\'nz}x{帪ɦL0hM9ܦ=Ap)SGf ~u! yUm0ŧo+>(iWi#bsrA]~WfnM!I{0 &(!xtݹ([o:b96ܦ5 9NI~cJR#mS]-D& G5XhR\gry3 DE!,tU9Z*hO`;%p)2=O*4 ]IfW@"Cfꀼ+>yե&l*(q-mC7D#&aW#4wyht,wfvH& TsDZHYA,"  6KYw[xݖ uF!֙ZdzҦ1R t1!#2LK@4ͷ7\hW?ώ5M1އYv,#~1Z zNw1hE.:zEzDbm#dEqxn,L/͖YМKVBeQu85+ G͜&5~&zʀᮨilmS 2$[cP#[ܐI^ES 0-9K곐Gp짧p uHln4![,Eg葾Rmn_gHw҆4I#8SKV5&J We %&>1qGBb0̗O5nAiHbBlm x܎_m%5:4w+ vPJ'dд=PcЕ-Q1"9,"4pF=SyYJ? T5%\$Y ikBbhw1`^<)-P$6GZ |;VfC#H{|LoZXQ\!2׺i|CyC7cET4ƥ<iu"HdKm*wC V1DlhiEm2X!@H 8CةqWBllg<*9XrF/]gAAU{,07G|% !1h5f+2L]"mHh*C£z%_eq/'g+ l!=o.ӳ99X'(!9cpw ) =m\ǀe>qdCVO|rdSBaKN0=%A JW  1ruC[bWZ`MUPbB4eyggʗc >yG `VRIT饾BuMVrOMꭧJ7&}Y[͇Jp- j{;Ho3Te:w mY>- :dr{vGד, LFB(@VX)#ۗs OaqLΕBmqŌD S}Ky)ۣkDmOf}JGDE*'5 Hmg0p` U1 ,B9^԰J'֠f^IsX7ߔEeW>?A3EPuƇ,Q`(LVCI=`h˭6 ߔ]dG v~L uR&="ztk;'=sF ICNF,Q,w)jr_A2_ݢY(څ ņJ!VZRH,6+3^~H䃾ܕW% @/\4 9z6k9;PPo62n>4ͽoVQH~=JӇiH kNlezs޾bl.;9srH lILr ~p͛)3=1ˣ@_7 dӕ 5굃JpZ*-FgElՆIB(ܩhqmֹ0:~N9YDe-vtDXJbEN0"PՇB^@#[FyY^U:'qh$dё:. Ηn/ I:Wo%͊UIg;|C-,E*WI&6Qsp9n[ SZ` 銶cBk~- ֠Zf.zJnêI0@p jNnQ EJKKrJcIvN@ yN Uj b[#nQv:C!`E16#SJ1d9R%_lY͚J bo5ޯzL5}/mgt zͤ%V[vsXjJFlM[f%0a@'la\u-<ċw/T!1eJUQp1ɠv'}p'nߒdLm }Hvܨ~ XàQvDq飷-|yxsp={(%_&qA)?}gnFg[߲m^bgzK.<  4晸^ɀ𬽦/dr@+ F^-!y9ݪ#Q\[g/`KPfOT:R[G8(3J=cv`?L  \Ⱦhr&@z.4R7}ܸƛdЩgMͿKb1K>ǁRYa6 K'61~G* ˏ\|Z"ty+J 44C;q4>ON_z0f'Bʗ9D$`waUeh{i?jvf"Jۼf0=7]Sɒj)i_D+ͲmqtށtN!t-xf/\}R x%zxm1~;CV JY,rF57{ 5TM\QBfI]7\wd;L(_ӓ:{JJ^H A'gr@0A=>1ʩ xGa&k j:l̼B%3P31H{]˽I퓝])ݑq0:bOG{F nD0_7doQϭ ~^1 0#R*C3wU/_/P(8A+јO3+S ܶjc5u/H%E?,b%]T7:Ȍqu8z=;Pm!XAhX<>h6%k=w 2WVt_u7&Oҡ6y㤏b$cKpe{TmcB&}>OzRQNwԧmF4({S)3HWh{D|+>4z[z> L2{1'{u@O< ƕ]TyIz|c"6?G`qJ(Rڒ” MPnf8}'m$0t]VsxvVlRD)C_qe9}b~,%$EedZ|Kt,7QQG>R*"W`|z: ohv ; :a|\nEQ7HK87O0rG'ي'hDkպLֶ.-޴Vˈy)YiKrҬp|FZ[5{|7t:efIO8j- AI[gnQSĜދ iK 4 ӍFq:L0po\zm7а E{*qI}&[AzB}#VA<SŴ*Xz#:g׃hQ6>qeCSyɣLQ@nm׸`kۺhlXK'\ +vnts N:FW* 7ʨ7 Ie4z1ܧN5$kÑ=.^el0߾361bj^E0mx{1j^E- o{wOá9?ܢka z)Yp0o;&Q/h'X+m(a/g*l 'k[aɉۧC|m(yD(qh# KbW[{.fH^hTMq@JS\W%r4J6PTM`OD^@h_#naJy S.>)ݿCgm |NjTIP)ޘġ2ec bC T?}'!{8qGݬ DB|E޽9ևq?~98kwCj a]OOJcP26b7'rt$L|= AG bS:w1Iko› -d+$qq4u9,GprhZt R}\F-kBpĊZK .6*hE%*CDFV N8{]+%uWGֵW {!;h;st2$uИZoRҀ'wAPKRR-րj9Fvcy%X9G _tv (hb}mJuVzB1W@Ij\Tq 8B/PCe41A9S,]W;kTjE3QFBL>:U3KJTRѮ{^iϬLBg/G.ҥwɷ;>땇ٜŵ(u`.΅3zrQT=PkDw^Cڿ(rk{AT駇'pAZ?&JB;b~͏b3y)B1N:=@kJ ͨK܄hW[gu#?œ'V Ib8 (!x=ى1)ɬ]1ryAȌ {$\X 2!5 yxkp D1KNlGDɇmn Ś&TmtnQvOÎj@Nӆiʡ^%0Jn^:F;sa'}K mz~TpC 1&nȣ7NЙDIڧ!T+BGµA6j2N:vVMC20w*v 1HҁtO h7r%>5ˁ"r-FnxDaj˧)QaI)Z5dSS7㦄lJV CcP**!{FR6l Wne9 QJNiF}%,c"xݽ3J/=-HG,PQܵ Q vPtiB Sۑ!_}KH& >o!5~}b0ٿhԤpK|qSAVse,:ȏ[:>}Iz;5F؉6_(kA2Bv}\bY&5-3F y!]m7z<~ vwIgҢHHN9fdړD2}R6I$Hjrf<% Jv&\( r?{z腝c@nX)DoŨ)[b47RnTjʒ'= #=_)Βv ҒkBT;SHd+ OVOBqu\,FtGW,XS-?(fe](V'S iݳtW+q@7>tȜ +(eoMCAʳpbqMI}%fsyZ}[K$藘iՂOg$=T'un,u< 5JC=gx/PAپ&P9=k@ 8.h1H:bKTsWݫm !sZK,A) @IZ)rB4̟.ہcYp(dR 2;7^ZڋNTòJKzzozz_kh C_~Hj F/@30IӌKo]#/aKSz}ٕ|x2iFO~w0@i1S'/Gϓ|Mӧw[<ݠƳYvaD=lxׯyR.ܒ\nQqу'JB/G[&_Y숔d/@{|r`LKS\gY+l).&.-BKs6DjOBy/.ޗ'=wn.5 /זJkEYx'Y SC Dw.#JZL},OQHRd*cywr#u,q`w[0z٧v6fh6STx_ܙ',ev#Q3ɒXF{ߡ[p֕0'<"Vy?njJ]yOi.g*\_OzI|‰ߒ:"XؾH`NWI*10}/Ɩf/`#ՕoREW"C'EJESSe$odBEM.saLA}ꋏ8^MZ7w'\n|4-;!%h{('_d_]VURTG_2OqE)N'{84FPvӀ9~  (Z1tXޔ?*=Fޱj40:#z7 m $"(h )%jnJꋴ`YqqW'9bBgcֹm? OfѬS*2D{oFE4qXyq lHĩHJ0w#Ik&0wg촄TpY Az@/ [EpP̏dzI| KS_; xyܿqn#y꾎IU䅠;W+coKB,(;\E-d0"0% 93y)1Dcƥ=D^ЃsU6CupSoi蓉5ToTV-%7¯œSY,Dcɱ"0{!p2"0 | W-ޅXNKttK b54svg#Nwx9TcSUA0 na "mo掑g|W(Ԋcn%k-c0tvΚ~BKv`8繹پhh;LaPxamJ=agcquȬgcFs\[0f-0dq6 wgCKA_iڎ ˭7w§3Xmؗ_62ӏD=;spN*fi#BfHۃYw)̻ND3K~#2xb=zQ9$wh4=T_Zs0vv{+Bz Oe' 1) 63Ϫ>`@8E;оU>MWHit؞e~7t%uZĮKn퀇`'[$ )KWjҴԋW4!Ud}j>ڥ z)Kx㇙ \ifw<&ssRp^7mLr`XLu*-B"P3Z{ELrLoYLIŰӹRʞR ~MJo|,{Bbk3Q<|]U_vnO^ij8UNY: \թNHK w/1hKEi(0thWPOOjs2ӝ ](x3P -?+3a6`n3J$BJ"u1zrLWaHrq0cOI{yOݪ}+bD9JXB~ f|G:E$? H0mn<'؆) \~AhX*Yc,>ڊjT;2p"(k琁[X޻@kqsۄVˤ;Tٵ(JP_GW?[,eN"ŐU7mx;wk.68Pˌb*[g䒪:;R+g Czakũy_~rfmpHw +GDI(zt` L,5-F7 L*(] gwKl(;.k3[E0CQ}vD ޶ Wg_z-p9ګY8M݂4mI]-=$ #H& k5Ei}LrJT]3g® :ʿxK 0tSk7\!g|Z{TÁsWܦV!o4- ndK1$b&6KJrrR $ ʲ.PPF|MBZH>V$sL?{IN[+8W<Bwv9oUC5pVzH8}qؼ22vJUAOq}7&ܴs !F]E?& PJd:XiِZ>EA]^ $nS]aYkSHYg\m8-GU4cKz+mD#,Ɉ$9n1'Zh?nQ m, _N{>ܦ ZC#w&;]B%Vl~irM1'R }bݨJ8+{|VM_D:pd]4O4JP1'-o~n0WEFF],ю.{pYL@B.K&!`A  y' T[vz ÀvkɂyGJ15}215,4 t2 #"CݵyK-b:^NYr'4x`aQ?LĀΒ\iz1nnʹmeoo$&HZ-.0"i_O %',*J>lP^;b(XN.#RO[3k"  uKa*Jpw 61o+[k߷y8wgu2#QE~)r!& M {zKdo~GMF|%kә()tv,N69N,e 4c pЛ )L9N`sCմ`ds4Mqz<+ܽK^<>w,uA,|oNb4 +>=$ؿ XfK21[WᨕB{o7?WN}_>V6Hd U< \y+s17KE9 #M0HQUR/9b g6t~ǜP&Qbh2bTۋ)m$7kN\ovI;R2 a,0}!auu3~⨃*[p.a,3u {{lXX GIkKAz/%Q/wB rU~ J#uYZ' &^s7VDwz]9̹>N`OrBo'ڣ^ `^^L2eΛMP/1, 4ΠU"8,g).O0:DzKр<|rGP.K^JI?iJt#xn)d$"8+& ɗxF@u)LiqtU߀Y1p zSi턑1eJ9};͚/RFW̝x1M0<xR\vhu $˜f{ bkٟOS;5_訮|y*{{LtӇ-K(Aڹ]/7׸g"@W "fN]ԒhG4SQx^E<3J$g{dZiJ\u+N5Bf,Fu?Q5 _xEѾQK|{:'M?q!gkA r8F}7UDܣFwpmra';:/I34R@'q0%izB/ > {ן49MlY(ă2n-kÖ^/n:Q䗆gQA"uP^ﶶDf+<hb%HT}="88]iTqD1X4/O:O r!o.Lj߃H9Jk^\bthMf0@ynEu.Wxi0NMswhLj*ϊFʁQէbQbj-a wr,%طK ۟>'&˶pj[$"ipߊ {^a9/"nVR8`ڲ0΁58lۓTe-fU2^ J,mY HNhREpQCm1JDt-~/odN;F0`dLKN~H*;ڟؿհ z` ՂOfArꚎJ N+sէba0$YWݲO;(h ?%Ggw9]E IaН9qH^>9̨I\1>U]hrcbEwg_@2r+K(H`]Cjitmˤ,Do|L?M>S̨9gB_?һey5(n!T I hZj=-%ńfB^{xv8x46 Ɗ4ֿ/tnRͬw@ ռ#'tzg,7^wyAl= EB #t 2_?0P򧗂G mdO`ln%J"QX€ Gvz;