SQLite format 3@  .  YYQ77Atableisabelle_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, "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  M%< %S]HOL-Analysis:threads=6elapsed=248.298cpu=1087.460gc=65.288factor=4.387zXZִF! ՞:]ŗXf1-q恈a.W[xQ$j %sp"3`Jb׫ޣUcWA9ֆr+LpV5.+t4g6H`mŅ:NPOa=mSOI(IߚV/%jlLlq<&O'u; >ߛs~OtTp_iZDL!AUxg׌F- !}#PsvG B|kEZҭ0o&a#a &r1/b>uB|y{n#lIW/8=ꎁ.' 3 xߓDl3 +`3$'|4_{&d?螸>\.j w=ؙ/SA/=L`r06o0a؉r,Fw{pGH,b(]ꂩ@Ÿؿi\1Dof# D-a5uϢ] ]2mG@ $W'Ec>޴Vo0gY^@%Iк8Ą~^ŕɃsY;fG+5ytϲ`σ1=,T=GUY[\$B/d`/&+}N0${ԍRt36l'3.pH3RL3\'QrZ=y܇):M5Ar@J|7C'iը%]Z % HOL-Analysis+ ,-&N/Pʎ U>EVois+\`3+zRG 饊cUVyK&/XFIy'#ܿV)i R*@"3!31##? ' kϔJty{buݲ><6TkٷK6b?_- ,Ҙ 9ki,:P̚g+HwŨkK=X&gмTpf7rT4GFo eCcV؅1ذpGRv.>&$[Q_*f31$9YX;ͧ)y<\Exr#!k?6eΨ3Q߯C5fmkn(lǮ]87Lh{µ"b榹EL* MDuɕbhy6{۶kѡfDC>Bc}7X;n[8|?Wz:vzy΅JJI̍3sC_JJLׅZ`1(z-Y^'^N¡I#Trj,A A 'g)" ܟ\V /D}陀eY']@~e>nBPE{/ Em0r,Cl`  +< %5|R6:2:`hævZp#u~ n])ْ[l8O%|j+ڥ\&)!%Njt&5B|-XJ˧W. IJsTYC"412K]AoR;G K\<9oHITRƖgqrwjSr_Ǎ3V** mȳ`ӛz6Q)tu<@.(P,xe\>(Ҕ0PwA|<~4Fr~n~yF%#ID7 61B EZOi@SQUiTKuM*{ʬv|&v%3"~׉}B6p{Yʰ~Kx7dASB$ȭUIbAP0OSrl&5#kH4dhl2v<{C $ BU~*$*"XW 6֑@( ]2zƒY꼄y.bꇵN}|)}/U}#LwR=u|rs>n,q(K>,%,TsJBi7=C.5l䔊FOg߃̘;qS3UB9զ=rKtSg'910: {(Z q32wXE_ʨaRHfJuZIr>.VnVM8_&)֯fB[h /؄/8*\)(jJ+AL7Q]= 8f̼/S07{L,c'5 ɨfW$tc! +fW]7j:6BQ8f*g܍%TvFί;gпhrfWwl5 U/}$wƮc]mJ1rf9P<0[5}dO]V_$owθWk>/{(u]Oܮ[MQAXz8 8jbM|%}g;ﷲR'F@E zݞ 藟Ͷ]wLr U v9:]%r`MUBqx랿cHaƽ>%v{O#M ͚.{;E!p[Wǰ!a5ȉ7&:u`AcaIےiSØ0dM-/el %+6uN%S ~ZEQdqUfcjdi{n<UI`½}Е*Bߦi.wc1&R2[I?1 C6N߁'YOupaОpU} naʿrҹF f@iX{yǻQG]vGO?i%a{ϒ'Q#xh817ܿ%`"lUl/) P}"'419Wł@F?ك>~. ,wyiӚv\lz[Îlb\,pꑪW,sqvCLHe="tRڡPm`4̞܂2RN&ZB߈^&,Elu&c@uCf)C±oE+iFɊr/bBj|\&JZ_^Ӱi>m**Tu&E=U(q75#)Mr.E0hWވvh7gN9t?u[¤j摐ʣ,IQSHڞ:G"td5ל 1}  e֭9&8>$,3|_'pU +P,^YMg au+k'F:6/nj03|N +%nخ PF c偣U a0y{tE}¯y"/p:81U7!ZlAHJ 'p`Gxʑ(=(KAHLmheW*X(:4HHJN|m5A]=m_;d3}AhPFGj]Ny&}%O/:7gsr+exơ-^ -56[;biz7`%^N[]##=ӂHi{SW 喤^ߖ}hy}ڔƁV<a@h!w;RG(&ׁ-7t6tu2aǏ`0})Qwҏǰhf+Py%Yt1JS"Y>QDr f/sk[B3j iB+x\G@6IE,{ok1u=r`5+ lEwy(Jښl^oTKc$I*҈%&֡{I$m 6AB=?bW!/ $壶߾uON V͹ͭ{+@c? hd_K#:aseӾq(QD['tnZ~Bn.}?f[]R TV8F^WA)eͲz/(!_b 5u4 t5Gz?nG2  */noJU^ TCa9,l Y6g󯛊|^ D΍|找??B 7]R').z9.jj,8Ri7,@;I boaij^P\f:hsA~Eٚ{1`ȯDHHs)SujBޥ"}v1p*ś!($,P:609'uڻuՊ }φW>~hz !,$R%ਧEjXy[Xu}ۀ_OA2/*`?7dlN;54L [΁*}[%@Dvˇ uFRWȄVqWcb1Ӕ2}쮢[c] |kqS!Z 0wI.6iSGm A[ XcSQN5A>3 h nՅ%tmsI;,i|}?zcטCObzU)yH8$X'8OD;MEN|K"q4mYM^g6fm7\D-5'bտFQ=ddt.2Ϝ/pyE0nwëo)=zw%K#q:z-ǟVh%sX+&Υ(yTDϽ%X&yǠ<58 wodsxo\< /';Y5eXG3\LLxίGKqFN|RWU< rá14kn+ݥ{SE|kMmulaiuHl/ ] )/0Hd?I=J,X0J,1 !nLH7d;!O^x! ^-pOLDff`v#\mu?"[-)7uWoA.'^ y|O P4x$kvl|TdZ ƖCWQ- =53yB13͂TD` fF0 Q,;ho^nk5&jV,1kOIW G4&K0a>B(Q QcQO:blu3R-wZw#2s< d>r.p5YʕdNZjyi{7DVHi7 k6()XaQLW}m[蠹INd6bdPW2 bAMXӾP׮H}8?@݆sM[QRhD<%`́u\CMM.*pe@WՔ=@gBoF۲cdxKX$H8!VuY։p3ҮC# $Xn>!, s4XN(-=CU|'Yw] wM j6ɂy|˴L^fKT鎝 W~Aϣ@j%3.@ˑ %eevWBq[M|e1"Uh ,0ؚz@Ou qiJh#+GfR/<^}#ߓdE QNmc9ې}cL>ە¥NX^{&fO~v_c+@_pL/Ԣ{^^ f8z-qii (HNSjAAzZ:k f s8EY>}~wn/D}\&z!jO JafZ)ǵ4CWz^hvf<,k'W$:x2_RDf$$R=NZgfp*]{$>ނH1T(ɕ gTP=Fڕ(ml,(1!JqHӐBP8e3dyEvb/wv'l3GXó}gW!$DNdtZMS"v$•qbr}Cd/Ã3ۧ~%mzym{8+Р4AȰI 4Fכ,wO>&khgxA&% &0qW}#CIE;=j4tg[cL9NW` ް &|'zA@.9FI"bO;@LXlFrz:_ j7+=y{;9_x2Uc(WMf瓱\&sF*ѫݎVuu9ov\ӯ\w=s/; Vx.Z"n=nuuu)n/ `ܨK/|GAf$6?^.fnLj:7QȽI#_ ^DUE ٗNvpC*ύ:|LF,ZNt5DeM/_Ͼis}+v$GmfR;W8جHYD $;=`k}rJQ03W޹5d58!;)˛5Fj$ E#h鬼H.vs etVJi.b  '^ƒ-11+i(%(S-qsE` #iM幰zaLyy+8=!yjL6=uvԶw5]5*A"6H]Q~2,E6ڔ7j.7sj ?5zMY0'odl9 b=(Eŷ h :H2=P'm8%]$'sjM39c:4z tHP|m 8#! m 9(? ('O\([ɮ|l6֕ "v!@" {TXHEcS]l&$QJu3eQk<"Y+$,]J|w1inO+T~Nzɇw )ɪ}+I?Hn8`i 9 : ?\B; pY?F~xMY~utI^Z)wuHG[ܭY,vBU<wϬ+1@'è%M#r;𬧁4&]Ok!DdK1  5㟱j熰c:b}ZAB]gmǧ /U&X.t{al 5h9Y5:5) b)f_H{Vmc$;]K2=hvq;U7r8(պrvYh Vˠrc}W.dt!w4@N̞m眑@쐶n] mKekm'8*9 +z8їu:-PP׬m9mJ_o|Dq6&5]ރ-|D.~*xfz0X`%nm=c7[s93/!82:*zn %zO)D_)IG##O3۪@KƩ TfsZ c) _P曜Y@ɾF HykJɀ;4˄K^DXcP:("ܜ A}}t 24uP~{x3.t;hN-)}K(Iv ;-i䔟fsab^_FE hKxTs wxN0Zi`M߄:8ӥ0 ;EkBTelD. |oyF3IC1$PL߄(1/Gtʗf&Əakm/P81xBd0>͡NTsYqUTM!Up- LZM Stp25\"umr)"X9?_Vg.W5Lm@_5^fMk`83ȝygד[U0:iD !wc,+E<@C ˷8 gqmp?wFt_{)#ۮox7iD@ӡz2@:h4'49Mg>?Pz^u?X9^@R0~9 Ef} ?i&N*#̈3Ob(U284W)N:L׽=ٲA +puƽe=shvF[#~^O6 |̃ơIrC !`_ 2724𐁒lqu5/!)Y+bH)}(NVy*v ELSⰰ.P<;9#ˊ1@Uq X [*R:hMWm2niҠ y](z8`ϵo]}Ч~ {wWN$,e(ہ{{ Kp ?i#BMܤ =j=5 41N,9[_Jx9 M6bp;Ov<֬.K#Y5/͍}Ac笗x&=ls uOQo Jbh_ eNe逩h:99C, p+]8JU!#ua L+-snÁly ˒@΍X!cPuC%>N_5G9F>x;Fڏ 3ā0?(ZZ}z~F("Ti&#`߂I<7 =2{p$By)?.kH5q2n$11"~Env}c9U8 AL} PxTޖL5I:9KVٞjYYA|풢5Qa|<!ti}Mx;fIjˡN+")IӢEGhwzJw{LG$a+5jIdqU%222ЍW|P19qtQ>]>VLʤ9!d<֛o gzG2%~\Zfy=dkTzy9j!$R`P#46f`u[q  .!7sL[VU}K_/jpi?C'm VJAF۴3\UeP/;vC(z;eWb,ޢq}6Y?afHEFnnA‚r>TpD/LX gcHNcُ/Bσ32ZmEM|HC&Y4-Y :"dre/ikf5_˖c7c+JE^Q' ѹצalb5&W'֡z1srYӬ\0Zbuh?=i>A  `[4 }A$RQ+Dz҃<,u @ýgYZ7zXZִF! p1K]ŗXi%6z%tMPrdL`B U]iՈ&L1A)ŸX{uJ?҅Z\EiL7tc qɗ3a R9Es˲Rb-udrmKjhb9Np8ϸS uj,IYz٬ Qƽ}J;"8* {a6K+1$84]B|Ԅд@ 9`g1E:vJ4-ao*saԪ' gJG'Ҏ.E}eP*\Օ56^k5\0RZdgO]djCnP!Cn3A(ZhiyC\Nw#Ⲝ61qC~ uM9eD2] C \I)U{G [`>rGt9d(LhSN `[T+j vKHv|2@~QƬ~oq=tXuPmS@pyں"& %g\u͚imAQɿe3$sP4 xgB xs<՜[v_2#LsdBݱ!p&qj(  <C .{nLk'9"14u*6]-9 1pף)6DspF7>cU5/;V̇{O@,/j+_̴,"?:Wcv)SE%۰z>Ґ8Ъ9Cu#ɒ~Dbp`(/=Z)lq{+Rv9;q<C<_HYtnGIw؟T rmDUW3pM ;!Vۛ9ܬ I)E,n2"啒oB5]ӧ-пd5g%o"_[O ~{&"_/LegEKlxUDnN*ʴ5:яqyjE0M~11TX%و~XD{·+ k@?lҿ;D&xOCWM8࿄-wg8ңVB(>kk"CUei0.pNDFc ^U; - Dq:{;Eϡ 9y `  FT"7 -z\PY#@68yT'TTrH{XFN؇*]#hU#\-SX3dSR:dyRP4NyJ02{{rI<5[mX̫mpRH'u-u_F(b('"S돝zbܩV&in^.vf9K`4 HV* aY''z t]72&*w8KT}5fsoR4>ɓ^Z " 4`z3ػޥ:l8YAVLIȃC GFM@V@1hNt!4ndRjYv̬S?)Z5 Pp"B]UFP* ]n#12 b0uV gĿi 6Xy pQf)-7lBR4=K(ݢFY@3.vJb"LEl ږH84+lٰjsF%}(ukKï]=d[Dʨ!ƀP.et|c8Lu +8^n"ĹK f/BMǑNU{NU]v D;Iv7-$xǨ,X  9oU$kX ,)SFڗ'-/Vɵ=cco @ c8 '4ȴO^dp@愖 e`R!π s' -5ͷg4V }D@=Mr+G+$'(.}U> xF΍t H%$H,ـ0Iaƌl}Er"V ٜ`!Wc !V7.&tBYۊVօ+;EcH"BK>DZnў128jj>#c [^=z8.Xc QYBm ,F^2 z˹D}ֺ?mVx Rp?lFJ-eR+城ٽ\̿v*`coDn/m&Mcɶqj ~s*F <.|Khd\Imv_̫Ht^%ȆEx'>1CICXC)MC0Q|֖0n2˿vB ѨCKdr4[o>׾h;$58[ WO֤9 FM|:U|(=c+{IQ!v}~ɷL]k(:/ <ʐt٦$*@`!hu3&'?ٸȓĘwGb[Nŵw; \PMrP-[Z%ak!QCzx~.[it۟(`Hwfa IAnSsɚ;.30 UB -u|ԘKppÉ}[*#+"&{6]1bly&q\ $ Vx;Jൊ(בv\ԭbʛSG(:"4W@buSSyk* i[x|q*R|_C3 ǧ3|k(_)~[  ~3DDK;C;o6wGp5r"[}V1U XIh_xK1U̜#KPK.4ΖMD|_ gD 5c8+cS?/yqf,o bDdapMqI:jg&Q!4ވ (!CCeYf w ttan?$Bex ǦBZxz/(=\rr"-ڕd󂄌' nHnދW=5.}sa]ElCc ,c.+?óD@t_>>^oзA?[߮ED(QœKlA ܕO oFϮHM!K/tS]Ta&9foEbBV4L4_d8LN nZx⪟EjܻkwDWp=)nfK"sqN~ e!b_͜mDj>> ؐ%x5h}N&ޏHz3]~?0ʻJ)MZ71ID)65(jU ] s QxQSvUpp[ʬ͈JN&pl>Vl+/[hW@hx㋧{Phzo2vۧ[| a_ ^*| =zF^p\_.(aх;Fjy,8' gB^[; 3Qly벑lG7r:}Z>V'mʊ_pZO,w_H`ΧlP8<= Jp03Ty N0Up lhe%LX&hQ|*PҽM2>ctP9]2Dh! umݗPEp*XB< JPA8%!26 JV4 -}3UXӯ?~+T/J9g;]Z=O|M*R [7fRocj휴~]V*C/ M=B@lbDZ-U1]'VZ -_D޸/JpHm>cڟRy-eV{"Ec_?E1y ~Fv =B_JjVh9Go3:K SK'ي#((!d#S"s %Ph6 J 8K7S}:YcsJ #'7^Ny^iʗ$\gDf:xD&-RUԅkXD?ofxmf|bR0!"Oȓ f;^ D/y*q$i2@lcK7PgƆnc 56'2J>{}2:XjoƲw lg['4\ / n&jb1tx?Id5WщxV";–2@-GӞA‰{]c:@sSyd:>R|/򑊾5'am&^?KP%Rh9yp_FO_/Gca%\f_Stxτ9/Ncԫq~;n0kt}Rl8!C9"{]r\j~wJΣ8yQ>BAǼԩ6x{U$/7X!:"iNJ ʎ+ԕ es*D‰w]#ȵGA =ɨ[fNm|=}#u3"r51Qcp7r,nlN;O 5NvڎI}!u?@!8 >ZohL©) (ta#Sv+~t &h}%Q>qD>'@HƆь/B7k'$7 I'$}oX>Eie#lGW1l=O o4 }xHb<QXH4lIKp; G1EYz HBk kfӠ (OA{)3dߟcRy̧8xԳCP$,`Q Y xSRe#ضv\l ]| ]Rե̟8*F/b66- 1zHh7v̧"%$Ӻ ɯLlXɷ˃x/NM2>pJӞTi*鵳vu eS fmB :!" n+Ю,)mVvrO`k0n~۾K,0x]hǛꚫȐ;ȪrWZ_ýrut靚^V#:–mFў_3D .j DrRZ݇K6[Al7WYz|&@#-x.FL5fS{|{`~!HQT: ֝ZeFwQK 훙nλ"g4+öBH#୆OlyiZ GN [eq:a)#kSrDB>ij,OLoI".V,Yu]v>ىf C 4r9a+>[Z-N,gO49BAG6ː7i$k-kͱ’kŒ_IWI=M**ZDC$fu U'E11X&6Va>mcYe| !#\"kteBbonk; ~nj.W}`)b~W([HyqӖ0Wş~ۍK$u(fWƳCn+\od^nBrTGr31ǚK֨הNT͡ (I* eГܭG.@9칀e[E_h3v"cGyM'H7Mݶ# JlS"]QJ:2w&ۀz-b_MX̮%"]$-/b/@-J-i8s8 jE~2u҂?U`c.OLoά`I((1zLP6FĆEl%:K(=m9SFf+ n{vԃI誃GձĺL)>XIϋ滝SlJǝ7[Ee|u .k/WJaWvGቝ ^&e[?$ԹSw!A>6* - D7 r.'_>ԵbxI!f)eNuW(ȇki>pHAwx*ęE:>ߤءvS]wvZ}-Gst?Ab-7s;Z7!ci3kY'!~):(go&=gjҧY9Ncuҧ (P&5m) zۮpy.!U:t 5ƉûMlI6eZfRIv@ .nު~)M}@°H2a=Bb7e"~5zDZ-lr2,S:~{qb EKSA6<^ȴtLCeD.wGXLG>Cz m YmR>2xqIg'3IIJ˫Y0]e>P׉JWYǜ4e!hI~ ]kLQgq^ӳ nF_WG@$]y)> 'jfs$[>2HG|+E/"_dd=L7h[ *OA51FCӳ\VW9 2mR8)z?.,Iu'm"vUC)I;6T midTynzzj*je7B7V1eZ1Rh{RwqԤov.(`im@pR8Iy-}@pM_:Tya˞)PI;یtS) &X+ НXJuÔ,r-3|?|r>Yȕ'%7nL>Eb-6UڞߐƊ;JԳd#6jnxS9wJ7Ԥ9:@qԆY ɯU_j<Հ)!>o 0")ȸi>hPPawc01top$/Y7aH ١=#3tMb'fHs#>A88mBS29&q3tdG/U]xt5TJ?󳪫<«u9yK*S^yk iJ:.k=:hDu˶UH^fUe&Ԙ(c^Z.kdI6=UNCA%;X2&kҾ;mﻙ1H)(W$*P+$qwɉ ZQ3"H{D{Fz: 3~v!ySgwH!q~ O% mT)dB2=:u ![IlieI*#3[b[b$ y{ӈ# TsFrģZl Wi#ic?!o&u 才}B&uŃV^@UԇޣW9M򄯤hd4p6i LEѹ1P_J,D*Q|gE˔w/YtJ%ʛ>wp\.QQ l=@?MFΉVreyy0Xz#w%ܵ{_WB|c? lhVQLM}*6҇O& b63☐/ zZJ9ϱ oOе_LX{<hoob|Ձbq[6eT @=m Qo粟=qW(Y]04Hv/6S~X@HO4AҰ.Q_GǓ?O(8ރŒvXpv^bZeɊ\ٹW9$Bl) TԸ}גvw2Yk/ tT {W< >d kÐf y] @XwMgTH-)+z8)i&% n05zxX%K vO}_1}e"dFM0-Zp7!)I46quXkWHh{_A0dL };SilQv6W4[ .N*}!ăY>4dpú 5ⴚr/e/bQ5(2 X"wrDc 4(TTg BBjS5KZUuеPski|ٱfn`w=lYOdn`[*'/w(5DaTF 0 ۣB(PO:ua[ב`rq`Vb _%gX!S'ipl{Qx"6"$c0[\Ӫ*g'DF{:lybq3Dֈ”G(+)Hrw7_h*(;R#(X"S v:tKJ"lȁeMjȀeP7v$g%sb?1OSgy|!ZLiHIw <:@L !J= ]?!A P?: Aɻ,m|,0 <}C[@}Un]ŜJ?Cl/6v:r9VVcۥEM`5`]8B5c.^|o#vE-wO#ĭ^Y̎=)|^T=:1U->:MX`bawN-t% r)Fy\'*Ώ6$ i0q+fjuKYt1ʩt+t&'^V~g>Gw7m1gs.<,+1uT{TfKyJG8O-S6g!Cx  *|hƚ/XkNZ;B]^ נήбU[,*jh81ιnd^B:ѱ;/,]zX揄 -h2@Iqk-jI$yN-o׈;Hâf|5<XNNQ ̅Pi'GeC |/pCtPh GF2_mV+A M*ʌxO^>Wc`,*͸(btFܿ`Z^pJX[|v 5Џɘn XE =nwn.Io.;ǦsR2zdV3k7Vw ej9@$S6 <=@2ĵtn./_z]o= ؽuRLe:߃0GAKwek+uRm:=S@:ӻWNPyDbNOM"rQ2tA Yv, _a̠F^=98,u=atRWÊt lZzmds8JIT_rt9&hq_zcY |˿ŊE֐CW0ls[T q^-mÏUA7hyfر}oqգ2ap g\,Ĉo*EY&\sJjr0+"J_egZi~NFtHrPh-Q`C=,obdr`^_ l;%BH?]Ȭ {׌OƔ0зD+Ȁ ;:o8S9F);@sK{Å SԨwdZ_ xlYԡ'P|<}&Qs@RڏWk2(8'~;+zﶻQsD/z*6wO8sVʼnX'UC>DF~\w)ҋmѥ..+ѻ6@tp'Vo,Tk ۙ$BczNy"M Qzs#}WRke?A~krrUehT~=bn^FCe$? ұ5KW%+s(lz&Ol\#)wwcaF 0x.aE ~ i'* h~_k?0/*o&VPkV6&Wf/ wdFGf4ƀT3jν_nk M G^4=9w7XӃ8CE<.w5ACpӧ5qZrHcJsI[1WCOLV\i[Cy o?c갆b#xϥGtTZiheUt+XP_e5o_u©e4аiׄ沜׀9板J+i_;E3S-[. ׊GS=R׹˚ʵ)TI q'ѫGUnj[$b>i+Ymٌ1v.6?B2Y44KdV |$H::4klh=r#@}c<@F9|,w_Yx-l4RUN>yAn.q"b00b̕+ӷ}ZLFd>GtE '=2z;/f{ݮc492E`Ř+T [_|yC xO83ΜL-щC#p+E{.wc5~ =J W(xlӗ*YmcJd9"bkbp0X?l[Q1WJN4|Ýg#eK(Ԋu&w%b*`c0}i;"cT+jIm2l' zF4D 8o]+Eѕ?!]j!27J,Mv0ҞNrUx1.``5e ]7%t͚}=T#~?hL`zMɕz{캷bjAō&m5W5xE@F3Z'"*#N?t9.9^'bgěF޶'Vd7% t tվ79OWvrt1j9s44_pPgOdn=CYG0ք &4x'{RH#w P(sqIM]m ӘW_3U)LIp>5qϻcu5oI0'-PdyV)-SZmQ l)"(x:⁰7} g?-0 #=c E&f>[XA{0,*Ci @̴Qd5z1"3u!-QZeO?޾]0|&r9RoNA5(D$m yxݏ}G_e|j7P0 i8]H5"@ٛ]M-Z /n4̫KU% g#a"JZr6iɁyeuxCOhwU]mqB2y%8bƎu;vvs[hXRD$j>7 YH'R6qP^eYD"=jXˣ*9rџV`Z|PIu1|;3P<-3~Ho,D{Rp:+x nn~ҪCnuo/s)0W NO)>`EkиwgTSlkT/h"Rͨƪ֞ 1,AI2@3=Dv5>u9MBI f?r%ٗ,{vԞrS?M=M9PZhR^f+_jn>t< ;`{+ jrkX; x ~l]9) :`R\hrM>$܍/95Fw9U/lh6p(l]6d7nd=YQ*,QdĘ,҇bgG jSHǢ.Ԁtsj2lo+{AS!4L,XU!6KixSS԰7Ĺ8P^vM;a2!W4$jfKD `Bz2YWXJ:C[Vwt_58"t8۱H>"Z⨹(jMPvqL^jnjR:Ik<$)4aoV+(xYl'N˞RFR|r_Y8 i$lg,H"dq9eqGHDN1YӦtg Ĭ%ZۧCLsF7II~g\ZLMFKr̶zF2nr^vbafklD7n~:듀wfn^5%DvR @jV{p=+ĽG5$a20>*w!g xuU6Һ~T[%W :7*O RAhcihs%|aF#ʰERSa9QXSϰ4y ` s /VxA\k^`OK!{꣫4pk8[7XK!PWc?Ur `XKr;͔?F8x \?`5BR?>;ppD,k4 9>XSKЙơ ?䦕pa: YܗV4f*= gHNH{$L8 Dc`m#'( 4GL>ct٣G =!ZS:'8xk4ݦՀx ݴ!16\Hwti-qA[ji$1 {t;4I{yb j ݿ~8MS' ?s\LYp;