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 h!$TL ]]]HOL-Proofs:threads=6elapsed=549.850cpu=1234.720gc=172.736factor=2.257zXZִF! ӳI]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZ] W4<@YZT m=Obm
#lc.Ov%AM7"KdM|=K8&*R hMűԵpt,&띓@6UAu+{T FŸ %ScȲTN-5Aglo2'i$:|uof#K"Ìk]mzJu1O%#uHCL:`/H@A( 8%F68BnlγFYxf\yڽ̗ȫH% Am/_Ӗ>(n>XhSOdF^4KACP<ӧ~nKiWحUns?7:1Q@ˮ-ߪ TwSofٜoHa'gvr&Nx*IHX$P3(Bۼ-g &r$6 V$71ſ=E7آMq f:2i_ƕ/*+~P( {\5MQ=qˡ<:j^߹|^Nȼb^ON-HL  *yJJV&opj'5hYƣӒt9ӔsrB#@hUA| 9@CkzX%k%Pl&;^ʋwpx[A6v4]m@IC'6;rJkQ-0hE}qcB [ru0hC-\ϾpRx2zLY}qt[2r?Cd'ν74m}.ZXVc2a:Fw$ǟkts$^Dtݻi*81p9MjˋX͒+H g`W5U}k ?B?uVU3KgP=y75(Hv~`R?=O3,d ɖaPgq>Zhme)dnLT'5YsJEI~5ӕ6@o357|j{ȒOp+NvpT!˱cSiw%u?as=U:įQ}"fW  `(H?xg:7֤͉r )6vK\2 )|b-aHA5&|iԑV; CvFL >a8 1v]͕OPg-}Sk^:9f3vG$F ƾ$lF)DI<_1MLOfBORq.8ta+Fq.45(]^$K=yEB/(#~,o//404?jZV!!;6'BŷZIF&V'k1k.h5Ҥ%l}+SepN!O پIyKe"eɒG9Tl|@{+ Gj(7t e+1 ]-;Fr:1Qd{o{ 1\ޡו\K\:W-śWf=ĜGg7 mLl95=.C"ouA9M'si7w qY% ;JoHxitx2pWp.ץz"YGŀ]cT~HJ~B1۽!Y+n'sgo(ʓ:Dun83} %6;.KU[Np" 5=Ň(]w=y )'rPFO3{_%?.`S R끦L=QM#~@/A]FXR#y,̵)7zhJ=``0̹T :Ua[ hP@ WoU|/-~_PQ)~&|AΝޭwD澨iHJØ"oZ%TZ/ɝJ`XHdYK,lN2]'od8ђ_`&<tH;S@s8ƪb^/3% &AT(Gh%,; %,ޡ>Lqn(@LrsXI[]łe&=;:^̳/P&NzA=vsxכ5hV9  ! HOL-Proofs$%ΛT>1U>/ ~ µ1}D2 րw֏3Kk+[ǗC J ɗhQg"x8:S.G_%h9}Կ yk̳RSn@)7.qYO5:Яb(ݳ:9%[qRxVHr>}/ mwF_{PnDɑ7PqYG1'5 Q> 29ET2@˒j1lSb:wpZ3 h 36\ b-Ljl3F6؊cлR&F3 uH ~?TŚ́NcԤ$(;|6%V\#^I>C}H9G Sx *[x!Kf5՟7 /=U4D *bӱ?8~zB*C;-i9vPJ( #rF!ثQٰ_܅]Mr9R]>q qMgs.xԅזdQ߮r09viK'tE0xmOjn H(oM-Ḩ~YB}N21B٥C m #㕈<^ps\L;cnK 0NLf)_8 ?Uϳ{Rza5v1D8/R&E1vIY"hAjQQ<" ڰB3kCLi ǡJRH{˼D۩_TTGP % &78STp2fD<~22)]1i1KRڽp<*feZ8.{.c,clѹdTkd\N>VM_:VWB{(X AY {)^F%3볩JS<^ (4eՀaulW2A\t?JF46{he1Aqpr8@4^Aْ+@EPj`WRv`Rc4~w!$_ho aV};@^ۻE+1u$n#7$Vlc )$ݐ/Pum1za쟲meXB=Za JiM:}nNQqt6XZfc ^><-f/~k\؛]*d+C%JFwx9:%C\)L05^*P兟wo<+uHH C Ș$MCGnםcc x{&}?z,khd=vPTcOW9n"Ub,wjߋD,cqOM?k!?WΔ< n[rXm TXu.oY8+Lm4#bVUc8w{ $[*e,2/ Ƀ$\wa`{csG>H ȩHToi/J=JtMr*?\[Ii⯚n:=;"? zdj)ENWV ) E r҃zjdTP5fjrO+\U:mY,[g2\GeRE+4IU߹>96|Z|ͿHU/TxD_vU&*+g'oc-q'Wnt =rU׊E//\*n@/<)lN]%Sxًj.8W[]& iwxI:PZV)ꗣu =7l:;v:`X}xgNQyQ=1MxW?h)`)|4 h Eu<t~u }v"Ki/;lN9\cxxc|u./oaMlſl8s4+_]w4^?CDEDPxgϣmwdAlR7~f*rд F *Y @!f,}E:6z(&/)@Ro4#m)Ե?A6j%P8h՞ZU`ƨͦ0)3GƲ{/;1 CM{ gڇv HJŬgץo 9 "16uѸhd` ,{?'ZQmD5֍!QU[t~/ˑei$wdʓ}U6bH+(l6h/8MHSb}b_7"7 ɒy=Jc| U\#W^$1W*Vr6 5}ܲI(8CMRrlP%.Aw u|Y5t2@z##S(Zŵ@]"H0Ok52ggNqtbG|a)@aMg~8}eϼy0ɖfzoYE?{o#x+k :gEM!!B/NHQa5+۟,k | @ ; s2vÒ}.n-CSKxB znGjSmT^VypDQhe;gYsfb^?ztK;l7M^>$k7Ū^|jޛK1'(\ L!/ZLЎV&@_߬( ʏŗyPCm7s=kegʯG;uYou ibFy+fw(ؒ s7RӕTQ%YpNQw$H+9|tZ`hJTN{?˝ל?iET<",qxiza}N ?NggΩwބ<^L*uh#e(Ft8 G̱ZMBS#pr]Vr،3$ ̀TrZZPjSظ޷1^=;EV׻Gas[\sjJYW=twP߈c/g~駣 W%pff e ȊXi﫬Rl|/ݸOe:˭|S&^\a_ڍֆb3G{^C[YYAcpÅӌz:vvtgxPZ ֳ gL?Pbh2.͜+<͡ݴyԘ! (Yw&r(iI.i &tx:q*Oiೂ~,gD]tk Ҋ㻵k-pE&m21`&*;ض!nQPۢd'C(Lt]f)>#>́/x60"GAl. p7 &9NU_׿ױLcw7H/!^X[ }h\sEM=1ח # Jb+}x7ČȮq|[ci>ɞ5w3 wШTEדYSJN*/M(V:"_#ܦ`+0{8G0AҰu:OnoY0r*}A:hH#/cBͫLJgzF!v9q.x_RܔOjߖ +r;n"')ubUlbSë좩E{DK( F١O(6MImcC= 7dm $/OV(`_;-2šlkƒlZMA[4xV@~ByˁjhP g*? 21\gYZ7zXZִF! j]ŗXi%;Lՙ3gV}eRFoBI3O/Q;/(ICeNEf;8d>L$ Sg1eP*veC2qnF[ '*<(͆! mZo) ʔ DWA?MU|©iskx3.{G'J 4˾二iA%=$ljJCGhIvx ذ{3ckU- lO.q (]VnnAc_wr54bZ ͰY&tymgq/_Dؾ _uͩ.1I;}* /F*e-^?{@ZƟLH ˨>7,YVZxk8ӅKqnb  *vk\e?@ ٌ#=&C|1o-IQfWFiQl 1{}1P_2&I۠U#2faJ]'xٗ[rv%{!Z}\ @U 9m6g!qx^'쐕 rr84?0 ASȿqw&vUBBH,T"$6# b6_a tQu%Sr+"7qWP|oiш8&L\ӅaK] w-vI^pq3H1Kg$:r_׸qMr Z:O_si;pD|&37H'0ay;Q؏*SR=@(a: @?Ɗ7 ⮦11ICVTb'B":}Jм5dg$f=Uc%8k<_Nt_F{몦F@W^"Mc-uɊ @_2|ˊT6)U@+/Щ ]zp ɹMݘ P4= )D;w6yiǕ./ S_*ϲս-vn+ܘ(&<|1言 #*3/mxD@ p|(-tS7;a%V}'K<0~Vg~!X VO,$=NOG8Y%L۬׶pǖZ?DfPF4sNOIg)g9'Zvt[ 9"jdwq/_ uE@=⭧זTwu&b%<}%X>!{Ǎoy(MZIupJR၀߻kU`|..#?m7y DAg-c,<XKA]a?aLꃱ2m^\&Pgwt/pH ^bp;I >3yuP0BPrhld>TGI/g͹iwm2r, tı:F~9CV1oœՐ_*czbs\:o )PFz,!2O:4ʼnA0Aߤ8Gʙ"nVzzc:!\Q1Gm.,Z\01S4ď}Mx3fB  \y6kgSYOi!F`mWC! 쇥>CnU: w+*auygѪ%GnOqݓTZƂ9"B~ﶔ"T-$SPI$2>KxBf )x-3+)nׅ$f*Dޘ8qߌDrd0ӓvUs,%KGN8<>I% * >Z; ZvN,qz!ӊ]:)ynٰ6 `vvBM&rA#N/,|RCdPunBP)ƾYoFrƻ3Յ?bq>ǔ$e6=7qaQV,Pw&~Kr ŕ6#1)i={ضBE Zx˖7i]Hb?vPx,hW\?p-+0$y5CF̧sۊh.Pn"$VjY:t4q{Lһp˒^x/uE)RL"zR,GDCG (º(aXua&&{  Y _X?vBUfK>XXT' .I0u1rqh u/o#>%>~ju0צVɝId,SUϲ8< [!@o~h_A)a*׍VGrP&$T!"޸Z"kWw13)~3¤($S^v&Qgp䢾E;pb}uw,mD gT%HpnnKvmj2 +6tS۴HJ.ߪ$Xɇ^LʷLuą&,Aj@U)#_5Vn{4 pI.\p]պqBS'hѤh8qҞew`l;7i_F I5EmcϹ+d >MM"2+C{Y[}#9{b:9ػa&gA)]^XNBld$:.&IJ*G[.0[,og,a &+~m @7#.m1#7c&4:n\]R( z-Aդ[3I~ע)KwsJM{J0mѬxS`:@) .os{/_WmwR_j$\}fMAni12q6 Tzڬj↋1|H^pi7[mhzgVK)4*,^D돁o6ȧ`Ҁ+xzs14m؞JXq|sAW%h7~=YB0F:Amr^Ӻ9|l<d$I!an2!wPoNl'|0%,ye]8?\25l:aMj:lpYE| 3+{30GBnEp3Fߞ7c\->uMqӱ=?߆OQӽHt7%+fm v/)יr v1u5?q?+͉gD4Ev 3QBC1B1b% lSݰ;m"CUTnc\Eݾ#Z &|Bd/OԬi짃mN &ށ#X?8NJx/G~9?BNSZ=`A)R]m@m=ƴ^ y.4:s/OX406d #t,cԂ)g($X |R5cw$}t N/=kk#խ{gB_a E lm  D7'V5hS>ZQQ!D Zg_F+$PqH$Awt?i0, :䝎/Vxz4P IDysf: |ieA˘,"-)jr,(C 89!<MKu:z׃ՓZR.~ThA"6 . CASIk& H1mtƫ.G;ה=q\b"W8@â:];sw+pXuMM5vJo C~Mɵisk[`,%̒d8`^s:udKQ|gqxM^2 f{7 0jy÷}ɝųgan,7J,fU5^ÏP['ɹWK2~"K:D@'.Ie eKyf~d}`]n4_BXnBF* B3idZw5X3/~d}ܙo:c`DφJ%l\<\T1{zdl"\ =X߈'SfMz *Y#Gsj'p9=NNJ%CFl#ĨmVSVpG2-m֬5\Uyx6( X;o 8?Yvhp Br<#UQ؃ rc~П/6W"ٟrY]g_۩~ui߃;FXU.GNG`\9`u#}1wG`4=; FcOmOQP^hDB ӅG!;d;ǃdы:R/R-6l|.p7W Z7&6^NYo67VW )+ e1a3KP0N]m.5f_]L''}_ʙvp^u5Ç_Zu;>QvMTIHLi;Q@EeG0jwehZS00R&>*CɊbCg Qd2Vqb5Nu 5ICJ@>`!;n^h lvԊXsƳ!C+|DB>0 tHmBF?C)1B䁥x|&,Zo=5@x~bO^ gF46>,~>_~k&Vnk}^nLCq/hbx%z I fdz2SC,>~K;ɁXe/q6{u8͖mlIŸ U~]4x*lR6SK$SKBjcuᦌS)FهYDY_m ƿRMk!Oh l#Q:n8ɲTM 1G|7 hm؍iǞ7Tka涎v=lE5@xPF^qV ;*'GbRC},S Ϣ:>;[If$)g%ME(N49XqӾfph: {ݥR0(psJdO ^rv W^4M|¼񢲉!} \VGq&$Z5%Q%TpV3Rt'$9\T#_ҲE,QnI8wnG)zº0;uCo]e#ghX ω,))=;RKy-2bg#ag|eh) ڸ6|ta$6NY;dO_6|(ϰ@Xzd}XF;ՒvSg6uqQi\&)j ±i#V,'Re ߆v"9KNi@0sѤvQc}#y 5;SS"RT/Vj$Ye]XdOɭh]""Ȭvܮٷg1xEMaƪc>fW )ё =0Z?w|:кe1i>reVJ1;c dl^Ry@8d,`[a=+se<2_4Nr;jבeՎOoDl`W: eO?el_Gpb˶"% T];h ] x}o$dJ20~0Ź)qOXSRE2Q1aC^Ф՚K߸&"bwkؑhE'F ܬZLo;"2h 1c{׿I;'h[ޱVߓ;U@Nݝ5J;FG%]I@e:kJ-z&уGd3GSt٣6S~ܥ2iG08А{hMx-*@DG !1ɝ4%VbVp~ZtJ+gwaT"&(( @Ykwί˩x[XM ==)֓Wfţ002!@k, a=wHKN//GW|Ke3A]KM$:^*pd8n i4f/nmϧ'MaQft&Oy3NclOv@P:Nx2'p!$RQ-Ӂ [GQ@S#B8)#0WmR {&EG7)~8vX`M윟wo K;rÉ)x4 eG(ըZw;C49 0>kP􌑧xꉏZym>Eˣ/,OD鍯[p6o~p pSB[}n&zZ7uf9E٩yٮ㈶HA%,NN(\x/""fuфMp |+3LUp4ҵF2HϿ^x" x=ˉE~4 *U nQ||9Pz̃! M4k)'y2Op8 BgwF 9oEE 6Cd_,=i-HHkdZ`&ˊc=f$)uQ`]!Y)aeT*!o) qzUT.[m[A,UL<̆N(K˃ (ѳP76XFTrx|hӌwc\۰ ?"k"B#oXuE֡^1HD(!qSi7Ox@J+Q?", O,C%Ѵl۷yBy[U>a`]#Zm:cЬ_LN G#.쎏_ )"v=M‡eWױ3)I&YTg,*`S>^I䬔h%yᘫ^|&3-4/{ꟖG/=ޱ˱_?Sm͟1Qip̥{*YXhJ)ߡ&_q+鬤MHو9+/pU4_sհ?]eͧ|TYqXSNGKMK#S̐X5z&J1̨M##i'AĜP"5lM'*q퍖`nxvؤ$'#ﰤѭTY"~FoVc&"?B&$o/ٗnr\<z$pQ{LO鋉-фZJXNeV(z jc;?;i!%o v>tD\PBem.i'k&&(t$nPd+݌,2](`l6ܬƴOL#{'PY-g "D`cwT~֒cFPsL.)0%T?L 8fjN0r3KMΌB-+d׼2/~j@:ݍ)KQA9I G":>flkq]R•ҿXG 2P*:EadtLJwvfOj] 3Mןӛti *rzLR8ȩ99uTx#vD.%R!̋B^9#=%AeaϮ }SMW$DESËB,a-Fe,մ NqW(2}#!:<U#=BHCK:=htwj1Z /pJa@C1c-zBcZn#@([;]`jV­B~!9X.lESzX*}bOdVFѨњ.$\C{Į8gak,Q6жN[Tnš[ , D˸iS놈hGb%[3Or%Tn]{=0Epͼ2T 4%u-6q-UFd?|tg0vzL8zmP$fwiibi5`cim4ŻȰH({[ҪӍ:/"(y)9QqAFl#(dtPSyn"S %SpgWgpmNBk5,y Hx/+Dơg؊(KK>yS`WsK ]B8+x$z=qkpo0Ϫ8xDDnnyړ8~΀Ли2Q°tI@{GGI-;k>Q!i QQ`*wrHHcDfND>XFqK 4RnUUY{Ǽ4$>tsU4gf:BUZW}jtXLpٔxpT./(|O+?i:UŃD~;eE,Mdfi&KNv1 &o'Y XsNQ)7E!,p5|ჿuHtjs"S 2Dza!guI<^k(eͷCj2USIJfrC"eQk#ɿYՉ+ #h9tȒMDH.Ȳɋ*$OS8>7ޫS々)aul*Ϸz;b"CcUbalPw,arq3Z,gra" *e?+4.5^o_ke/)9vj72!yHrajCx4ǐ;C;*e[?Rd)65ɩ)~XvƱ<%?=1Om  /~PΕY"コ E y1SqWa{s_g>D!e|p~%V2D^aX8 |8]טO81D/#^&f,!E#t'|PrϹe}POgf#v%ʶ孉<҉=|8^F;a%9)qN= ," MqUCCn%"+h>%x0 \Aeba.:tnUR-?X +J|42(:YkK`\NfȮY3 ƨ.c{Qp5B: Cw/6 {-FӘ6,򕢊_f`A}=q<%:#{yoLru|Elh$8Nk nQ8eK 0_[ (Rby@Z;@q'sC>PwΜ(;_%2y0 .T9M~,KSway:i^=&)ɲ;cW{ }NBz!q#T| 9B^b\'u>T)vn{Ԩ耲Ndj}t[1H8lTs'}#?8 K)>ey^Yok)xx&afn-cWݢxP a@u# $ЊOnV-CK(3c:v%KBo!`_/~g`D]F1={&M1?("+ h=?6cFxBrFw‚m.w}rܮ}L gnb'^|R-q" kch{%,z&KH2ޮXOqA7-)MCEi7B^ƭ~˕O*}v%|B W).qlrt@icq2%`ٺ m^\ yʒmB@eF;o )x;2;NeXһ*ϛcv"IM1O\̭yk69 tM%Wo. o);{L:t0<% vpITPK+jK2YU_0j8"e7Ǿ+X}q;GׂPĶ1W+2 2m!SC'bKQBrkw@:?vͳ!ʴ7EQVu'hQQѸc8-9^Ic ,ՇFz2[BUb !,W3 %T[(ܶ{-$@ `o+ܟTN\*Bw Yc![ҘGJG!Y՝"Im>62[ uktT6b$ͥ6^|ΨӨymedӿ`æk1o䉶lVX8#fE3VG70Uk&O t](kٹgW]ܒ=R+ cT`GYύ(KDS ucy7U ͿT^P00_`%EcGf(EY|4HNC#'sjSŠZg3E{-剮sU 2wl:Z]i175^¨B[}&_o;Aou%޶qr&V~(9|[idOjBnqnYyĖ$).bb o7uc+hUkGDҔRLd_~Q\kkl` Oސi@7icromw=L_uP @&̀w+K@H3%Իg)tIPqm%#o۠>|aEtr? 23>k&#'π085$&Vh22~$8p諮 B$P;W:Ͷ+z١}|>> } wXYfk\n ޼:feFEsY.#]P ]B{G?i-k:.0]l}o: TK)vL&U vƲ my(…XbM~1!LJK|"19VȖatnjξD90s݂[ &p s,ՅjorC^)8wa,;P|-vB#aZ4ׯ [s6:I0TùD-h73$yy9%C@0eyBU| @X.xKLOf_b,oO+ T<, 0;"E0cϒk2:=(3ye8l-vuGXq{̷: [U~ %7-'D+b2cMqW8*<1JyM=QRͣkar}0ј6Lhm|f3ə>7BJh:^v#y Evhix-4Ncmn~`DX?vE= ݒ ncfT@A݁"YC0Xs[{> pCw ?$#J5_A^N(ǷN:L<6iǫ_^c(g 5~q[dJV)Dd%A+OEyH}P3a/={81o ߲&XBT#ɤ(]PQ^9IQy#.ErRBjQӱ\N@2]jt">"{<WOBavʘ x1,O#jmϝg6*_wiP"Nf槶(=/UE' 5f\ @}kuF_JVfwiDrl-ƄR1%{jUU:}q *#ɸcaZ?o#vȧ/k_sk`BsP!1\:i0-6D{ 0/g&OS7rѨ Dmwm*zUY֭Tv~aoQ tJ5LM~xBGqY"uh='t-0m:덹iۿa7|)nSĵpb3,R͐" (xELu_&u@9קAL*4[ȤVILJVsncebmU}n|kZN3=^0hY 0Rbncʀ_RwsJf+Hxgs9)ĚK3Rsa^KpkmʹH☤|@]Ei|bS>*SGm~TRH &)惈0&vªr->NDqwWb<\pG3M,tO0eab/IHmxF2۔Ypg ^s_oƊ8vBw|)RVwtI|=z3:+!8ZQtK$Y"R{VT>*>&j Y;; ;YF׿o dSsߪքY//~$r{c9z Ooϴ8,sZ݀ůBo֙DGtCduʙ'`Hz,C]d wlSeq( r]͋ yʔ3 Az'hix㍝[٤䔽Sh]X.Aɭ ȧ)H%'E,~hP<^ZtH4v7J"!XTOsut Mv!^:,!-{峇F4r=/쉮NJĈC$Z"}^?ԡF yg|⩜zz9%NC}__@ u2 tw|HA~"li<)"|TAbnC'"D1J ]`+szW~^D1/({~Ž,U+#zcQ)%4y{IKum-jysq>˛W[:U\j&` ^؜åNz -uȼB:}঒SEC<>P#`YǬ9lԤgSU3Zjy[{+BJZ!#ǰL42q<)73蠿]o4Z\!Kt&}|`MJMR)ڕ>v\ ?NX/?D :%sJ9.Ka.aYdz隄,4|Rޞ4@G4E}Q>"lM$|~Eڙ͕//^]TgET Q` A ѐAm"U$ ('ɞhQ8#Y?(}'T=k٣ Cq(#o~/ -΃ۚg7I]o[x5ye ''qHtfPo-Ԇ~5ReaCĔb7Đ;ȃk^*jK6,\GG(oI5l6x7E('=?!`iȯ)ʄTw6Ͻռ1cx6N}c@^1SVi=9 //? 4f\{-l=:~%njTs0AL^+9܂N-MSIms tGM6 G}VQ.~ciz#K[њ]T׊,Se1VX?d{b6^A?QɚU*x F]/W'ȷ Sϩ=jo?r3rΓ=`_l#͍]bP*t2r>Z}) όtq7s~%n2g dM CD &*Y)t$aHAo5Fz#S,6) r~?^Wk~NxiV.I%gՐubL!HnrT!ʷ||m%v e4x 8zhnt5zD%5LeAh*s2@9?Χk2XF'% װh"HjBT̶:6Z ,n2WRbdȐ{!NNofc?mb]r5:_lC%^x\ ]ɲ:B9cjJn^O8uIK8B?  9iS]N(0 >^Ɗ!B?C{kdy Cް3>L*[~^xKID!w<&d;\d2<9T2[ιayقفқ#|asP6YP//oB܅Yl~*kV ;0U\08owMeqAgUsW"Q 0T] L`:x3ɦMywu ,*=ƭ3|E:͝vtbdve[lȽHGGi"*bq՞G_Ѫ+ n[a\\Rҝ&W&.n$#eW i[cR!Na3ڇcsr(\J5Z"m/]piw!bbg}~!u\&^bquW ρa (r;,eMC-ãyqJ®}KEro+b3- tE ^³a?DI_i(z# r&S8'!/O|b8KcepŊ .;lx(5!yeE.1oJhU VCfauhr>?!hB0y,tn#L#b5O&J [tVlv*򧨟Uu8 gca%H_l9pS/6J(dcP lb &Lp|-05bVryqlawhF QB^}0vcAI=C26@8>t'hz&c}ٵM[<>o5O!Z` {8f>DeOf|Bgi4m[_9Dl@v+ nЂD"ڡ CK5|*(ȷ$Qn'_y8&Ɖ\_[hk80lh!fEVppI$&aM-鹷#>ĸyȀVDo\NX90ܵjw -AܶRj jDBxJ_veZXR-QaglRSd2Ѱo߇Q=\Gei2gѿY94`aepU*m^N}&7cxNa x#(F#sUqw543ƀu^ADX$m\^*p=i!nN-`jy#1p3KygA)n_X,;x6zp&aD]/Q%82̓bhҦrغntIn.~[nGVZO-\. RaA"!#v1C:(Nu$5X9ҢS]4rQ?vb:rv#PWD]YюK,+4@q ?[t1.dK3Ŗiv%OIP%#P{b6^:yǡx2F8+.32 ƥz BROlL:»]3ul?*k\%,aȨ~Ke@~PQ>Reu;K!5uNb*BmzIN@/iqY#; 4KO<8a}LTNVnmPg QM=O9I!3JvSμYU [g,ԉP]>l[tÓbjU!jqhSGqB*Pq@2t3V]BDG' +lw*#:յ9kVmxa%ƹ5cgԴ>!6Eeq܃o"4LײgNsFvQ[s#l )Yvka)'ӫwԵ`,ж/Xiv~ )Ѻ<؍Wgy`- PB99c>J+\#Mv4ն~ҧ*W! gl+Yօi2,\)MBsbCҍoͮ;I^'LSB:C&IB7 j^>*-ؓAb GS%ؤt\ـѠl&7(F°Zڗ5ag#3A J0Q6<&[^gik1%ǎWx _ǫ~_rvrNnˉQO 5: A_+k7.  {fu8r^6VU^ցXf[ b1#~|M-%ti(Z| I E@:Wwᾭ 3KQ(4˹ QL7J%ъ(Q1`bcY_=XeQ]GYgwbqG؄g(n@^ċS~7SA4ˆ^Ԟh?nG3@'XC}ON>\ع# &3_+"jŽ@3y!zxkBi›8I޾qS%~ܾzR: ^fbݼ4ѱœR \}WU]UV)`z֯(5j)$쭳/Ds{i|CO&kbcxқo:mrUTq# N/b[y;{jNE R O6T켚ranTXe`@j7s*Y /s)\%KXEu#B gX%klD\Ufrԙ^S][pT#(In;4kPQ =X\᛬d:T7z'mHIB@ؤl9D3:BW(0ÿ%$xJ4z VmSģG332 :aD*H(<1Ņ(zmk6P}~(Dpw?r1Ƃ&_߅%1ipPA!zۀ,^YES8OgQå`~; =6 w_ ʆ/T :cIw#cl5T 6"K5x($J<ՏP[J5J:GYta3WHDUxqq}7!( [>, 9&bgd5tZ\&*Oy>gSo:i0G,#u&!_YgYZ3ba5812420584f6d10a1a985a2a2b0e102252b34c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff9baf556f8a3180be6339d5831f6067916439cf1c