SQLite format 3@ . BBh77otableisabelle_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 %,Dd ]/]HOL-Analysis:threads=2elapsed=638.672cpu=1142.456gc=50.764factor=1.797zXZִF! ⢸8M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ 0kͦw4}1OsrgYH1 ~94(EAHF=?x~lAJv"\Rrt䇉#;p*+uw:f3V0zQ(h|7IJ%-B֢̐Yϭ Fse@1Vl B2q/ͥtO.J}6P>ʴ~r ˺̆ll =3}[xORpE; f`jlQWJk|D_Z<|\#ËY\5D}NCf#;O̓ @'Tp~˺RH%Y* G^MT;4|G n_iDռYhcV'n9t|vr4;QDj.!",Nd䢳bf`P*x"|0|40kԲdo@\2&HM&y_lBM*t y>]0Ah^_IٟWO@E&&ֱȬ -d?֤W!3`NۣY+ AP4)^wʖϖը,<R$:&{?v {~n NE@ErGud!YO*FɅ?%sv{4{C-}4,3SpOB(Ո mSdzMQowpbԡJ.umSsVCPI#UQ=< qerG ;DbY|~YT=r%:yūU@{2h$n?/`+:jO욓t465# SV .U<4m? !Cr|ظqb!8?/|FpY=lw-j.1}Եr/6k.HyU )<ٳ5*ufNRxaiP+^IH~>-kjm֓U11GI؋`vt_ida%%D+Q,}i!p~EIҀ 6# (F`nZ2Mט(vwfnMLRn/ UMYF 04_!db|Z_a6~2Kg 0T> 3λz2󱞂PU\|ĹH{:VO7cRl[ T4+>v$J3s%k3*ә7C%\i%o̜dǵӷbT{!ggȿ`:P][)Dn"v*٫Ua@u]0~ۗ5faL]*xM@YcY]هFM>]+^[F_f%ڲC/Q9J٫%^0XwXl;'<89Gq ߸k@ j?(ey(e7]q|}%򪁯\-+^]{Y6tąpZ;ݙw=%{잰ӸD90Wr u?V7Qf'6Wtgˏ^ .XIG]dKXnF\2( c&ϗ rC$GeBl ?9C-DmU"9Z)]){|,Ei~BA+,WkV+[eKo7kƙeҝ:~%ÞW'p@pǾ'jJ`leYzI"L,av4}}pS ;]-KIʹ@dTX[.֧3띉[xr~pږ ϯ!#ENtYNO0ayn+nمϫ^+cWYkP_UN٩aYߞTH_zq.h(7޺AjJ(n7SB;`hM)ϕBP+ Rӛ2#FeA % HOL-AnalysisDWP_䏻t %<:w%)>~SZXlIu|Iwm1_$SV%vUE“;Nl]ue"mfI yo/+U ;X0 {rv{%o"MEyvMw\) Xl]Sk' gJ> =E= Y/9nmtI T%"1-GMݏ2*~XMo;hLO. -*@  DQwU))ue5' sf*k7>e1)q?\;qV2O#!>[w5T"!FLGoS}^ 9"[1{]K:>GB+ [rNpĂS̼-9_S|3Iꯎb icoJ.maAJv3U@]dF/x+eSPv׼VɼLKغ>/rZ͗vXFZS\֘(˂p-KZ(Eb x-0 iٶuf R1gẼJ(gd ˤ\Y/KeGkc  ?h_QS,ip9|!&CYX~0pv'gL5.U?:/.P: X1b> IT\O&-W,ʳuYX۳zS/P3E"8/%>*'ҁDLJQV`&Y)7qG%/"\ߵjpňD.y0 img$;/AG]F=l?ÝYeDmīQD)moWH/f*հN7=  jkjzлj#_$۲eaE/ֺB͛EE#;O;rq5!hZ¡zVQ&렰\P4Aܶ[U?ÉBϷVP=Q]IEe_D( feyd wa~cTMuW0[o}05\Q4|1<Hx%roG:zpԳ(NP} ޶ Q6qf,SPET3}xfgL2s{D:G䴺n$T% >m]9S<\J[.6NJ94}ne#+e=:'а)$5A~p@Դ\ˊ&^U*1t.j!=Md1k[AIltG>&{܃oκe=zn|d\OƍFge Bx;2C!"s.q]AednংkS.T^N@&eo+ K%I\C- 1/"p/rBȕGq@Nxe*3X>hך',̃~`-}RML0 JVڊj<ٶg#r5:xV Ԕm? ь@En!*lܡtg˫D ŭn{ !\O\`Pp.\Mi (ko9W?4a#OO/KL_]!Ė/ByoSL!:nc-جvַvB|aXm xV M N?c3}[ SK`+gfwѫ9PJ|1?yFsey ~gE+މbޘ`lbJz&a]38tFSƈ6)պqmp CP$a5%gzIJ%.ycU+׾9U!|3!\ nXrGZA:/\0nRUG==,h+ߪQ[N?mm(RP[6 lmш +hI>q2̀T&!m\ΦԦaA=^ [$)R\$S3tRGNƐC]*Ib;Xy[3q z!U0؜vQ®0F 'xl<2IZ{ Ѫ`p(;9'3SNsIܨ$}DI"ͻw[l;@Zds~i4~`2l.Z;v[Ò {G۟EIZHdEb"΅̥1$cl"bR9c&Ar妹 WN}{!(ÉxXBK=\uoɭq!U"|htmYi^nN+M9~@]3 6ŦY/Р)f\1^Y(1T"Z|[zz@|A+HM%Kf@<5-Y9mjjN߭_Y U > QB-lDoԋx cCL5Ugg`(hrHazA ' eہ#`^Exʖ)>Ւv5+e2vy+Q{ӶБ)0Zԕx'B\8O9uguDGE09Zu}{FE þ$uoϨ/O`H!\AL>HAKp1sݝߣG|0cߤ%#N,n-]?gz!ݷ9{5> Q;zE+]|_>m !M {.B(F3Qh94+LLKwNF tF[ ڝHα[Luiz VmW|4O%;uuvUpL >ۯ7C}̱39f2Oܳz$$|*# t4s2Jӏt PoBD{ԌWBk:*0eh73¨`?x9!Z UKD}U(g ?0rX y'40br fJ}yb?1x0` {Ɨ(R?1KA: Pe2SP'ό^*;` ^||i%wNHQun^9/:w.+piҡPL><5F R 9FW2ds;H e<\hW;\/;3G~ɱXy(ƿL#0 qwxjWrܩT{&LQ^T=DrZ$P)0d$$ UW]Z4P 1`~I4vjS>:#>| ?3dD5JKWoSwm;E^}t]1Zu"qSԛu7\paO1Ik?r zSte:eK*)GFo2,xLmp=Pצ!1˔XU*myΡ.nVKp(2V6ό$ɃETmݖa^ GL2Yc&]eDr$`y~GL![y&XNF96yDeױ, Ǖ,D?].+R,:cwC>FeZ2Lb@O*}8._ i5D6B <E~h Zθ+=2ۚnPx#b)/U: =q%ߴߎ=h I 1Ԉ1q;S x4KM:FyGy`8n3f7%1MS[8>)L+z`z?c2&wBn+v۸u <3=tGvPWe\;{/E[2[{܆~0_0Ms-O/3X- Sr2YxɈZi6;T ۉ4MhDKkzy1D2[F!bm_fFsCO͜T?e^d[^9Xcsho]w1ZQQxmvxn3-(&Vi* v&UB|h4V*86H2'm~  v?We#Zi#]i bmd cfsՓU;dżG΀<ѻ?܉߂jnM"kX XQ,{+DtZoд'h,+d-˾D<2@8Ld!bL`kvĮb&Z8Gc CDQ7j! ZR֓+K xX̝ ^lG/T5/'s%Zl{LX0靲*zΝ@~Vzh"ic"b:BoQB50=qC7 ,_d(hboҽ°,΍q,kXkn6 h-DFzf%W bQ$_$IKicC"_#[s'/5l_t%,uNa!9?_o:EC>wX_\|GxU49owUzO 悪=p&aZ] ,@gOp[pzNA/毙7fΡ&Ys7‰V\mnš_;8 r!!yB($Q%uJ [W-ۖ{rE5767Biqܘ-Lih'4a8}ۆ=_T;$VM!Jaom❵SF|#lTJ2E \Ejb; [00/V/KLzۯ԰YᖘK !֭d Tj:'lR4+?Wgsl3H^bK=F><\Rŝ8`6>&#Q:j)pY8wbM>TBhl˳NbiJ"JdMYnrMPd H9#Ws _;*y9T--=dl0*@5osJ HKN}T^|eLP[Skjpѿ/Oc@L6굋;ՆLYN))Ԡkןj.|UHlwoz+\c^ǂСcV)ͥ' #<ٕ7KJb~{2BD+B,޶ɕYAZS KɈGœo=y0i~;1_E2:&\١v(:4U46z31S  _ ~MzpJ{N#g«8Eo䋏>2p?ӣIl:&騮16i%4GkL W#ݱܤ^J{Uک@$4 Z5r)tE@ K-F R&a_NݠrgՎd{/ \fqPN:Wh^#y¤t(R(UG~B ɀehz(YhZo:O6 ]ʴU J}bi UQ8T2tTsu~%v\RP,|+"+Ǎ P8l=>&b60 29 0,lk'[gp G#41 <0b<+Mܫ.޴m!}ka+&:pX>ApC$$n*W',í~tGcP#c;yo3{ $f:JєٵnU%4|t.Td&g2s'^H~YZPBeۥ 9FnV7Vx 5:Z\M-P9q:4D/hjs D)ű_&e(d`u&jUdc }|E^ Vloe ։Su!]Rʾ~-Qsza,.u)RhLѫV&7ItRT=]_&h/#/̂,Fʈ ,#H[9b1?[NRHXTҸ}t8\uc8U'VͭW )Źys!QŬԮaW.~Ӓy me] w!Aq'sQ"U6s:""y)rQH XC|:@$bCx̋+|(R>H7ZRWtϱ̘ WM۴R$/DR63A\C? *Y0۾w ?=wB]3#φ )9"VUusI",,wXjɾziҼwaz9_5.gdֆm+!^>4igUAI8pl2m4MUxL4;p]FyE"QwV|io*Cѧw%"N̉KẬF lE%P*JZ5-un^LT޸T08NH'V*YV0JȎÓvsV\N@^|X֊KԤ ]j'}ĖMEƁR>J_b)ղ` qNEZT-xy0/2Em\RWmij|Ge=IKrrлOl>H#CWrGq(ÕR.o?^8_ݠCtpޕ AlaP@ЅӫɀOֆģ+PҖPU :`ɘafoHzAz 1BV>KOFUzQU5?9οXzFEqUP_7"v6\q&G/,9]_) ao]U|R,A֓c`bKo|Yt>pV`-^S.Vb۱\]!DCS[7'Wԕw|?kL#~TgZYj6!W^|d-S:߼pH~pʫ6.S=k]=[ZzI׆,aIܣAA- _ª8r\SJ>Ccq:H0 Dړ%%6.w= ppvyol'57||@tO!ǿ `Y Ms$PZTM'[#v:|m7KMbcT#7F(4іRX7IoS">F#HI˜7VܷъLIu .1>Pe(#kM^[* L. zMJ yI9K ZW&DX~|t7l >iso^5P o k[TwPJ4-FZ% Gm'|6.7~Wr8$jv^PU6Raaq[gu""ǽU:7ԡ)"~Ej|i-z#^&_Bmt4ii}NPdD\`E-* p]h(!rG9:ib:$ ;ؑrZZp2w񳙑v\$zPae aZT!}KK , } ^M[\bK7SsR1j;Ip \SةBa=@f܅l zkL`Uj_97)Vo`]=AvB H|䷪_zT\`. §`e>iR,CuMB3AʛGQDy\o|/ֆk553%8!ǏO7&DT>Fb$.|v61[XQTxt| ?K\۞ s8>uD(*찒D"Ael0)F'ݽ *?reU(;z'j7Nkgv=ӎZ@kЧ8U(83ҿsNO #_^8 !cFeLG%@M4lgu3lȡ|O˓DpUL=eU% ^wsҘ~*mUx. `Cx7FJ&Ȓb"<I^\@- =QA#h5\B'J[n̤TBK\zdO70#=GxaC,U;( L<3_b$ Nӽ5BQ:l— P//b]=ݘ`UM,r/mY玛2l .0Ay%l3nH1VyͺTܡ*JS ?7ADAcѣwz{qY>#T YJ+olUjN"mR䭐:+u?_wfgcs_"zUVi6TLrb<7j`2f3?^\ @Φ|f`5;M(5/d)-Pqҫ<6 ?)<7G2 ['~/mEB{bN̰m)Pƶd3C6IXW{U^&!I|q` ̿kf[RBYՙ؜MX[Io9/QYtqy~gxY_-=1F7h얉~'BZ( K1mSKC*Ѫa23=MذUlz~Z&e6T!j8u|%Ng6;&rzg c௧)JϊlR3Mzmd:/#_@uC\qmYy 8C3\=Q卼,"% OzŏʦOr-M]'3*ij*M) իIYq_hf'}I2 mWLFeOLٹ:K_9!X 9/}.bfJ4Y9-6K]>}g:9ε!X&NrgM;ZԴ^)鼈 yYL~ :psUgrZ"eNgE!J$!13#Lrj[r.*̭קD |_.]jb9״)C׭fK "xy RǽWN4O_BUY1+oxX \_ wJX|R56/i@+߀K - .RΘ& 0-5(*`Wr2sߚRw@h̩&1qgBR|kY\@Z =ȺL؈!t[jLD$y"𞋚i\aQe2lP\v ՜j^i_Vei}X4 Bsh%cVG4^+5\,_0Rlѹ1VMN<#BkySk1-3}*E^}U2X8@7;B))΄neT4g_?^G~QnI$#ŧ=;<ؒvM%KR9l+gN>;))mD]tJvmL&%N_Dv3Xv9iA$ gZu[]:yyy Q 1Җ՚)YC{HpK;6j7{\g".8F_֡2, ;q#MJqJfx;qKqEe'+{3lV'YnZ/?-{X?4Mq? PuCHDgND]m]Ԩ}&z}`%#>"f'7φ/9;@A2n-?=SHvj/:苉Os)ѣqXDiG'_: 5S6}@/Eq:#8 ר > ʗmpt䟊) ٥={!Xcn[nEc:;`vvۙL&o s~\yJb?HjArϷJ`2GY'F~A7W6}i߼5GQmSmtVsUGY.SOahl,}^V!9yn#'6'Ɂ;x7X)yM0YyJ @i dkߔcCjA7Q3~K嵬r*bg }0ZWEGܸ[NFDۏI3+G' M[cA֩omRƂnOp!|-s`Py }1M(0rIC 9ֺljSωw^bTe*[4k-aT|9 As!=8~ 6FGSIws$ݒْ@5Fx槙'Bydpp#W`CwT fF VvZMg,cj22PHW#n!;тI`,v~˿n'3חWuշl &`S0!̉= ̇2@"9l)a6?VI]}Z\''_ѳ6))s>#iG`DTB%Slk[tq>e**;A)fxXHhIZ/v~}ʐv,%ES@}wfh9A<|DɦHTN7zฮ$,ٲ`75Pzi:Gab5csCI;Fsjb`'h#Fr|8rɫ89ۄ߳=\|qo69H^Q*%]|cƉD8 biFwp(V:2@Lbvl/d%9I}L,R8L+;&J[|fQ˨eMγ٥Mmwz /Ŀ5%q4Yʐ"źi^: {aJ78=f+ϸ(C;%NL7"`3;f#DRW3Y%X>wyŻUÿ͏tPR?;b!H!GvZ,X19#!SYj=x7Jv8ÕLAdr-exPBPjQII9u:H:GqT`W{1\<բ,,C:|~b̒{_AD {Òs]j9Vrj5A GuOBݩ${lO }͡d۝Hk.U t})~ !j%ʧo}weJXY wLPgu4AZoD6|og|q#~m N` D6⮝X杆[\*.\Gz&^XLDX &ڤ%$?AJe![ӆ wU8B ]3TXmb1 P+!ݥF<}%!ηw#g-XA_p~{@""4]>^.V*s /VPbnr'V`&[B{FY@H8)50 oiYaMC$BAJWj3@GLP,AP u9_q@st gATș`T ϕ9MdsG&15bvPcG u_%ߛUQN"\SES bcZTՐ_ՂbnfU ;H", J">zi<0[s~!wnhxa|Wut,mp1P@ڴ4!c DcNV]O(CZJ.|& M?̆N$ʍ 8Xh-\AI掠t_8Qs^h PݟDWbɤ6!r&1k㿤 tE|?!;$y5KRj>.; L`l /?JDw8IeJLB$?WҕmK|dv_O6m<4?V`6iZ;[K)n)7@u{0Bsє fB)Xiއ9J"D `}6Թ/c 0F{}|(E`O6חU>w];aWV<-֕~2޴qal,?vy5a.ߎ3u&a&Z-Y|AB}cif֯dEC2zzws qi6N۪xY+ߜuY~xnjƺFxǟ!u]V 4-I@oDɮ'Ia:3!h$d_\yf?g8jrj6 Mvֶ5Əbz,**ϟok%~ހPGAгV. %Em{Ġ~mtI "ͫi^x{9_ؐxX>UTŎ0:Z\IW'@?$a=TE;߾܂U^ s6OZUlxv\C" T_*W3%Άrri}MfwC+*r{!8NB0gC0㸝&>]äYC&a[K+?ϘNĕHnM| Ԃ/}ZtF0߄b67l#_b4J% ΙN=UjJkyEOq - 'd;ƩJ"M.`Fb[~&It!f lbX z$MHibDB==Л?@wBbo~t\敌'&V|֦:nutJ)^e [3 X7]י,iSy2+!./G%иGK8;mTCA&u,CK2;(Pd^7҂CP]Ia:g;[\}#$*=2)i"Qb#pH)%kB`8ir` ln 9`I#6 t?iW8s?d?67Y4.S2hmd} ء%/qjk,JYB$ie#]zm9oAWhgDm9aDnQO%,,Խ/Enak[c*ʉ_?W&+>"R 1M5S^m;T܇ 7oWDycnzoY L Ei/14{ZvH=m*>:Vs4C6|2|sHpSZ/$j+"G _#1}LNpIח'^8Sh[VVSUKlo?,%(QP!i&?#'I죗!gG~P T V-T9{-3V#h4.΃=ƃuJ"Wb: [m->)dUɷ[UҢQr| 9vy>_ ,)Qr'\ܓ jn,}ï8Ub N6pu [C`>W#R'Fq9xvYm  ns>YELs0iL?^C']ˤ?7'q34Y 񿷀6V.%- ݲ/ӧz`2P y,:ХɊ$xe4cήח S7"eQ8@ɺQw6g:Dsm_N=Ɓ6"W$nxp22.PF!N_q'=}NCg԰>!^!$@KOLJ0AmPcĵVhR+B >aer,$W-FD!hUV損&BPs㳯e҄=X#8\5f^sMryj||| ƥ+/w/&*$i_J2j7L*Cqh ^mؼ ؂rRHCmS.-Σ V N,|[pCwK6=rٚ fBV*_jQID*1Uj<6eš96r_2B;7ߎˋ(MEqkn⧦ Sl}g@ XA{mHXvjI~vTIsqc՗&v3`Yhq=_o]J*ڄЉ?̵*ݪ3Z/"aۊs*\G%Mdo"qwt<-i)Hwtm>_m9{m85VN3"J3%Fb$g3! .P2CzZ w-!:r4` m|0T U%@yJ%MU<|x_`g<&Mv6N;_WPƻ;WQc9d'Mت)_~ :.uuźÙfF+O%&H4 W5'H`Ӑ\sLF\^5E4L $k1&Jx@X7݆gg-XM[CU^Iϝ1VEbƎ9Cv^}P,N g Rl,a%)5*d2+(. 1]n@XĭF x1ڌʬ ]OO'9ؼ ?GӘQKKjĄoD- ?N]ܽL~NGmr&F2㝚}LMm8)Nx%@'H)PDZ &\ p:GtWCXrrC J\LwjBu1a-.Zߥ"5SsrΠ7hI%* vrkw1A3ֿM#T``Z k81=LZC; 2wtu$+~i;kI3k9JSXX-p UrJdm&5ܠٴFPa"K|P)gF%&y \!ʭy5bض~,47߭?v zH"Ubr܀rΒEt010w1G  ŧҺΟjTìf(cWKW3ŲRl58T#,R "=n=rXȤ扬U2`r8??A=m[h `\J388~aiqJ3ŭ YN&HF EW(1@Vét`A6j ݄:#ZIhmwƿ*'k!sq-;9 '=71 $Α%:5 wx# ce"[M[+,z A[S^!"=S9d /77z~FNxJ*X<$dC^|O)TGm9jQs2C Տu66t'ڥPN@5]9[J9R2fj?]G,aL6\cBO)Iw[B8 ك!wHr:ƞ pŅQ縨zD5W]$#oܬdYPqEZn'D6jԧP*1QC A6Ychʞ;:lgS՚GHM]fa߼(&(󌻣ɯZC>ץ =lIkH։}_%o#[>[{keļ&EÐby'IDZC1Ŝm 7"6 +DѫLŠ&&mK u,ʆF2q81~j7) _%ήO[y uRO5C ڪ!RA>2W 4xZx 0"_8EQyi;L(2|3A:gٟL{ &S>kg[^CtIa"Q/oSTA[KNgs?PƈT(FQD BD4 JuɈ\Mo#I䲨27<#X&@ ae :ҷ֠O X53v?mvgحW8c?T#^cTrH;7+~B(% 2T{b.5'nCdyvӥ/y3qޑP%̿)mloL7ٝ+y+wa||(vcov9>R񨄨G gnd6-L~yމrWx>b+ee߮t}rf gӼd1CqBM ?ƃ9C) gD=iy kJ&:u}8M">I@.%̨r SM%0+ O;a~EXT(]-%iz1Y[\OiW': V2Lk:_VD2M5ԋ*0GĩbjvoފEbCmc5.;FX Q;/B鳄6;Ud׿f)#5ŅvбfwG52F+Y(:(,cc+Fk=ۆ_qa[@whQzhz>Wa? 7C^hhƂ/ O9|W3 O:Rd{mOSl<骧L#]whj$ҁDA فyD9@!8_lPz&N. rKǨ)lb ::szUYr'uqEm?`$X44GeXXEx~Ve :Ff-pvcB< ;vZU%ՂC|ٌh;i~ԿZ*4X檖AX2sKfl P{N~ . -G^=ʸKd/PF;:Q=~hy/z?L}&Zklp7fAXKM0G#gaXT0[L1tɱ$s% M.S~ ^3QyU5t[^I&K&r >ds5d<C :R՚``[cԇ&8'Mk)a-lS\wu`ml[Q{pXoDλݛwh0hܣfumJikwεds7z6_Gw`0Gh1j\|^iK;1W.9i:C,,zq(Cvy*lݲ{zKGOق_sH I_]xdrob7UWNЭ0T,U©N`Uvl=ۑ'D>UjKȓoLq0T LPYw76l*nvRm+SNru7]q1fX} ut0Gَ .SBc8Ǣi*7t%FH d] IPj̅UkhD[Q9ؕ=";Hfmߧ0Z L)'8Hgf\KAZ{c J/tH9G]cFc gʼ"Bo⺻w|* I |3c2h 缗 XZ =|AImxZ~{HFor'dlu sڃ|H R=r)'&K )CGDt,W.?ωa pB3eӯ)1r_9'`\IYqgX̊ *+_4R8ɞDbsMO߾GiU+V8YS]}kyoUj^HXSfK\K9ѭ٠lBQn'М:LqSq~Q{ɲ3 lsSSTe|`*O{SEV77RiRZPePE6Bޠ,|B0.~!R{?@xӍ/[J Ww±>77lD$ tY3gSiv?v}>76W{"?a+~ : A߇Bol m䭒qtoB*cW.0AK^K&ي.I!#>(ZMQƕ|v&@r[@'0e1HK'bNxv銁^(881E0յ޶l |Ah<ˮV!v8 ._J}0x _fg{CQ(r^v^{;wUlA-PNT*Hbd^2Z䂉vq(/2- \dAKc22 2!Drvc6X}ht iFug _ؠpEfǴ#*vLRw'[h o~#.o*'VɷFeA]x"rKg56Pey9/5"z/ \``aVI'h'*b!אr߅,;rT| LI݋ }IB 7viە6}Znuף-ByHV;6j['s&YtCE6G!~ Gs+kptV[ E L,aiq%ّ)$k"~H,$:?4}eT]:]-`Gqy<n:7-m̈)KtgINq6l.F̉= t23[r9&@ɕN%"re`ƌ k/SڂNR[4.lؒt%Q]cYw7_7Eº׍C֣AT%$JH*S\A,߾Bmp{mݜ?^Zjb RKnNJAhH)TLKE?" wXj\-Ov:~DnyrgNK˟ ~J7zDyAi2?["ZO6?=&ſRPѬB-ɏFG;w](/FcT"}-ZU֎۷Щ`Mr_O,*g!M{U= X̅ۂv"Ckwv Iw7:SܦlKW> ,i dKAUӰp~aK*:K\_2o"C8[ o*Y*e/aFDX|b 7>6]=ƭ.ySf>iJa "qͷP [Az;s/9zCnLC!yVvMp4'7LEu93Oje6Pv;>=:Iȸe&-|왳0tٽ%fC^$o[YU%='D0!~&YF (L/qUc, 9Z[WUsYjHVґ4^ՖÏ`?8YY&1x.!1ҧ^g.:]Ț,3SPDn[ȑܵ S2ڱG2 _]r2L/犁: qXІ+Ufm9O3*lU8b}ȏl4;=Â&$"+ W#?jJCS^yxc{I2uEiĸ h{(O{P2S'4 VhLH($"K9+* ^i570ܗ̈́F,GL/nfYI[H1ć][u}&qpE.e[-%x):^y4B(Q-*A/f7{BDA*(#yLϕ+cɗo[rj_%{_2vc4yହS]# 2Rg°IptR OfU떶䜜YS9*L*nh EjىBP٠< vR ˠ6(o$S/ˬ'L-5Z`V·ķu.>F{+k/fƭ$] *Ta^9bN^\~ ` 9lt11m."JENcU0#U|qJ="oQY8eC5:H7H <Ƥ $ fܴbΌn%.r<ھ˅=bMPiV o}"֕{ x52#t{N(ir<,K~ʵXEޖ9'J.j==xɽt{Rtd1iX !$[~V04kéDඏ/ eQqϻpɐCFB,m TޟGΒR[چ FB*1P)NG5D<^n0uܠT( AxX!.d~ԌWbPxߥRKGZ=Þe{C'-pG|4{g-tI[X06~HUjYPC_) bRm@G=55.,lTReUBÊ2~h >=JUDi[GM(9;y„@|^u!,Q(>ʽWE6󔔭N$-QH*)qDeRr|tτ] fx9 SVF,H)ި T`(.%2Pi_(G]uX};gw[FquZ2p$^]؊Vӑ>FWIuQ43G~ɦNŏ%7_k`V@2z@y@~y(Y HuiN7iUJ}_)o[WǖmpstϏ]wSmJÎSL,oc[Rrw wk2ʏM 8P1Q4Rb8[ 먂6`?la]N}>D}I@;K_Ym?PK F1&3X3Ѿ!ZDàF6C;׽ҹHt}(/КDh5>@-oS"h"֣[j⸟~;y[ m) .yL?=Z 1b`u7Al {(Hl`2[F펩Ly’FL J<ףE[xd0X{K.v`͒$va'W%E{RsIx1w*UK$wJ ާwn51f3K]wG?.]|;c.urg}1.޻费}ǘ]yj/7pbseI+QS̍()Ze m㧄2 }Ckބ:?viB%vU<稠$d& >/D<{2#-q⃝ Am4OP/P;򽉦 pv6fL]K$`diM@},J)_LBT@* b6rXDL +ȿ4<8ǵFc3N #\W^{0b3k߻!1K}K!P r29xn+ߘ7p!@ڐʚ$WLJ>|n"?UnNn6yqFИrŒ[ \Ӳ̻癦{%R%MrS"ؑɶY:L;s`g<|5XFdla") 2XV(z@Lő1G[U.nS _@/+zz ua=Q;.2 ZG n+:7k#ky$B`HYs0ZTEf{^b1S&&W{Uei ݜA}+`ҳ(m’ .`J pY9zoK ٮyJxZv|f#eX nsS Gp Osk`?ݛp4Z2->]msgfFvz:W`D}'Q8q9Re6Nu@uCqO%=(#&]~B$ g s H.J`; mOu^ !x>2Zrݯ仳W6o[}%PjmidS͇E4[|譇X爢e}ߺR~I׊˚Ə?R%VXh$&2?C a  MXFj!ݗM0^p#z G(K)<;4ޟxqr<`"rEmZ~aydyչz 5Zοi =1V_sVԄA%&g%nC)zws$6}֓.#b/JwwԻ:jR:-˃YLX 5u8mR6 uqcoR[X[f&:3V?}Vx7 ~ Te/\4R2e麀Y`JTrY/´b=xfGMA^r!!VԪE;9f 2IyMrcXI`ѥȑs wSפJ#3=a C[\?^o52Г' uWϔ+&`3:%}rNY[ӄlY96Ƃӳ<ʙ\ Z",]o~q8jFO6882b͏o(I,|\y%xp!BXDB<& P 5*vvzszļ :.kr(jA+F E>KikַAA:H?2~?{{ Q[nFZ&HLfod+>D ?wǓb}j Z?w*ت}&ԣH^,4hT\,&W~!_LhAD0Bx5ɄR:n\FV߻bӁ%b;Lz* O3VgPTxޙt֣GHr&{鸐:jse}QޤWfƚ^y u.P_}LM{\f4Q*JbLSMW޵]u8Z #t44X5CRSXCP{`̏ z>0#-bCی9-dz(" )e6J({7Ǡ9Tǟbq(lXCSdZ ; \njQx? bd&^ (;k.N[hLnC!>uސsƫn^pJJnYđhm>BKt:J`WԠ4l͋$Xb [i4u/bVioٴ38i v&_)\hD8yaZZj(wk{)Y+|[9|S*9>GjVCufJqF+![cQ"Q[;-u+Nwbrt!Q_XYlHt.*@b.V,!&mlY=]5qo,Pj7I66ە1:yIaU,rpJ>}*t8<'ζ*,qhZV [;WAz xѰ,z6̣xsq+ aK",3Aँ/<(jm WRL=HXa %p?"mťoA*򞒀ќ0(aD_Bc+zu% y[Fׅ`穟PoXjYsV6,nƍR,y4 j0HaDl獽7!vM{m=5:]&] =+dl}6A:dYQ/|1,! F[\gA+4wqJd  eHG{`}L]BW?+\gWOiHXΠށ3CBmO͢xȼ'Ep!p-h5,rSU5}pRi%,ҭfrB(ox+d)(u4&oW-7e Zy5 m&h39 Y\A<םHb0(1R 7dGrS| )ܬ5]{Y8S+Hp@73-^^mӡ\1u _ SgD⺮ <4^t5=h4 Vx8E 79rclܳx|4}dD/0cM$ZH0b菕DTr?NTGHTL-t)7v-XJ'P˚uZ7wB)-Xdܼby6/2-adFCl`cs/y'G/^1AI5H'%pCUr0jqj}R%A \)$:Qol-Iδd_0CDߞ<!C^JQjFQطmt ^r%ltҲhc-$DY28 UXK"vjӏɻ+%tKY$`2~pP_+ڊe-s^^_H_{}ddwhH,RT4I?Rǜv#//wa`Fm ´ \XtagYD2qK]L0FL泥p=C$ȲVLO{=tL^GJ^K7g,%oGdkƿ*V7#ܣ&GgYa ;+pI=J~ku*b3q+ -Z#hiGhey鈾|1ݾ4_f? B sيJN(P*(9 LtR5[l J dG1ܮ1-:op`@1mn dAOpAi"5?S fx;&_3PO6wVP~Z T{&}/m uչ5=;9;^^jpd+eEZ/%>vP's3kS;=JY9g9xQtVq}R\{%BMe}?6@;f `}JR1ɔqm'Ѓ[ [ |޼ԃ_X [LTOoEA#Ky L['[/nj֍ ?蔒駚Pe}{4Ƽk!e*:sRGed^hT/n&s)*]VߘIzlUo֯q!<-޳#$BA?CBrS gG{-ZQ@~+K:l`A^ԭU's'Fr~;T gàdJcH¨,'آUH`w^+v45Dt>&Cܯ3Vk2yx!OS-H\xJ2o"ƫ<%8zPҌX-_O'y.5Uw<}͚ofh, =CZt~o>ce6b 4NRvuqKgS eT{Gu~.7J,溉(sjtV޻ b/-DL`~*#"kPiy@0;Dmr17gtʃ% |/G=)4S`;nȴz YwT.əo@z>ycMLJ1u3GwϘ`n:?i ƝN"eY/9Lװ\8ɑnݷ qnƾ\(#-$]MMWצ"n h]n?9>BwDwI(`a i I.WGrpwV){ #pRƝ, 7+$]XY/8ݳmR3^ n(X w]TuK&="4FA5\-P6d>5[얺TksI'[PUfYЍW50ڞq.n"ڂ_a"̇Ҭ4̯+]IzEh Kv "V*{"f&ۗ\dzϮרrsj+Ѿn 9$6>·J4L9٧s&j@94a&FC]bYufgNWB3 EB[ؕFEFi)$/;7ஓF fpEWY tqCIkbǚ)kL}[ n5`!xáSM:Sf ò:}Ϛ'eJ☃0Q 7Kx<{=2Poe\ D ԓ"^Zl NS2Xn!{b:."wzQ'N.g볿G_Z۩mĤM [I2_ȎE]Ssv j%:>N<! d۱[yg ۪ x oJaYa,Gxgjb٤8Sj~TiȭcC/ԚG;UӪG,P^zXfH,bwL>NT߰x(g3@L*ew>P1e$@NVAVq`j+It2igT `_j;{l#Ua~w/v=B:[p0ڂ6&?ʪ;bHxQ#ߦx/^E3[b8vq!2V7Yxdሚd9 FP6,l{YUO10Y Ƭ٤J.BY`M㻴չŗeqd|QNBh~1_6RK;}s0-,Jq>~rŖQ[PUm3q"m0V+(8 DEA`tpr6%w8ᚩڅ2&s9>2GO^VJ OQ8X^Ԛ&iީKj$9+g$՘\vfjHtN6^1 VU䫃9gIW,l#avJqj{8K,j#lMlAn:C€ɊLبPزq9.%;" gQzmZ@c"g/wSd#|C9'oٜZ|/nA^4,6a>(X0JN,2NSCA4 _ [>:{sNH1$-.ւ<e߳ն٢ p w֜8 k1ܹ r6#ؐmP_?~ Be4`@]; #t Fk<.I rI? ~jbB ܄tmU7*1wU.YНb}Z P1qUgts19rpYH"xaGv[5ӳS̓bbx~>r{vfntIfy\1C̍6+g䯺|hEcB3c VзU pak e?g?4gFn}I'qi +ܟsWOE4dH$-Z2a.qy0Z[%'ԛ[p?7kMX8z  zؘf%DD-Gf_BpRDsaT*XGC-J$c=qĈ~]팎z'YL1 uj;SV"dy >Mt_JKm>w(mZ 쫁| yI`3n a&C cGŨ z1Mc.e\^/s_GڮkdХ)S F,bVL.UN"uk-m6H(7SHۈ5f[ph۹u|>Szvb8<@z#fSxR2mv`BEYñګ~}O4~=]:#e۠ T4?=]0xA%iah@y$pa,/q+oA'<)A<,&xjJ-fqX":RSª8lK >m $C_m,fi=6;ޭ.W8!vo%~ 0!Z>kJ{_$$~`%ʒ '矶RX?9<  v63`ca3H'}Al$HJH˭c;A}3fv;J ^mu!#Ay-[AAd b 䯔k.#T:!;N#*6~Ib̩Fnc6Wqw4 (Lj̓cڰ qޟ}-z4dxQ¼|ElU%wABT:8i9 PQ/=yw"9ܛ0EN|特<"b)9ZU={aY(2\\Oh (C*_L 8DLt(2;h6:Yv=\OxLIfċLQ}9qyvk(^wJ͛,})#PBMt0Ei񉈦Vu-xڹON<cj;3{Ko5Zw- 7ib[;mnSƍQ]/]h"VHmv3s|Sl*wh N"#gD9cH[Q5Z%MT\=ϊ]Oa.lUGx* @GFTqZijI*?!iω/[#D;p[{5TJVFaFs1>wĉ`6la'9@qHDr*md@a0<|M]V7rG݊T! 4X,t00Ŋ,}v=/V*"b-*iеdb0JS} )T([)q2A=u_(:VEsOʦ &sq J{KFdPvGB78LPʝ"`]681jd{+:|,Ep-^G3RĂ6!n 0gy=rַ $T|0xK1b.J~Q6Y;P)b` J_VP}yQSij}"!y5Ld䈯KJxB0cJ:fd\ u{_l`hFVI4HV)eiX/mƼAnʩ"m &"SMhD}5 vDlcR;.T=XY0]:0ʨkߋڃ7|)ȟud-3+V'mt%N wSC0S7Bd)1˯0'X¥CO^\v54Igj_Ue.AN~<7b2MIשc6#"`,$BýXR&zʶsPn/B4?>tGuU=XxK}b;uyZDno<1O)Dj8OkE+܇hјFX??x[s* 6?m=Tx UCeߴ A>Ob%/d20cO02(@$ˊ-൉lj94~"Q*tQYn#YSmlSJS )o4yQ4)פ(1 TqW6~)5kVhGQmB^D ER [WŞepr-$ _Vn:uS:?tQ3a 椮*Q UrӃ SoiSȬ ":4n#$~Yps{P\M<,4:‚$ͤwV +Y=.=d.r(ĜhJQ[ 894lC7)r W1ƈ-B%LJ-Or0.7ۖV2vԦKN+>8P<EIH'r\` -6+Y! =нa1ƒpqV+Eo_C2f>|It|,^zESaG ccJ%1?RD\&DB;6Q2|\a%} [0|LHOv&Lw'XU^L:̾7jh?BamB? 3{J|:.p,VWc=fj04aSTIģ_՞+8,])_?7/E9}5 x{z/l)a*\nw ӶxsJ1%R_PqM1tl<T!SP9F-K2BDc>Z C=ɏ@ȜF` $+- v;'!  Q4nK֏lSD܁@h gUNR^uJr@g_xEʒ íԼ=S1fs#GND]?3`;S]zIee4ڕ7V-tPYcvG #~򨕹@-67pu75?$cjc;EvbX0|A8Biୋ89E5vRGK-BUh_b%B^+&;N<;^iIj pC(&FqI  m(.[a0tXIsGS:ʈ=m8sNJMv/Sh\P3Y bg[ /ռXsYj7qTVim^_=U ޾*Aĭ]Շ^9G'a3(JogBq_X] }KtY9T&ܳ6R-w^Hh㼣zO8,ig3W6AF#T5Lqtg_iv2[4`AH.G28RT~9t P,;//p%tCR0\IM|[٩DcN*6)MF 6* XCaq8TJ9@_g['ؓ}$e '\qFBWQɨpC b1{ .t52 {iW݉uZ'IeMnrFDl6/'٬ M򷢸}t_|j*33/1la mo΂t6M=Da1]>pG:)rZ #ꖡ=0%ggpǏ1,mgYZ01ba78bf4761c8feab74afe0e0481a830ffa28914b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0c658babd2a27b58f7ce30acbaf407011b260f1f6