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 P%|$ ]/]HOL-Analysis:threads=6elapsed=275.294cpu=1219.864gc=83.944factor=4.437zXZִF! >]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o#/10 ̬%8 G)٭mzuPBRƒƦ&vFʖJ.t:#MlRR4 e;KqFMu*`[ɂ{ޢUs9&eW \\_Jx{3~ͼ޿]DhKz߾0P= a`~p]9w/jŻF9O .ZkNEsd.RηޅG֊MiMHN$L,q_=A퉌 5کԫ p_7$ɓoeF_ʮ.sӹJsЄFEW8zCF/dQ&x L^tOHQ":7As);^բ^hk$"U>ķї3d~)KA}7\LƇ}w*ɨ"qt:6*A{h8-Mvzl]}@ߚ YX9o+FTLqL(fΝMXʋN uFPQD۪`S'q$X|`wX6d_FWHcIzag2m ;p?h?ٶͣX8.]!-GHOSIKT  \x3GN2Ey?[gpl{3cq lRT+λ[:zz1esrrשk_=eRC N'L tv)έ/ci⎚T5VlRp%vˆ DG S< nB&8aS^7ycbB>|SU|}V čA\4N`Zd|D`c4RjzZ%'dL]<[{pQ[ӱ:oG9$.tU~/#1i|_3%Usakݡ_ZOR~K{z23'[?esL@܎ӆoO@SnTzGj*g5;fba#pUj\ϢfNN8C5E ( v4ּfRYAdE9uF YXы"6ƁLH+aLV/cK@9)m* Ŝ *.S}L3,AcU.&RcHcNp.F|DeSKSԩ&j}p"۩ qC;4s,SN6RiLԱA#~MG_ᕵmEfnK܃W iʜcQ?ˉ]\z1_$ 0WtpR :4T,l8'՛PvxH8*9҇|޹A)rS4o,WI+.b7o G(Rj}BDVYNȠs߇pO&`l킟H]`Ї™tO\[m=G[Ϳ,MKr@#ϵ1=_@gRy֊sqڠx|tE]%QQ{ aы0qO^OPZ%FmznHj!M 3ސm+>RSzn^Adgcc FpyxFn[n zxACf}ULpC8jar zku!hsX,]\翨 % HOL-Analysis q 7e yp/0 TW!19ɮUP8B|9ЗR,j;Z0غ͵ ٸMs80|.'ec47O?_r _(B]U=mݖ;)Z`6QLu^"7xmg{֥سb׽'"t΃.{9id<)eM4ALµ͇KhHtec 1]n#iWc E=:P heӘŀl/'2Zr z9,vpp)K`ID4Z2@WT:ugUEs *˃Yz؀Ѳ;oEi!1~o&[>U#"D)4_;ZӂXa6$ŏaǼa j,MoС BdݶaY@Xx/a9|cs֊yJĆbx0.P`9jNޡ +T?7.UFǡN̼ˋ}wH ,| L,h-CaD=0枏#{M#;ާ+(e* k5,hQ¨-CSemkaco8utRU?cP hVhF֗4&{4T $4}Է/I!D[x81o1GY ֞: Hc:g7r`2l@)PoŹ $:=8q*|MtT;L^=:4l9hͦ=@2hs;i,G|&\|Z`uohiIfJ11MZ V?IAFxw<53c Uw6H!rߑ`TN!ۡ'4RUn{t̅=q՚acv˥ѽ_>̕]"nn"ps'7 k V̽]) `>XHdy5Vn@mkl-GJL?~괴\'oi3&tȿ5zOraA` > xҢ  tb̅ZWj9fC\Ƶ}^DГ,4ht.]9]d* mZȕ$fEzx= _dVz,+۞Fq?V{.nO.JXBfX"河F@/70#(L m99݉#vzE艆S * NiLj˃?If[WYgr|q1l! c8e\G.˟>s@̈́ӟ:痑d"^ BҤz6S:9 (ƀqx s#=g$$*j6x8Y\txr3A3LS pJ7!o$l#ss#=vŪHP}rnfh[> :~6`f\q-9kUl 6V%"/z)j+ Irž,lۼCQMC(֓!KTK7[N#;"lg}<Eq,!-x2|YT2:O̼+SmsqosCew)jh߳E P?vU" ЅFc`8($ʝ4T` m#H;oyW*5"5ֽtwM$b"PL& 3J+㕶3lѫ|SHeF[_TӔ/|AQEDH|앫`_26*#`szo#l;XE;̭\o I׍ږs<1R#&Gm32㉋g 뢇So`P)e}hqhST0gzMZdlBFDkB|_k~M!-m?}'Ḁ[Gin|(ϸ@iXYR@ BɭoyCT/T(M r)?pޥmf u ? K&tdcho1{3bW`c#%X܊-ƆSk%RkFYQ8SY Tw`$Ӧµ+=:ӕA#V^[mȄ0;%78_W+@<rM f C F6^_׶gx~3 I%̳wq3:qbjذΧߪgB-[7c8W+OIV7X_L 9U*:~o˸Cg wg@BEۊe)FRLҜΑy4Ά612vg߼9e@(iVci q6-W栣V487}ّ(J}S;7=اnn:8>Ev*UNXr͌jhN`f#3<U~%(q ! VFլ9g!jc+%T8u]LΩ%BC(`WxMn / W!+E]"}0;\ʇqu厓9Rt?RX[4WD>~_4s-w~Z"*,XR6?Eq&-P&G R%[@}^iZɎa UFvTAa)!_7 D =&3utET}Tnҭ/hK|Sٱ~~Ƞ@Erj5[?9wWUF/X5>u,N~'4vJto K3&n z\$O;pFs\~SΝ?aIs I6 NGwp@kYxNk`TXuO6Z7];r+HXP[u"/굝&+/Ξퟮ">[/OU`QVLyj lp!H2c]c: 'iqy(_bJj \oYvP>"\wu !WUƁɉwb#Ey9Z0 #CH{_nVȟvZhi^""hu$>$19Y3a"[*%oW^9aC;Ge4 J֍%Vy*GOw`o8U5Ge0A/{7g'/`H_^ KB!3Zw¡##K= 1x dg[l~(25zya\!&Fb:=xnCL0ih<yW]yHMeKKn` 8!JlV6i^Vɞ0N3*pzUU/"}=){ ʩ$r<2nvd }uSީĖ 4:ΪRs2)"T0UDyCUגmW{| `~;yd&!*TbD1I$ PEag%"3LJvU\3: <dlu ;P%P]=6lRbKDz<_'SY"sd4 AT/=0VMxju}A)i'wOM7$(+gM&;:>2AKrBǣs3nYTag|vBléTb4C4 8~\ ׳/`WQg3GN4*7sF(h4Iʔ;znA,o9n[3gQBFWxDmM>#^ܓ @/POe Sr!(;S#w?{.j޸;o"'Fwen(mOʸ̚Zbt@ۗ0P@J̧I;rM%6e.cjj)FwQ2an>FJ \4zI)"z~2$LCe!^ub\,&((7gǷΩm!ǽw' G>A?$nZVa/+ap"cFBޭsOz^I-Չ0E.|&sipLE""U=mfF"=GJk Kh6tce|hROn8*9l~ێ%4RY7;i&uP^ )Mp̭=U5kM$܈,p̴hN>t߭5-y%ECUsw`/b 鉧bʤ@h}8Nq^.[njcUM%/<S=n}slܸW"x}Y-789h 41a>|)g(C \>,έ릌ױ2f q`doD ,E~.^ /=y]`fី# #]Ó {oVq;4r5Etxg_/xJR/Ê["*^ [Kܣ9NuϢ4䧏̉'85;_/D+ `\!Pڀl ojoIyro>msW0RCrVVr ŐCֿv~brI~#Lf{£yMI00kK(zmUQidV(jR_V; ;qaz&D;t'7ϓZh_GC|?j >jGdSs>) FVPc_rkI?15 ˓-ә[yV]MtD_7}QsF!XZ@?ȃjlx~0)(^T0`s4qP᣽Qq1YD7O~J؎ vhPc%GA[-ؑ<̲V{Z8F3do nwhPuV]ы+ہFq%~b02&įx9WIg|ՉChKе;eR֤He,T^juP|j|RC?.F W9 @ R5,q?GcU Rt+z~9@oо xp*pFQ Q&w2MID tf`k9 [_XS*"ȃ@FIYd\Ce> Ksw~"K=VtKmp.);47U9bE;\To>RFp2aSsL9QoAN1a59WJb-.ͩZ>=;s3/58Gsb>vJ ϤvďZAIwbDN YNCS%ոP_ ~wA1EG OxD,YMFi TvY咽^S!OYK6|D3yO 12. d *o^L!o^(rݹfFs:SZQxDRQıiPlΣ.;(0@L]-ߠbjPtPwUA:E-V.IqR~wt"|ZP 03el'ס,PQr1s 1 TB"#bj6-5Q*T|v|:p+Uѷ 1mDa~)58|y@Yʛ1'[zdP2O%)6$)MhJx=C5}!LǖdMzY z 5[r/Cn5/_2d}l>U|_n-i՝IX I9dCfBe=d윌?jdcONdGX8GΒSΨp`*Gp7y5B (B3KJ?5>X\î*ڶ ue̼r@bM[F:`gE30MwGOΊuMB}m 1F=cLaQ% x;W'U]Mhh^ <$kc㫉o@m2o&dv3l{5{]h@̣)kWSPHw (/җ66}egO/8('U}LN?Ftg6L.B2n|Aas'>*ZV5Yc'0=M50ÊE>k\Lvit e"?.*͛`QoZzF55JҴ hP `c[R{߷!9XAXǴQ;uLidQ0iU['{P过M:殸@O*y'~'Y!S|]f7FS l:]!7VMa%EP_-;Z%yƆz ɀ/1vMiU֭, +mW>@ءac8W8P T nFvMTBk'jGo2g ^O2('~uQѴgscPĉ # EO \`nmq,EXqdžd,_^9D2D' bq6uRcYa7q 2lhѦK,vG(+ɩ8ij`pOyJ~)Y:ϬїBQ;&‰sˌT.p@,WIl x[; atY;qN,l0%25^z!$]5? Ys3 nWR]utFz'Қ)PnHPỽIKΗjq[x~M0^wk,@=wZO$8.!^]ٯ^Ů yH[S* ̴"D#+{oߒfRAR۩'Qp M4XVB. p,ogS VZ/ Krg+̦y`~v,acA:Z >!9}IAIfkQWH `KgtnD=d1\C1gr~` tLM8DNBkj-X[QxK!"RqNWIChGt) t^(f ȉaY!Mz*/@n߻KOU8Q׌id[,$!@˼]rOQ4. 0rNo,N|A$;Jf|mh5$|Y#el̳ȦEd)ҚBgs1bb齅yccE>9J6E:. qzx2mOHٝNƒyA#c#B_+Lo lBӂ{]JL2Hz;m9Hjes,W`@D{Tz U m9"I23'x}zg* i3_ %;]z6Á\Pdŗh'ȡ.*xtNR1SbۍBMGK;icฬ QYjj rhn8ƬڊoeI8%z\}xyٗnkT1 [gîxp5ZUgoݙ"L1x ,c5gY:O;>.p{h'@Sp_o^9~UKys7,=7cdo>T`x.n4&xr[E8rO>J,,M˸')a5↚Ht6b~Q_ @~(|L%Kn01)8ZK-Go_{zTh6XF0Qe¿w|% }D.U{(pb2Xb#DQB)Dkh+&8 Re^l9 _ %7Kңs48{#!Ў3Y$&̘ݙxm*ƺ6.WM/S p ,C-65t;^#Zy:\>~.~5,'>/05QAiT*dyskD$Q" %ռSQ5?< ԸeG-Z_Hs M״>@OlFTu$sLc5` D=ŭ+2+8Ha 9EY5؈oLO[Q VH.%\RkEBvYKhÐ@R_Xd-2B"g|n^q(i"(ֱx>.F *B{=| >aMIgYZ7zXZִF! w]ŗXiɟ1˦r!cHkMeBd4bЋIq`4P&#R(W=*\} 9,g9 %}76%<2_2cU9nG1zsaqql>M'CHb!$h#g3!Hp].F}ΌtyH{ͬr::#sg8Lݫ91hŅzI^e6fWY0d?m+6U?`EK= ,_x/9!> j M"쁯@*aB:Q(?dm&*,"WBo sRz9!Eކe8K0_TP4v *+313:EFCSM_~F HPx7vo((X5gZ]HTSZ5:@6ph7;]JޭlOp3tK:%v=}Zts' DwZҍgJMSm k..Ԧ! F#4-r\}Hsq \ ^DV R ,N&F9HQJuUaC\Z9(;e+ƒHN0q 8F 7Ls 1O,Eĕ IiV(+OA 0xKY\h:^x&!nH/S+; -ViG!ߥNy&;_)x.2Klݮq}޺+> n! dk_Gl;}V6C9[͐FMի#=ġ1jJR% vޒ̣ifHaSf31͆\8mntuc*PAH(< LVE2yz_0z7Pr_++*ʩR ߮VNJȔ޶fTߎ*:C@Kwsci#˕P/"oٷfT"/{E9zNH96$Q \1|< =82|- e1U9w,JYta3C_G7 E pƘt 5((MLkksIg/<:G L]yIhYr`fO##oN<~#;jIHfV:;Cj)@*9ڦKD8{|)>ues7ZOeBCvJ7aJounMb3euKvPzOQI3Q /p+oIDyH$l3Z5vO#]u.Ee #,(YOLn?̑PX=b iW`o͠;-NŭjwPKI|imwNl5@J뼌@gYZ7zXZִF! (S]ŗXi%9(O``e"l* J0昫g=c `##ƍ$ .< @KWڦ?Cr6y<@!{1>XCl: $ Y{oD0˒m |GCK< [$UdtgpmDZ&_ٛս>gDLhIbN%WGt$FsX|klʏhokα 6?~":l{VbfEC7Ɋw+=+Jn3O„{]{{WF;e MK*qo 2{u$FT·E=O j 栯 p?7cy(4tzE"Zn;1%pte b@ 8kusCrCRUi׎Yc m7T@,,ѓJA¾ LۍDǔijSMkqzt.p,*8 by.Z]2YpFBH fV+#듶U?C3cAnU>i$(iӿve \AUxlG:Aڨڵdx_N[#uCxi!wt^D_kH{PhklCt2_Rab8Kj;af f0R%MM裧0L)@`s8SIJ |OгpmgQF AN\eg1n0c3 (fd90_!:Pl~u 񥲄0f!)W[0W 1's$0B8чbmY\xg5i%6unj(p )TXv̔v6⏩aJ5'+Fҋ'3DāH8kiߺ;d($f .;,b~2z3;M?4^)U93DmjEdoZe*I{u-;wv,>ް# '~Q$ƽ|&r~ls{t|%taTnU*#~aC6KuԾWho"_ gc lͣL33 aMαÑh7szܮnx"''i(4D*ӭu=!?y?^Yb69P|h|y+$3yhe9U8֔;>!=AKtHI D؂i1'N=c,YjO&\l9@=k0гɩ; eFHQo˳AtQzbຏdh[?J"&j]6^fOaeܔJYLḩws~O_336?'S>ovdZuFVZ TѲ ?},6$7cT͐ZJs!wQfS=?Tpxk58`gan{[xñ*NA=k>1\;lʛV -WXX9>!=yAȱ Dw8Bk1ݴTp'y/Hп<3>\WkqqrJzܥ'\㨮GP${6/⠸Ļ/eJrǐ}tyB Po1W7:MlwBÂ~οNAjbEri)>bTwd?tI(v`E'.J7k$dK! ١XXD$FG@*f=P1VDUMn?{w,`lgKzxW%Ve[ 8}ś=ⱶϜ/cyO.Ҕ}l={6JFUy)}}_QIC̜, eK tkƱC}!' @RcaW,%*׫}/^m<ڑ#eQ$7L_y/ ( @G;Nc &c ,q?7l<9IЖe ^;s QY.jg!^ݱF4M*SҒ,yFz'رtMԚ'Y93:.2`.i'cz`A9 +7%` yk,)j F@+i7FWE>WL[d8ta\; "uXsh:uж̢ vpij (S?2 &U8oY%}ʩ6ꗚqkqB%uFlIe]\,ױa8;G޺{`%\[g:Č˙c'-z q6G^_wlW]s x/RRWv q7#4:Rnk)")ǎfCkP8@zy{Z8FLO.T,[i+('En"}-]N'"9O+>te_ñ;WM;>Xٮس @ 2|8\O$Yr)r#şq:mcMP$A[}xfhPRPLDyJ{srǥkN( YN;e -K.`]J^P."Oxf`)yqq&gQ y?+UǠΚlh͞)<[X~첃Kӈe_=b l bu[+&3ҧI䈵}|rkj鮬0Wf2IdODg5fi&wZ {96]՞hEjjƥH wm0RSyo2^fwuSfUwA%SIe;gJ5lיL5v'Z~AUl+3nLր]!#9"@&@ۜ|!Ԙ,ghc=LTR,j qCR"0xbx:8|ͪgp) ~4PIq M'QM]wČd;l1ë[*8-R> R{B `I@2Y,H!6ʖ k.*A%YK󠨗R w|3m`l6ƽeJYClAG`;[N7nsc[vq &>yҘRM,.H'IL 1MCgS)1D(,y89!DaXrC5H77%kصkhGȉ;P9GHDC"̠(v CTq 18|9z#-+R{:]h,*`x).^R~#&h W| 9 emmϷ%y7|frs~gnt[nvD7cEPyV/c S)NKHGdz.6~5FDs)؉Q,ap#r+[^JO_~Ns`ڪ׻"RaL_굧 v8՛៯s Hwb,bw\oT=/F6kxs{TȂ3Op M8kFe+RgѴA fa5OƧKMʪ>3foHnpԁEs%J/ȄV $8K>T!, \Cbfnt4 ν8t%tDdF&Z:À%Q+*?0Knmq:Б H$I8˪*pKn*KTlTu\S"c5t N[Đ’n ?ѮaZnpC"1ʁa+=|5(nʌ`"U_~'g?fC02kdsm;J,eii%^.ې6yԼ T* =Yyn/m,ې*HSy%cp#\. $|+$V^W9qX%"uMbѲD[%Q428Zal\-̣_=Ii1r&|p٨ω, w+K\~ÚP$QZN"Apwr>(_`U߇+WaR T7+4))oYЯWfT;Y*}%IE4<3C \PhXެxnF;߇kƪMdFJKWz[ZxݝxlKlӯOlnb-s:|(wyRf! ..f#6 ]/R-Ehòż 2RKx{7KyߨoRlt6 L$}m#z7 Bb4] |ǚ/egS#,N"REݢJI]-U;75fe6ZJ.#?jKN>q@HQܱ9/D?Hls+TF*B C*c|W߿ , :h\f9_\Xx^0(7;|=o4D' H/d]ofwݲDckjXF\[|G=E0"F4qs-)䉒WW^(-Q[щ AY0#LA[^CDmtr 1{uuP! ȾpKb#x[U[˹nĤ+f)`D4PaGqTacXc<~|讀DyQɣΧp`?HocfHE;(a )ruJhpc#L>w̸Sg{ptP:CuT%*xY4>,8rxDlbtK[SZwYLĜX(w"OFq-cRG?GK^`/`ʯj.fz8bэ; 11 -(Hy作H$0pricB^1/n_zu:-ZvAisS"9C,eB1pv 4t`8M6^':V&  O N{ D+G ^"wQjJ]ܲec*v[>CJ{זV]q-r jHm ߇VCf[^$1 M݃ay%* - qJfu:ˠȋ9IEgQL~mC؅ DN9?Tif>Ƴ7g6-hb5EџɔJG>b^ɪ>wʟiP<[>Ŀ=#Gz]$Sަ-^ޕIӡ'eR!44! p{{rDAza|rkQ|UDR)Zo +7Q;qӰiY#e@T#CF`p=T4> "<'?<۽!= X)v(+PF-͌ڕx:0Ma r͐lb;u98BgͧuqQL ]hQgjb]dl`yt )PAгϤađ TaW#+C=6 _žz80lr㟠<2'jJ#lɿΎı۱j]`t>&*8f\kxh <>4{4mXYSDHF qӹY KEdiK37xKRUQQ|V^KZB!P #§9MMdpՒ45Y#ymjZc$qU\_7{Ix_I@+&xv H1~ OIc-0{h{>"_5M7."~Msl"4T%/A+5 o/-oIIB؁>!q֥Llj+r!|E.|ZoB`Gq14chk<]W,I&m¡lohŞ? H __| `HH F6g - Xwh:MfLxn֬Gu0 f3қxm#t5li!cq|0@{k݄ks ,!b,vJUzJE߳0(i *F,OG{,VBhUeYXPޭB ("`Sº^\N|*}hoaR:lSsfGiEe4ف=UV麐((sD)N'-j~IgﴵJ*r5rf ړ0Q~mTjnq>4v^X\i C)?XEȉ9W׬D7"P6k8(ēdO4&>^lW;r8J =xzF25d#$n"C\</67] .bl6T,$~x]G~ѻ` +8#ѣ?|%B:zYŠ /8!<Pr1*sS1>`jnC$ZE$P{ᝡ݅y2F.9 7ݧkM_Ԙ]颣>UR:Am;}]'z &2|q|d`86*t`@jKpP[wSt|<aR&sd=ΐ#yօòB"׎ ?sF+6vuRzY~yό8(!y^7!EO,Rk`SFy}?('cJx|X`Ϋ. 0TϹᧀ*cTUu;R6.ṭX{E`#~sZgӮ_!J_~ul}Ɂ*[,Βl /n㐸[ES V'S jy^M?P'`spP4s`pb52 i'o},g|)r>Y9m Ոl7%6q%r ~0HɎgH_ο^cBhrDHB+[ꢹi-;X,cM NHFͼyUA +ɰvpx"KzhʴucR͟9䱚~M?JFNN!#.Ei+QN$v b_=3H*ϨnMW*Q5%_ۭݠ6fuRrBk_vXL#_ $OU3wh2Ey3P/be1yTG.5A'[9$V;cs'2sRz#Z(^sX@!`.A|(qb*Wl>W'oDBߝ[h%Q DJ9Pe5ORG* C/nc35>|%̤+?#OP ZM1٢$^lƄtl;ϾT]¼W}*ZH!s-4@8}I* CO^cx|k'ӄxؐ]ge>?bD](xi5&fʌC q._(+V4@%YKܛxImÙƫ;.d5urhĿ~8K 4b6i09w&O(R#/_5S\!:C 4$`9Nc! n/? vxTc 9fbP3ںGeﴐWIZ'sInsڠo uQ|FG[=u]%#S{;5@~O[*I|6WŃq#_Tx%]o[ƈ}i sŽ2GtZ๑3zbzb9QLIt:8cjɧO٤jsV9]voK&UZ)-^{]hXF' (\2qEAM}isaճ.)4EM[xFbcfUMML8緡i߽Ԛv qEDƖOv{=Z^b.;rb O?06}4^I4^׮߷hePK0H=ȎV~AJAG*9rLrp(ү5O/q gWN[pHO2bxĩ)ǩ r2VayPtʁҿ{|l4nRA`lwFĀ}=|3rQ|ԷP.Y]bPI}CpQB{;^wXM X̠u %OӼDnE|X`:m$/,'{jNm3L=ݔNHZ:) @cRv̄ϙ`uB(RBy: J2c #*fؽT53=i]"~ǶO@s_0C:jʺ1m-HkG Z%M(2Lvka/(~ukk?-jNcr{fR@+lEp@~ӖZݶ0W؋$lNXX /j..ܭ6=({^G~^jRr*ݓV<};f6ڭ@ًJPP\HrT9H\&Z٘3@tqKpc-!<$)A{q8ن$"bŅQ'v<ײ!moQMxywO'z4X[v/2YCeS%bMz o3D%Al%"Fgm>%B*^ (N!|Q  tߒٸxN>Mhs=綁?Q6>- #mݞ)df+d~hVKe.*A/V9*{!+4i+_x}Gj`ydd\Qm*j+R×,& ~,S+Q}'k"OjF?Rzs:^֫3-A "Jp$QM[jMu%"` _rd콾Q\` .15\.Ll׶ ڳOhH;vRhwl ]V-Kcm&\5#TA,KpqŇtmؓ7+gXn[la7"xxlW)9l|q'_޻ɘư=VNX'GLy7l@ '4 Qbᄲzr7t>UQR`*:Nj1fL|VtrbB{fïϩ;HĪ%i"Gny 9%#"խL#nZ]}CueY*"6kJ*%)Is,js fu *MskzFzkb?zA (^2(UY&m=n:f3\{mg(7C2}Ш}̼8a _X.zL'+#eWzuuVZ7eDbޚ"cV tFq[ -aNͥˎg͹G"I'v5۱ J gW j\(TW.*Zڦ(@@jnH-ҿS~x4ͨ0E61_ FPXN>e}4?*+ĪA(n+ՊTNh/BO3 B`t';iъ&ī zZD1x*U":S⩓;tUT4rpp[$Q%xnW/v97nS=۵|(3h& ;fH|@zuSbRs̄|SG|)~T+"zⴘe@o484UǕ%H8Xl|M~_هȕ٥|ٳN^v0|Tazp;Vn{/pIY5-ޒNn%FOD6:FJeQ yW^6(Bh0%%H~RPTӺ OT~^j2(PjP^ܣ KLi|t(9Ix5E i7H筦.ft>AeTl-+WU;u]M{X΀d&u>JY>KC7څtݕU-"4 i,^.9x=K/jKM+o9FeEh0¥ ; ;AS`Lf =yŃAl9`:vRQFM=Ss D*f ӳ၈+2 wtP2oy[McG~UC~Nu$p@vm}*HgXHA ^pS_AȋgcoTCEHcJ㓉/MՆNb>A1lz?Efx%0Tp1eL7 g\Gtu٧uCuz &۫<.q=4-3 :v-NZ8%sgn= Gчuұ7q]TStF/Mjf X쿥R ޒU+&[@/3B ",#^t!4v6ڭ}C5Jd K[:A]dY;$wW"1p26XL$qĸU)Ysr]l)qL%@7e/(K.Hj"*!0,լ-Lr)\Rg v+}I^b*NI75eF)S@O3.MZj/%_)[#s5TTT96!D5h O_BskBo59'lT^L 9`bE/RfCKf\G iJfAg>J܈M>?)Uo0ICX(ŧ}w$B{].bmGT{;~c,qWEW.{X_dMS®b6l3%(8[;Tq}J3zpB]㾒Wy7k(S[Pdl 'KMz$nx hRhcˠyvhG=ߞ!zL :^ E"KH~L3Z(NdZ=4gKٷhmH/IC8ko`8植6GGYѤI>B2Xq/dA`Z@y4XT'֨kv%աxE2ùD)|'&VM9vA4T ⼭:Vz DL$'vO"n\ME;D}َ6RG/OiJgYsH%HΫ̀Drfh֧!sqK/a @*Uo%gA6g=2 +HK-YǞmQL!u͓OJTD(\sz׍{yQM%g-Z"Z*\\k_C*VF("M@y{ wU{?V|/G@:7ަp]R; iZէ&,}M{ԑU'*3%G(el?r;Uj94ayUPUUh=m5oW5k~叧DQkZU*P$8F{~_y2 2rr-01_yfssJNp E/=ѼI&R@J)b85Kb7|i%)|/>_v9H[\p* BLcNYeny􃬜4X( C$2W1NZgH=s@4|QYs|Ilʂ:^:+yt|zg.i)DgW@|Td%w3s]eDx'vNEm@GڴticX{5?zk#"-a!/u N%'͇r"w_8.ߐ:; ҷu_-I]P]&@Ԥ:/_?иH7քa03cdLːTt\uXGJ||Q2E\6֮ѨOv;$|e;m]2Cal$!`NkNQy~eRWt-sU]DbJ{E[*aݢv_dZkp: BUi0u!F>S\|4]h۹An*ACu %V-vCνPםv4[n7Fd71B:dk&AXl#I㎾Bq>4)[I-n<-#̇5GoDxHZ@Ss3o[\.TI1\ؤ$8"/^utPqG ^~E[~̝&kcqIKWD;!_$2xѥgH'TH'|+3rOdoǨ)~^R'ś kɄך(Nͱgu[b O 7F ;=?-tc+Yئ pU?_?i} 0;+r}P?JD SJyG(2Wu3h4PX-[3r}+oRdkHqT:#跡9}±qv ^f,/ $a.՝B {b X3~C7ۃI LSyṫ|G{R>k{4ҎxC#ۀ^py=1E=5;We)}B `KG%Bf Kn^,ح۽"ݮ~]=~P( 8+7C:X$SlSY*Z"WJFƽC1Q1a(c8(+?DD`*N8ؒ]o/-Ihd ٟflsb[ n=\zAsEe-k!ryn*zͬw'I-kK)Rv?zG6\v89seh:fY9:JGC>)DIԡgƤGl-}/T4$+A7r%HPQi5G-Qg:Hc}K?b(2oIh5v`Ũ;yX!M=S ᙎuR0,ɳ,Fc8@<"C|y)[@8?^Mey5!V /!8 kTTI,Q p,3̰*jFԚ?)YRX^C):c% Bf05FƓ ^Eayw ⁴}1}Ys Y`j''OT9"},gb`<ʌɌ ڲ١ƩH/?\?=]c6LT6ﱕ֐%—r #4)P $ʻ)s'E݃ (a.> ִ*8y DW 8[N''cn=:)m]Yјpj]5 S3ny>qDf}ZWBdUjjgF+hV ƁŮAKךƹcT9Ȭ ~~X%g~lہxde6-Uh0`Ȳ0)}$P=\Fzf9?xI>3fȈ' U~] '6aY0Tnjdica 'lԵk.e+lP0##L2 Ri}59"b].52f(2.b=ڍ)>eZ0vpǃ|'q$ ed0O8@B6 67J@΁./|ګהrGIXn-`,>m NWZ2[Z?~ ޥU+GU|U =, 'g IHS=K>I2ڐSU@V7CMvv_ӵ-΅-Nܑ0&=Vh=q01kn^M#WjDtCGS{0v!-MEsZ p_4R;Q{ʵ{Z-~B* >5J`aWlf9aJl,_;")*l%; ;pݡO!SN1:UI*W)U},Q&BN %7R߂}&/1>Gtц#>Ej_cPPKqȨ#IiªtЫ/qӐeQP)ʰ~I5oIN'* 7x3d;aYҹJ~4SOEEԦF{4?Z<>zXXj24Q;&̟!#t?d~%>Qњ7rMCR=h%M![Kp)}ޔ U KɧM~$ >:򐤦}?vPO -yfj\Ņq}hꡩ}j.?jx\=YT@͒_8~҇mnUumtv1|-Ɗk ew6@WNj/<Æ!j+ z!.\t L-Ջmŀ1 Bृ8 +t7v՝$5^ syf.k]-T-X{ޤ{xYq'~$=j@0"l}ZRMͲn%謦XN^3Sr|~{XXLM!4l=˴yb(JάC]eh6H>Ui_]:d-^@BykDh]d:GC MGZ'?>&n|o]JGsDNNQ[^fPTBBfX:13"XJO:`_0gW AG55J}p vG'0nęwsDx>:I#"F`Cpi:嬓pW6u ktFfWS~߾zy=Vr[K坍d +#eTx!Pc10`3&kեSXբy r=%I"I~3 [@@;C|2uw_WS'E_<)| W/#xNϛ5ރ=җƔ 'ZYMK\n_ \γKa 9~~)B9فJ"7 [?d.N٨Q?'.dz it5 D 3'n'~qwIl(BtJcsu3""dHfj`| )Xcl+*fKM EƝ_w/8uXxVG9+ބlZ*;ʻɏǂkD|8Nxp-]Vû}8c.2( l*C̗w nzա ,湶`D!Gs, wA(ZLJGvD ǝ5k(}4"iU wF&YG?9q UlJ"LaJnӛ)`ئ O74-[" =uP4 J'QfL@(\]%p#`mo|w' %YxP};8_\|huNp1 1DVv('/d~H"= gHm"Ku10%7Ij&o2ɜP F7VILy7R7niQV,n:iBԆ F7 X_DgYZ11a6207dbc0be95ba132ca430a1f9c14ad50ae791b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef69f7b0406ee611c42cfc73c31ed8cc14e73448f7a