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  +LT ]I Promela:threads=4elapsed=197.325cpu=382.040gc=25.544factor=1.947zXZִF! n]ŗXiɟH)0%oE˅ȁB%FQ)Ͻ 9hɞM`hBo K BI-΀'>?qgkRWeHiSM:y ^'X]%1AEjT !T Ȭ8?Qo7RwoU}@{KgŢN .=G;-buʛ:OPX1t{i0_ņn#=E+UZkƍM ]~E~ܞ{uOMYє{S(4I';8zv!t/2# vib ( VhZѝ^Lb *FUB|]jJIO_e}8Z|Mxil9K#V X垠*jOۙ[Ҷ*2^Yr4i6(Ղh%㚛⃫_Q    Promela  =AZΥ­`?" P6's/Ll8\,~_F OV}0Rq|:@ޚ7P(U,'㍠JE>%NUD!r˝|ulըn E|)Ib..FЉn7=m12gZ{J~ִnygoPͻ v[_Z \j_G0$rtk J#QZ.3e6IKޖȡfV7zbW2S.yND_"D\_K?pHN}m.MX=K[ӢաCR4*iOo% e.bT^˜^}9ehHȎ D,q.㪀Cks{aԮT2ܴ$V asGGn:8sYODū_P.3z9΁.{mGB*t!B~0b$)L:} wk ԉG2xW5z޶#ԩEK $ڟ]%v8*\"&BK[vSGp3~BZʓ8}f &͠YKw!ں-ê`F@^%z2WO'/yE\Novȅ|608+-}ne].qjJ&3q*%Es=p7au@aDD"yWYIč5Z#JLk!kY~%aDJJbtaӢ{ i,TcIϑln_?)N'PJ85jVhk/ŎJ#n} [Lw$Ґ'.vwwc+ W:1˄ G^4fDKAqagiOq𴒖,r԰ƹi J]͠bEXΌ=fT&8#a])S !Ha [ΪA5cP)iEQ(g?E]$n_ϻ2~2/Ŵ$)8 ʉ{NT{='cLp2|1N@lY'xmEm\r H_H+t!]5(ơ͆(B^MwBpJGbUrh~(H^4f>aH_C)$i$ˎT(L|åE&^W$ǿ=Ge`i2f _A:"[GP& Bυ El)ur|2q=:!4,jN=ni í3Qg\qIic@ Nf3h_`&n&?l/{ȿ;Ϻd? ĸD/Ylȸ`@FWũt<ʜ9uĮ3ꬒY]8~γڿr5Xp5d4+ihg,i%HL"}2$ AGxLY'=dVrRGSܦ~ɖ6i Y[*M'VҤ ޵!, m+n/ݏge!mQjz7pꞔKxׅ9Q&y$(usgW+&F" ^Hˡf̦k8`УW[.SƠ))PI}%WsNT%e0Ȅ*|o}5>ãy v\ٴFg,鯅ԃ\iMO^C=\IT;~ 1@p+Yvq7+&7: 2~\<%.ny-N2y3~)AӂcGq|IٓeSH;iT׃41 ]]% @M xS% ];]?~;rhuzL.̾M/QG( _SixƏ)-!)Z:ی&Ց٧9j54?^`ΫU| ˑ n% f>#PdcT"A$1H3e:bp±ځKVkG^Ѵ(!E2k+9=X%6ΕH4WX6דskpΫ-kwe7. +K$#=z^ZNhLwv@{w>ñRЌl)=:+V&:ۺ1z_;M=orLdԍQK$9ɀepIxT\hf~̙8s"o.u bqB7v]'?< MGvkYj{i gTE7 ;laۤ.k"ӊT Np\mZa$pO>iz,`^G?ap49jHLY;˞QS>HpG4}ju ɒ.`B 8 yS= W"{Vz~H5hoR<v@lj۞|Kih/8/ 7uI0)QGg7zUPɮ- cd/jkl0'z5/fhqŭOg{I<n U݀& r2熡-{ {AzAS|kdV׃EbX&Rw ޵ft%{z"Ѵ4rE(}͇Dw Qf0Dͥf\SxB*Sae`K8)k\uj{)k14_t#m\9^)j ԩ8_70yǬ P`02uj=t}RpaOZ Hv$ώkC |0,͇;D |,J;s'9C-{NֲAq+WXcn/p[kusbʀY&Esx]?9@lo*W8AŖ 44E߀FnU诼Gnhc *xV}+:}cK´-G3b)t+=zKyaWDg,W7Ҿz_&C1*Ѳ՗4#HHGxO

vg}ڦ@^eYI ?28ZE micw16'~/Ta|ߋBm;?҂~FFyrIHG姜 IҞhCQ.d,L`Z lи@,?jԃ-7v7wkx- %b3`.i|tw4b>!o7,e@2_ w]={pNl!b[OWg(UفQ~ 6•Z_)jZSo֌xd6ő]o>6xU:aG8ކ3tg־M\BS{4_ k0k]MՐ5 gNrUa9٢mʦޡAFΖ'g;Be=o$Jm'u[v5gߠimk5q@H>9߰VRϥ*i~ک 倛ea>{3Gn-ƤUh(>hĦ%Ҡy٭(" `IKIrTGŵ'de*:?5:&HۨO$-NS `Yqn'44B镜cQ7nE aI6Sko,ArA0DP$;Qo"LGݑ&;&6+Q@="+;#3\4s`܇e&)L1OH-[8S!$SsfW?M@{rü¾Fw̬V%S{f\d8؉+ܠ?"ĎD^ ?q|ԉ'7+H@ƍ#GɃ.?1BG4,4%E,wjk?Zo3@uY TX狡-rcR(!MU dj}Ǿ':&bmSWET^Ū!J@(mz1FBE_ qo/C/5 kMp1_ᥬ`W:zR9]J6f&anL ;BLX7kX-s2 dp0'%Lۍ?s NnՌwKtWn@ Syo2} GQq^o-Q)g \f5=cxinOy2#LH̊!ԥp@cJɝ6X1Qnޗp׌k^oj:1{\ |gaĢ^Q=C)\@`WcUsUBqybcx>#hfJJVY3U#8U-(@lm%HspCҥK7޴u]6w^}jrޕ(<,.|1dk; ! pRBUQ.+Mf3;u̡L+ mE\"(5;}=¦xz2nۆ&E+dm;'Eƚ|K2"lV5ѿ]U#]c&/`C$IY}4BI1}*gk &-Yni8g>- }tVw?|lA3ʙDJaT \ҧ{f7_6f*LTdR*ŬA*B*ZcL;Pt%Exʎ:OToŦH>2XN]kz>Z Xj f2 #@/NMmem0"9P:$TͽT]du 6U J )9XNq/߶֍v"a^yYj:cÏ 8|ހbH)ppxt#(/ȶMлP# _jgQpY+;"YƖSCO0a{6G!3Xn 0dN?:N2h:_̎JFK0 XAS_g64/O@,2d?xlդ,lrmnº?cmVH+mTF8z2bHONijnzӑ{r '(-gVt<`T v8sNY~Yb J!Wu9jq v$g4#UxKE--SOl sʊG i}%rH$;̘&ac34lz\^zZM!JI]Ż u`h`۠|ݾVu HTOd I1˲q ~ޗmK[K7 q^bBaRyf)` a_-Ӑ eaB(L_h6EbhfJ{ )>J#u)vwd+4po%C<le@2lGćJU-mvMTk U=!>Cu/p9m}f: @A.8jS XT'J,ƍr)C2iM-_2jlgIgz !?⃻ǴNCyG&$͔aЪ -複Hg޾jD[(dTc}|==~fd5xR7/w@Z9 wK>۷ Z2.J*m"Qr?T@=EKg." ;X {ԉ p'5攚Y*Jn }ajDdBpkDzh"~@Ёa ˔x~BoqÛ'OGJ˿9W.2Xg}׍ƊETŽ 澡^(!`*nI@pRI16`8`4m~4 ;yc,+J\p$mJCM=c{ɡrBN2X)ۼY'.ow8Mȯ>F2!O8B"=&yG*|#;_ҰZ__{W#V'OeR_F#wyGu߸Q_w#cvK,IΰÓc[Cf::p+ˆ/]$P7QkQrjoDv~8(-%-.ٖ܍jIYAų8H7Y!.4opBA(kc0f_ܠ">;В6gVPkU߿DY4(r5-f[_쒼r%ׅ^Lt~ TkSE/zrVƝ&N,7ZAH!Ic3xxE̫')^Pow꭬R9Qa+ 4)mX4\l4%c jX`kKRJSCBz/}37'Go }.  L7B/=$;ݙcԪ@e4!plpwhߢ+ Z_RҰDc5W똮`kNiᖲ5:63eL ,> 3buXM,($Хɬa3q$w5$-r>~C BKΏ6O~m %]Gs4^ Ѷ /X̛gO 4'm8SWS"%?ȜGڤ[xVrr08OE2ZZ#fkp'*[ѫ* zkP%F؝4&flI ʇܽ\: "X)"p͢ݾo!TEBxJ'MUdY owo\0h«N0nx]_9x&!K+ckyS{6H|yap |ۯy@M#M, 9Q)CcWH<_)]db SN[xgSߐڸLJ̘PJ`NBawz>3mvm]' 9yk6_3 DX $-yup"p1][S ᒾVړ|s V,Љf=YVAAP@k)7yY,iiy܋jN f!irfOc>}!"Ȯ,}-$mg~[T56RAXBu Eb\rE+ҷb5KK ,9K6rk;aE\G-s[SJ,0de:Y^4|vW6* ^x; D>koȟ\UuUV#m[8.JD GC&ƽi/*/Q2'5<&^c* bbK ݹ"=J#d/gy&K"xA)3i܇7%D]]Ǧ 8xj*+VGDӌv5#2 QQ$ \d3*82.;.^WzE/!Sz`CB߯ ?.K|'d)6hit (ӸWH;xĥ2W,'ը"ߴJ qvuaċNYרy#5 YBٴ,u$cXCPcoVD S܅C6d$Yafq%J2Kۂ 7J&!ngem)npks×y[&MϦ+Q?@h:,5d닟?Q-CcN_X*&%U7uDp,5䉎oՍ ߘ>i?fT$"$B=ՙ, DT5q%HD]Zy 'ū0:nO[J8Ry=(^&#*6`D SGԉM(4q.efߎ8,z9tl'K8Q2!y>wj2vTA"Al A&qM۟v^qwx*2],wXCX%@Dَp[|o{i~+j+DӨ}PO2l9`ekxƄ[$&GȻi=[ #3j弇O_صȢB){.϶Jzl EYм$! ~I'cG gIy2PA s㤷L[W2A\?Y"Ăf MX;bsN _lݴtȜvlRÌ}gnOؽ DMaث L7r#B- 93k XASLkAyZQ^zΚ@I&F*w:j&.!^C.Ċ|=8L:)G:jbPYWPUG|a%+Wkgn1{ZLAmsa"׎dm+B HW݀qS/^'u&|odkºà}0=,},9,BFĕU0Px&N )n7 tQQkX|wrp%؇c/6mF0Dm1]P@(yIEF5F97]RKϛؑǍG%"BJyQ܂7 Uag)̷ݧawk**tώ n)4\UqLك,Aq  :{eE)v#H2 Shb|ŖzR( rU[R̺T]$ElKUXutϕʺK0nM5+Pxeps鏒.vtX5g;&PtFO"ODLiQ 5A%_rH489b9XhEp, Ew{ ڭBTM R lo~poƹ8_OU9wvugߑ12P^.?kD.y?D}uJM"ؓr-ž:W+Q@e6-ܔka)(+aal.,Tt [&f%(0sηl$G(T5%1au[|]~\v&pE/5:NxO5>bLŜi9a)< >u_&8➸ t54tf@襧ԸK=(ӢTQ \!T`>}v*YiGse2JG*\*9v&ݿհ)c6n whQ#FmdmdKoN&.P;RDFYxqMV4+U6N 2ɪK5:gY==qq b.39h8fVYĀwOLBsvvX@ _pt7ԋq@7T`^ #K8obe uf:Ztie3庳>?2 "Ah-,;ጺpN'ccLShN*B2:DPJ1Shfԇ蒿۟1à<#!(Lɻɺ𗩢A"e'vpUܔ?5:G@a#kG!8w mg՟]ZJ%?*Ծƃ'l9{i{m5w*m-Z8bT&}E.TŎoO,7A5[0. Q˘ÁoI#^ga%o$ P ¦$lMo|4L~ ʼc~ !B4I.T=~Z?uV{ǒPWCE%h(0ߤ`r͍,O<6I0Q$ns/X@hT[YL $<elfF(y0i}*/+Y DT(E4nZ&V瀣-%9cMO<ִF\KIлdp-&nRd6WQ*뵥\J9C wEh:ڪos SJmK밉6z<}E`c2QzٷhBOg:qun7TU_"L(b*^mCV{ UYp`lAL.lP)w>56.+Z@/8Okl-VžoWO,~c=c']fcL;㴌6C?0RroP٨đ{&+dWScOܱ;(+5YwB[ Ug9}W":Z q`{Cȿ:]Xd25mM|) N."(u^ysTѓ0WaJb#$fgDBlaQTVm;pLC&_=!ILe\1-.]+!'90KNpwߙ[;{{J%[㟼YB|R@ 2ŮxXY6tj/G>#MC{CU*~B/yH5kwW~36G|0u7l6ٕo}kF/XYh0]k}mwT@SZiU8/Mr N_H,..FKd1JϓnTtoRZ(8ٸMQ(>kߝ i &FwT"l8Cp,Ņqw^,)L cuKL[$ )wY #TF3<`}, qKDdUv&"ڠeS)Տ;_"FM v]Ʀ'bιXԼ+s8c&\“{t%A5Śc5$A5P)[R_Z|ax&ӛ S+4υRMXσLvtueT?b^GY.\kɝinܵV5)MOʌeN!}٭.~ܖ^k,kҼl|/)UEթO/Fr`K[ 4]b^JcE7ƹE# :Jik|-9OVX>}Ykbs9y)"V`x9s[i6! 2:h@"ta>ZjOL+tm5j`O74-?8G>0d.*t1bQQ#Z:M.fY$s]wLvKU*lO*Lv8Yɉ Ro'aܹ ,Uh@HC=xoV5gsFX#:ewGk}ځf` 'CB,(/ߔS@!uWGsMx*4dKy]@;eSإ0hPX @_t~Ig[04e[PsWP^DMd-B\˴Ao7 ^d,LyL -vMlyMD$MT3& "c3‡.i؈W0 s;JJ"_mmkX5\@X翬EeU-E˫gwt@БfW6L=~ρ,D08ˉ&~p7s :6-ܪ!t1+~GnCTE k8=(6tF)#Y<CנRmR*&ֲP&jD]1bU1]9h#xөFݫxc_Mx3a!SQG]TS$t]= zZ|M* -fK{vޅm2=' Vto̎`Uat^6w :阏0eL5P|- "_ $_oB`zWsEAa(BTD O);{8M&C&iwꩋΊ#S^ve/c1I->%عi$(St:2r^dI?Z!Nʇq7EKFk=}- h{_oQnĊPVBH/V M`. $y%?!< w\PK6h⤃_SZF7<*),xpБ僖=uLV&+ȷSؿԮH M^.iFv(jDR_o'[qX9y]ByGǠP+[ŶW_܍OR+J T(~3b>5.f$(8Dl[Fv\ē'& ,5tNBL+f_.zOnI-.!؂2yo0OYyIe\RT[~b' WJ7>ǷrX޽X@|r` qÎ\i왃ߩDi*Z^Hkb 0VTE=S+Q2W=ߌ%z8ݘs3nLj0Lh jac|[!X4ug7'%<>CyͽX#1x8Ez:_ ɣ~!tY&lfM=z1ΐ^Yw$rQ&B3Nb DHp5*Z$VTVCWڹIy r%n[! 5@cuٕ G#▶&(\#{wY@M_\ȧv`b%!8n(_C%/˫GJ]+b8e/5K}b9 v}M>–WntH,fpgån˧Izڤh⠐Th p:)z))fEC syG (WzF͟wz0u=Zi {%mF8G)Ul Ꟛ?DgTd3~:s#t1IP^.(ث{qf^_KB#BӶO`@:%ۇa}S)O@l%O̅+y#eN62Y%_9"~ eY-X$l>,XX۞+1bW9pwlvgtXwkZҜ^xi1w?Y V!_Jg&H<͉G#>; 0|?MS|BwQQԢ< a.Uڗn|R;@~ֵEX琈~vL5Yj90Hv~OyFM|ѐ)Ksų܀UwWv1v8#uj C᷇jg0`[rJjKwQwfOV_ lUl[,EDw !35f6i4<߯kkZs܅%Ur5UHHETwWDCOli?p~ 7À}JL -n׃aKq~w.G[IuV HG[?x:B4P?"NU+JF1%iSxоDIRPDcn Lעz gQs8YFQD$R /uFCG{'r+4LhB_ w^?[#ċ %Ћ@{ˌuy֮gIzϭo|+qEUfF+ԏ,JgJ;S/E55R\(Ɵ7 tĘpR'I>ልr&բe Jߔg3. V&lmyٹrhl2%O'xGا_q-D,dK|fw'8D0vteH{D67b.nsfIY/0U6ܚ,C)WWy˘[.2Yy${ ShP,&OUeX~y:) N#|?ٹ_ Go`C2&n E`FvxR$gԤIDV3ꠇXo5Rw;D6Lj2\ ONg:W]OOԯ0k Q J( ؍Z01S./'_ƝVNa,l[e4f ]&NE;־ בR2Uq H5-({5.7F/ۄ{A瓀 Ljkr(ƭ(gj..9 *!czQȴ mɄ!_ߛ5,{"lf. "0pAdEm0{8ڪK̎hfXteWWKNX '?P6Bk?:$=smb5yRߺv`N/*4t79Ѫ0qWqF%Z! pK CU,=[H .mF蹁^(dR_6GjJ{Q>z0c7`w.ʵhvu a`3!g{W}/*>L3OS10?q5u9xWQK ^z4l#8(,s@+! h%25{©h&`[2*@@_0v4'~.P?$?WMߧ:~g6r:(կtRq=@į @j5% }["źk6=ᰃWk3ž3JQRRlSme.-`İǠ 0[_p{%Ow1%mkOϿ=N@-LBn>&X 5#}X+.I>|b V"m!XHS֦#.& &;ENB}$L6C bU;]lP7#7 1?`/)esjF nᅪ4G ?UjepOdŔ{P Mw]?P3p7WKrCNbRicqe\4;ȒEF:p u^+Dx o{k1]D8[zn(Ve𼎦Ut`' q$U"ŕ KKFhIDJCSĸ[bĬCjZM6z ؖwDPf$T#Rso%.\-7GySǛX`WJ("v7J6lȠUx XzFdc:3Zک2!bl^2TpPTYFx$=奞j#vI0hVg0agxɂdKĕm3[WM{O\AP:~UXFUCzJ/`OѕKYg.Tl\0v9:\(!Qu!úAiܨf 0!Woܗ{'=6ZN{}CVcWʎ;,uIN6Z3SAwge&SaTN$ χk,VL$> ߡi|LMzg熆J**R,iVwe1ÙY34OaFmK˱C5J{>E)0ʛ3 y)l0A_ڨogۘZ6)f}Ϳ/U PAY'ϋL*ojrMd㰴is$dDɪ<s"gn>~AjZɬSʠpn.+f7v-vA7+Tޖ~*u[޹l^;`FZH٦܌@CV@`^]}<#o@Sv->%3M [ K ''31x0)!IJZHYƔa[)wdɾ},.3am:v)!~+S1'ylS1ӭ:eo=}a[.jg!%;(Mϑ(YDS83m0 ϨF1Oqo)(m,vģ$423'0Wgm-˥Mt<lU7lxgU4Z.$# YeTtplM o@1J'"1#Al8>V\]S3.7g9aK3&)2,y\uFq2 IAP!Јuk.o!)/>p݄©|f=ŭi.TY/hk C{ m]/ {WnpQaT*ߍHݑ+yjmcGvő:LٿD!c/wرgYZ7zXZִF! ]ŗXiɟ˕BFSڵ+ԛPViXE" 5a-sTxNTv<NF /:ګXEEėow(&H]VRn=n8A}V(W@t%Zs0a-}kPXpdIFgwIHE*Lšry؞}=S T细,\U$mݩ2v|u/%<}Aų춛4Ȃs1JuAUa:i&Oa-Ɍ;|V|j~3ɱgYZ7zXZִF! V1!]ŗXi%L 7Vt=5ϙN 2x]N/(DeV!W_8|5 lFq/r#ζHTz _ʨXHGտz(b d4%Cׂ 4,Q.҉cJ4:ӥ?/|s}\Ƚ[}SlDWtÈ_Qsq%N1<2u4j˥FuYclWD˶F!I:-;d H28SvM.wlvP[@cLă>5N">dYklƗ؉+)w-+݉_C5*Sg $N_`8gLI0wI~YK<4/! (o pa%њ[9h_(7nmRʇJY%۪%rҘBSXjx){gS ʓߜ2x5W&٦8.E`-T+H[ v9 .1#>τ*r5j?#ƒ}O'v}83@;w9I |b#r_I CqR'c=8ed?5j9c}njF\ _j"%[jJkLaJ xЅ=T-18gKh'4^d}3n^qQےN`ވk !м(V|L/ ?CkJkqME\m%~K# XA**_#K!^HHJ=I"SNI'J;~x ~ʍ*\oo^Z"cS7Q -sG^cf+`0K'Tɴ\<\uxxn;q[Θg͒8W@! 1sev̤`';]Ō]?ӆD52I:1_yhD&'%joYG;beB\1(hepSk#/Sv&U#AEu{-6'/ZU7,bŐp0? xSRJꁯBXB2<."Ј yᢸF6  7;ӓgU> .8'8w*„k#: !s`)vZsC7N}:JBA^ܩ\PhR$CH]1V\MϞjl CcUGU>WbզJLQIM#^qdq->v˻ ~6İOGW*{yZF#@!X?\㋸5OGsOeKGdE5wDh6rCU k[@ehU#ӑU 4f0X\ʷ-ɠ9hΑ+]>[TG-؅#MG@/}% IǞ[6o HWPI$=T-9LIE28/R+)M-lRʷm(mì 9 j~wZȰ(R9FxRKa%ۦ %e<uG"7:e$cݾdy z2vyoqz{=gj)rG/iմboXm_@n*@k+C&`&g\ R 'iZg7fb4:!LJt(ymifU#Ťjh+ 1tԩi RS=ĥ[.#C6tt߼N_[nӹ&*lCn5QHFNwy QWS.rUo)Ba)&oq!v#w&9Y%6WZ':nVpZ~Ջ81f&Xg:vY%rmޭCZ&gfR#4>5f^H,Nʭ/7,Nt5e_p \?{)feU&z".`tȐ"-W2Pc'ΜXN%^fDfܾF1Xp=Jwx܃>60h0a_G:;I';2݆z$сeޜDv/1'e>'99pVTo>y 2GX #z%m1pYI=$,Xj϶(zoRiІ*"u-5N-pe>v0v 9Ɗo-rJbYv&L&{@w)h 2#u@Zz-̮E1^!SsqqCJyZD-MoB{k0JT[VgV.ʍd-siÜCںfҎE6h&zac? dcT\(e $^ntט#&^epGQ$mUHx zSRm8[B<|s$#y+˳KC[5 Js> IE֌:|CLƾe &.ζ)`͔4IDX3^Eܵ!oK98W"ZZ97ZTeT)#aqJGt D3/l2ߕ쭿ֳ?^lɽWw +&CrutES@@ߵ3503`{a- v ͙lnBt>:NW:vH;tTǧ.PH qkJHNF5ctٹ(% /)Y& WNoSiVa+pb*5[MP>< %6#Ynnhw@k'`sB4:_0n^v"XrUw*p@7^ n8+Pk!$O#lRSjrwK)I$ۛG]znVnmOjx&Kc~גdҲ9č戼_ qX&:GK(6&Ůq.)/|+e}{)3JE-0@qxBhBףLL~~6y-|JAI&ikC D]'_BgoN!C~Q}-٤IaU=2^tށx`p7W h.$ƽdDE  tOO/jEĄ%kVh'[5ruIr]A.nfY SmN%埁 2c(2sb% hs/lx* }xadL Jan'81s@hgMY & 9KʓRLwj6##ĤX\tՌF…- O3缩 KyԦ7;Ng{J]c-FIj -vRT)|G'C[9tN`ښ;ds$I$O p{d%'P:J4X)fvƭ[]Xupa8;P}ʮ<{Ը$EaKX:aIf5W;0mMΞSEI?KjV͑O~c:*OONΰߦZLQL-dBhe(҄Sĉ=uK{Aa 6A|2lVH? nA>幫QU4VncDUCR 4dZf¹~>xP*D2qyK\J*UDM9HČ8"?idqQ홙6 i O'%{n)nXd6A*5HE qH/Ώٔ; !믙_K&27a;֟{5tc/Væ=ŐMk`Bt@Ddy6hf"n榪o9VWϏt,>=UJ4$DEWǬOJ܌H7 n|A;7fhj9p<۵#IxM}=L41uLoUŃ{'pM.:X;;W&aL "*0̈:gvRۯhYi*{^Z&Άx)Ѱŝ;P7V% tEC72 @ɿ^s=@)KFER-HΝ/4R y9ӷH {_^k]玱;p.`Bf ҖZ^kC)u.G@i)H_ eeIqiח?iZkK Cw;E Ȁs33ՍYӟ'<4X)A{lV" '/1S>D<#hU?4:?OoR4D\ G)l:$i j~i~Z+e,jEz n[ā_ġ3PR(GTI[[tT+Nld>sШD)2~bp&J4M=GuP.*8ne"3tY5u4Z 543.*?C| Hb􍹑odsv'[٠j4=͒UB S\UǹpsDgvG5P(p tܶ,_}rwU[td/vڹ~6- hWP4VUk=8a d )L/ 0ozm/*;$\WxѲf0oam& FUNb~Zqp *9;嬔ڣvOLQuS=>;-ffl wTy^.j!]Oyj2e}8!uauuݴe @3ȹGdvN gױԜ|-R7- 5l㩡wL' %{MN τyHwCDz,d+UO#{97DATNܜX v6ؐ d/8MS(aδЩ7^|\. a3+Aw3d1=h~ЩC瀐>@<Ԅ?rz f 27TAJL6-7ys#EE= E+,˵9'L~HS6ЁU̙HGO]cY "U!O(tgb)mtd`T!s'X- R?5+6G5Hç`OihI$N9ZF5bFs?]uw[9ٔIڢ*ņBI{6t喼%F U*,鬓IV;]uhyv3?5X$O8eO 3pT4!?c0!lk1mޯ$Qj-a_AW)E Lъq4}\ S0g~=9G}.;VQm0|M[ P|C0?^PZ&ZdTܴMGdV=,xV`^[]ݥLǺ&0(jll`7.53?Jq\bkNw%b~_'pՁ5Dyjka܂+O-$\Mhݲ$]|̸~An^rRrW))_`YI 1/F'WE1ծ:GNZO+)G5gjgڃ:L%Яfȱ۹~-%D9O-H; \^,4#6 "(/Ol򓬬[ʟǭFǶfiM'&=B0-\tUI@"9@hPxWlȇd$nc.GWg 攂 Sa#\vj2tGE&1~^"nL߹n4wYރwn(\r/ 5b;HQز81)q.5.ڲ+|(jUa}k2 Mpמ&NZ nTf1xl{/۵Dꀿwlu>g0[}6/_Ǻ͸$(ێ!LMny(ᦿV N9L'fwUIͬ8ܺa>-d"E#aY-Ed/pnO3LHj[PJ U^cQ&Qx(، _g&\~w}'_ܖr٧B&Jj8#}ϓ YZQ~lIvnǿ(iS(-K(,ztmc<{DB"LW\&J-XCA JTYTݻ)@ ]\ApEVW|X1OqDM Eb2fhuq خf~n^* &6;ֆtuxx>FN.Bع :8&j 1INk|2OIw 76]z&w'C_m2ӓSvtAV( oCɄL"Fc:M5:ցimYAP꩷^!8r046Bxnd |3+cc.)[}qg9Y&`-=POb#? 6EלBůw 9#Xoqt}0FH7 PGygE !zo`4w!FX0HW}oԀkGk/*&>1KDd".B's@-84+]N0iΨ8b7@ 5v?Zڞ$dwM*pA+,8gYQ7׃ .cj%8alz:P0Zvk9t =k=]A䀤 ?R}A63@}L>b*ULSXh ^[AL[0G_}=f*UZ XDhu(˩QbArpKH{ԞW5ZsPe9% !OV˛挷OP;MD-BnP>~Rh[Po"jDj Hb8x$O/eͱQcR=M/wAQx$A_xolYq Ј؎h(]iyy9s`.|PBj`]+rtBb|?/ybP*1!W[_6*ݷa;eЗZksgf<"ޚXJlD)};r $/F,^y+d~Ȩ*5)=2eY"遏_[Ӄ[U=[Ci3?b3>ZcGfBeY>81:@U|dtF2.hAKe_>J5$v&EPǦ?MF]y"xUk>#P/=l&vֺwLr6JᎢi Q.DY3C2+!Ar, TYZP;542% `>A] tezdP2 O3$*29~U&?\cACL 1:q؆5\&'FnWj\+\3|[(L+a97΅QߌЬG8~%f9hLXL}tm 8Q T)^76' ])_ʽmx v8zqUAvDu[U e2GsiDL6>(i-F_^ &*sAR~hkDi/,UIC'.CBƉr= b(+xϸyG^\lDc4 UCLUJ˒Й_#Ollt6T<u*zOj4"G uT'nldx{˩5BMbwh^ MW׵3ɚƨNpGc+,`m#uF(k,ڿ{/$i$:/fC: W~ w$~k+6kB%Cwa㿲`K͸^| xx ­l638.VXg(:JJV9 . 9@J;uK_(a}F4ǮR<3x