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   J; tt ]/ FocusStreamsCaseStudies:threads=4elapsed=21.135cpu=58.020gc=1.632factor=2.757zXZִF! Qw]ŗXiɟH)0%oD xu@vj d)eY%9ϽMp)2uC1} Ȧޏ;J|% :Тb1o6 gPѹ*k0֚{PUUK:Sǧp#Re_ ɂ5 k zv Hf%XSyj>g.=Ϥd/'9cP*):1}u>|=,ڶoUl3(N~07|T6h"3%^/S''9ysAL`T(坨@ yy\_Wxa hq*'(}jZ\n&?ЬNb!/q_Rc<&C.܍D1Y@tBE^2nS %E*)Y d@Ы@!š.6!Ti, ox86„"4m#!0 ^ӉVs^?wǧdyFϠwYhJ'4bp{:1R-";h QrEuԷ׼V쀲UCQB<ܨ.bYH_-U(dmQ?T |zV;z J-0th-&ɟM҇|%^fJ5(aqYc716pJH|f#c O0q^XH8+B?rN:{3/Dqzz$ZMj܃4pm \c ޕ2YdA 3>Q#d$iցăN}Uz.`vv5I^1@o"bdC?nD|ƕd*߻75KJ.eOD)K>-t8}#ˮ~1,#Q%C3(IɊ !S;qY(Ϫqgh,sSԩGHT)C]xJ:y^Z*EJ)OvMq`F=K?:{2v{mC]x0Y-i.fA(;^Bp{:Bmz(/0iS,] zbx'8N^j?V;H3h-u9n.1'A̝7Kmk-a׀0u# GĢ0kЍ^nq<#"oK.SHfIТ1D-qp!>Sg|#<Gzx̘j|-jeFvLP1M#ֱPUf"0%Xx\v, , Ӈ}vDlD`9K7gZraIY$J+Ag@+:^0IajD/heX{(.G|XGuJFS-gl(:&q viFblcbBHd36g~IṌB&6B%md:hZTy+ߖ Ftoyubb.*9+$*?kV^쟥'0k^ZmO\ýG>?I{.|B>de"/d(=f?mw?SՒL;FftƢ<2=CMXͰ?ݲz41wj%ڂA17C8op'gO80Fe #^Q5):^)7kb-FWk4g҆4)ƺH7̪Xc`8)ELq(ez}cxvJi?*%% -S /H[JCs|-qļNI!u3`^WќP^GÚ4ؾ^6|֎粙ӟ_0l[I؅Cu8yܩF |Z!5ģy/YڧF_sOPAkhy@nQ|BA`^DЎm4V"ӭY$ճ; %_eD<ZѤI)r{.nzs[2K音*˨nQ\5\4 o2L;v9M7bX߷ "$N~"_`aоF\#z'B!s7ikh5 x7YJyuA 8c{Z2!)8[]`sZ7Z^yn_~0&M񊧐 I{̩9 1Mxv+v ՜ķݣ}tXmў(RXЀ´2E%hxЇ}t%bY*0px(?GbY{,D !nñr~f6!ڝ5x^A W`Svдyjaep?Zd"k)s0j=UOC3XG|eie*7PbЛdlW̰ XuރXi)PF?>ˋzkTDMz.Hˎݚ{t^};׵Rnl%)+5gtȠDb Ot.X~P̎챼[{H[  @5^V+W6V[* qdZSD5(}^J4X?3+| սHL A$-/v~:\ABOӅ$/BYqs.-ڊ e>xPH5t)ȔJh?ޯ!pStZ0xU7}f1ʧ%d^eY!MX._ݕb/$ܺ=g? _qOr S*cRoȤ\ruyV)txPD+"9Gc,J40cuq T=NL,Ǹ[M"~RU06uGŕ2$yr,,|pp)j4[&Y?pC!5hɐ:H(?ł~J0f8'&ѮicbK} Na# F<7² b1x_c)Lծ‰WSd0LJrne~y,vWUï|htuwa3/WWslknMh($;HzW) r&_}{a|9l ڈ<ݰix ֋S '4$jѸcZH>G^M[?Z7| 멱hp!Ed\ո2#A+6)J3A-L %ʱr6g<' !n Z/2ׂ=B;Q[nbе"]hpfUPNk_I^'skTf$羶0~s5P#_h]Ҕ.)co rH(/a.;%gB،@E}VHݔ@8e qSy%Y7!Ѐ # o&^l4a@h5`PIZ\J 0I9QI=u/\Mg_Eo٥<v v{/-Ww& ځД/gH t F%lS{5MnaO&Z4ZJ: C|Tݥ~/ FcbsbU.y.&A~qds)v~٪n@\E| oIRQZt#/qx-ҩW?M=B$ E?R(D#o}iFn]:03tL )ed4C/wG;êSOk]?\v -<{=t9;rx8آԬN)RS(AńTA6jG%NNK" 84BCq1ʏV12+O *1 F@돘i;;𙼡f7{z#ͪS*IٖR劰J1y TiwdVU ҵ;˨=]IKZWpgXiƜeR}Dސ #zG|I8Ҵ{خZ j4B[ =vOUbgKˀ'+@Ưˢ4ɰaj)f ]~|2-<f ]uovK#wkl~IAfՔcf)(q9>>bPIm)/ addh^qM'7*@ wy֫)cC{r᭭hZ&#.Y1nz4ClIPY2_h Mw2K1EE*$ZUA/H~l!Mp ƓTgMt_;ֆ˳%4Ρp AfSܓQ>PﮮjrtyLMsŒ$PSte&YI\c6=3xBLm>DTeѬ$CR$HbOx_D,M~jek%vErb)y{:+0ľwɏ{:B.mbA`=ώ)B݋y W+{Pǃ,YcywwLf'4%dV9_|opftžI>Lk"yz%hVZ"4"!#@{Pb38W[3&S4X`i-(L(̼/918&)5ٻ+>]O*_dx`.Pi}Ǽ4#w8\+ޫ.Hw3I\Gڒʍtin4W4GcS#v`xМoTk[s.=7ske1-L+)x@z8h務sw?pH͢l,tV9h1aǾUnaϳ@Ag|T2\0Hq6:&[C3/#פbnZI; BO!13䋢NG%. ԚjÑXޝ nҾ*'j]_?=Ai-Ř[LS\RLԇ;UɢT@.?lryc=F2y|s1ޤX u\T @[b :TQul3867JMW\P9_J7o+@1j.M_FSֲhYoI v1%snu*2n`;_/qP5rۏwqCo<=k:>"DOo"Lw; a[28-<`1gZ$LmZ`e9cDH]J ߎAvXA%. =HMeRtM0yqSr*̜Rl :KkVWD&Vlʃ_ U.v2HWJRƗ%p싋eb1.Z(IF%תfy& rB~S`hR@3zZۈ*fc _? ۋvWA)v҃%ʇ)!u).ӱ $ٗj%k#OC"As'E"mX0pHtjP)"_gkؿÕ,};4P2/qndWKM'3Ӧs#^)EWD/ȳ: UXSO=ʱcmMW$ZyZwufovA)݆/f@JL+A hax5oTDy3]q(;q<ɜd42ٌDeC' %TeH 5{ ;Af8Kb7 ̹'< s VI@7v/3kka0vruErf0ԊiW7>v}8>sjk3Sr.; RNx*-Ar< :'R6y:%?TBQ1iNȩˆS4 NS,KbdIU  #753n|?svxÓF 6O lBmbuHXbQz $&Pj1v)i3CQ_O ?bb)nk>S6ylR'viYCX= &zѳyik E3rsDCszTQclso;TXKY.({ EL#: *߼MgO0ka?cE{Fuv~Պ+̒ ߝ<ܯ(YS@d]d?h: Ey.Hj_քlvv7$2ĻZ WR]ě*㢋@0Sro'" x,Y*UW`;ɒ(휷_hW0u0R4Qt$09I#TL{qQX{\e;%u@N+/F)O*L@{Uy(N_JbF m:7{)gf *RdxfA=Юv'jM,q!uxc-h4c06T踮#)ւGy [dyK$)wmVϭ񫩰sb+gc[>L'틡*eIfٓhAG_/I{i-dzqT JQݷMj79Jv/g`0x8J>7[B{1;jI|SS`5aLO-;Q ^^\I7҈ux$ 9RcM(gf[)X+!YGzbz(rpn)@Am)K̈u)C@_(e|՗y9ٙ=R!梠 ,ΞK`,9UQI5g]zbmހ{!=Ad) 'LY}FZvm]sҺHƮ Gq ]=Nw0KA*Leu| ðV,ʔ>"B{m%fN'zN 1m;*MӋÍl&7S =5UOuv7 9<}Y)mh0&fMη&4e2.K,5tY} cfl_L:R)vB/]i=PZ򉱬˜7aڲhH\B hgUOͱekGa2T]MgAWihx[Mv^a5Ҩ@eSt| X^oâ{Igc ꖗW O 3e|>'B-hdf 1%#DyZ:՘M:c55vRo8DzlbJTi +1y=||LQdX{m@zg.^gO o~nv֗Cߦ 4y:KLmW՚.4(тAfr4dtJ|i׾$ GIfnyH4hmdpe[\U#rCNLV͎x#'O Dw/e٨I$n8\=ۄ\@bji9j@Jt9M1vjt̬8/y R`;>XW\v,}U7cNXtFX А6i2m@|zj )BF91-SUR7CYd:Q-RP1e%5C+ka:b< 0]+X6H~\ó׳՚c ϗZ ? n[ēLLgOsQ]qf xă/K([!T&nEpE}N=a=VB֊#Jt4>Oc9Lfeb_m9ף';!ƒD|E2P}I@tCÍ"`d'nnVRVYi;vgsҗfytrNdunOnxav;EGqQîu`"/\3ZW!oP%YUh+:4А`c*N*kȇ7{{K˪!44d^yA}ߴ7)Rő5j2P ;U_g _|% um=L.O 2il<誼 7Г܌(“1™$ڞjh`: U+XytN| yy7eD1?]ߋ`6lON@ N`Ϯ/ L=(✒Q#_p'+ q3"K{^I Ʀq-=re}սNrGxrHAhk-4T~19>|*N&qR6w=F0iC H.cڰ4B\'Ut}kRjcgD %'{px^>T'H&D^o/O)`ߑ;,G"9 C^9GC—#=q䈪=g޷n'-Pp@o׶`/z rq  yW]< vl~ #'Q&!]d%4.cEU CR xiіM0Aol}NT(>QY>?ƃ5x $d%̕ LJɷx;*ΟàwMGky-$zSb>« c~4'k:#U x\^5+8W;v ۷2&Mbs) !J7kS3̫p9ن* hfwrW U#իҷ(f ey %8{q34x H;!F ]_~#IGMnfj51wPC6#p35/] U&,f@P0 o%DYJWj)'nk2'sKў|$PX9<b=LzDcMp{ S 8N!G~eN؇0L嶍.g? Œ%W[׮.3#. SW޴mnt4'#-u+7&RmdV|AȮ5רYqN*j)3"dy ]~Y{6gx%r;sQ=طp2S9LKZ BkL|j\@lxoa {`CTY" mXGQvO\e M%Gbdԉi| oc^:d$Fntc.;)JxE\Rix2KUmh}G#P2 4ï kxnC`.J^Tcy@Ny[WFdoy—i{'zfl:=T.[}wkxٹ55Ӓ QW:SYI@<ۭ/%x+x:KI[X8qRUMƞg7Iɸ $s90ST[˱[Vͼ_s{ |PZ0!Lֆ?ٮ]tx i$BY^,~t%7#²aUJua o}v~EG7=&0U4}*~ xX}*Č9rYxD1+o mCC ,2#xji$'3:0'N{JvxZsOU>;߷H] "\N#5H!ެ[E 취Vǔt|f4s>OΓ`CTYn׿fKY[ZW}Pbv+zܙNVv77N 7dN'-H|Bp+zeKcdkdJ3׻MY`3,wBLJ&B$ԈxEBXLeL,O$"uWG 'fysa]Kauo#y{]#j)=s;~2p =p#{co*}|?ytGaLk_- g*ۃ_G$_|¹?Ţ`gzC2lxȃZZ5A:/G}O)4.OS$%7<9׫&fwC;=T`d[(b)ƈ:4|pKja#n>cT1SVg03:pY._35kdʼn,tLԕaJL!<|EM1 p7]~Ls*Q |5E~ k(@ )/}F+lr4^ /8F@S myGƕB7?gI(v샏 " \\Op/7C*ƑV +x_Hx{-~MVM`Yv[ָaz@x+Km""JJ'FuX,/n͘ÖmGNwgaaGY4@tiC.AУH*QkCY bJ'5罢GDx7@]8ۚQ8Vc+՗8oj2Sf(tVF;,I3\}e7ԺD4$0GY`+ejG{{#({JK}”Wû2wb>j<67c#7&ֲͦ)@G8ByӠ՝Er1lM&qPL Ur9:9[J u@v++߈Q"J]08pRGFZWce8ML9cI7Q4nK"kV^m;{1BN;8EsKvh b(E3v9OM|A~zNA 3FWD,+i $CQ78>J`2t60CJ8@5+nVPsw'r(qq8{[ Dc2AyU#@yuP@D5,aB$[B_[gh`]{&P܇V=UhZotƟ4Yrֹ]!q-;ZRW4;|myJLJӷ eVG]4݁#?wHͰͰ-`8u"!'8OO|+p[aq@߬ʄ]þR0Vi2nؼ}$.wթK=[~Ϟ}n/0xj>t` *c74ߪ['B-zSu5ݴ'yi(W ؟h!% .`\L'eCцmv7 2"}*%:.J:.B_+y1OVfA{b=hWUu$/Mk2>IpHJ$.`k LXmXڿ*5vS7*[_3T4L1d\G+(¥M+Ҧ%Yv#kg<ɒ2@LfLSSLuBImrT "AtV&7ЊB+{L99M2M%ߔNM-zܞ33lkeBӫ -ã{h0@m44Gc_ K.ƾckiW5܊&,1&זVLͱ2܎ |<ʅ8qm췤jE"\Jb$oS$*57JɈC1k5QRoI5M|l<])_^Z:n,˲ўy@6+뎶 `~z]vJ*Oz^B3!TYjbdjmz>Us ;N ̸#:MHd\Ƶ77%eKTq0c(0d{k"9 IT?-Cũ ]!T9Ⱦ6CT6gEGТaJpиCbkC/k2gق%\Fn %2dK&۫`LJp,":BQm'{+4~@P@|ۼ2SFLhЕdb{UZg!V,3֗9 OkA݁"m6L<3_8Oд'1(h7_U8w5(bˉC碣M-S4Tj ۂЛ2:s{V q[^s? ^<~v׃6bS!G3\pfKS~4y1L{}ޕݛg/!E GkΊNP ~@bVҨ([C߄̮&u7 l:0:Y?MdTualt}I+4d\ubulo ~o+$, .l"qb#[& Y[_¡C{,xQTĜ4'@32Zoak1l;(` } r (jU 8e:&ueVFoJ0zZ}f`vJfn'1'*d<ϗzсVDpny |i|r Y4Cs/ dܿq/H*?$ qǽ0e\[l]j=h@m? ll ~𪚘qԄnи2}2Β L =e^Hu]WQ5#mlGHyXԳnYbZ}$Q֒kB>Z2J\=~:&kN92,JCB,@JC̢qy!yz5;N⪫8ޓoFh} Iz`N=W 0Ҏj^Vo*E"c_b ~uǛH7L*q}P~sX2,,],^x#6E/V !x",Ad˓  du8kDV!dzM  fkäa*1۾\Hσ:'U/Pډ _ 4e#f]Dŗ(v4i!! PiȬ幕WȌeh^N1b|PwmsA),TB޲d)T6^&̈e6l;YASZ[ 6I.Rp* |qd1 XOMCwYTOU$ N)bǯүY 0KQ@H>l/3I$/$J OT1 'Gēy*Nt'k!C|}D̤SeJVgA%7xa@|]; |.91}Gۖp0(: Ӧ؊+\n˅*ZXvY!fI0NsLn`[{\ќ[0SmH XWп+~rRuY0P0־ _ȭRD REs=8:ۧ{vOg[-?@f@/nbtx˔vg=no`}v^-" &w(}Th'泑8mN$Je ƨ΢+p_+uPdЮn2J֥1/y&ۊB2J 1yq nRS-*Ԩܳ~P|!`ev!GZJnY.2A8,9֗4Q d@m!V4y_nͶ1p݀q#ʥ ~oakzտʏovIF&q'L'm;yߜ0*LDNM؈fϑlFvF;Ry`{Z$_q%aG$lx1-h\=>@Jl'{-KӕbF~WŹl"d N$E(]|6cxTMX܏r\%%;ߚ7$Ec>ZeQ2]7pUD1q'H݋SHHn{bϿ4RFʵ=ܮgnB84e7]+ɻ (sN"ra+rnScT9#$[5PaT$4)SyVOch)\">ȯٲV=7s0/?5nl~ RҠ`yܹ ꭶr~2> p gS"LCM:412ǥn[]4])\ 9"^pec Gd9+tYu#?_-EK[6a1ݨ ʰO}O+_&8coKRg?Z*Y@&,C;Já9[]e1%Gl`bz0 Lr1.>o#̖-DSN!p&i2FNI_QYꮀU\/3[ aŀA5W{7GruJJGXEe"0 M[ <|tQoT#, 4j (1o ^HdE_TZ2'߶xHOIG> <0zy-X{UU6/s`q]ӆJ((L( x`iW|Wa>;wZ&2]R./y` #4^xQ2^GCbbg^4`أ1V$/ \W @>b F%IsR^545cLp,m@v810$ᒑOE8ӟт¥x_AAXNvm#wmOyÝ]AFf%L):n,`D@"H ;fR%LA͌eUHuisܵ#ь) I.J N@bӘ@܀&鿕W%#b$OfAx *JO*> ug,VUMvV2j &mH)yklHS9Wi^NBX؂]sAC&7gvk_D&Ko|0fea\Ĉ%q 8i`c2a^VU# k+S6%Lp'?qz nj!])`lö́Giq1a1RuOxZdyEMMZ\p^K>KeCt >F@p \<&\8^6e4|KAS Ɉ$I'=Bg v3AM̭A"?f/V7i5\s.ܘ`+˳ZvSࠟ~XoNI] Lӹq&m |2EfJ Icml5G!ܼ9 ЮwE)Xz95/NcqBٕ_Pz>k1NŽsr̊b' ݹ&S36v΄^90Lݔo{2R=n ݵBvE҂Qhޱ Q`gL$uKm!1$PLe^IC,3dl _8g)@o0`^"}j Yld dI<=kNSq좺NphP]OZIb/X( z!A?mϓg`1鳅4 e؊N-"_X1savv5/ + >mS wj8uKmTQzȮ{to[Y=UFwqjOFm0EA˃pڪpKu>VaA-אEA3}A G)Yr̐G1,䙽Ę)ZYkm2Y&16 'z^J|tчӿG2Ǽ}}]Z]$Vj4qsT] 'x٦vm:dKkJjVܹAކ3^\3(6Tm![0_ m"$7(i0 ϑ:~Й3Rm&U5ss\т9K7o[[b  aIؑx(6HgHk4/t7c$)".hTx] ,jrUJ[)GD+Gx>]$e /Wt65_PiF-=9MX;+I-|6 cA3986=Т?kT.cR[q2l@4X!aտX/mK7[$DLpV.hᄉf Z|Q ^6EcrimvńQTyߎrOVDZ>o[9܏1ǚꝱ菥s` c};\ṣ.'hJ\ O 5k(ίUEfj.rU-RQt/H2+ѨXۀ m[dJNuB% ~ 􂥬a ^ x汑XN8pvT> (w$k ˺:⻣mI1dpS 3,z_2@gj^U~ۊMة?ڸ30IOXY؞$A\CN 5W+12ʩ~@)rz>7YXn!lyaxZn DAԾ=ؖEO883/J;%JK> jqثrW#7+ -d !ⱥU)(JVx2{0ȵ#%jReӭ3+ |՟Hw'G.zR.>X7*!o7x,%ycᷠf'(EšqC4+ H oze.WAjxy7#)KVƁr %Ag7D~aM`"&5*<}r16s|h]7t`mkS0Wms 3AJYU#-!2u@E8@f 6R)PT])mPB} j6u/VOXwQ=^ y`a ͟eJ yh6AÚ- 핌(=t;Dgp)>fU\_K35w+p)+XŻY:/S!ߙGg&C}g8HY$},!{b$>A<ę:뎩'L:rġĞ?:]\E̷(^  12f\6)-3:^t\tlߞ qd~-йͼ{ytɒ'HQ_)~ƥOnA27MM`'"dydq#w 'A[w[dJ,Y0;^p 1}餀qd_;tԏtF.]Qw UC8.u} :ݟL ]&vծ$:l'3' +@`Q ;vNDa7}1L- fc+P,Tu[Wܬ>Ciɯ#9^,4n(._=GMI5s+U۽ͫQWx^6.Jk,9(jh={"x7*t"u~1cO(hGBsய$xfkWApA\3I}(HyQ?Q ɱ,W   jO3 %s!cm>:q&jrhAEZ,.8Bx4ESFھ5#~% w*oE%izzo?({a@~#@]aeMgzWSkYOuW&wAC?b)}TD[81V*o-B]V 6ق ."` ˿_nE63*t²^Ab9Pnh)JjeK pQ鎋,=F'0v"SZSRt#Xnz`"K"g$K?o "{5?x*-/'|Ug=-< uwwٗC~aހx`F'W@zh$~TϑGr?w`VD[ "l.?W:'q=j$w-*Dv]B  !ΧS(rc۬TBp-Zyx?T*Q ~|5ޟlsGLi--Ox 2I8ɦI5߇YC&P4< ʅv%;JXGQR p(lm4귥`zpgwxc2 .I©MS F !V;`; azIzҽOzP@ j ݨf|8K͗S[qgA3fBM8/39')w`KR/뇥!WK8ܔ8ҵu+C.Hhe&Ь%X?(1,e5 {KGQ'h~ΐ[9glw>i1կ zt{ɠމYϵٍH++?O%c(ag`ߐp2IppQ%Y*Q8!D2AUYaXXkVa- c+;jm=O;`ܳ+E8fz[9BE$0A矾j)4õmdw3\ummZP{db@ᙿ٢z>[̙굏0ǧ3GZ.W{ՓnYuc#$(2-,+R+,=1c֩!z0{㿧p C,2`ARYJϞޥߗ$o@[A!:ބ~һ1GRh:4W%GK{\E&,Ltk*J_q"T%(IŕlGܪ$ZJdIw"fY6b\RGC[]^rš1"P鶫ҚW~8-:j:ԅE掿7þ *8 W5=&  bH HFg~v4{މO|oIM@mL t!*j`9@1[$2"ւ6߭{!aE.- 'Bkxo!,l8*b1Mͅ z6iczp1T^ck0e"rr*83ܾx6G-jHωѕ@މR:F&Ã(do` d ˱'G ̟nCMZH]bZRh5f vbj?Y U\As6>ͼSW |<]qTW#/HUP˘l[ Qh } F6i^f{^sJivnv_k!JB\X/wd޹ǰ8qr,ڐy}X]W՝cG1 F6s 0!8CQ[ *[諱?躒d}*U^NWP+*C$Kҕbg'470/#”N$W0ܜ0Y`Uy&+~DYeį%0CaUȡk 2aB70DF:_%̐rՋ@AjٙVS4IYZ[^^NJlLJ=;Xr?+弄ԖQrlE閵hbSH(srmE*ԦMݤRL` e ,)Wm+]!wGj'3HHp|ƒbH+Rx]V7:\g[u :Tboǝb2 @ BgYZ7zXZִF! 4]ŗXiɟ/L526غMp9έ!+qyq(ּi-"Ȱ&Jl^:ky~)Yo{υ7#cE.{BD간zt.g΍,\_p '*PvȦ/s:Tn [nTr;ui*>kK0-W3񇫩%?X؜H|8n^#` VBtF>#dPdŭدw";&N aK(1@!E"H}H AWgYZ7zXZִF! =]ŗXi%L!l,4JƲ*t`&;BN U0鿴-E{}Qg6\)K]ߑEt`y/A}Аss'Cп̓wLu1Fp( !Cqr7`EDk ;(_Cƾǻ{^+o Td(bleJ~5T9?j ȶj8׭`7=F[(P`="hfM_u D  رF  `~;%i/JW >`A-:|kؠUsl1XZXӚ`HKXTu]@+ŋdq^U W!G^"aqz̎S #'?|#&㠕>= -µ eJ `tsՆ9tCpmy6@v V n'an_u3,J/Gd;*L O^ѼHe1> 10z#w *DHGNHK;[(UԦf0 Ь*Uxnhd*Ng"V]aغ\+XtvvH#87~<}bVj_ՈaJ+-1*:i#}`s1z5ShPz;Vn3S4‰0!-MP|r &S`I?YtAƖͦ˲-'-ӓ\韘B'ŒYt=Z3]y)0+ҏos7g5!i̿_+[gd ˱n|2(6plE(BodP~ ^:uAo͙f!ڞ*1&$- Tyy)~_.6D:gre]a%+x$9jܚdJ`ؚ[5v(>ldEBTEQH"bL\wL yI=S;L:)\8T/c&sf m[$PɴXفag:Y_?0P']Vx |QoX"l`拡3x#yg b6EltKxDr%:2 qؗu6qOÓ )qQuo60̦Yu+7g0x@V*MϪ՚6Ӟ ^=ZW\LX USKlaʃ8/sfhsF( Wqac̥>:VL_I:7ٞ'sg"zi֒d|O[^3W_/1);FQ? t>SπVzyO|چZݤ " M$u?rw-sv1"ֵSL؁ƄmXWbN/)o=al.oN ̋@Ӽ*(&.o(3tԫ@Yσ# Ҭ$bY9E#-/'B4C ~RY?vu{<'Cghl{uV < 1H]^r?_'nJ26*ր;J+j"p#^)oYN +˕F6}cA.pT2 ץ"H.IGuk ~XCS%tqra"Rtю$d]97'i:|)0kƒI!mRo@W׆@bCN@7iatyq COBFdkέ'Ck" sSYMlO;xPtkr ߍu 1 g6{gYZ2a8a63071b741d49653e8b86e3339746378d2dfe8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61