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  _ _u3l\ ]% Stochastic_Matrices:threads=4elapsed=316.430cpu=837.760gc=35.864factor=2.657zXZִF! %]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRb1XB|\ $` /e9.=TJ$s&4Q:oACSje'#0Ödi/Q } M/.5bKYœ:MiE1tbu%&e;=ތ7 &+SIob3wCJ(8Fć3@y M:A<6#<>rY\Pxus;I-Wi&A`A 6-x6E{Ex#'b1\L}I|SKUϐ V9[oJ ;T7I!fD=pqZX=X+FYnf^L 3 Stochastic_Matrices  ,"I!ЭUJRy3΁>,oKpU|ܸj[bAIOPh㊨U(Z*yCsoRG2U@ _y.<&s7WJՅb_.p|7NKZb3}V!s,4GjZtXJ +>Ė ?#>]o?4buԿdU#`mal{yQ ؀ t?lkw[k-@;Mdh4aq#1DOgr+HMȔxp5@ҽ=SY$u0"j`Y46G/>ڼS%=)NN4hWMaOėӰ'Xu$yqzo :]FN C2ժ zjeaZ>5G \I BQcp0<0I|B$Qt('a:&5y/$l:sv7W͘zo #8$zh\nDI.L wb ƱXƷfm G0%^SZpKwL {>ٕ]T-%ii%jD.8, Iċ1!-}#]z&!3ٌ%栾?G*[6t̚\i3p>rBkW|u΃]DA7U4V>:dTbvxFNT:Moh.iq L.nYM3 7P?ҵPqE& dZ:^[u^֢<% uTIi1i(.ͽ1:}B *@!B.:Ϊ(˗ڳhO^EVU)ʛc.ܣ")6fw%WfB@EhpUn6}7HM8|1H=TJ'%'e:7Em#ڌ948رqШ53nT,xdC3|Ck P d=Av!AN #Uh! V1G䒃E&aRT5hϝ\'my)ֲ$.kcl"&W]5ͼ(-rpc& Q63D#3I*_% "{ڃJJ>! (GဴXѭLߟ (tabA >yi#ܤIb B_now"2$g08XEde= zt*9ڍ!#9_!x3TXoVr#ywv'ooUKqM YӞewS?ᄃ U!X\Ș_TGm\wkVljS!|fh'_[5] !Lyuq̄ ?9. ¶P5Vא7=g *vG~ĝ^A&D^'bܫcxM"bཫZ|oqŤ%*nBylr/ڨ=RG4l0SMTFYv:/va 8aًqN7LE.^3*ҙBDeh:]Amg.Ik[rׇ"]'Qs e/N ^~Y@m@"?i hl $Zn=dY\vpAZӇ퐧0m2RKm?|  ׸sLd֎oe8R17aVY| OzZ'e˜ 6#_I6fO\1}lJco60a#n+Fg7PjCgJjhAYHJ'#zmذ]iN) khQi" hT/u:^)ݮ\jCb[Ielg?/ 8jIC:5#V Z.}\(yl>em \$g( Xd[0o~ܘmF65|ūb5S.0ugqiZd.V3&+]pU-tl@0uW&p,f%EȎ_aaɉ~*+.jK73FHn{Uԩt.\*h3ٛ;zإL؉;vZ@kЩu!1DI-*]'+Ɓin}ǣ+N MK}4*JwW`US+IQP.qMyDe.yh_k|oa~d34:-< ~YwoD'obQ4C)`?%LX G A5CXe{4$6;0B#p0!| >u+R =[O7+e8Qw5 ޤKbMXS c"^ 1បu|_kuLK+j%PC71o1>J۩F*+,SLg%\,ѯIX)[G/tia,r-ѬªyvA08Ήk6~8uN^L <\0ÈI@S9=قAlTOKgխʇfn㙛6]X0:w?C?Xw<8 z$.F $Oy }S.`2bʏ+.EӇ4{H_rM%"1=|6sSɎe'χ;i 37;@qbvc6Kx)o)ِgט4Pn e!NrDe;~Fq3}p1^,8X*̔X P}y|lomnfH*fX La. <=8~+baPa|6#8FlN!\T@nP&x!ysy=@ۯ6g6I4 Ihp\bE{8+/b [F}%5 e~v]} fH~=~]*9oo\*J@[cz(!ͮsmN;x"ɖIGB-,0ԩcB K4kS> niDтJ{6M&lQ/PkCsZA9[KȪk}FRmOx]iRJ~!ܠ=2ꇮː#f_&VJ#KQ0Y9k fĖ.4GJXOJy .=idHb-def@SfEƆ !'XoDO] n*$X50ztl2L5HS~VWvP-=ԫPjd@\/{|3u "6Fnz='8(79^ H1\!6pa>T+hqwx=Uw31@+ko; R[T}FOtٴs`0[MUnoDDbM|2%c@]CEz' H:]5P(+0 QTG7Mg<ƈ>UL30&8 ϲ=%^ᝳVa4FWϩӅ.(\H-幜>"_fp_ap'a|Eu08f 1r [5TYŌBF 94ڐHMǼDӵch |jG ]Л'Z`@¢ҫ(bvv]CedSq]fZDtpոZ39;WTd$T*sv=9$!.,oN$1={P3O_l>"l4BNŕW0fO6)^gl=K'tI ?ur`?)FB+,%8'-Aޛζ] 9kc܊ ^i@ߘ:F%>kYs1<)6b~}p4ɑ;;PJu$"݊7{ AY#=X'|#|`toCCwv|(ep !#W40tZ0.|O`XšILlOV2 ?_#7ƵhǑUe4bdCw \ՕNv'$qgS>Ѓzx`] ͑Fjtʒ44ihaa`!P+ Ţ8G>E0 A:#yTBo(ֱS4Z7^ %A~wQ] f4m |gQA|K SFhFĹ\D+w q !=UN')"y/]Bb'78v%8Э#|}lŝQKz@,FDRG?{nA0Plw_|$`r LXnAW[ӽO㭲dOgGJOhzq[L|N5c`4{QyN=߳σ!]𱨐m $E1 _lZᶄ cg-ux>Daj6~V:ر cc";)XW߾`= 28*☺&0p} Gfl͎ox]Nh(H.ՓBS_*F]Jf.e}Pay ,wjIkeS&`Om탡_ .,b3`Y9>4 >e p,,`&s0b,"w?V@kIID9qt@w;`-KvI; { EB'I>D_[\r氥߮C^ne(JGs$` 's"7\qy!e3jo;¿)/3F{`A.^_*H@f`͠SץdUo#rڜct5!ש \FND ZRq+4%1m~'3d⢹-;XpNsÑ[Z~# &&5Iby7vx[Q;R?:%>Zy,'֢ڔQ U"GNVI`Qc% a3W`xSj"dSjTyk̑H]7`-vqCJ+X|*{b)M_uB,鳉1Yw445נX(Vb  f.(^zD1Yz5)@M̘$ycѸt$N7VrqCe Ԇ_]#u}yBI8GfgpKn +Ny k=GX WЁE':BhXǧTg1N/L]۱gYZ7zXZִF! -g]ŗXiɟ1˦r[qݦ F1h[[KPdo.RG󱣾5߫l0GDQǗѩTSĬDc:vVj!WY -}{45Գn"+WPwR]³1 [NP6xCR _&Mig٥ge-MOaZ͐׵c!k{3/t3 \?prk^1:.y-H :  3ˤ]R<:dT]ڗN|6ˣ8Qz7lV ˥0dF8@fX+K6Uϴ6K5lCL-b3ϣEg(2uq%$󿻘A9@1K.Z)\.zg+f$ Ȉe\{sl]^3ϬcǙЧnF r|[ݶMskt놕bxDm Lrp 5p*W5uF1f r%7oL$ =#$4*Of;pk눙è>.n?A.ǥEKGδJDTzgrO]\)I? g8[eAϲɔkcلE$ڵ(Db)R?MHfT h#J]]N~ ŢD,V!߯?BVWњr_Yv:3ُz+ly:pѕwOȅ$۶;UWPH 0?z_0H{#jΈ z6rNކ ,Rv}0r5UJbBMuE%ZZcJ=*j1]νz ֶo8s(F{GvZ?en+&uzt@:(ǞWBɄ$ρˬZ]`v ʰ| 0Wb#FtE'@䯶 ӛF8%!? _(^a72\C՗ڦV˦#VDBC 0dz0s %’z~)=RTsѶ6;;l(t)1N8t *.ϴgYZ7zXZִF! d]ŗXi%B|.#2m({_NwB][ >e{|ibOdoWsZ k=/(-@}>KK QKy (]hUE#Utua#!}TxbiD |ޭ2ou`Q~?mb q*)-BNk@7Q&ȚIYPZ=Q)Fw ĴbpnŠM?Uvה1FON4i>p➤'vdE!~[9M(7:cnoI>=[`>hZM_I<62Վg r-l;A&E}vCG T 3S M;cTS5AjmI&K*ܶaws h_r;yzQQF/C, c?b_%dlqn_t1?^WtVy 0QV?'a O9S- 2m'ւq0BV) ɹ${*1+ڑ]?S^4Ĕ$pMcQ`0ʶߪlp1{`kߕ56M nc{W Z73sfs_mp[Cb|[Tqz(#[(ChF̃Quj'XPc+ʶa$]ڤd $|NCMv~h3tLC>QZ01y\.|,nK!yͰAb.29jTXm!.VA,KzHrcrq̷ kfxwo枔d3[tƮDZX tF3!e‚(%X{;Xі]Cs<]CBEK5!!Ӟ[uiRa14`HޕI}tVm Hn+'k+rQp /؋Y9y5=&Wd%ɤJlyP /# 4 C`sj!BTԏb]t`PX?>Wfac>.QWDG"$_@Mq?_5 ds" wٓiz|ڟk Ju:M Y0eL&o~I >+ :|"Wt*&_x G7\1 Xt)4!;fo`DkSe"1WnKi^E׮ 1uMU ڇ{J1vLt9&轊}➆rfmLn;BvF]d8~59/'9/{mk#9\Db;Ƶ0qSF6斣*vfiu2`X*;^w)|Z_UL_$cNuR4b`B,Hxs[X\&=7^Xιoy5fJx3r"p+\GT;O|5cQlID-}I%G2^+ӧ92:zpB/{:>;Ra츻q' 44T5.y[Haaԏ-E鮣<@  ̨xf&kNnueW0gnЯI bdD]a[axЀ%7h+F(ulR )N:> 6'E4MkJhx5IQsb+IB,1eHPP!hq<눕H0R5 KpѴ 5>ъ&.=g4|#x>ش0t3P|0mx$ޤ<qL}`NC!Dw&1!*c9KuJЅݔogC'SyO]ϝk41?2$)or`Cy^ǠzsLBrpm)Ɍ,"g_k|鼸F0$B]󧓖wU4 7j||2=@.:<&qBėм[LsG{Xj#Y:NvDMr.+˟P dMlݲs5^sE%,-\'{"Qɾ/ ^uk%+dlYޞqpvTjph#O=:\e!&~<ɹr<870txĊil&:NI@>o\w{ Z8( qwMj֬|40N6DQ]Cd*"< { $4] 9:D&5KZ,Qfk1byw>ֻ!1h&̉?H>y:La,$Pl(txRU.i2s蕩0oKUեN3';EOC"l#]Yjoez/0[ڇpɯb[ږTD @#͙]`6ױ1UPa[q(iWȰzN;-+jC^^ k@v\^hzAGyӑ oVޞHZ|=ku$x%av%ͥ$[>z6rk0;szB9y4E?/q:B*?S9 MH=1x C\t/F!ygq79)xGwW5>+eB(/Ij,$i?YD72 , ӱk1Z'"$2_ĠH >Sje}.1n4#`TހnR>hO3JGgW!&!> NJrG@M^}!xlS17LN:y:.7Ak'L5נT8u2$aL0$ I rgt6~mzN&gIe#sMS+K|.W] ;A[d#絟re6l;6~oQo5at!U`_HVDRq ;=-_ |r"#VQ>YS@ ;mv+Ekm|$ Gv=ny$h#sj{ Z>޼VT;+Qw&_iqsp{&!cTӅ -Md{#7aɜQGy2^ma5["J~vGΫajd.Y`I%朸G<'ͤ[مX8X,3rpꈤ ئdJq)e83GG4YSs 31GɪQ-I32\n \ _J=@Ϸ:O$UvdoV䄧R%rWRg,ko 5Y$/GҰdzJ5YWEBrߪ^5b^Ālh%L#(deR[؟A8$!qء_?\޵=)w?\XfnY%J_k%I\B+<4%L |}c":[u?*Z4F#HXH(W H.g@9GCj/. zeWfj `?+0DCiĨď-CRܣUjAQK&Q{'H}{5SxMviYê%7? U79%LFs? -d׵LݶTRm[kX6 !{x.є$_O# ۶/t,rm| H°|Jln/XSg-Ct3=7d yb"pO%BU6 6W܁j&^hk\DSYPZS6#"7S(CbA>2{ai:c'Lh'4+)F dOL`k _Ei `y;F:3nuO2Zq*W3Y2_?Wݿ7uب[\HE+zJS'NY{tSKL ^1O\1f2OYhql/uG+h0bf5h#WpOZyЈ-[\[AM~\x0 Ĩ6t`c+7Y rvGEAwC0 lp LhE!J4.$\CCbT 5. dRkGwttI7'Qя$nP[03 R@0 /ȦU $2oIŎ:#MI~HAB!QvR ["e&bŎj|6ErKyC}=|a9,sd9|9`LtoN K,Rsa|Ӽa4}C49wʼn)ͮjh/E퐡;!aSwVS 񐿂-e3!I%O^nL _RMݛ"߭ޑAJE,~0"(9݁$Ue>&.`dȾmjl%D)c Y@Ha $T1c'I>:PpDZ(p6-O쀺Ư: O"o%P(ONW7vJ9i BrS>6Uk:fܦ -whSE=QaBwSkSSڗy Wp&* -ECtߏv z^ O8N"r;UӍAVMd:c<03cSI3bXjjmWӷpJ[ +MoRT%kN|`V.ϑ*DA&p> 8dNWYd&q9`f Wߧg]6"됓&.b{ xD~2܁-fur Q1vyKL ݔW0fn_%DDeWEN\;ǚʜ:;T/p!*uX\pd i*vc i걢 %C]]k $cS bD'nnbՁpWtT`Ӄs5* l[&dBl~Yq%LȬ PF^ Oܕc̆@$`8 0m5e!\   01?>"ߩ]i'*׺v 'LЊ j{1n]Bka#KoSh' 49G!uO%K+`NI(rk̓E>^0҄D.Mo3̽I6̝P T>"܇2w<ujkebP`ӽ5NJ382 'qw$415:ʞM\WN(Z;d!YIH<\|g%U![H]'d^E.( tհoXSKK&1Ύ]8!84MIB-'Ŕ ̇_\ V֦r@.Z͞^HK Y}5֋wi̍Jp;Kn텃K:v%2ܙ+ XobK1K[^=7-h I6GFiےW{vl D[Z";&tm7m Qv渊aE/bG+P% 5>u9֝]Hyg8@La^1H&2/!!gΈ"b/u 魳޼'O7?jY?8[fŃu\FjMjr up(W> lB^8q}Ctﮔ)W}#&X3Ta}&l"d]=`kڶv(7@* =bܕaϋp3H_ɛOۭ9:.Ēi.Q6蒪uZ?Sa9t([$6֑x ]kX<Y]Jv[4o] 7 l-MNxcҳΆ6AL`gP $ Clj8+n<2$dB;v, r8Qͼ f5))zP fn|[M?YP|:ْ/HV3ΕsFVt6ϻf]˪po؟QyY‚9׊0xkZn_ng` &NW*_dʞ8 KU2` &oW L? 1mZL!A=р5cK%o۝6!&y}O[X}LdN"WzIS2/f aSΣc?6wKq|Mlu>hp7 9̭/>q idcD)K]iFnm]7:\dڅC]kj2^07|Hߎt^p)4 VP,ȁyᾺOgO]Q/38łTXcr[ɺEo1 VM&%AXއ˿Xӿ_-i팅F|Pb-7Uqr@=M& Y@/ft{5",({!C>1mB۲:2l<滏nK +8:䰟AKRoʿ_ڂA&g.yzW ۝Au5<yu츪uژ&Td0Vo;>lo C| 2MGͬTi+ /EDmR+,4%$j :ait}lhH:w h2S/ŋ#^lmj#Lǭ/ hfY2u֥zr¾{9jH6Aqv7]8CCm>ClLDG!#kt[@d8d I\YLxVt~* s%ڰ޻ZpT6## 6(l0|c>O;/ٓBC刀Yl,+`3ZQԛkEapZtͨÊ7pI'LյNIw5%4z˘ʤn̈́./>@`󽐴 Q1x6z-VםWdRY3flly @ 2umcPfV9z01}!Sd+>OoAjTN#sox3, af9Zo5P*NՉ ?)8'ǏtNq6FţR#0'(68;ѡؘN?Tz}M -`kJߵG\K#+tqOt9[s\^1"@kk(ɣZ*jwEY,*9.NG%(%7ړ~1t";:1S5bWʍ`U{Ie=oCXS]ּ+K{r#I#؅o#*ub>E=wжHu?em2+(OVtjMl<h" m ZO1B!gflK)!0⍡wC*N FJklU֡vQ.0ji-&Jt^cpW/{Ei|uwǽq͏tH0s]V -)mc:|Q/ľ` l-I˄ԗ|"->fRF>n)G==pӲ:S7^ d4ܙ$;j<Td]=*5[4Lۇ( !?*h6+#Yj6ML`DZ8GFiECf W&l0'Żs‘eo'3ujsOW2@;d<V(ΜQ} WT,7 UnE**Bj ƣW,;+uyAJƛxi|;rU.I, NSך-_'3+Vl Se4l<ȰfmuJxqVޤK84ji1MXZ1ELrƑ8&`F/RuE7z~? Q5W8).Ҕ\}e' }n3f+c$qdW PViH8a.%,8mTfD͢7Bΰ?4vk@]T3TH[2=~Cw=~Y!L>҉^2SD|Ի f]nsj7gM@ I>mJpCB@f zhR_^rs_=OfSO [o;@/+~pKpj6\&Vb:k8 ɎV\3CQ»>Dɠ/ -o1lyyv %WgrVp?X;0jd!gBdʺsC+A´;qן[0.@1 =¡9ZI61i9zqQn3P}|ix;egYEo#/o4^ 5IEHbxәٌ0#&pmyAOG@/\#CNYL^^E1JoOo8Q!]CM}烙 ?VT(8<0焠z1ߝ,K+N;"x˥stC-(gxzL6Xi#Z3#LgpS:>9Bi"6[TvvڂM\JU\͝h@҉_͂&Άrj9tlO\$'BI:[HMbrHOut5S?ƹrgS+9+Lќ_)^oh0FW'f 6_hM3'Qfj6#|ÖB]~f[T=ϐHVPUۏJ$Wf6^l(^Bk^lg 9G*4O^ vB&S)̯k"JR8T@mK0fٱ.\wq E,mSWR ɽ!xu"5g>kGFA1[C7DU|tCuYϚymҍXڻ5`uϊw1y w3#)@x AѾ1l#-v[K\+>zs1P!y\i9 fXrNjY ]~jCql7S7f~=,]g҉я1`W}Q_@xh,+-E{a)O 0cH{E eNj9Gy)J #l5Db~< t7>4IdwN4I70AOxݤ`]\LA90uܫby o>VowEB3Zl3 PB9ܢ4mqrkC'`^zs;+T|SvLaSOWjшG*eݘ;dBxj30>sӐJK{`AQgȒ$܈ 2ril7,hfq p0`ET0'9ZIߍỮMIv3#̓3KkptNwڛ7O3^'!E ꦔ:Em .<}KW=*GaRNĈhُP̿ P|> Z=W"bbX\7z< 3,H f.J"FN@ڹIEP;~'a53l㿈=\BNySH=mfQqe˯L,H$kMqA ZGh*nJbnŐ!IꑫqvsJ\4&8 .Z&%M])jQ͙zCo굴,HrPSi/[ܯIYcIo^6svu+x>.ʳh AMb+ `7XXj7{a:kG;uTjdY1.+ߞjUX U8nOEUMR{gPHlջRl}~Wj6s_}+_OY0T֦#<#W*^à[Q֌2zN@6# G΂p:KA{Ꚑ 4U֠I[+z^؃j"$\0dI{ga 3W E.qʲ^j(MxFxeyfqǫ?n"[lEMbo^4៮jWqûY\O+Z,(gNxўțs٢{T=JlShш)_nj}%$0vcTD&ȹZ1t9?EE=-"#4p&EA޺ЗŅʀđK.>+=hxk2 YCq8ol:umϜ`f Om`+WNM$߽zv>!HZr.ߚ4g$,O1ewGnav<FT!ىdp?Idiug:Q4U_N.0-lB262_~}8rkG$Qgտi`%q_oc2u`G9`vy4JbEǡ%pS^teWf"P[qQ< 4,jaBhP K}k0):z;mL#Emiw t=D!0\VWdH)eyM0fax*zPˬXU 7iVu`YUCP\[V֛a %ؐ+䨒_ˇ'R T [t̸YosnP_DBL{ RcͶյaH¸Pkҩ} e^:9\+௨0{/n_ʸk`? Nkv"$A{P2vݜxS דvEhדCuL-n{LX2"ɀ$_E ODDEoVX%GIz~VA0G?VAHm2#t#msb`;p%VV%/66c"[5w! m;IiMV:dΉRD 通TbcLJZp<翴>ꂶ =5 embKs>l,l3v kt?$LFn E4$Y"O9~1k#'-'x?b2EbN& )GLIu%\Vn}[5n8 -3΀PFڔiqSV5w2z'iL8Cu6FU;deT8{&.$# >ݛZێ ,g"M}2w>?QB.wgZzX[kk^$| x)3= `cl&?/}</OAѠ>[P טc 2. {s7^1멟2Sa] ^q2^kH3٧t?r^wOG lx2N$=[٨1dJy)j{)C Ԑڎl ty*QVc3햄SsIWGL@0Z?qUxg:җM u#6 )gxg T>{Dτno+cf7m.[]&ZR~6x`Tq14<N]zS%;N.|#Dޏ 1Gajك` ?V qȸhbo":3RYHd*B_%wo Ѷb*i4UFR#_d,UIɞڬ SJ$)d;lc ͗HpQ(\uB2^&u$ @  _H4F/No4&@4{a%0Qo]~}CCZuKWq,CB,$+eG*jAWU" ?1,jIbav3IfzIY0%aC0&6 uNB/Ցy|8ܱs͹yj5x"A th\tq5GcoAѬ]Y_~'o4ېFa,۔˛R'ʮ3$rcȾEU!Js[O ~Xhn&d²{30Ie72|[ݡ_j-YFSCN-ՖiDBll(́U\ego.4%Ae"_& *d<2øO\t/5 ?ߪ`Bp)J{4 Ŵ)'1PI ƛ߽^>om2wcr /L]aP{(§48SKQ$_B~x L񋟃)#O+bEC6 ӴiGtĘܴkY zD)dY|NoX w3M]Dt22:MG&O zC^HwwI(uEq PK1䯕3V:@\JjY"Y 2l)h|$,'-kvʄb/YXk##Il bH} |{ɓ~ԺzD% ge-pl'or%*Q9{Rϱ-w 9/Yl*,i඼L!ts<.b(i,gk5$#^U&N' wDFO҉11pիm!Ѕ  w] Хk6;@}-bHA25}4w<ρp 6y_ "\0b# ~tVt@&v1D'';/.6LDk-;K@gQxk2өOAe'[< I^U%jab& 9[?[xH]X~4)aϱd7N~3:5y.Q}[m]ssZF7; BMgM@,c,@0 mewk[Mʥ27!ӎ5DI#Fh rR`=ӊeY`f6/> bdxmzX O ^u! 4e >eú_/$yDhFHID6USd/ KªKr8V1t5d֦kx)ޮK a}[Pkڃ0 HuiUGky=R[xZJ /Z^d2Z+@x 'Io}:ZQog^n эnޱ3=Qky괧|"c)Pp#-ĴH=r=A$#OO\ B,ǸPB6|V / [0ɍW3r l5،`ݡ𳈥G'zvu= 3*2F5oa vp+Q–Xӌu.m\l+nWT g )rWcG6RVg8028x= .qd8oNQyʯDse xܭlS4ҒE$7(&it;, WA_ gF&I,`l\)-&yҾCݩH cc[ N `v4n 4!(~AE*7݇$骺3; HrwR5d~F:>IHB}.'qG Ơb@{) ѫ/a>b -k.]TXֱK?ٟcʱ}F~m7aC˥W%A{סv&Vsg]@bCV:(Mvמ8xHl7GRj>ugE % -G?;p.B ӚS!3K{zb>&-Ev~ gtSJK%x6UoQiaȔ數<]_IjgBFR8latύU6?ݎ-H1|p}Kkc)!78!ʬyFKK6$[g1x-D(,֎nNTlCjB+ H 29DP{j}b|Ÿ)d!*g,D#ƀ\A+$W׵Vj&:azɹpFmȖԉ@,)B=x*Ku@ '4e-զF"s<cM6,[*4 ZAU#&s31Dvфժ?L|N ZKHoXʺ38!0,.(}7לy rDLFz7L/յmH| ؿAEMppPK]`RlͣvB?iiz@: @7D_ٸ34*.F؀6Yn@,fC ӂn3Pw箨+!Ckȗd$PL XRO_vQ/o:dk܏F(''3)!R4ht;kH`KLd~c aEƵA3T 'm` vBw p*zN8)DEH"iQ&|@{oyouӮUX9K --e h7L$$7݉}AOmW[??;C8QZFюfnZY}Sf@ہ- XAN6nwB ~Ԧm-'T"33+h̪hrREoﰼz/U6gnOI'C{pk#zrڍeye!q4o{(fż_l`ޙ[$=.Lo& #:AsObm;Y_b(T/T?N/7Wrp>\U;M.e|^R;˧j<y87t(Һh#eRy_< /[&@5$|P ~h n-%yFND[ZʮUT)؇%:j(_[z BB7%tZ7LlhH4֔q z)C )1qˆ2h!K Yh>$&qkx]AU9 ,^^=:8|=^]5_OC]~Ժ qeKJgE2PS∌siɎЯ 5V]5=sg(; /hHA1 \ˋ-կxܯL}êi ۿ]EyHU#dTߥ_$G1򢞱;GJB!@i*0SEУO QsFI$WnT2Cpsgg(iz/+2r"Ҟ~ZA,-SF+BUzQ{ɸ:>|fV~E9-ԔH/~¶w$U!>ywW6⌘݆ƈCxyQM Y 3 q ss8+i};E 0 ĘQe":W&cʙbHXa.vMk8 g/7]s`ǣB"xy9p],$N9fV -rDNSkN?GUp̐`щAg]݈{;H,IsMc:Г~2j.ZK jJSr4gꎫ MfK3( Lyfd@V# {Y⓺2˅Y˫رZS։0bvFq/Bv܄y0gH;{WoȂS{`--s}#I4(X$$@+\!S7;u×9yda!\EnLA%9]/ xD~ĕ%`agf?/*|m(#0S婝חԀU;鞦3JmYJ93 7nG=9GRQ q My'c\ '`k*LP$YŶ>K1͹)c.\eJƢgb$s[M.D@MI!~|ok WP>0M%~Mޯ;J&pp\G|?˟phTcŹ la|#zv┗,{ē&opqhl|,=?Q2x`}d|jڢ eF5#S׭%YV$W'n;~֖& ]@'/ƚfybӑCrl;gz6ۻi9D5_3a%~]ʷkN,\OdTyF`ne+ *'țV㙭`d (o}}WW9R0!oq,*V3r^hI.%~V>ڒ .Dehu>uro؀7!c4E-,l3;%2kW !nDOoT~5 \*|8@cLL_ PZ%VX( E)sY,Ĝ2˥J%2{FDK&UG =4ݽ^qwL/U)g{/o? ˀJm=\45 FGlےrL8#t5z)q;A&q̓mGܱΆKv><?SҢe]tw(}1N!ݦR]@k$cC~h7PWF7,gZKzs?Q_Ld.eqUs4%3t٠j5n6S1V%!*bB #D#蒗hCwpV`n{iySˇ, &%'q}u,HǗz$"]7Qm#9\r#F>\4ñe _ڳdB|F؀mdS%/ 'Zܜ- v.#R"h/{;V\q/eҳRG9oDl#[ؠ^85G7A| &EqKNZlQOtO5Daw閺ߑ<uFJrބui.%/VŽ/!oҳ9u9}Rs' AݳrpX% S+a1bt$ CУG( Uӣ=LGr/)1,&\PO72K[=pxOv Y@`@4Lܪ@Y&4tr2M8RVbMQr`ſG[iʙ9\"{Wt$QO6t,F;pڲ0hF_1>EǍm1 !lbC#@q7dcVp[&mCJrpC*ʛ4j+T}Yl`-6ڔjZ1F,T 6 K(.nm؞ 5ލ$3EE5x ZȪP`@)? PVn Gb pmu`fO6҅#R]iyk@(styV{9K**T-0'd:H"k0̊6eu< {;[(<kDw$c-qбOnm#9$^B}8vf*@/̾;&֝׾'L:+7<&F=ƸD]nSA\bXöʱbx$HK; Ą[ąНwǕ14\:X8})\~NFke+o៙P.@AIv4#K1:17]9.`kPS=Y27!.'x CT|@fNtG0#݋l͂foH)êۭ!OߜC2/U(f[vhlhA '-~QiIIr(b & Q,}2w տgaΚO^*(k,=1~@*#Գ yti u|ojS. NvVlj)ՖuIR7 ܉Ҏ_6$aHq^cm`<&q)z_[4;{u*ˆbD3ͦ#)L, $TӐ4<|M<י ZfYόY/~+cQLچK)t˞WG~h6)=2RI-R(^Zcgsۊ@ #DߧҢB]P#us_Ng s14ef@HFg6͇F)SbJrrlar`gA }Գ\䬯u.Ø)>$o{LG-&\QdHv{ PpZ*+pI#6A $?$"|ĚrfZ4/"WȭO5N4m]$9EE8.Sb;Ї=mj.*}EN"=Z/эU֩|Y痿Mt5\rpN;!+ vݢ&GmfI{2vK$U$d@%OU_8m'XuE\"-~30 A8@k>1IT#/֬Hf7;O& Xq)}2}KijǺ>!|ĕ,Qǽ ߋU(U۳ZG[o Et(=hPƚZJٹF J[&(~ )DmSmb.61}>\RͯbLBznjI54?Q/Z=17R'ñ54+/}#Wߚ՟@tou?0>|LJ//S8#wib<{/Xp t{=h}9ɺe|`_/ 24T2ƞ+caADqf(- &E31G?ǎiPgV{ײX2GîG/nnL":[v[Ow="zhH9}#KQ1kHfGo4u]Fn~K~faż-k6OSi w5mr"otgFralaF^le$Qn)@@/vqqy Ǘ vnnlyLNƃReDAXv!8 *SXm}u[*dT,CoGٱ5 <ׯb9"*kCFp4\i]ErRv̄;]!˭u d3l'ѣ`?qBa!2F/m7́F`Lͥ&ՍyFO& W-=.̍v qw'l v)>0KЛI#%s/h&xZqfAc4ZhLt @Jׁ ΅} +U!&ɨ \wc;AzOR3Ūa_cZP l\ 'nt__^|&B%˼n;@er#[Ec_1Ck쮍7*_JDz[2;KOM8_% v'OrFiMyP4pDWwbuu¿ϒޜq0@0|]8ߊ*S3E kOGJIKZn /9XdNjM\2h E JI"HR9 c;`dz7xh1b'G8&Sx#ՄO=yQy,ݨ5ioPy0=5bJ+!yj}OGLk's{DW,$x S@bq%7krT