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 P1D, ]% HOL-Decision_Procs:threads=2elapsed=569.996cpu=1016.108gc=98.524factor=1.787zXZִF! G]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օd%r,XuHlrc=Yiկz2pq3yw,)d`+؜t|a}bbG'T촆qɺR ~ί:5SG\㢔X{dM40V {Rp6  iϽB gFpI\F+h-][؊^6[pp7mX4]ueSΊ҅V'U:rVb2iL-KL5\ACe2-2u ]6u=d a]82 5:V#b+i6[(|Υʹ]tv>+t3 ˗#n7ZqF 4;9s-<8HT;}fsučGLP(1ٯ)x|. a-=YߔP!2NYm{sf'\E.s EAԊ)!P 7-Nk~^Y^wiE%z)F9 ^ Ul..K]u7\"ni1yaZ=#:_3= -HSg^sF=N;!O uE.wɈ'9VzL`\ve%٥TO';q6ĨJZXd+uuJ0m8c! @ĝ>+ERoA g0tpb]VUœR;7<__?DԗB<2Am~j\az JLvf)"X.9V+;9,\ 4NcҨR#Z]PQ";T,'=eW0DBOfA@PS~Ë}މ'QpTpR(yH;{`fI|VjuBQ C:ATa"e/EFMN^oʅ(Tj9.m.ч}#s{.PM@+|Q$Vv;wbkd`pѫ?2Dݼ3@P.s%ʫ*瑆ڒKS2/+[aYu(}jrFtO~poMep^iwU=m_70.\S(Ԓ v[g)ˣ:+fA`,,yj%5a /qx0p*mcim\b` Lo^r-c+l&V'x]HAdHORJ6gҐI9F 0;(,)\W/TOR囟wJQĴ2dB~`s?$)(xd=.i/Krţ {Q|' ƜP)iv7FweZZTА3^?;+Yt'S~oh0,_fDG|Oer9l%LvB&8KFP빫ڄt7ObIYvf-1{q07=P߯a=&@ !#0`U]qIĜj(;1Q;µ$xN U4!xO4u# Z8@3Kg u;)MKbnGxF ڤ1 ob&M' yquw_,3)ʟE$'Eng5fǷcTT"2>ǘQ)>/{fVUަ"k],; %o(3x)Ђv7Ng(II6L2n*'ИyD|K> "_)[hcMC,XWmI֮3:LV)@a6яp=YM$Iw!~^ 2D! 1 HOL-Decision_Procs] xILGzp댈Ȩ q?y&0-X7={o<^{0e~X]FSZcƗ!}YGFޤ\ڦ:j-T/OOE6fl \;:АPs0ȍCPk"qWw>?my-4x*yA:Kl3(VUO=##y )5w|-e\&5&N$Cd >1A .G),4sSoxm{]7 =#J62{ed\Bv^ӠwZbć'-OnN xM9ǢБvЧeDzNp4]~ t4@ T'Σ&7 9*N:^o5a W50;f"K>]oJ*簰ٍ,tXϜhlQk.]Z'jU5OBgAA-%psUfJ2n$ vKei߉WQK#-rvY~DXl~-7v7—)&n`7r}͛( \<|gHnS(g@?_qO2o`Fvqlv F, =w2H"6 {kc}`y0Gk\[ d~ʝ]4h>\l2Zc7LDH@Y-5k7![4[Iylx(v&jG2=ڡ g06l@ ^BMn&I&쮝w։n͉`#=Mq0q6)|0UImY=>*t0 EvL[u\PD+J? ! IB/0h3daurxĖHyg:J<ҕDPmg+/?F?q]>iu6O^5kc& F%֊JFdn _g/OGV~DzqhF ץѲԘ3pۢeQ f{IzEgXQgluf/U. -HՅDƲǏ. 83KwW>1Z)Mkr6ʞ6&nxaϝ:җz,z`X=D&h7?VRT n^&Q4H :2"O{ L%;1!ԭѢ] "ΔEn FnQu]gqUͫ|Bv ߤ:+l<׫ya5nFQ}2A3T8Დo!'~,WOLF|:0SJXD6 4))7uz1EŠ};萢Zu1#|-rmXk ijHsiioK5UGt=`> aF8UbKng͚s[e)0)I#s+$8؆Lջmsd]9 K53زH:T @~8/X1#HԢ{)S]@xM=Le U!=~ O R-M o%2rc)8{@̳iʇUshg~ݏKMkRLOg=StE~%n_3 oZ+z1V2"_LHKz**( Qp;~$0OcY^O w3"(#\>"ٗ1usH܆/ę4YxϢGciI(+SD]CAgƩ%."NSa,i]Hw_.8?Z^tkoP2d~*ݺ9R~9,κrz#h+ GԂP}g>3L<O]9<;ށ4W,RMT:"7Dj1XZNRFGI fJz\u i#ҡ ۅnQ!#90~O0J4&< #(JXy٧18et΢զ]12'hm [R 9F'Wds[`>&V̷B"{@bJ%Z;HWO*DBl"Hj<_>@P[&"}Pς4Btn_Ɇe)(pזD"ÚDT XZb8 5 őz=f$̇ %e'0ȱo,vN4taklzX,Y ?$ ^~dKH=2|Shi i^OW<8_jtT&gsgYZ7zXZִF! U]ŗXiɟ17L? KxlWP8SաM~>fٺd徲mї)}GL\]  `EiY+u K:1mPd` jt3+d&~.#/$>{>  "'ez?خ5h;E0<1gՀ!/u !" w%kvZh66̨=z[ ?5'ktJ 0C h׵OD/#L}̋vI7Ki|O0 wE}[/6h`N,L-Axj'+MҎl NA.,QoIP|Ǣ xiݤ':ܯgT%} M-vLՕ]jgCx3C̦yY!^g)%"u^WFf15I1%{ Q#WWg0Rea bTZIas9;sugYZ7zXZִF! qM]ŗXi%;Kx:gԭo,%y;6(-UlAB~ᷩ0;]rMD1e ebUdRz3wO{Pޒy()Y^snMYXUY7/ɵW+OֶDU\wiXķH+&Cv6Ƣ}\M|ѝBe7j(^TЈn*c"#r݂d 2@Uͦ_"ϧ d2Jq=i`|)~}Dk~\ǗR;&[W7_-.W7NKY}F~>O53fLC8׍;J֋8o k 85j~Po~L {erR vy#ГxK6wz΀ 1Pu\y_nK˜OH%b1~:zh(Q,܆_I+8‘T"# Ru83lp%-$QIix{#Xav6Ew&.+cb|Lna aèưC B[65b6~e$?B4Rb+p]Y>u5;W}N'|Bݫ.lLNfGLEj^Vbڴi?/qwG,WCel_C>|WU#EBwY=2d7&os À?%"f}id| ^sf&a8r#:)v-Bv7  'Q$!A;<ڹT)L 5‰jY}"%[G l r+ Hs3x[xjp[e2x#(kEt/얦o4;S^e&{ivjhecӥDS] F׷S]ryX~L ?>-FoUaYdڮƧ>4{^xR߼P7djRƟ}\u\ Db/D@@f[Mxm֕l|tgBԜPZ QXk858}_7 -swOF)0p4A@d[DJWu'ߝ)=G&S*P' J%oh۞ Mq\AlHp6S 𩥸8(^*I$0OV|MOZT(eP2IjZqWc $g9QXwrs}/iT=T+ZBĊ/AsaV$׬ݧWSϓ Y㙶P9^b#έ߿WmXJc)1F #1dboK.5MVMMp1G(ڔv<6.f溞ľWH>lLQ>eM|ʲ<[myex*r;k!LPMmHLЍ',U]&(׿az9Hw _B~U_1o1e]T׿sN8\,,DQ'g%݈3#Q'K!%W<Eڥm '?S9يV-}I{Osےncb)#c93/̼Uzy͍'l^mt$PxǵB$,cUA8m2LUc4! z zGm=_K"o@(0cHxq+%&YFD޴!rЖE] s!Id {P N [Xg tZZ ǠlN48r78#fSFھ =nmXa>g $ Ǹ߂ ?'!^S): d1ڸ<#M7C &N,&A{'X[-xXG#aTVfj24} *naʭXE7>6ɩߌ^]"yw'L}&~Iy[S0vB#s)h qb4SAAL_:zR[` Ewb4r8VkKe>Մݳ9='ht)s[K@1j+?K?{Gɒc#B[4`ϣzF%D, l ʳm|KOt9ux"")V(V=xy74JQC"ơ$ʻ 5 Kቨe~n`auSnYZxOu^DMWaEՒB682{60YeFO3^ލSĈ/J8U!%!>a] DwBHxqS3*'b2٨wvlɃ4*_9d ܒqԇG;n\''qotKMzERVeխ*cED$;SfQخx7^= A6/J\F(Gi(_ZKG3JsVkhg)~Ѝ)*FPR|;bqN6?Gp^XߣDᲒ$f@d /c>?éRHrG4У?FQXRߊG#CzHm$5[Lp)+ztݩ`Z>3-pAzVo|XߜRe"d1FFM9؏뜆=ꐮ];m Xf$ ,@wdȋ/5 IG^F`7v= AXLlE-Y9] }˸ (sAV`L6GD@v46vC{~2Ō$gG38$$쏠`I%}7%c4ڋ185FNW4z$骬#CMI\#&gwJ Cc(p{r3(l~t}v0obHq+>P*ءK82#ˡw n2*`Wןe/C1au*eSQY["Yb@q?[oHc7)z?q&,ĔU ~sls>'A<i+Q|'oq M`~zFN+Khj[擿SwI laY;ma^$K 3K;BS KNYN &D\VTe&(ʜ{u qV=ĬTc;|WP]Xj&q2]17dO0U銄,Č D)Uu.6YFh#4T{vawx_9 .֩Y% /2}ц ,Yv/[yO''[Qaۛ ׺|nT1CA< eYlX!u&%v0BWc)bT_!gܮkI:r>4`ǎ6JCϘ :FGSߗ7,cArS( \pt5#7ebӨk#7QnsrP{FA,x#y6t44`Wu-n=cf0eKwjA~+OM?mB~<^w *Yʇy/v~'j)p>P`_~h@xeF00=D("zNN:Sڈp:Uاȯ)8 ff*Lgg$X8T!qም${AGu }٪lpJ[{q &y#!.p7f9`{{ n@ 18P$΅q:w+A.a֛Py!Ogd]=V K2J`tW8P8G'/L,#sp7);RiWM:F fy$yGFLm 7>?`bim!٧mvT;-}YB ^#kqj|bbe^5ˢR~7Яe׸m"_c-@lѮd9v08$`=M`C3 %Ȑ%rV]_r|m H$:qǃ@6Wb*7gLj(煠hḄ:W;nQ5Cwܚt:ު۔ 1Õt`_VF䝮w|t.EzQulXI/:&_:Z=r7 k:?%W@]8C{ qzG_Dt`X\c; 6pY X3ߒ#MC1:qF/Xl%S[W^$_#C~o`. 1Ah;`>ό!)-ǰ/A{dݑ-i(Yм&Z|"N+_b|]_ <{K0X`ݢDE'j-ٗ$ nC=uU9"mN] ~+Rr>2 ;Vq/SY(2&S(DI糮Af$Ŧz=B/R @ ¯C6[|ekj : TDu>]~NyECN;y)mvK,>8:#@7kl[4߯۷!a /B`gCe h<\'7=(\&Y7]a3,)<:\ vjWoogItEfl;зY8ݩUB6I'[+6d'ag Òy(Z$ۧylePÐSҭĶA(OU4>MvuE R=YS ץ=RBlgu3>?:"M>pFCX*ۺN!KI-UwJ6pq!N▢d1 7n&$r*Ļc7Pt-Nl$'EpmSIh. %M(Tه?"Ah~GIp=n-4zc/v>Q-9#2?TPJ#p0z)XXQf\"__3˶hT? !hh0\ 4Zj07C2=}xp-H_XcqRf<5\sZx܀Xa=Ws:?s3ܘUYazٕLf涶=y"%B-)pQd%)n3Wz\t&"e95@ʉ6wos6c/1};Ob,1pҎD se:%S˰ ;QJ,ia^c~JK|Ү9@66b3ʠSxܦvQlt\zw!Z%~I{r&}\5 ^*.;Vf04>> οCdg\*knt<ަpLw/rP>1~jGfڵ,Jj=a]'VHOBh5!*CQ 6`WXRqzpq C9lnfsU-7_.K11FeoWT1|n1'#.G<aCt=7JB,Vk569,aAT~ROmOec2<]}?:~4 kSR5X-h;%ߩ}E&=!O-:;OZ41NpKވ]x\`: eO}M(\@w. -lj-}I^# bv?Zd}M7VbVMfKP}ʒϬ^iyP}!C!S\Ӝ1_H=n0&\dlf7Wp ytB]Z.cvG$[e%awD,h[|粏ƿZrj(&f:NxI˾aXϷ2 sLPyp (qlqL'oÔTF(eGSi3`|ZC a9;2oPd@hL`M;eM qHGC,|.73 F)F~QS6Pwz!DC3+`T/XAQ@x446[{go{RiB* ,&psoE덴]c8}?[Q9)mhU<:U^4oo1MQ=[/|5N <]#MY$>+C<2U-H{m"'B֫ELEfmx =gfӉM>]/V43p+|+W%-Lx+J3ofC儩;ߎ5}HI#E+0PVsjwr^X xv\$ĕh:֫_73uZ35z.=M i'6~zJZ7Y[Sz4o%KKQyCrSEU c~G'gd au$Af:Rnᰢ'bj3Pϖ^\}:<ʆU6IQu.>_2v)cʴ:,02[le? hi'ЮB&=iK8Ht^n[H l#YYުqò@.cm=cCBPڝL?h'^j*,&DePAɯ&čLR, rWy )E7T ޯf$X ABŢ n6FHI@Hp!i_X-@aZ̅FҢ__q%PޖQF<Ţ`Y>N_PXljH^jr~mW ۷)o1 hq[: ebw{H2FwT{V85]g&ɳQ (;;ǿGܚl"V]LQ?.Kc٢LZ5d <е,k9d-OPvm;{q.+z f.c9H5)Œl|H*<-C$]c($+={aVUQN)ܝ(Nh|'1-Pcr)<}6ۆŠni&-Bf>UW& vdX eB8/#l7kW.Oy2*q=?~~AdeXtnG̲&fgՒ>I7>zC4;lm׭ⳮox-%ʌ~*h9X3 ?#PCQJ0.l#uszzAL ""^fVNgJR%9 wEC Js&o(X~-M#}Xi P`N9- Q=C2QO'/J ~M/QrSIxd2`RXgfKpCC.AwΧ*n\<59\.GNNn'+s=d%]m> c; x1<DQ#66ž2#EhF9J颒54}=O}C Nܞr@VYp2yzzhnHnْ= 4B 1kr N8ܹס\؏eF3?jtȭKw_n#-XCӱSTG'K_](Q[.???S\ $nQ1kɀ/U`t) ,ULAlz!ѳvc>8|MN\f*UJt?UʠD?n'vH313$n,pxc[jwiC_]J".'NmUe7$*SP(S|]_ap \E_0JJ CR\U sG{|%uA< )df7yL_]:T<ۛ\mJ(qc{| QMj:N{bo&o/IU""+W戌iB%@8}3emsii6VedNo3ޏt;9Cw-crSw9u- tAt`\#%B_fr<=Z/^?-GB<_S|?Wr#ܥXS԰ՊMh͝J@qĢ ;yx43Wi)YRp p"cZ\<|A_l1UuԕVpaՁT!5m d/"WC6 (Q1M(uJ"j6:T0CF CUw2v`Br,K!iGbty\Mk35fJ8 @ɔQa0;wf]hxy }50 hWou cJx:8C9zpyPuY(n,@Y[,kJd..AZ v@ @P5Ovxeu@>A3Nx^l5 "f Kv{fap_,Jl(J^Ҵۆ_oul?p;'/BVB9ݐY/;ssԒ ƅ )/M(DFu$Ӡoxh =1G盠em;n,Jaf3eHۻ;}7=dóěˁl6S5M݀eFzF[x|X@n]Hj"ër96gv`<5IR`]65ҥ}iJXXM=AyWy)l_1, 52!hf zosU bJbR@X̙m?#^~/Tt)9l`4TW Sgzb5'#7U|Y ]ʒzۖI ȝ`=ސ3(E_~f/m& ^UuaRh|vԭƷJo9KS 1v4ʂ#&Ly9QL{FV̇OCCO&/!C ng})Xx9E7iiX@({քg<2ybŴƒuW<5ׯ?Hv9x|ˮkMX@05K?TVz'HprNzIE^(\E=j"חD/h#]c&vCݗ~R˸g.a@Ym B| K[|zU`ͻ(9w񽰠jUW-E8!+nqck >ٮ挶5{+;c ]|7`PZ=5A3y  RfQ~-:CkQmbLqq yq6L+Hm1YZ YEs;3{>[ȦVqG$_ݟ@^ɂ)cKd4֒C9gyZ@LܚC@;J.8jXęSA#y:;5;jUU/<{ϧa8Kaޚ7'BF,V$,3*~%ŵ\ sD+Ux5;-%HPnOy i(Ua*EvzwJ<@48Ub([%:e!#ǴcQ UȞ79 S]}Ҷb!'+my`MudvO#34x=)VIH(db,R 9c'"g&F7$7SiCnU >_? ʩ$A}A߫<18qp;H9W_HOKhCme?'xGkz|_QGHMǥԽRpW,eͅt8XU?QHEȫP[kԼ,W,vut`mLfiP_S]ԥU<0"tAU >Fj7,*kM["I))[dW(f'ш,]_!M~;b!4R1 0˘M-* P)֔wc,k2U9:a[X'B-6/KN!o AybgJo* 44<4鯠&+4'5fX$F/2>Luڈ@b|]"z[)W|Ҿ@YDžqb6'HjH{% {>`O_M :i@0vuh6ef,' rT {עx}঄3VF%%0d\hYT>Ǎ.341K%#rFIҿ%/tyHZ{@1f/_Gi8ԅ{ʤ5[kz8q=&!bAç {|f7(<3vICC, t q)!sIHݲ@B2"ʌ -}7?V٭m*qKs޺(nȭ7Ն0o ElC^9D.V')%k5V Xkﳍ|1@c\`Ɔz#>iQIW<a/0[=pMjw2">?oa.t*dҖq٠}𼪟R=<]-oF׽WlV@eu%wg-[R.ki_?K:ȯ1IHrR_D\˛n ʛDQyy;V&7,IV!}n5{Aʪ ;tI5O=}"1%AOB!CB5SN1#=}+G^OmQr/-?N\2kwwSٖy$6aO0A͓Ř֎ Rr<6-ٛqmsqZy! H(2} 7T *LHB*ҚnN[ի3v.˅ wA#B &fl!Hfֽ< ,gѽHr||9C]a{wzήwqM 9MCdFl4j˔@$g)Jř>>+d`3muGVk սcxigM^u?$pwTRP=<_6FH2B+{oѯ~m&(7sʩK[E!F_=7HTڵ)D53!༩r -gS:6GTFc" l} }@R;>S/mɦ;rvZ9gbL,>w+U 1m;T7n~%u::~ vDA5_]C:ߒYةǒڏ4|nړ`pn\-H,!/Cmh1=bkT6в`{ '=VW)WXXLws~im!Phw8{Au9gEvP6`;q1~ Y#/ݰFU'ByS(Rp'sFq'K=hN$ܦ)bVҵ:|\ʲ 6i`96Z <3K@ SO1o&V?r|1DUWYt(q&FR#RgZ̞WUbT@}ԁ$y`TſB_h`$ld|Bgnl}\hL\l"Q4#ZcX>vS芍h'Yi dɿIkn׆PjHhIhf(;VTT+lZi$ޯ¤E<| Ꭴyxzy+΋2\E[ ٩gT kmV:"/4pv^je?T89cPG ^YGX*1oڊ+;.,KQyX/ .o{nWOTH/s 7G#03g 71&蜵Ď@dկԒ*U\Y4Q()D!T0>{ $ oAY3{skIwؘĩ}L>x'sN?b` %pb|ml{ecbNd Uf`.u5}h+j/ ,=;?,'.jadJkTg0aAZ7מƓҝj{ۣdjvʴ?HO'ѽUAQJfʐp(@Z~T0y9G[ORںQ\s'!b *!N"áݕ2ۢEZsTr 5{J 8=#sMKuվ]?RizwkH'IYۇ~7*u-:s?x=PL 1hk xnnGb6Zz_m-WBc9AU6}OZXV?5 5Z190փz89n{a+㾹@‘]5kDaTqz\,KA|91Rn|+x9='az9uVa,M}=; Or2ʇN`[?"0>+T}R~NjۘY&O[-mxR~D`(f]+9D͜.?jDz sx': % z\?* FDs*x+cZ >eς`֥K-GS3ػX+a,jH͡pu3@S[jCsUX_a /lD֦)9tDo!Rkˑ]pq9@V9GRQ G)_]Fo0dӳ&60Y}hAU!Qd rQ{|y7≠-sFi(w4[(Pm۟g'f ܓje+ u][f @>tMtYx ]w>YZRNjyuL%9CmhR}oT\,| 7~N8r Vk)I[!)lR7dg^bpH'EjcFE](g\X.+ ˇVV>+]'x0u)agS=2S0*,Kb# {򙂔kD!:hie8FXq-h`ƤRrGLޡŦFam]8X,ot纀k)WS+N7V}QBOZB}:A=+{:BAty8dNmKm`x&8a #)Pg&87SҎk&dϓ[A-W5;"%7O/g^wbZnXh'^39.\t$INus<5'G$i+ ]Kw0PR3EVTCBw!grףYխ|xYF-UofY7 3_ 5짴JNIo W[Eno"M Vg0;∲q.2]CŒb</܅KTjAO겞&g.R1/ =N."*)›]avcna*OF9nQ9\ӃjΪ~L#b`zBjT?cGOP( -(g<ιܛ/.xBm}k}=M|XauZdlnZp$ E?HìL)h1?Y}sW( ([L%(/%"R!=l>{ecAAFj:4~P#.R@uf aq5hi%>u:^b o:6ްI=dP&bߡڵ.Q Vd~ә׳4y\aG ^oj/ٌY/ew_gW,ESQ~çTP --.WPt }Qa5cB4;Bd'dUPoH9Lm0 p7N$uSK"v1˽SV$S cZ~DEOHZ \g_~w&FAlg O8 1DJ` mјeln%4aUV[aٌ~3Wpkft&EKMl|78"6ɂ+FWb_l}053d[ *ِMY&g{wM C(!:~њ Od!Gy|0Yz))G ڙQ@0^ QVg5Գ>9 4#-C/e ~<#]O9LƲ⒑S52T.^:.R(:̄M'=&e(_7oKh;&$f)TLYy3ji2=I WTuc-]*q$F\ rN .CREʉ&rPT( A@s`}"1t2Ui"ENy4r9 f0fS<\ {$aoǗf3.3ugRa<ʜi!gXYzL5YwhaJ4| rH}雠 `"_SPuS:Ʒi4%Pupx tN'D`Ӊ-Qo*Sy>V7Llê˚>2q8+, 6^JF^`sObDRo[Zeiq3؆)T @bpȳбӐkf.ٱ)~ک>V=+:^߁:Zc$wLXMaXS.K4fW>v9T%G=LwLKPdNY0~P%2VzIY. ֿfqAfZ8VաSq~da{Sy H[DܦRF7[i ^,[ ⁔Ϋ1'djSvRwUZGn# ^ 8q`XC9;YbQ1$bq^w^l]kRgqY_z:s<dr7عX$yPfH]3 qa X3$*N ڸf>JEi؜p6TR>쥞'نLU ֟RUWИ <z19lIQYH {2VYC(}_{פr?"];gR a @x=quo;RCqF)j7=I_4>'j6-]CT\e̺雪ԍ=9`Y (,Ҏ|,A<-kQ@^>smwa\4Ὸ:aUB:=Y!q\t/9İ% i{[1@)!xDK#!AHxCڥ[=1"݄ZЪ!y|w`5Rr|"*==tg9X_NKNxx=AbnwO̐t|uKLb C[4\$_e*cE 7{,Rt!:HQ{ |bEf>*hJs%DG L/0KqO}ZiO`kd~]S$H:3B*Y El)[^ę2=NnN6"2to;+Mo4Rj'Lj4U|tE6'a2#kdk6$ib3@wZn])trElk|HleD2[K3 EBEjW;ktRY-xkh²# C^fi#H3obcjr .}𻼯 _2@'EġLΎ=ã]bwO2V$adn%tWD\䇢4XlJ~Vv-۠ۥovwrv{Jx$oЛ59# cߖot>J̶վ bsXÆ NK(%6ϸ:턑LYaW!):"ݦ;oLogfnܵ%)(@=Ѫ}P SU 6{֨NC&ҙj rЧ.f;H]R:cR[i^dȜIִoLqeŻwY{3 ӢZQV*T`C6Xґ[WߊoTp]nIt'۞=0/dz^BoN ʶ,1˗e q d6Ŷu*Q9u]?Q_H`2DK72ADDY92?I` uYw|D\1SgVLbw*U8%laPpn?*<54ˬK & cW!Vb' |{S#E n8{BN^xC6qTo즾xavgCz nkr^daHQB8JvP x1K:pgrvoِ6US3aX.E]Uu*Z.KݢeұlY,4h^k =~dJqТH%Tehnu,wO]8 PG]_ _RЁw3Dd25SIF HC5)|iG(,8,fMSh]l7fKRHy B h5Ĥ5~ppNH(}JKWб뱛 v dCwmj;SPS\m@TѶ60M })lu$l#!{.S,\+4X'WxdۛH @'v- N~ƑWeqc2x@ ) *Z#+j5 z( C-ls2^\6!WDd,*4ҡMҍ M[i/M8y!LZ˰>3.2Dnw`CR"E, 8gqHQX J+Q]Ҏ))1\lک?W.VzAC p͉(NG@A@d&rxΕs.׫%]+>/j8K.u@4GyX>׉xHq܋֕mn뾗%嬪[j_CƔĄx!U'X}IJL|5/5K|o[&Ad]/=lo^QCþ*ftrhg:CJ)UMDf+~5K?E?)Szz޵Ԩ:6WYܡ&B+M7W&tLxWMԟq#WK(l-Y閥V\j\mKhFk Cs,v=5˵O,J^-`Ν*bG_St#Ͱ2zcͧt Z:+-6w›[>ƍqV+|sҿi&t17 sƐb@)}V(tr3KG۷^3lQ@8&T^ϛw!%-_4ddV,lW9>ō]1c@9.? p%yժdž Qkt ږf% ġU "&*c~f#z#)*.#:lҚm[9tb . @&boDo'clmpVXJ5LOOjACQ43Y;"vօUVdc WiS6F cIHvmɭք/RjE?Bq=,l$@PVOenm ravID& UoF=z:8ɓcߡu xNo՞c+cʁ %|< 8%bmdU8;B 12 teIvR#+07߶5̿'s7dMM/3`,I>M 82j]g0/kUl\]wm#GG EMI>$4WE() W{.l%CϬGuBOdd~LFVPs߫ v)(X%'+ }Y$GCK}YWAS~Y}IL‘a,zlկ #&8 -&:LHgp6*#,2(0c4i88OI3N>=`6n'ʆcR[NB(U bA`WX^MImP9foZnw."|M@St{sn_,KuNT><Iؐ{r;jo!a%XS[5@ˎLVUJRT`ԫ|X3~ ƈ~_ & 8Ȧ|N4iug vb;D! E)3ys@~iqSR9264Q@r0_"2ͬeL=pFĈq{NSAs]re`)PRE`48;O0.yUG ͐/W/qr`ۊɲO,$g(4+@nG v1zCh U=~Y.)NhbbdH P!~$nm!eǘ͠)ZyZtV(& ڙ 1C>)Co]4H1]BP4ِV3AbC:DZU1SsZ@ >S} +d~ $uA@:Z~XšrBNRKJ!'UîVh%JEAc&1UܶS}Hf aF{@!<  @+t@McFlJ%<4(u.Eq͋L+4wyp+ֶx5-.16+@D/Qb:dj4G zϪL/v{\菲vJ.PD&F7wj]L.Ug5>ot!miUMƤ_2O !n n> ՖSdau@V/_˕Uo*[S ui}&?46 hRCAk"!RŧY"ݹ!}oaj!"CK53WGe|\ ҧا{jWߢ Ri1 ZZTC꿬tbS%n- h…dA&ou1m@):53Tj0 fR ۸17 ԿVg7,n?)zYh+Fh=L ,r?*W)XNm@O+Hj_Ϋ1<+tG)[EFN뫉SDzѝ[̎\a83X=Ա^/|'eV@B~3ճah0[dJG\)&dR߮PQɈWjpg&cv <dio, ͐MvvCC~F6`>FZ+56Zl΁OYW!9 :8ꎭ#̅KrYn1t֖ez=+lIJ.Ϥܸa0hΒl{9jj-k؏yщ9ym쉨![4BၜTnc.Qp &T2$k)mdfqeUҴ{:zx +ݷ