SQLite format 3@ <- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 mm'D< / HOL-ex:threads=2elapsed=606.807cpu=1094.636gc=89.192factor=1.807zXZִF! ؽΒ$%`?D+l6 \಺pR5J^o+*kLk #|L,!qk׃_K=Sk|b_I;5Ε:\![rUz 1A]ŭ ]Fv~@E7rGd8sHs*޾b TWpęd~仂od-Vj];=q(q=   HOL-exPhKBpkKZ49Pm |M SiVdI_:օY4?=uwR-h FBOsv^ڇKKl VVOj8emDC,I:ώ",?rOa;᙮,@YʬqUM$*lKwBvMMK /jXY y?hG?& HCpvZ+Jh,r"cB\FA~ Xb&)O`ͬZ E|*2r?U SorE՛ކ>1=q""vח/D7R;WgvΜ QZ3w$ _MhI m;OWU&zTK*x+Z\{`H4\L`Rv˪6@ȅ>pIPI) s 2jkwlZRLC;*Eh` N#q/[uƝBR2w5zԡyC/x/)S,G _,+!.4'U068W&DL@_O mN2kn—o)bݵXW3;n3 e kb♃eSԐg`U+(@lV3_ Y"," e"#0q[ Ȼ{YVu$Hɵqa7Idֶ& OmUYÎm ю| hҏxڴtidK?Z*x^aC#u@9elywo:@=j\@*I ff@OĄ-~]bx2YC VjŚm +lq.:FZZi_͋mfv:SoE)~s NaV1 ?a~oJ #xiR6B%He^|EQI$#㧈:kŏR*Z YשEªEpGu>.-| @;zcb J 4h;bӛlg6ؓ H!Y RO6F0vbrwh0W/b:XB:‰ pѓx]K7I,MxD @xՌT-ERE'$`zN\ QV_HTv&O)*ן|pr&Zc;dWnDVC?l*RJcZix!S-3&V(OaRGOazL'S1n8@VJLϏx/0p͏ENv8eákV:A.S< QOw5=0XGVF'*pz 20*n0y6sAP\69 /dYlc`,.Ō1RgM,z:==RS+\!,K%g, k枋{ =`iЗ#ULB,Z]-M'ԉ:@̒?J:^[銡/5|"`*3ߙ7TB)P 1:49X{±6eӴfJ#/)Ag=ch>31~pYc l&"h XcK\.lyj݁W`ِ7)B/n1PDoc(DǵVw~{^uZ=VŞ/$J-R-$W"lѢUXյFdhqSN_H\Xpm~KTy1F. tiI~hj[-fX!عU˴Qfw@j]w3:`KT6)=óBr*Tb @۷2qS(vhT&[,D_:Y Rd"*I",BMQ/M{62˵O3PQb0O[֕~SL5&L[d5So?+ؚ6[ˠ"~v,JG8=o\߶3%L|47r4 QƿN>NcL k~2!Z L0aԍKWmc8[F5z}mbYl11JZu6kZ6ۋJBg7ePI:t(q@W1<{< v:[3ʞnW*ڰ 1qU5t`Iˈֳ&WKˢwם'B9~cHm9}t4[0\XiZ X±vX$=yHG1Xw8FPZdxi1R\/,:䧇1@ gׇEB=ŧURE}GPbMY([yTUtF̑JNՁ˂g伦H8ՉZʜ?Zјtk#`CAuid2mm 6}@$MZr˵CWO ᦙϖa ֣N[~pDYÎl,ۋgdt}'+5C<%'LG͢Wس=4R j}{e_r&RVJ`-f9,ٶlbExbmkab h1ťQNX!#HB1}W^CD<5 HsS[dPtjp3"/ IAk]}(-gBÞ+||AS$V No(14) j .ޣR| Mfz"tE46(5&4?3Է%X_?=s$wDV0_l{_,;b~B\/~yaM4@:l7^LLT;Tl %)sS!AK۴f6cN~WQ-0 $\m ?+V4O?Ϫ3 Q&Zl_`v|>H;Efb 6\p4ۭ: YoD223]wI|P:8Ro8J#,E-{YTVTr]~Av:VEmK˜V'7߭#V<Њ`ʠߙ{7|jl}+W뉝 7sRv8ʸ< vMUd(i@fFQ|͏/9ن5GH|!Jg]ܺQm1 )bD#<F US꿎ϝS.@R=Chs_K^ G.Bٽ8}8h3dTqM\dܧц8<_0.7O +ܹ Tr;~OTeAaO)01)kdUJm;gJ1s~*9V7Jn"\-| Tuڟ+8늈k;Dxk*y6u hgmį[11~y\%r5+d b Vɴ /9`\p'WmYŅ7 98K,EG8z =1N=ϓF(# W|#O8!]` %d(+muQc̲R)p 5q/R~XlT5x4cS Y3gK0o"1)$1LJz-?O-AR21̲Qxu&n_a7 la܆¥:9I4uߌi#(E$z1@ܗHqֆ*H3Sݕ+V!x~IF _녘?ڀ\O.>=PEדNX;p g;R#uiG3f0 ÛFO>-ϛe|ȯ/ A[ B xs1[bk4b<;תH(x6dP`EapcPaw(n?y }hiŎ1!iLa4~YBHRlR[𠹗 5kS)'>i{>_uMQ{G핢W>MGرs ]KZr3! @&ׇ 'ERpHR@9^:Vn&o"q*VwʶRq0R* '׎*i?]x0ЪHs(^, O.= a8sI[l >Y9XLv&g/B!im왉d6Z[F>z6 WDq"1qfԛT00LXr}-[P( ԦoҾ`GC~l)WgR7M䎖1U/OqQN.NNSFesq+D$:Kݢ@L G\.ƫvL3 '52Bލ٤V {.a;h7&FA尃B4(D(M[aQzW|j [`F]Vvkr\.F[l*{V UK ~Α>pob y}2c}6]V 8b|&x%1+_ɿnNLj Sz˗SJ;$`G*Eց + ؜PӋΞA ((J;G67>N]7dLnw!qۜS<(82 y_6mLviD>@,dQB&"-50珰4׿ybtؾ~M7'~`̹OI. $. ;H,d,yJ2^C";8O7b;OHR,h1vWW ;*Br@1qYM&zmkG1d6+,Ƕ58][sr'ҙm=H>Ffa_7RE~!Z| \56#E=´]" ZfqLٻ<{,Zt♗(OX.Ҍ`8T&`:KY7B%;Vb x[߽("ؒd_*H\h%_iTDpQœB_YKcϩ,oD*1C4}CuMc[GBߩm\D2밧P3׺JvrEW `hQH8Z= |\zgp' ) Ґo\<8D/ȩz:]nZ 5S$8wV8~"Ia8C͡ 4n*܊1 qVHft4DRcUa[2m?99;{LIZ)iC&KNxx[cyϸe(Q,zV\PF`c*cH\ZQd"ߥ'kCP8, "o _7m&wZLq#3-iEPhC!{TT8x]a6\nN Gj$/FKUϸ. ~jwz 9k/Х6/bTH.\TAp,; X,qͱᬶ öl7$ 1\KqOW`%ba }x>V:2~5MMnjbZ"#ߕ yFJ|6%XDQ]%,iI#/W_h釁/l M/k[B_+:ًBZiNL/c0CӖ@2JJ}܎.&VG4S0$&49j_[$!I%հ@H1I nuD DdDB 7Z?Ac0(䶕x M*Z=M Vee2{2x^WL 0gMUXOʊ=Xp]V mBp" m&C*|=.ߺS`){zn_ǬN&{T%#-~ەyj Q(sLQHXbdfNQl<3ޏř4p~ֿ:R6jNY~n^x0HJYZ] |ucGcDĹpxZt[.O%,g1e`X)5pD;S$ IP&#\I1 *\J$%d_8W_9 r}I šDH]5Zۧ[ަZ`F=1 4]qth whq^3 s5Lul8z<雷@\SgyD#4Fv}Y&1Zt\Lj4ry=q$gm0Z]g4TRQ*$ Tyd\B{T>9@%Aɿx>aEQ pQ~V,תm~jwW^TPCŚ*c6{IBk!aj;>/%puD# Z}V6a2І%Fw^~ɍ:~Y}9 K=m麀L01-~%C#2osJxG1\ 6d$+@}N FbL 1u|Xvj^F*%A]~jpZIxپlo@J6K MvӤП*Msi-ʓ~_/tL+1d0"TkG?/ʷrHvѷieߦc` ,z"E !-g4POc$8? \/\24c#* 0L?]aWzs@ ~Tbd/R!ࠡh%d悖 a4A f^h`vzO UhR>Ǥɵ{'(ܟbsKԖH[:V\,!M #}TcwvՎ)[DoB*"nl %Pʳh"ѕ,.5p:'ՒI< 鸮J^T} @"̢^6?ᠬmw`wrV5͟"T#7K.AE0\bZ&7NWocɎq)ba /nyFu*S_5|zQ l]ߐh]-gF/]h ,YTֳ#&Bu~!,kȠ4 ;Zuqʾ6(c!a!&FU{WC4wh< b@1txu[H\,1bAݱ/ɬQ< &wVN|;"hLzH m*$lP I<ˑpJ'4%9͍3qHkGؚ=P-u*rs\WU[v[(C: o0? ) Rجlm,!Ɏ&P=[a3 8*W~>BqfI+#poX!wzSCzEqt޲;rdU)8'ԓ[wV;:EHLTy(S`?{atceDYaDK\PUYFGI[3Ijv@HxT/!Tav*D:i;jzPt_ooF !<>i.GV^&EYX;ׅiqU©Tyɘ8/ސjSr˭1Aq<@TBӫq Zx)8$zG(QnT񾉵eu8DF orYd}٨ [e⯃2'd՝XAꣳ¯"Ռ\ӵsLCqΔŮ?D0C'XDK]*IDݖrt`\u0~\a@Jڳ 季9?$lX]j]ڙ8ҽR Ρ;lfԏغƼr]uΟ% on3l!v]KU;и: އO܋ٚʗ}:34/ydMbxG euFY55_UrMPpq>~Q>'E:%?/=˖PnA,Ee{Kcƒm+ck.zhknC1^Qh;B-EqecCσ\`51:m%!󷩤:7&GH9WmiӉ/{H[txKxu8|E>Bݳ4Uo5ɉ>}֐0 ̝zꭢӕF-)F}B寢@vONWyj]5$ʐdcE3,n 2 OzU:sԽbk+VE9䐒7]v,\kLBhR,t ޥN|j˲?1E%J҄VȆnJ&rw9-[߯MkO,Ci:8QA$P${N8hDdC+CgS1ouv^~ r#qe!?<鑶ћ8ƻrbw  jXy:da5h]>Ry.fOwUlKW0/\G$!,ح;AFӔ\4x{ O1a)W |"py1,Z pXIa. `lpz*iKI"_Q> ңQߝʻzoSi">r6c.@_2dh7UqGEWq_V-@6,[6(MG]I y| 0jA Gkp>qkZ* l!<,wID"yǾ(!Ok$ܙKkɝiJF[BIr*JE&N(G=0S3b|SUw)nqmY Mw=taC{Y5J&EL8!%n1FM0y/,Sӣ]g@)aK?w2^]*#0\9r-߱a U\k\r,/vLZ;DSvP4'Z?܅U(Ph s(>EmVkIPa.YKAS-|'~7sj7eJʍv*ɕ:?d%vL>B {Z5R7]?'FTYh S$49~(ߡ1<˖:L&!hՂ)u9[6D R5PAu=eV <msb* iB!ot)`xDS5rhw'۪E5:2iu!/2YNShg=,:I~Q z؁֖{tg-7-,Nrg짣+!QIxTjYCJ)0BSCSX6#͕aȝ >W?#2TP%oT'"?IM}O;= =?"t' 0hfFwdfdUhmzNkw◃s.b b L473Q>bDzoiەrq8IuѳG+mjӏ8WdC*¬%x£&6ut-?ˍ_gÆ.O!ݨQ[z!u螖>Yd0 mMH?kl::64p{̃.o0M`"*xެtBw3xiʉ+-?Nzg'p̼%k}#ZNC x-~ ;  6 1rzb)dude/H%`3m7,GeK g)!;dP<-% d2M_r HKGƣ좫9$m)^82%5[6ǍjA˱vZf*yeؿ^o]()t1CDظ6XryXӷڶj zKMV 0d)|y:\0}>;bSg/ m0TƇ=1 Փo^x~X$eBtw~swQ~wVʷ~܄z*Vj/D3esR5qcжqr{椛wtojafᔮ$X8|m==Vi JrIdYdMZs㍸7^o-ؼ dל8o&R$*>=/jIܥJ n8Օ̅)>-`?o"dkM9ضQ/CSkVȩ1*CSښ `b@_²8yGy^_{btn.n Az {鸡,>wܒlKczg'~"]J>CD=-&$U0qig hDGՃth3܉uQF~սpjiGB`U ׳OIp03VyژBAv) M)$}?h*:_eg;zI=bE#^U\p7s5c/?8KɤI GQՓ jێX!)핏7Bڷ3jx0v$I1sOҽg"–UkP*--fMsr\䖃GDIJnjB<CxE{?c}Ĉ8 ֹ%joǾǯыi |Yg3m+@ԑz@^k 9 #PNM5]03R@*Ptbƪk[d-GaNE?0a<8|ȕ!8 -tlH=0h R8<{߯-~T[SƊH@X'BǶ`vK~wK ʄ̊ [YiG׽ Lؔ`Q2;Z;)lgblR\h,珳WIƞ5=mzkYHU3k 8jx2 ¾)z"(\ۼT ʄv $cOMzYfXH0{v@ʛ3mp)Nv`O9Mt|In4mܓ¥ (:K+yY&Q],%Vȭ.ID<: |7\yXoz]W2}>fqFl#^ hF䕒m?nRFEբ2⮅ˇG~|8V3xjplgf0_?D5YnWሐ u[`|`HY՜lioȪ+ȝܐC /A-e1z x-5gucC8)91m(7"^j>^ ~9;Wlj\LX*F=kK0o%C'l}D@GAl ?ni(TZ7qȀ3]U*WW[Uȸm]K`0dx3:Bope>e;$esd Hރ 9$&pr=CJ4mL rf#>/}\ܶtz&;*Ћ%*fڝQѓAtF i@(g>ZP[O6M&s:U@qPO||CF&B:`_ ^eo,oŐ]Q>kaWR5z)h"Jң WӊgwDBѷvCAW.|ӢV=:2;Q< %tҋop{Vְͩ͑$^o5(p$|!3ϲ>O.V0QMQ Pw@<ˍ3 >V 1!y\=XγڝUP^f%S 8+t% (2wz̝6l/_ *V7 H[hԟbS=\)edݳJϱA;p.F:bi@3Q9Ћ'2DW9/G[B|<tɋl ˶FD!ؖG>fHaTf.8ZhKDǑ6{Tu1 K 9yG4NH9yЇcר=?+dIJ+EnDgV4"mdE2iW/G{چذշqFf{eq+= nt?Mz9POTq2q$2%dXTIM8^DŽB.wA&T;jQr& eoدIju.;+Pכ5A54LR0PYK[Lo ӹlzV,Qӛ/N񗇑7 y]O?ksysLĻk|;z G,x=m,]B$JGޔ"aG ϊfv1eY'e%hcB[zm 6(kF'RS#bg6%.Bg /`Y9&~n4yp^naXNc TU om\;D?T,b@=ℹhιf&x PC09̵"(gi#Q(R".A7-?(Z0g^DַX3|p MPPkU=tM,/!1]$p7QGdZ)MgVxտɍ ]lP*!6Ծ#؊JL{.xX[=mw"m76_}=q˚L m=I#n.juyo a ?ٸy2jzs39 {  Xt>An+';DׅWǑ:w(k'%&R<(/gjY;JmX\I+Q5P\^zp| YVm])xwOcGgu{яN+ -}۹Aħ>#ݠ@2wʘr؏.=55$^"{VӜWS, Ym`Q3(× -KD ܰ^Ƕ]02jJ>0|`-~'].`mu-2lqoIZ0E;Ir|:@1nmVMj.H"m!tT۳Mߎ!Cʄ3MU c `F%$2 W׵RVY P= ɵwNu{ix{+.} ,w,qi:QLh̨Z[y}XI%RRO5-wj>=Ԩɘ8Jh/ |41zrd<ֶfI*0oHHԟ  ^Yɛz`ӧg^ waġgI)Bqp74g=DbLuED=F-SέNhkO5QY}m1)ət8Ǖ144ƈGQ?0Q*c?s]iݸ 4:~(b,-~)R+ȏgI?,R!e#{U 4M[囥cآ{pwNW#0r`C zd>W#v!Zr B)C i D99rX+Wʲa􂇨|"-kZVEC/4e~𸋝dR/*i!6r)Z~J#ʆCw,3ͼ37N B 9gZg -J§3ՙWgsQIg뜗xcEHLrqEV$)˦}Ό%0AHTr+aڄA "wR5t!uhdg T[(퀙vLj1F|#PtL1躵tCCcc8&эΏ00DLȉ\Dy#sJu)n(KL-.q雰R@X=ỉWgYZ7zXZִF! 1{]ŗXi%HﯡLʬUxuZ5-37<3\(hbKPA1*$j%ɅJ~&@9e>ƣ8֠b9de}!p)R^cĕ;f[ͬǙdV~޽fx˦?)8Su 0e \[i/B5lZK|LRfLygh4W曗(+mn:v(? o>:^ ?lal τ:7.|HcIGDju%(*[lQ GB3@*"=[>C펕}m`Eu9{Yq여x ZwߔcfFɽw2wgqg= .^O|A ~20VhKg^8ZE-VYtMjcmA~|>377e=f׉ #ЊSïz)vxS%QZ^.=ob+/,fͱILI.J(!!hxPhǴf6SmĿT^9uJ -V7{RS!ěalYw"+5 WAWtukZK)ywggdz5.ŞVxR׼]~ +:P6 ?CR<4Bla;[Y;7kհ%诀S|ֿ(e$"^&Zt!/z틪W8ixAeEeZVL"dH D)l:Q0s<&r"0Dnfuy;fMuoc149_ݰJ#_N oA N RmSDiYRe(I0~@Vؼyē8NC?BagOx]Vr!N`m«$)"ӮCpL*c6jg>擽h,~m ^NXZ5kRd.Ru\ͭ~ͩ@g+3.H,{;--SRa5{h|a{_u kaXP H?lR+Tfx4ɡҲq%cgͭ‚ցIl&ϗ* uJ& 5)fB/t9@*Yqdf@y7 [J5Mw}M MfyyDX&C2pOcqzp{k;!jnsj#C|ͯͥ daU%U褭o5^ 4jCw,rdD9xwL񁸶5R^884D;t,[bvhdlwRĐ{7/ u7?imɍ[B這f4aw?DCMhbeɶ.վL y~%h/"M!>G Џ8@KWxt(2%$;CD+и^?Gj1IZu`M)mrY.*># O|< rO%S|t!SgV!Eo5KlEˍfLNn>rs3*؉Y)˸A6<ߎ% ֪R!DEI lp '8e Y =',C=Td7L-+Z%JxݔA?{MB9y|?8fS2y,Sv[ $AsEJmGDZX0|w"&rMRJluQBcfWHBD8TziO´A$Nbe:,.cQi  ʷb M@!)ńAͯtis>s,_X 6dURW$!ɦmsE,Rh)O.Q9ph%WG1FUƍ(y3jW3g3Hro\3n(_oF-RC9kB'*43+kIi=Ŵ`?3`X[EoA/7( #Ӗ= lgo=aX&Ui 'LwYHl4鿇oƄCq(09\|2W߁/l9dȵք6G#Vℌ ėΣ(1G$y1xXԍ%ާ0́-DZ (ELuMBO(PkDsDN갗frZ9w%&p8e%맆۝Ȭ&uzP-T#t}?:$Z)bMNr)JIp=2Q|epk#-AF;Dԫ"Ke oMY1.rϱ ٝ_^"PKΩQR}ZmfLl0EPKr2(q엛utס`T XՊZ1ADqs̍y'q7Uџ7݃@Zjn|xۨVvQ" 6Ò+Öc0WiڂcP{z784>(&4+1óv˿\e X|wv3IܨjJao6$ˌMa#ڷ:5.1A H#IUNrGbt4^b#$j.to`W&~V2!Ѐ)BmZyp͢b,VؙK1#šX5R$O=C!Pr-BYBՙh5Ȁ }'#Lo eløWelOꖴ+̿^4$F o iHԮ?ٴ3"t|` t%cBmEᕽҋ+|J*.@U11u,́X/܎BaϋtqxnUKp`7]r0n圈#sϡc#jX? Oe;Vj:AFՅ^_hzKlvUeRJAt8Qclyȕ&;A-!IB|k#p!etBqBx #k-EЛV50u+.S&K߳b@w-O2Q v}f{cKKcc)1sVxAf.pA3em-"x/G_ػ3͠ x IvڇNr%moޅA91{3Y _+udZҸ<$Љcw(yB^rHJ/ TUAߑ Lu *9Z #@";/tsPG 餞'^G &/ܭ'ZZK!@l<|.b -alu?O;~/VΤBM[JX']NΫ (+99:: #z iX2 J?p 6'=62^Qxj[D?&﹍)MI9]Bvgo1:O=Fj;۝;,B\ւ>WĜ݅Ȯe 8Ќ16 pɀ:q(F\-js>=]N >&t޿6޻}d. =F\++}?uY:_Q%a.JDޖ˝yFWuMos#ΤNQ{%HjNe;JߨPqe~xAx=d1̭r a!P]Dᴳ_X^coc:Rv@xL)ݧp{}="U" ) F`Ԏ@l$V[$ )n7^ - vFO(׏mWdZec[ C*G&vݓ&anw1i0뚝"&S+p@FFBr+P#k YEWxt{~i&NS/9W+ DO/I>$ِ'NZkm~EoG1'a1r mdҿ I`o<>; Ikw3`*FJ&HnhD?*|4xEc, ?+6y:{}LoP <84KږUtҷ{9$`#n3RQ3(D% HZd# UjM k;x\hÑr+<1x+($ֶ| m9LY7. k̓gUVL|)Iߞ\d+sKlX1c?D 4PprU0\Q͸.p$"V Rg!]xO.t 2K\ ъF_-UtT5ŋo4ܚ"c䏇 #؜#J؎(T>XѤ1CkcCx9> (R. [AWx{"E# 3û[cj2_p{w46H5̥?9s 2uGS1:Z`sȦ Έj%C˿l rrhT HCޖƼ&dT S.ؘ| maء#3t}FQfiUe7*Ħ1$WB$Ezx VQ%d͍Rdnxi\0|V2l;Y/倡{Hecc;KEs=DYʻJwCar <HG,dsI9ةs>R='t*1y XtO%I//J8W3զEQȚ2|!!ZZ5:hx3i^!%p@/X(؊5hPoywst3:`7.NFaϩϊ I:zP)~oa,]/9vQ4p o&3IPct'< FVшh??AͷgPQ0YO_j#V5QFn_Y!v(4i#i s͈jT!'b0&dT `?vcc2B=N}"WUb$}O"g?9M<娝YolF[54;BGn(ф'ea,ѢFQ*i # @v={[${rQ'Gނ$E!`Ҥў8A:8g4 NM*Nkvr3 䧢eZ^EV9P/a7$֛+b1zUOƸnwTlC^XּVRy*@e#rWyfpT6>62a; Pd߀8ˌ#<2tb3e%t~k.1Q΃ L݇ǠJYc<{<}@MF$S_LovlŔq,k ~B\ϑ18$sǿ մRck/hTfΙՋ١1z}G2J-&g@"ȤܼXLLH,0%& >{XYAD-Ϟm^z֢9yT'wj "<.2K¯Yn?k]J>3jZXC-^؊H 7V.F.#_´A'OauTMB% #AKcq9qoEjBd #Rh)NN mV3w;M[rF)DF"VY2"FEdm"R yJ%xxnUI\d0 ޱi<!vjy| P}BsoU6_Gkce:&|{]uEU]C beQP9F)AJl&bNh$DW鰘ow<-"xsSġg &\]/f8pe.sSrh(fvd z-KKŚِlZz2J )7JPg3QQs`:,d+G>D0crмfS)z_lOjux͌٩ .%a,I=?A<)?kZϬH\8'|8n5,|f삧{Ycd]9fъ[/鈴d8M<:! jS8 *EJ^sCܪ`TLP5E?K"_{r4L!%BItgMu߉D$zъKcΦ}eTMI"F,f:r5˸!]"vö_\:ZKژ~1>|Ir'UG +Aa`cۮqN5ZhT9Rrp|ɺl|<(q޽@y`89nfD)'lOT uJxHw_ s%%t s HmB2/D[-'֝4;eZdhmnw.^,^,c_ՓqJe %^C==0Ca79Lxv+g>=c_=ƜѡxڀR~1r/c!KEA-[HΟfC!\pwaB)p'OcBN;ڙ&]-mrו)#{3mtv"ujc!.͖ ѦACyг+YWX?JC~K򕭂z>7X)2C.&(=ѴaDr:i$F_2鍘-P_V_UFaڪC/ cNtG#v Gv+n܍FyV1'{t8*F~uK \: GA:Bzvo6>'MXqE`CYS_S!ShLU(a&Roj-V!h^MriͥAȗH)"$aTAvChxPI',;l?w)^D ܶf:6 ET(D> #tKRgsNo|BqQ<*C<-crVjDց5TbFM!dKlv:+BP+gKLn>| X7!E\W" Ltc2[2JGYӏ< xx3:ݘ+o|_?י[sqxh>cQ#vQ2*=*paQL7yF?c׵q 'U5 M`܅0"WZ&A,2QgKLZQ*}al2 GwiSCL}' bnUArQE#AMt[Qg_5BD[ .B;|bM:7e5.:4}j$.[Q<]o&c" Wqi,Zt?aP Xo?p(\&}FY0ZnD#cm}oXWuar%˷t .BWP0Gi[ZtxW^٠CEp֡}'t($5L*wnT2o"\/6cz2н^u8g"nOf[K~k:e}aN' UDFsW5ȳ0,g/O%hƎa`yK oXPkvPޅ% 0UFNxC6_\j(bU .J /^&ݠǞQ2j7[?CnUN0lPyd [Pʪ~rnJm=B˕Ս6zFЄx2|st?;my"Bu_TR멏1Z &;fK3]d%+ElVT(gTϋ0uj%D^dC<׆Geݏ076ѡTb_K h}LI1Tgrf߁ԁq5 !]`Fm}ȪT=yT=5 Q:n G,t]1}mhu #tjH9LMU]K|mC.-:4{*2K2k6}WuJ0 K}Bw%DĽĻ[;q;HzU{> v<] tA=;Ul&uSq6-/ПnA ?CLꢳNUS_)RS%Yà9t}_ַl赒%Vs̃4W.DDhᷘPQ5j7ß>5 1K'stb3]&0#fW6k8b(Ic܃O_ wәMjVs fh@MO|d$*m\O]Sqà/ݲ2pP.hY,w[z=Ggȳj@**nJB]`?wkr;zJi9Z]y "`@ R>G1<.U n6XPRjJCbTY#/X%\5HAU`PӴ=ExyQy+VT53tc' Bd)8ZY&KJc"T5?lt(7`9ki}Ao%ݍ)hnƧBsdcmPeScStɲ٪Gѥa1/ 7@ `G{/bnLX'N @!㉼0 Ww8.Y˿Fd{CLX1(A͏ҫXYe9Ƃol*;B%Q:r%F¨ъТ,a(9"&Q;VmVߺ)JĀX gOH#2PJ_Z^:s҉XIksVϰޤ+IVx+9#L~&\܆ŊEMcqǣQ.݈;hLFz͊THv D2#֡^lvگ/ߟy1߁r>hwta`WqrL6Fm{kےL u^v%SpKtf4u5g6gq[*'Am$sرz܇̔ZO~&Wgc `/  mt_hjʹd9w5Ro=zRs*yZY7DNHL (.V1FuM圍2V8}g)'l@V9ґ}3%> =is @YXXDtl;Z08!0T\1tEFމ@<ЊwQҀUc&s֛[*9J}j~'Nac<@WR5߂Ӓ,D Qf%Gۆ,g#2ۥ%xP{4}lp1~ )u;@5DOAXSn0ȅ2"J&~|tf ͶEs9ȦlʁdH<cz\}g9e;̈́T Nj,M1V)=Wnpf|}r4y?HZri(p2Njg㦊wD!+ť';/`Vpn{bP|J̪pyXGho_9]Ac]ox| ϟUjN4?)Ã=o<]=UG,On"Fc!w7taxNxjoSJ*lG1Frx^IBB[U*Q<ˋeXSk?&\b@z!;׌ȶG5,M"R ۧ<XJ=ՆAbFRд F7y!*f8>W=uF܆f_a&fƬBgׯيN0FH'm8$5`qv3s]WHFWxi]/2c>{r/o-O'%5g{;ѕ5c'+dbLx]ӥҼF_N Gڙ}ò 7c]nCjn0X,qPR (\x:=&WJ[r܎VQŃ2G+@&Hzz4,\9d򥛲̻G5Ht>+s񫔥$lTկEgfª5,/YFp]pWk"X tg::-B2oqIF#sN+HY6Y_a U iP\0 ˱ISe t^<Jr}Uz8rF_9\Fi`7Fs`m +~%滚ҹ0aFL%l&ٌEU@G}9hr"ŧZ*j %I8e~GS-'b1+8U0=Sz$6CukB۸UaNDZ4?9ꏕzf$>1l/+L:\9,:F#sCQmt\i5|E`͉f+9}1`.E/-ܭ#gYY"S2 k;TCΘ}"Xш!ߜ[HH,ɸ"ҙn4BwC^𪤜N1X{yA]$MG(㝒{>B V (Hf,"иVӆ\Sb,EqwMP^;ߚEŔ 4U /իy@%s4TUi&mPaIWB{Nh\Tʃ̾^1f"1[E sL|c6+6ê%$4nr'`j| I_>Vp9o/wc+ҦָiL õ7(d'Ro,wAt\kY]2}v~nOl/(Sp&|n$7VSg_=ѓ9n*^6P_t.*7Ww xH9PQŔg5:Q$\}j: ih7Fμa6ȾB9r@u>(-08t")GI''ԐhG(8tWvLLK;6%'%F16:upy P LoRs7샔Ma@l[1A@ULfuX=3}a.bM\gԈ́dHb j!<֟4QeL)̝L5! @J5]$+ꋨyž, >ydTcC#.(Tǝ#Fp+`żd} s[")#b}Qo8m{m "D7*(ocz&dj,!s N)T(J,ϘB45,d=#M鈅|콩xQ"%fF&=f~,b=Z^2&ٮgBOV. jBfT&]g$кlq_1MO3TF ˽ =qLydZ d&! (d}o!J-mb6eK4r^퐄C`2u-KWp3[?%v{W!JԤoڀSDuq&GpSM9> pZƓevG%$)#'q<КoOTYߺp,6̚^%{ˠ_T bjHA>hߵQ(USB"S ޚC..MJ $ .aV H"j6g{Nzx2Iޣ٦]3" Swp3#}i~ pIv3C/in9D@E08FRZ&0OLݶ-U.6flukvA-}*=/y_i6s !'^Tg3h唸G̝S-`Jf[ ,}&'I56J^P”\QPhgH9"%_ ZZ TnBaysc$<ꉾ6.&ʗ.hcs7mS6v=#ce019~!L 9϶sdT7.?ZuSG{o7#?V1+q#EpgџoH+F m<+֜(HidNt>e.@:6S~;B_.zfs͟чvgZ6%k|KA^ wIODD"vh;5\}g.%J*]_P=zu2 }Iٲ) NG2P ;YjE)Vcr{j(0;r!YlRPz~v )k;ƕfh|KX h#j l9VuX̵"݈:'sh{0*YMW&Ug#naħl8D_.ピ#W蜝^XhCpG*tDKԨ- (vU{-{4nvr&[RFV*$L/e+P8nm+dNO)Ct]WT]s l0ʅ3>x6=U{s&x_eAHG񄊜_PoMMG] CQsZ(aÛfMWPycdާ} !d2piM@5OWsCM|9wzD SOGaŏ$hmf_d:ܭq>uV ʼnEݡ_) C#%$j^9 CmH]&qTWieěXx&/U Ÿ!\$GzJ* Ʊ'\3𪳬9a5 <ª h (;#H{ȭ^PjE֞e/hVY>hEI7l*OVeԼbǢ-tDy:Bc%=]fOu޾KNQ6. ylBg&C{{1 wh\fpԵ[>=^9C; .B&j—7cr3cJBS14pb\Y($6<("ICOŹ}%ۤOZ X9E <be ٭T:)r*ǁ=NxN7ZiB٢B*N&$Ps\l~pvF^eEaݶ$M9$v]'sfk 93I L??(zKQyc F$1ypI(G/\`A08j9/,PNg K D@QaEK'tvC8x>E^jkyS[Ced}ӒTbu[8M y>񠇫зZ%K*ؿN:)"Ϡ,U1 5ԓKzfU(.NWQ'F= cG??0L*N\-)T#q0Cj>3g ׁ7S :}+1tnk؁\^p7'$FM-Ov vD{XqW7:73Or<ԽVu1\6ƺK!SR@\}N!s` ę@*=v_x5Gcv9UR`(˳„"3GE<cA]5XT[wf&0vvS=Xhՙ>Ԍy>g<"ؠ&c eRsM6O`CĢ6<k{49  _BS cG޴YϬMKB,Ё_/M0Ϲk*g~]g_KyKSyYû9Iqx1S]k̀=i_pyfA 񲔥SwJb::A@gmѶlq K %|Ac}igZq>fxp7xdj~xϯRM( By[\e[Vs\ "k[_; cn4>Ռ 0ŋ` AnO./?1SςT:/I,qrUq3ƌ `G\jfkAzYt~tG/4k/4Z+ʕtCFoʟ՗I1M4v>d%=lJ &m]8&"TUy(}Uhr͵<(%1IR!\Eg2J%h#1y 1rZsf3w:`Z )O?I()k4Pս[i]~d5:Z",&a_Kt]*jْ*l. EmNшR6ܛA$@a ц:k o'ѐY,n9dtB}k.f.Ms- ~7Q| 10]p(Ԭ3]FeӆwI⠛KU1*ݲV{pSp?0Ĥ9铻(Yf7 FU7-26nN߱2LPw"EМ TꅼL Vʜ=fZ56d8f4Ob-kDf\. # Ֆu@e.QbOR+ET ϢABHN8\:eNgm CϠN? ^Wd[?S.@6)}F ^wt3?nI^@EQp+sԻ>N;5V]=( eBUo J^~Mh ,|b7N7Yj&K():0<H@B|fΉ+􈭖ֱK #/7dzed o#ve#f:kq8B )}ewE@*²;pSG ݳ{ X7J%!0I_Lv (mBGCoAD% >'@\IOZuBӀV=ILg 22+Vp}c[ e4 lƨ@3.(k2Iqⴗt ՝!)0t=RׂQif[[36vsPUU'-JiݨZAY zB| tB$K66fʴ+NlrÈ"ķK/P(﵄[PV_0EOBw4k_tj8 (#waxsM ԦB3h=t/0tL (t3|-@x¿vO9 QP>l-Æ:EJ~`x4UzԂ> 4ļ.)!TUg-7Z8GH EބٝűعrRKC⼬Cjh8#M)W)q}cx>hi?f|$ ZrĔ}z޳s8B3yD|=,R9qQ$.X7ۭMͼ,Y.V=+UzMO׾*> "FZXN𜨖p0ɑW-2F9vyYC嫯C;X-ߍ6k"_;D ;5sMо~\\Ajcsgd%EY'矙@#Up->*ԧüz0MH} >3 "b0Qa4Hb}=_T1A1N: LM|@LGʹelkGߨϋJAOV+01N^ jr_# [ eKj@@9u"sɻMQl!R^T4  FX-G= >w7E /,& ΍H\lBT0# )",Eɝ$&[Xf `ͬ;UǾ]SqK1mj"_/ 3U⡸e7,߂P \C^Pܘ3 dE6;\=tal:3 =EAӵHr\s#..z-AbCl/L.1e4sAkҊRBa`E;DGje/Ei3tౙA=(vs`"=ۄz"`bYҠ<"TnqÐvA7FNa2nqLUbÎLA 5 [տӵL%"BWVK 7*[XrVuGӨITVјOjL9{!wUӵ AsP{QH+~*YIPZ\mFzjJ @yhPIb}h=T;vS1V˓b*'Bq%Qab>Ⱥ2l g' `B+ )쁉NV=+ZYH4 .ȵ5֭41z6VB2ᓗ *ާN,x@ZD<$5K2PSw=J<ҢXM ʊ93RG*~>u,{'%G}V9?;DB8Q 9,6]+H}3Sf k)]ݔkG* Ç2Ap"i> u,RH AV'v"̣8GM.6A Ov+]UjX@|ʺ.1pv2_G8=KOm 9)$)*\GXx_> DY:^WK <} `#-/9SnNR>Ѻê $,MF_H`δJv-)-B؇Z,@~{E} % a +uAF1L8/0aS qq^RpSV5дgzs!kh;lh2L}>,^'.|>.vݾvvBDk9 Z^$]GO7EiG4dO}JfQ Sޤ^XA 1gM le%\rq\=  Sgw3qKLHgmP$.5>>2@CF&0}mt)Ӧ"N"(\΢ף`Jǵۚj:e>y{i]{U2u3GSz:sh*șg1J> #}6B6My ?ԗRYc~Ulc/'YW5\=):K|'zI㴖9o$$2 Z I knigc w9ТDo'm"J| jӞJ{j'Pg&0{̳L&X< wBЃ _/0k肫]ؗ:ixfYUh&F/tGZ .Suy'.0wC5DE=dJPc%3}<='xTʺn5vRDXTw\BV"*AuM !b<4=τ(59[ƗO-}1KC?-{kH.iᙌj*ш8~"$9 ?n^ۉѯL٠Oj13lUz `" WP*us6ʬH+& ҁO244`-2"GGY2ss/JGCM[m6D4GƓWyt#!#3pZ`ytPUe9reI/iZʓ2'_\jiT8pB_!`5'`P?eXhaWsH "6o+78f6 0.[l8H3 \f?lȢazn饯qVQ1E#O#m2i1PݗkVVL>DH6Hr̚k&w5"l^W+U 6x%$TJz+om2y̷HCK  K³uGl0[O֍FU@pv86.wϺ|Vs9mA Ѹ_rK&[)"\O6unC$<AfXXV46XV-J}N ho%lLtq̃]_+!w0R(=i c);q OQ *?<接j> O*9adb\YHu6ħw 3M MĻ rļ:md(5>/'1[ |^?F _! >Ǻ+dŘpϚ,e j$q 3<lbY*LgG c6++Ɖ+V)5tIsk6k٪HZ^E_Vx, :TM>(ۚ uK*w>khj F^Z5K{cPtv-2Lsh *cs}M*rMőW0Eצp (Z&K!Lq߆{ÈQ"~rL枴-A%sZg /|G\V_OIEt|YN6a~?v3Glbהk*PrKB^ B)eE`طgD =`n/% ޏ}8f3Q1 K)?]f\kك$2 52GtwCZflc K75[⧨)3$mk?DQB8׸6HR=ɗo1[(k"޹ +RF-# 8BP{+AA:`kΤh#~'mpg2%&(8WJ;'/OQ3=dbԪZɻ=-v#k2]es4+9JQY̰>dщndCяYⶬ<\8Z? JCcerp# rQ5eњu}1Tz7nG ~[O Y[K V{Ž/Hk\Ng/m|k灘wAwj