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 A3Ll4 ]% Stochastic_Matrices:threads=4elapsed=286.167cpu=780.220gc=31.132factor=2.737zXZִF! "]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^iCX,?07#v0o{_EI6UQt4CxFs3.zka kPmG^?soS[!MBNSDYEĈkupij08d6 NTnܰOdۉe_K0R>QRf%Kكri"P(! =l$s W#{(pBz7&/W9 CQY^آ<F,p`#ztʾ>e8fH\&Oy o aѢZWW.VЎK+49f'nebb- /{&͏ܞLՂg|c+buD'KzHwlY_ss@8\ԧ"A6Չ*7ټHO+}#\04 .-B5gNYB@}s1j5!,,* u4>jA`jq{抲rK 6TEe(7 ZVʖ8G%ֈL37n|` <QAfȮFwr?Y¥zyCns8re,uSO[dtv|2Nrŭq%׷qdJXbI$@bYu#}p4_ 6lȌ / rpyl@6Ǵ,']|6x~ ?nsB(gxC馜f ,4clpiW,!w.,?V6uDtisTq5<@i,yJhʔԃM] #R iFK?",{8#ފvyK5ޥ:H[f TE>}ٴRg ޗAw!SۗL#l 7 K%nm6tqY\vttYb*EP6>O#D-U'cmqy20|$꿖ظG>K4>u5Y 9&GCeCC&KFP8әY#}p۶A3`Na>O}eWJaN[g<,rZ*cUry `3w7 h5zDd>a}*m*["N{Ş7ĩLJC"X!YbP8z =`Z*O-v-cl/2T2|^ zه veggii=F޲f╎,x'g5z֟1aupPn@kYACh#um @![D055%2 Ś-i (%%j8Bga 7+ʮ g5+i3lA=YAf8q( s o L숯`4B5U LZ" 6txN@Tj /RRl G҂$k;/8}+BXiC|S{B8;a,XHL'"FWpvL 3 Stochastic_Matrices  [W!|r!? - b#w#♮49v e65dJ}E+[wU8VPNOK[ ΰCq*93'~eV+~Ndכڡu4@h3>R\/ȧ,Ej,nV M/ U͒*z`Mh{FƴXqDEl%'8'W(vQ1kLhl%`xISٮzX}?!!b"NMMm^2q@#ڙ?&*owT>,hUԸ#٧,_gV/oU,)`%i 藑 M&ZW] vMb Ql1?N)1 "b(hbKTi.>9u9[̢݀ S@% D{ KW0*{A\8FKdHyvws5~QkplQѼTE윈Qc.6!S!FK=_UT.pn@zʢ1',Qy.RY:c;b^?3v( I:kY`{;$\"9Eix{YPR 仃qIUzM6tFOۃi1:&+' B%p.Sa߂l|"onFPe\b0馾$W)nUe!bitp.bR[ ѵ`E^{@Rti{̽4qTaC)6\y}"-STZsFdIP?t$SSKLo[ A1jDWQ#A^~4r߿PO\9ԬB /+˃FQ#OWknsB+9u]Ԗ1#fr2Ga~wF(dzT Ս°>ӡ|Lf_mPHHHZh {9m3+,}]gK~F%٩*nlЂ[~LA{ٜ"|x C`*Im?йGzv5{o?9 UDJoze<꟫=ja|PHu *c? v1\cl;m 2_>;]8,`Q Co4CR~ǑbIINe#f Мr{aQ`!ɩŢpJ =* z+$qo4G*u6&z{1= Jw7ʐǧeѓb[G$ُBAPpr>ss] X]cRzzlj*^lmؽ#q׻?$q?^&P PhYܼ6✀;}cOeD"PŲm\08/L| Rzr*qu^9/u2 V bWΆ%E1_1e:~ PffB4&NwG\5ϯk@dzRBFWZ?=\ͽ4ԒqJ0玨H* 5~vn,؛ԣuٴw+*Hِ5[+(d{;qHjLaV'lᗶ$w(Jl Jf b\;^%X}նXhؔ H>kD}]ۍ~= вpJH,D@R'jJ !ޗeG\U\ }B_2 [l'Nq4$71f"69@G9 Iat8‘Z #=AR@GuB0'Nb՜|1aϛ| mN+" Kn(VF>Һ̒U']~)믁6 x[\⡐8Zbg :KYppz}tΔD&} X r!eT7s5Jm 6,L!X:8xP*sʸ&)PIk/f>mN ?=%A SuvZ/фj2vu?.`_PzBicqÇ`H_ݒ!>it2#|]$s1Zg6{R0.`.'дWFm-mn@.iU*MV@u0Am ._4%/q#Wic.*4! &MC/&J9zX ׆իvE#8L?Ų1m?.>gy@fHɋPyꞀVi {Twኆ`˪ŀ,Fdky$+aIٌe\V}mo贇L~h+^\C\vEII%bcboC*-|An J*0AL!݇lteճF,͹|<yQJU0[3m|SsuVzC~{zUq=kMHN,D{u&.q^R2}_E*}S/w% Z qZ+j Ց 2SV]*7WG3Vŏͅ'*DDĬ=–GڒS1`( JW~zR⚟ 8HE^d ٢E@:c,O5!hNKZK8Dv߃+YNz.fˋ0kt?2XF?_ܔ1AN }w&Xk?Z2֦l=R3¥۶ptOTxOqKUk,t>L 6. vl34["DD_>C`[VbG$:e@ l`pc_bRWZ]̪9>tbqRB 8V) ϗǷ,g Wz0fDUcc=YMhZ87*;B;}ьn4v^~E{<[<뇄lL^*7t94Q^?n~Ѵ th]1{1B'PEY_ [¢߇J=whEѨ;;]R°eG㽇ȓ8SqIDqkl ?Fd~ӥ&GMÚ+W{]yOWZ UI4%ccҤ1nK$l ׌yDm2#l{9raKj jE,CiZi[^Bᏸ[ݎ.s4-کd/ySr t2v_Q>h0\$+M .PPb4k/Go__BfZ OӹnGil. g咉gywGNs9!0x/90;v=f^*G0.v@qq=z%LW>f}0yWaVk9jDLԕiau8ʭW(a4RSAPCp4nba%3'/8)^4C-GvPQʄV˶f&"3WKxPr2MiW!T}q3+ju"4F!o.J/ktbC4GykcrnkgUR ɕao~Y-" q)hoRӚX]Q:^Ղe<* K,_Ju]`BUzk&G?DNj9̼*rNB/Ct!Ty1-m\@\-HggE*j9cQ4&YYd"WEG r:QriBCb"P%@X[M =/f7G)S.1h/%ndN R=xS ~/Ɣ\lP-|/ohz G!t=7bGpP/k?ҷ 0&%rY5B!!taR+HM8 w 3`JQ 0fq!IIw-{z'Cj]ae#'kmK W!kb BWHe#-|wv;a:LZN GCtaf# #ԬG _8߽9tob|@g iĖo@D4C+G;D=&n[r Fsлdj8bdd\Id08ɠÂHUƾ,4q:w^gLj"CKF^vcG@VYTgP̄@ >HQiMGj BU[pq$UH֎ m|.+-dIќKS`v_ g{jά a2̽#Y? /b0&OZ؝p1MeBJ]>(2gY>yrD'=تW- Y3[ @Z^O/*jz-BBu eΌ&#E]]tv2^NS1wF~c~G_ {VJ2!_:G+[+DIPO6e)FU.qEOg@ `a%h%207 $ ƆTӎ^~uUS=ڹV '}SLlXB WY҇BK1S铌~[lm*!.c Uh/\+sl׶En 8Ÿ0qfAװܱN]dh$FIQ0Oamʊ¸iDlUhJM= jMc8F@T 'TxRo^DysoUa0 3PfM36YZ ʽ4ôAn (ݠ.J]\G=QĤs,AM _CLX2܂Ӻ{~Xrw_8A zZk͟3J`kIDH}ucx:05ڂ)pHiq9&3r&#~fDc/^DcڱgYZ7zXZִF! -p]ŗXiɟ1˦r[qݦ F +7Ĥ Kʪt''of'UA&)EL .9~o{% mtaVNBŪ '2ǝOSDpe.{mG5GʫX Q8x6㜪RjYT[p\uV 9] h.J)Ie6>U/0̟H3-Px6&/ZٯWBl4L‚ ?w8?IBW}ÿwraxT4怵"_{{s3~zyC 9R(|B'r`^'Kh]>p?A%9RMU +`Erc DC!ôX +ESFq48 |/v ux"gگXUpK*jV{}>O}e:rmdq딚hZP aRQ>* bܴ\leDgR<f$0mVf}U7Zim-٩  Ae4D@H!B@܀A$sv"l9n)}QU__?%*W,HF9䟝 0pAˈ0vB$ZR6CYG:8z=_G0nճ}!;:&gP"[] @ =Y?ܶ )YTAnO`C0N'8de qJ<%횗A,džN6e8 zv$Jm4kֽg ?FB%a j Mkw gt'XSC*8 ǜny:GbWZ/,Wpcݜ^*I>| ͆+9trNI̱?٣qمBde#'SsoyYᕬk)Rf,5vrI"ޡf=j1T6>:@R1Pl7L56ϴ Oc3^Ez8;茴}a#̗_A 4 kLثO󻚂j?Mø:ksĨ b Xj! lEB'=׽/7P\+,;AMDޯv?sb= uD6BFDBQRKE%7D"N$ai)h!U77j 揉mIðF)$@vL4+െgo[g^0?YqP4QGjZKد,E%S [ZOfq 3Ah LDdqOlQL VS H *oEgYZ7zXZִF! PS]ŗXi%B~!FǏ \@ߗb1 qUcLaogPdu!]~U-t]QzENWn[l8.h؇([. cwJ3pᙞW\R%e) }6/?TZ\!ߪ9c=R55mK\)(*(ƾz_͡vr}vP,@=daŠ, FTb"Ɨ]>O/S;%\VOK"UGS;J?<0SgsH u]?aKG0?|8'c&KU@{-oX|dj| 3pP\W<}!j~/5'$+Q+2姨ԡO]W0B0E+1F'!?vۢcm^& =Hz.؎mƧ"й1 [x ^?kALgv'uy5Mt|S5)Vyh *E4c"fx1\A5{6GY7ݾq} O1fK0LܷeBݷAi~9YZ' ȇuBYN NM@qk''bN/?fP_* :n= Նu~@LSQ\7ɡGE[W__X!wmVcUkq/!n"1W1~aq># ぁ^Jl9tqSp#KĊ"I nei')TH_ >Mk+DΌ ˦uWoOs:JT/Z߿*{p4,]Oj,W+m$<|-$&.)w)!^jY 0JVШdMDQe\8W96|Z6Qn3nq)}– &h<!4z_EoC%4Kuic칵LRF 13\羊e g O'IlX4淈/@X rw8JOJ6daQoH>,6 O}FOyPC?㧛\F=7vj*WIHP0kɚF5QT1aG,""Cw$}XC ")/t!+,f+:Yn- E- O3N5sM :5761SZr잛k/M' {>pn\f|{3mc]Y=δaA_tN:qLRE@.CCv: .(6{4+R/ZTnFAWENY]sw>rzQ"~!vScy!(TՕp=L1teu*w/` #(%D>X7YVa&F2[v-eS+}Y|f༰}"7u OHArpкSLRZIC6_m -mQJҬ{k~kd'܍Y9lqeH<#A}k8adEo#bV'z\<%b^ M)Z֜ivL948d9HĠ55\hK,#QNK%]`?O88Uc!/TDTst >f:q8?+pU f<KK8R_7KK7}D%'zt+C([ lRSn RIZu{s[RGu\OUAWqK0tNy4k,He3/Ju`ITio8s-,E؉i qwi/oi`|hie9t{RE*98SδޝS|LsvɎ#L99n&Dq )A7%Eu#lJy^+*?@ȳ(~-i T';9,ʎEE%nܖtw`aYPZMVd_"2npOCxdWDgo(oUL ˷n=邚 YƒlzV J:6{ݩHCPr$?`eB/TH#:Yh sM`[9TJ>6^9= Xx>kkYFa`|Gە` @xuH@z|v3#lޔ[ޚq~b;j:qشJ7D{Խ-qrHTU>K])YT(b!dB^RZʾXwבsI.iWNOt]B)7vLն,cg HXVbhW+cx%q1ˮ낅aG}A#䳟;wu 9[!+oa6π}*ʾFŶWIːd0So5zXtձhzYOl.~ۛW+G4`SϺ78W,Ɣ>(?ZM,dI($8b6jIKgk`z\@]~`u9u œ"]|ap. [=y'䊝`uaHR=?+{@]J0,̛ iW%٨>C9#ѣI1]d Ů Ž9&ݿY@328I2Q[Jq|B` ڹO1Lck7LJu4b"!aE:^]5%xbkXU¶&í``6ZX-hH.Lsng/-ߨ1,B/^KpBbX 7)GKki*m{n( qhY(1RQˌ9?ԛuvXwO(3U (gNm-yɭ[W Z8ab3AL89`X)QyŜ['|a&ŭ;|ޕ` V0aS3eR|\͒>ԓ`L|qqu3;ך./l sXuΌJ.y(ݻ؆r h'+x:'W3~ Z sd=BkdJh/ș/l#9 42j"XѠi8z3{K">?dv?s!/1s/Cd)ͷx/?7SFd6wlV j?h!Q3eEٖ>>on{`ڜl|k~F!hMsHː`5R+d{nDcmuCx ^TB69S}srSbFȗa! ~jyϔo{rp MK0^I% ͆!O=PI\n+EQ+`;U'gbJWr{?Pu A`ΰ1T0Yt=Jӕj4hZ"`&OT^ ! 5 4lض2Y_c5$B(|j??v}ڼ+R5 +0v/-cפaҲJ:{pe/-$~ߴ#.81.,L&)QUbwow!gƳ 1S,W@I$9 gJRiUP.n?/Fbd ƒ*Ꮍ436IKqG\c@5Wi# R5+Lo+H0x;<1o)? .) 1a+;OT_nsbW0#%{L{9z;h KSl;B(Ƞ@Ϋۆq2Td~PT;sI;,dkQ`⇒3q]qvɌ51f/3|7y,# /xyV!^5dpHaQ^!now Ol5HO4>瞍4~tKϪNF Jg"pSF/1x͕Mc9T[Zo)[~|S&0߀Bq uqvK@蒵Xf20Feq)"rwMKHɫ "aC\GKU܊Ij3,1!.VבgKݝ:T1m¥ owj퓾_i'0[K+r 8by#d.$7O!@nTbMx;ڊT> ^r4y˝**99CĦJ?|[6`f9V6`Tsu%F{ ^a\o- G>%eKnӂ4bۿvD/^%{uf]d-E{c1W >'Dx7=LߒQ;O[xW2I#ΈB5G qQb]a.־',g%xR=+~Y屴/nptK^WCGxLP|l`C7rhG$,B;q}zCni 4CW瞤sS#]=(]rgGGuBp!Cs>+ZcPa Vpt6\9=yZu|58 }^ "R'K@JFoFp|ZZ꺟-D:Ĭ] Ǿ_hy38{tr͋=>ՁO@9Oc߻7d%@LJtR7HJDc%:n,y{)` k2'hHq X(-4{dOκЦߵo4xЁӺ5M6_O5x7C\{H6GSYQOqA ^'efԈ'bcL J؎%|U]8+VkԞ!vݤH&^ a ݓ)*#|9EcOX\̔Yr۵ؙz 6c IWNm4t*G\yTr^7}C^ =R_a'D&[:UCJ e႐]cJPKk*^(ECZ` fK߿cvcmA޸z]9E j(AsY ޚ28SI m!'^ ֬մRr{Y_:nk%w[qBρB+D+Ӟ49?L܏+ϳi*҉`0Tk!5b N»¦ a%H A[9\nsSOl)8vȩfD1@ tL]A3榠j}E9=ظUڥ]WJW ]X*.ɔ&hq,Oټ7 4nkߡ˂uM34I(b/cD)Pk`;=4U:jv}rs&!fI`yQ !8(@QG:{qs" ytֱl ?pqōi~FD=7 xAR` Y0"&?LCzϹ(f@xD"<)ǻf錁]&<HqyY/2*VZ"ۋ2 ;S% t+O{䒟LՔE`s:9 & $21m chsSڦֵqǦGm:j𽩚_'lT09Hv,|6:'0s8sĦ˓ld0xilhIr;~1OS{!2Mͨgp ';q[g`Ig9~%. 2 SufލWU0iyVƣ]x?YCrEb?g79!%+L!;NFR_"즱`&4p0b/gVm+rT)ܮd&851_a%F1 l/z{7uAΒY__9,(Lۏώ&>O^F%219-02/]Ł.A2劀KQ~3ѱ8Fjܽ6{#E/T]qcw1QM-/}d j 1$,ym5'`D:I'jGZ1#[U 1Q^v%R m;}=M \22e페6{c`݌DxwGQ?/l?V_7 mFIuqUstD^ggXΤg{SCu,'mC?kóװ w#iCL1ALE+9ðu$a7 C5ULԺ(ԏ'4iM$(*Jb[]/~3h-X%ѣ`k>'0Py|tU3*vYg z4NUီb@ɥW[ #g͢Jj("c~yMt(S(ՏݴqꑯB *p\|r`{_aU5/f7RcMb[lhi|'fxl1[zOs5y1ƂWX^$ZHXHe[cW #5*bh]mK"dV7C I -=5Ksm~UWTa8.WXB N-PO2;f͞Țq*?)Im4$@~ga*/=+h~ #(svP> %>x;&%vnXFknB+1KYHX ߡ1 MHovGxVJfmCM˅3@OvR!~3kNxm;9=/%Kf 4OƘ12<<v;BZTFp0s71"-|Wv/dJ HU?_\Cc)n wŗ۽7u@r$[ZExI2z!%$` 8#t:6쁑Ydp2 -O񚕎:t}4EHiQ&~ uUjn4=4$Z FYu>_]7jy7-&~- %6bj^,'qS" iߥ(*@MuOsOGeہם%}@ѣD U^OfɲX_B! q\~% ?ek$vTDOO4E( #.g/L}:F&Ya2rH"lC.:@B O?肉U&8$[ S/7l(JHD  4X+[UO˕c*iB6tsNAˎ KwQBVrzVfV@/6` I7qi.®VD6dVVq}W:땟!wlW?V3ѐ vcH~*Q$G{]'%H M0[aS)F+Y(ӎ,Asͮ"ȳ1|.bZQUc@)޹5 ;mT븍+|DЩ΁QOycYZL8 X1 җ BYfT|$X3}k:+=z'9[`+NpIحl2xQE, XDm[-5(,J'AŨ DrX{<vȍ*n_E((HQTJf}P٢e43$ژU6J "R@ҮVOzM>ztEVL \ϲFexؘNz2؎BBûR;^vM.p/!A@kܤ! !\n٭{>2 IXTkXR~B#_W/co,Ns+c]6٢V$e[ FS,eCub>r}QG+i.XenINehΧ1zkV+f븉Nr^@ lzHCJ(:I01CYcƲbc@_|LhL&Z4\sX ΰ ppa7_jE2&דط-,_YJoj|o7Rǣ(fwlġns7:*q 6rM9;thfӟr:ˁ\q>Zss R㳜!Vۮ\w7NL p$q)//>qйMBpc (v[!hA`&^ *!Bg~n@Y]׫xY-ykv:e/,ASٕE`|Y"?H0b2߯-F3K .@Ob+FJ5O@ ZM܇g (-Ԃp{sʓT4'ŏ7凢i,prD"c2owU+#/j. n Bz!a_Jg$ʝW!\ *`_BRq-k㏹6@qL'|wJGI%۵%G.  ,E"ݚ)k{6ugkBObKgzq,PcR7WGofXKe \3nc.(@]5[+&񰊚*`4k#L^V'E|ήԲBsa]/:GlD%έ w5Rx ;eIDЧ8n8CEvL-o$0'Ro`^c ,FL)!hVsbYr5qS'@ 9dY#[Njf9\ZuD)nxLܬm0nsu4 YrD`lHzV?s+GG2QV2f|q-C86TrC@X:WXZkŠO:Zyu\>%`Є[SxlX*3ڨ3L_VKÝjW?IPHڲٷ({^q@>QRHڵt\7vy˷xM&$F fEzpm.ϸ=X9{hlքAc˶N;!]DZٰBkp|ŊekqƗ=ؗ,-47Rj5}ʭ1=ZM"!ã=GXE჋m0'z"i ioXLn'tdlnoZANT]nT |d:8ȥg,U&ΖT`v GW`h.HEd x9;9ȃ=?MB/v&5x5m C FU}3i\4؋8t_Dnrt7T;ۦƝ{NQ0LSU)bn|$Sm}${voj;cbS$A@pY%-b؉to)epC#)[zɘ4S}"0ɒg wuչn,cB 笓.㟰&8XnA^EPeZWJF.hi.4Zqw<9դ2JUF|R PtB'i&d֧:SKk<*szK.2\B"!IyyA:<S3x5 b!)==ƌu-Gygq.B<4^D\{LҸ7FK/Gsq[D -%:brqyZ^$A4.y0pP )LόKN+kbݑdK=*NC;!8MiLZ*O-)1-m\g`U& hoMm8.=HȐ|:5{/;?޿Us'`i5B aD M}`x2+M[};dWܐ.l' 0S SF86![]<ЇgV{^4KlW+VeY5`:`&$\E G.2l2j n^8`1/'J>Rw}PdH)[TSM5TTF.D=}g9I >f5w}%\]\nԞ%s:>.aky?f=(kr9 x`^96Vu%Mj†P g"[ӱbDf>%v@_W [\Om/6ҷFfj-:`!.çgbBXJ ]c韩K1q¹~WuDT-9ny OG/Cg^6vu/w q3xBDCbaU/Kum+qe-*_93y :#=e$VOt"#|+ïѡyqԤSyK{|8 2f\#3U| Y.u?TNMEk Pya, M>|d1䆱en5p1Edž@`G1{V76\0(TT*t,bxzoWEkԚJAV"u4R9lfyTHz*1@;;%V^uY/GMq@A㮝.x<\X! 4*#ݢe&*a4#j/|ve$=zq*c"9١GhODk2<0 ߸sbQt̃/C kw ѯHuaI8["BuҰ)tR?YK2Zz֢Lgl8ʰE|,XV-[7B'ucI-& HXh?)qr\l8n`R7}3t}1Z< z&No 6\Y >j&A9ã9׮7_"oEs#Qud a @rtC*Z9ش=nvl *H[cBDЮJ=0`%hWl ݞՀ$%un(WP7,gGOKyrrw,7 ctVD-T @ܢ)<7Ʉ#\rRu& d%UB Haî&zB J w{oդBD H))F-nTgh$k~~ZYCn4 8i_GrndbTP.{,HWj OӗH-{",]ESTQ[qj#pDwJMIR&%HkMdlX0~0ɲ-NE&z35I,R=%m#5~̒^Ӊ$kʰ,B 扲a^4"pZv?H_ߌR9HoU5f6E[.DW/G h{RcDa+;e8%(iPp3)Vc' /'sL=NРw|,#zƋLҕ hJ 8[QSbGEk 2 ܣp+։EBrAxJu #Na{xNJX]t:ҋ?Edj/<đo5.,t/ +@^[4$zϫ:UrC/+!"n>ҴC"S.hq2~ ?D: q$C;-Nbiv-o$"!Hyi Gމ$9bLڦx,2<7)~G9f'aRRbk%WC!Kk2 s.3 H/eJÁ .QT؈rZ3$@U2( :';at`B8X7aT5t~adϺ=qR13ޕadԊ:@~Tc٭ԝNHKpwM S(d(&wX^-$C8YJ1H>+#,Qr`SKS+PI@͔F^?=Mdz[ŏ䬯 "AhbA^bb)=+\;oP6]R*RkaOT33FZ/R&fa |]»7!pɡ%8VaSgZxf~1DҶe{bp<*/=71֝p]+x*l0 rZfdځcQBHQfgNFf23aђrj[H~)!Vt+MqQʔ;dHxn|Xh %0 Tcre)݉دu@!#_*ʤ1)2]Y72_%0!/W|!gNQLKڈm*glBJ U{(M|f-SӏXoU ׬ &5[ >>3-3ٮ&D㎁g17ʞqt`hM f*F%U?2,+1%* 7V.5'"LĤ?޸(O KX9:CVOR]HAϡU4o|]B Ez8]^W*5_| =]BBSBяͻE;-Ьg4=d5h5M-zʗA. O#wMxjFq RLcjS 'jUa*3qKi'$MCr;D~WZ8]k8|,7DܸU5&!}tq/Xh?lLTбvC0-";'Ϗ:c Y&53 4FƹLEHg}IV!"A_)KFMɘ̩ V)=*2y೮+|ϭ :{N# ߁@I̍}VUguKq2]7.i:6>7SȈM@xli'!aSDC&x|@AN(X4'Dr3ŧ 3rԓ;s#$7Dzy&חMȵ9z,.P^Ħk&IJ>#DvwC=ݺ&%NO9< ^mbxׁb#˃qd M{`?cykk!HH+TYƢ6^ڥu-7r[Jge8EXj>oBt"Drv+,zs049zuJﭽ.Pdq;c8cS׎r@g7{PDag^LjGjt7s\ $!K c~!USf3pP"RH4^l0v 4ow=ؘ'Kf2.<*zq/E:po\E쟺|y%5#|U hGv  | 0.ܑ]257]F6&@iLȲJ uO2{ϭrCU0W`~e Tm@Ã:`aej0ma? ¤$ 7#쉲cӖw8y|(cN\6f3xԟ`^J֨9p[r,QjV3^u}UTh+̊[BRqv$ULȶD ې غYd!,:Vs1H&=QXx#.sQB~ʴ^Nn|0+s;:Z#ɵ`7^uPFfWgv(p4,Y6[Cdg?yfpvd$@yk{kkM 'xof|@bdAچW,›Ʋ>AB,N֯6+&bܕ0vLMh;~D>3L"R!__wQ(*-ݞu-$K_B{4c*=N`)p_A@P`+%Z)&,(5d1~*?F6ޅTC xzcLŅ*Gp.fjM:zKb|(aCwQNL~{]pƊJY>VƧḧ@7檗ŭ]Po ' y|CP{c$;lFq}s~;YeAb}ј*JSd J&a#1B_(:{ v!d@8ƹS9{l*PK0#'/i9ǑO*L t"eg(BtHG FУ!-`$yuW{ 8PRla+/cu ְ8~cFKٽ0,#F~iS'NOƠf>ݨ!*2|97u7 yDlhMj!\f+f:k!bqL=T]_OU1Q΄fmEFt8Vj~2j/D3`CĠ6tuJH1yC t@z<>*Vz ( +gjL~R6 3ܐP"#I( br\wY5akR5`vbljwQ~`h13 i% =}R0ߐQ'  6r/03rh"8pjJ% ;f)K=AHe=3)4$K٩ƒ$%L ,E $h <\͏[0",!dnG _Qz[槢 \kC`$r}A&Co 86]&g(5K=ْn1Mzm˹n߶?'y 5aM7XJ:h 0x!4fy 'LDөee~d;f smz^3n-؎D@ "~j(:gB9ܭ|R32Nw S- lr/ әȩbɊ0~X><J](?SMeΏo1o)?8]OFzMzPYS̆ƁHm#Mѧ*rqx0McN d`t3/`1)BE7/C\jVqp2R>[LME,RA ))eOm;dИmtg(<*.q En7+,X߳7øG@7%J;#0Euܶ_Yr]Vt'YG2P)Kƻb\G<,}ߩdCӱ/x<0!R:Ÿȣ㬑];k)nf?VLcBZɺrQf YEN]2@4f2^獵MF;sNű"ӌ fw/S䎥}kX%ij}6 ظ9 MwX˘*ڨ&إ@ K> )-(tipy[dG#d9V]KaO+!_`@ƥDw(:&2}8b| V1ͦ-юZ/:l,OVQ- #(0`O0_Rf I[xa6r6H E 2pSA8bf; -w5Gv`9xk~pM$k G)9li C`-N19m^t2*70}t}Z?Jf2GtCo+Dd5?Ѩ:v߽Q1VA/D,>vUI15i)[ĩ3ȣ &}d`.vkx~_ߋoPM. gYZcf908baf808060c07a8069620c8d8c3bb16384ce3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd 6ba018ff4eff7b16dd5ece70bf05a767623907ed 94642d49064459b71be73c6d0546be3651c2955f