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 tt ]]Category3:threads=2elapsed=872.808cpu=1531.000gc=79.164factor=1.757zXZִF! ҳ%]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "ݽQdg"ohcoXfpYPǩF.lK>P4Jt)o2;9|87uvO=NBQ֎lY\b:Aa1I.`@ < C/ 5 m,Ӭ܎ ږO*KYf[n"%'Dy,D },D:@RM6hQ͂d0eacZ^.iȼZs 嫽}/A>WChwS:c2r\ӹrCHQ_jޑOa7+b ='(YuB_$(Fl9C77YW{iPƹ9\U1nOr!LC v_j.ނSfU>Ԋq4)3tyȚlSYKwTLۗ].o{kyH= NVgِUA?\ZQBf6mo@m%8pcQ _s B>Sa97,,gsQhvLG6;,J8 K7s[lx~]~<7s}y䁾-\=|Ԭ+jwU_xԆInq*6.՘@h0q Ӕ+ J/Sh7t!-!TIm I{ʈML{jLӋ$|N5wߏĜšfAӼB>3Zdn(\:3j)ԓ@964@ot`l-wUX)'e JyQZZGPA@,n2p3U0x# ߨ-Tiw撃vlpr0p! :CSUoqeEONXd}m+xPZ%mF2AiV~]k~QBhO^yƤe7ٛz-ȆCP)D a|c&$) :ujA */.n9=v(f3< ^۸ye>n7N/EMrQmdlgtDu^Y.ʜy{j[pY#q";*ZIE'GB.Y!|dTb APp,|<& wo*NwQBf6^r}wҏcov'.~@^1yZ,g@2Reh0%?T7j tMxi WXbMJ> {r@l,v(e3Ca#YzZ?hRuYfL)f YN@݋{e2/ 5 8R*x*ic("uKϯh3T~ @(RɭM,@>QJHRO[h`-qaůqM2Хq&ǡW=V[%+O|~Tq\I 칉T2[WJČb}Զܞe|@ ;o+ysl'<70E. `[{xa }Zby|5TUR[r}/jC1Nn)D8N_ je vE0@/HNC7%jQPM  H2D3Nt֧&8@yw>s4fGƟTIY)Vt3pf;?ViA{*wprd}o1P-If J +&/gI?380[II&锕s~1LzUETR[] ĉT`}B$,PqP %k?5ΫdHNQZ@*% 7'@As{ps)chhR=*i2Ĥ[W3c}p2?A@jv5R1/ irȕT+?3Da-txH& prWYgs^$BMG aOX8NnTh#ycMZ/2]fȚOmf~v}l9+ ]Bve Y{M+vKs˸Á޲ck w 8R3fW!]rc罍)qpOSW8~S  Τ;4s"]o)Gb~ EWsF&b]ZUː51h8C(,vF6冔+O'zX,gId,,/*`z&-^ƶΘcO-k2g};fo!>W24Rm󹞄g_T[eQnv5x;;հ |SϮAXA=Z< zn'sA2$g5Tc MJ̓]<9W4&3=Op6qXxՆ{ƍB>8~KTc(.(r:xn8(cȸK~p3ޏm. 6B X|CeKL5ظgAeU(HF3ޡ)njKm_9 XR{_d,ϻabW|u* %QU5<s6PC+O ԞWI^wY$m} p+5?? W^1Orc\7 0#b2xȯ ?NwtB/Ӭ~v|u2;V(+ESfBYڧғص&m{f=/92ovj}T2] ޵ѬT) '6vNĆIlK\aUÜ{6>1Oc㏬Pp 9%Dz<'?/!v.MӔj,cV=z(aʕ#ȠS#+Unv^:w7;GytCG ÝY+:,e[c|(c+>-9 Q59qJz)[Ƽnaf'[m=@nח*]&cY&uQBK=?*T ՏJןUce0;ly|o6wdyj[34]dԋ&yl=MWU!GR~Dz$)${}(َxOD Ra,oDml 7lzt p " _(M8~[j,4הN%`sDG*\ݨ88+a8L4JuJc/aF*wl1֙a=V|PS9j# n{w;߯`Ѵ,MS6c{ۃc5! i?, ݏFS|Ifqqwk=/fW~?4ՌrƱSơn<ȡаf]1mpv+#1!_r(׹${EuWͩ_2E:4oRk7jj,} ⨜և(Jا֣*;#]`FuZ 'QY1jAx[m分BYF\N#KQ3Pݘ 9~c53yG1^s<͚&=xY] tّ61mCGmwtYZ%I,b6ʺŒ$gveClodktaG*~G*ZY!<2ޅɉ,m'ل;E,x0me9S:е+9 * '㲎@[ioS)Ůape}[mo?!aWImwWBـ0(C(t!pBϖ <q.Nml/٢Wp+";E1'e_F)uD~9P7$QP۞sjgfݪ&Β[O:MM1q YX,Sa9t̡ѹ@ ' Z(HS!IW#8SO4By=8AΝN\{˾LTy> 1zn ߨL^|ǥtkS0uDf~;٦bZg5r zxpqѺ 7cjsY U!- m'CH`M1V^_owȼsc=Lp{tѨq1B-cH`LU&R\5UKdwoVW؞8c;jK|_Nf8NT"U.ay@|SǛ35RBxaA#àA9XpNhi}3ѧB5~I$%9/i?Z&OŘL_u,b6Ȅb2 ?7F0B]%Q& X/fXB@KiV9Uzv) ,߅ۄW`c;dgΒ$Serml'cXZoAMN#JHbi"Kg"2 ͛r@4b>H={9p?̧b 8%a@dk@٦:u)i2^م⧑Pqq V8] Z۸4Fָ- 5P$(ݴHc0Z=P9O@#%Kf**3U}*͵%4dm͐4,J4ˠhXGuak9qV%,'%[ps /:KNu?T>aLc!AGx$$Iwڐ6|{ \e[M;+_1Z>P=FMʸ Dn[qڻ55dlsx>L+gSр>B/]]R*Ŋi)XrlNPqsr ,&C;w&J>r{ip=E 'ꄞm6}b"@ܾkk!W^j#l?+g(rVຌuX𛩌SlL M77)lK1EEadz~:̝ k]n VF_ sBzG^Fd-s:lچpWv1%>i)M|ɒs[uHmiwXqŴ* uiY<'(eU>[Q@`m0lpثs${vHŞ=؇{VX,<nadK6#ȩVA*?>M&=z*6"ܿIpx:J1;K[M2a+f*h;+ !34cUÓaPX$D=8Te=&O(=8)(N k? 2[H5x*}S(DD3<K=T8GUsѯIâ 0~%qkNuڄxf>C{̯Aw-krs ZK?aӭ2[Ul6=_%:AW9gBs!*']oEh>_wi9|Ҍ(2$QFU~mYwirr 1Z&&W}5^Ʀip[Jfv}J7?_t64\ʚ1e2* %8cG٩ жY=Z_h Q9R#/mʟ?n$oꄪD%-d#~ 4B!g<Em3:j.,e|9\6 fLӈ~K`*lzc˱ n =蓘, s%fYn10^:6L0u{Jj,JE].(VwSBҹ%Wz,"IAs(A2(1bt|zB@ T.ϬsZKWЗҪ$%+0U*K1Ǭ+▭DRlcXX ;gSv:,)192'ζմk 讌K+!MI$|&]`\:/贕޵ LثΌ[M%κ$M/5E)o|7# 6zIܓaV##1Kocvt=I: -24M-!ϧ>ݛ3̯֮+znmE#~;PEgr` 6->"IQhe`Ypݳk~t̚}cB0vϦKAgYZ7zXZִF! ]ŗXiɟy>ZrXSهgZVPBvA]!V_^qWHnFAxv'3į' !K<'=׾QF׹Fv :9|ϧN!H*„G Ml]]}YQ~lUs ,"gGJQU|x+Ig[7r}l{%K0U=L%YY%sE+⺯É<KuKC$Vs7'TU$?4u2 f$IJUuz=F蹇eX=~EtC%ڳٵѨE^j zKagYZ7zXZִF! ]ŗXi%92NPn%:`>yFԚuF3w2[u&݅jp_u|̟+ܮD=\H)IqGۛ^^!V*N<&ۻb!X k'-[-dYƹ:\3w,C*WY#QV#x%OE7U tk E;g$DI)Ix Q8Z[IVh5+F/f$GkX0kjƕ55W,(Wy_Hx LWN=w1*7 2[q\),.U: ώZA6gJ[B} ";ZW=t.0<̩髾$Np9L 93]H EspMA@%`NveDq-[@FPsʇP]7 feVF- EVXGj1Ht ]0 VL%lwNCQW:lPnTӷt_^!M2ưu%Ӆ\wNrAvV%O5 zfR1&A48ZT7Y P% Y1 BM-Z0I1Ra FN:FX7%lzxH2)ZyO?;-ܵL?$#(fq;UIR_qK)XkJtVxp;1gv{u~zn&DMP<].QaV{y[xYX%;KRucw3]SjŬB3 7*G:3VxM&U0En]ѯ"GȪ/'Fe+5n\0Pqg ,tx{j=?)o-;e|irs^Wc `FM14Dl=<a %N$X)&WwKHRz])u9_XQlw75|d6@H26=wԪmr [Q,M\ϱL 6@TxS%|#dzm$&%Vލ -3l@ ݮ0+B?/ʠ`OROLY; uUm m)pnTӡZGْOj!wKb (2'Q* "*tTzn֖IQ"rRPf5b,)ېG ١Kz& &mq1Ş*}iҐ˲xAL˄J B1s.l4Re|=q$^fM)60a !;xM i|{9MBۚ}"~wPr{ždoiQ(m\p[H*Ugū|O*hZkjW>̔znkG \pȶmIT{ K*.U1c]}ʗ9EfM**VܾeR ě?wʜB t3/eg$L:8[س{G٩ m8q<6cO'oV&)3$ E.B;D AR8R>7(hd/gA|"zY$^(Su4`ެCߊ&X BKc|@g6b{:2cފwf޳"G2 B8 m'4|wMX_G }ˋ% RQSKk KSTeyݩ'F=YťC2G (3L<=cpS$Ev J6+|DDF+x5YYH5flin8ɮ:y#սK{/P0#nꃻꊏpvcRr-0i.6IH'Nߗ^j6op 埕oݳ%|`A[8oAɛtv :t*|3͋wn }C!8S W+#Y0e Iv3ȹMɈwLs~ 0JiiMuiOB}PiWp1!eyQjs\1z8a .{$k$,< n4HӒsw#k,z[ =G Z(UC9$p T]q(JLDhjJa 5tE6P2z}a3[`Oz#)ŭ9VŻ>@RZHi A Y[ D`|Uj& Q_F,攌Yպ.6.dslR!@+^\) ?ӁHR~őqq 6@gϮ0'PfгC!\8,nlutCF DMYcbt# xB`2F mWDmeε-?LQkEXq :-m/LP9GM>ϬF=//)dasB \;VBCQW;:b.E>?KPkE|}sq>aרRrЫȰ] LANnǗP֕^r-BWu'.o'`MjN2t?6#YOOIQCR"A V`&YNVIF)_jͣk/ awˆSGPc_sQFb#9*rs"ӣ&y1W9ӟz憻MÓoze:sُq3m%莏Uдc_Yv.`qo kb]ČqNӂoi(4meXB<|lbl2UOP.A hgBu2h\m%b1T;$>mCj`떍HWQQ p:x8`jK"* =A{&K{'n˳k]po 2ڶn.qg(K(`z;;-&PuZ4Oeܳ$@g9UeY HJKOdž[V=6ԔK\92a,W;%R&}9l\,YXqCUc?%V1J $x3V1|2~#R0h_W)tGQjã <0(nLU/U޽\.0 wTa7I io_; 5/{#P ɖXݳa%rvx :ojʀLA\,ުo6HG mKW%ٔuߣfbj&Y!qdmܔXuoroOF#YUvʣ"Qʬc~:}eYͿp֩;rE L3PĒ#O$t m 7DlYT׸'_HR,d ӽk`۵u]TT%*2V=>KcQ Aڄ !?8«u_o(P#Vf:",993:U:x6{qO٢Q>.sXydWR/|h(\#Jn uqU.XxhѲlo˂g&/:X~oReIaY+Lإ\ůYsgv+~[E  0ǿIpb2霔%|xlAOt-8 zI+ z*M4ihکHOɚX67%MA:5&(؉Ytw_3ӛ3mroJ8C3bHⓂ9:IkWISa G:]jwC g^y͜EnihlJϯ#G@JyRAn51)"E]A_(}q Z:@LJ&~Q\C sL`>SV\ BOM^&ӵ:І ɳ%DRJsyBFKkqQv*s̭dJ7FZ{ݨƧR/Vw!whbN"a>M~d(,4 h_7nl.,Wy?uL\-.Q4TAt4N2:مXO:v$(iVʆtc.uR XL҇p&V;cpFdr+S.v%R!SsB7b JѕtSͶ  BԎtJ' ʏݯK>u'8iH"9lҰ&1G7bɋ̰ϙ(311 :3@Eë́ ޿\- Ʒ? JԳMSزڍ[Nx0sOQJ|C4t 5E2Y Ӗ7Ӑ+=ߞϘP Gm>_{3^EJWtu&@aяܔšvL+xjzlϿ2QcX}$7@Tdž*l ,e TC* B]O$r# [FilXҹ &e-Y3?'W3^О|no7Sc8k (~E0I%Fi[vx\m{͊暥]U@X""ɒbLCAcq#tVx] pJOR9ɟVXH9JZ;FRݪ,-'Cs2>pET )xj_ٍ0lVbp`5{MDؗ NDg17.=yTXb8񳄗hnV?zpEFso8 BOiFɰp߆^ 749 :3IzϺ Vptb@3mޗlԮk}sk $&"!S2ԎžuNۓ#T8Jt$ń{nV>oF MW||>KqC[{@0Q'^UL2L=@g;jFj}{׺>։n)``ڽo'[濷jX҃%p,0TݮB SK=} 2CilW<כE&kĹ̬|!mװ6\j~"=,=;E;n(o^R7E?PGdhf{ 8;= !"zv2?pnqЌ|j$~˂?UU(1~|>G_l'꓈!Pf?V P78>U搀W@L] `}Fqe"D#BX#tF5.ʒܣTf/O5XSv9:;coG!p}+T;WJ`P2 sP'*Rv uKT Cu/0K}Ya@˾9dTT'`p5P\ L D0z]I_옹9 쫐f~ړe) )(/Fʎ|[֡]5+#s0|$CDYxO /*ee~>Ϸ(I7 Mm n U%8d@O˴" mpfGebD6GZ 1He͘5ʐAo 5e0ȣB:J:8-Ad 2A}lD'^_w@G|Ǭ\䜌"'amI(0.-j{;88v򀖏ԒKe ,aVmy;Y3@OpX1}exܪŋpHI/&n}WIKH2'ݸrj9R'DŽw?pu!~SGk|$I>G'i,.{;c*&oJU $!x$NfB"Qo^_Ghp/=4maJIˠg53V #Ut( 5Ku(XI_ Si *(ueg W&sDu37&@y |2#ג~uh/MwUl?6ޛsZi/iT+09fbeyF5Z&(/*f x=t00aPG(yY>>;] p}^% `΁Mgfs\^5|Gvk\e3r[r-MN5۝ n_C~X7_G%҃1_LJC;jo~0|Uxy\⺍T-^t#d**+lqS+[N=~8~eG.tgoS]%*e+]GM|[3Zz!ske@x+d1h uz~S؋|k(B.9km0v}G^'os`/&Z  |݃BЩhn[C~EQ8EB,1w1◈aSWߝ=*bi7ھ$+:6̷QX;kk٢6iɦ@Ck`clmK1?+x&Nd̔ISID]'=XwAMtcc1GX!Ϣ[6!$3 9bB+.PC~{贋y`wOB>gj>8:$+z戴`[rsx\gNis Z\nyp5,1Vm32wcI >pw S,nunjX_.d5i[։>HcFaW.$%A=#]~1zsÀO8LV,6yqlr Qrc,4 -f_9<|B@l۬ǹ{q-]swˍlÀ(@I= ]z-^b?ҫ$t81x= 5AFzVerA2P0d BDAM~aT/I7c)@Ph2;s SqЫ?)z9ݒ+3pM+ye2z 7Cxq<S8Cm FZx{@XSZdޗx1 [V[|UP3nς/[FE~@npL)jZ ZIda#G-bHoxkaHC3㞿F;Q^ÿ Wop4~QvdLanV4 JŜ]`4vKgF5~昙}bʸ C 9KUp1\'r#IQ˫\4R-['Ȕ܁Mk/ R E++t򺓲kޚGd*N}Ll-8x@Sk)˂|!Bn _teWr+2hHIYpo^ *]T5IM50_&+OL;&M/fk~$>Sl,ef̸nWΑKc"|'Z05)_7@OU6D;v'siQ +.Wĉs7 syMc]K9C']N!1XS|Zj~ِ?!#x#q ^f* X7dý(y`U8nkrU-tDpH SX%jw~*+կ*]81#~Cu?Ft`/"lX `+Mڅk/u<1lKؑ *X egh͗1US}0C!K Z`e3^DxudU4d4uJZ<%/#ՆQ“AoMxf~ Tsucn(ҵa'E;KJN]$ _qWZ Ե㥓u O Ͻ,!mN_ĿU6iʯ\5UQF}JĆ=QzhK4K6z:͋ ^R C[h x!S{.(ec?"pAHzqG@3m^$}El J}w<jCx%7U8!WkN ^ZN nF5`Sl)7-&yH_yNÒFV_ Sv3q3*I0֊?GuӨBngK=y?>!|/:>䔢qwK 8}I;MNXj+q@ܖUbم3k4ѐ"$s32k85f$JBF ]0Eb)(%`w$3>QlD,&>x`u26)7PlP^K+J9rTJ'ﶾ6NH μ_ llJSn ``g[QxeP&ۡ+'ԘAP]0<`wP1S-R$='އw0#EdYŏ>+ުR`x?0I@ɦ>C[7 :/h4[kKn< "73,&vJG&I 0KF% Z[;*"ϏcCˣN\8 ZaB@K ujͷGb+hQ[okPH!?XnEwAјQ̼9!ne爴[P2GM(VMYz&fa9ѱV6H=w4IeoM~Fa'Do^r9ñߧybi Bg>j;U>GaMԭ7y] [j5(:U_7RkS8䋇7З-9(ϥnxɞ-?fxk|@u5}"Vū(CՇ$ jI-p<00 u(<*B)'/4-Y\=H\ l-Y ׆[}KCtj 1n-10t9w^"1W[ؼ9%?8\uY-է`N\^YRޝ {7LG?8ʷ7bgT1'{NZ|ݛKԳ7Ojw,J 8 < kksC-\QŌ‡y:+8QKԉ@A/Z@Ox;Q+#N\hDa`(6T-ڐPϭ:&xZnN SQ62f{`mގUˁ's+s㻯.:Q1 (힇lQ?>VXD[<]#dl$+*qc#[Q;oy[r(fDͥ^rAIDE {]g/z/ :Q7r7nz,!縣DnTHD0 E!!NwuN?VETЙ@ ;!ciCghzklI[|m׃ԳF*Sak;e3z* CFD*#ˤU.VSj8?34ՊUmG]Iɘw 8KJEJ\~׀0pO-<"iI% s9J7)W _ٯR) ~+ רj?2=fS\nɇ{t{+lX3 [;{6 i;=6c7p!Oaɣd00r~Է'0$t&Pn<Зjf! fp8xǴuuo@:LR1B m=x&'S"ٯ$!̭IzJ؉iH &Sǡ=h9bN"mVIĺ\uRO3/ nKLEmk pNM_Ȓ)?kĉnjh҃\7;4Emn:Ob/65 NNfy쎾_ZCk?Lћg ( 77aB,Ƞ!^4r77HI 1a@ټ:!ũx`,=QO{%Wj8+8\8 Mh{21C0œ],o'!6 ]Ҋ^i*Sz{ʲsT+( iU}se[YOKPHG jܨEEK^M'm%4/ZtvFBDY@Yz.:WL|ź),{ҩP?#n8Qp?OgtG-{W.T(CO:㉜`\ܧȥ |\ gE^g$w̨uJ1C{IsT&a~0Xf)xv+u\?AF@KbŰk ,=;sx3R?Fbӵ9_ݫ%bXN !#&pTن_̳ZK|/3Y+p<hB6ۆϺ mԗՃ>:}_S%[0bsQ/.-;k,ͻP |ӇvcpY어U0IR5joDfld4pH߱j_PקPn!g~ 7]~"`?YGIe\[- {)6+Y :?OSR ^8Orx,=Zid<3;XHU64}G@xyae4j#|f-9? ؒ l hA&W^whWhu\TPfd^wNYApNx.~IK5yQ1Ea3 l~#6lVUwia 4jmlI5c657Ǵ&phF{5I<2ջD&˔,ljCOkXѦUo`Q<+oD2)?cڏL %%P^uCoφ@W ]w0r?UiŠQQZe`=,Ğ=rHP/Ҡo5+?$=j5)݊LϗBo 2rTj:"c0gqEp bByb0;,]~"y|U''K$JjF aA$Jhղj\h?>Jduطf## +ۣne(m |n76HkJm|#6jCv{slCUH'Uvӷ? J:[e:yrGmθsi^a}7},]|2(ヮRdVk#w7L0 3)Hv]kZ68クBYMŰ !&-g3?_\ $I1ٳKhҊ J BΆNKv\-2 =^ M8J> <@!?F[ q)ݷOW(ƨ*{[oWВFBtspƢW0}eOr<Mwƃ6(%i0{y= [HE%=ܚ*!iPZp51rx0] wrp+օ9{0r<@TH]S& $%k.s%R[3)e㹡_wuYa2O7h[=qh'F\Q\Dmw;}㏞ B]ϝU{&rsĤl IB]"'>%Qw*ingnhA+2e?山ƬUanfM~G:hҠP]11W3 㵇 E*?,~N{Vn3b'tfw(b.@9gX!|_.91#}~x tj%2e}}b|!gϡcRS&+U5 l@9Bؓ,$ǜy"d7 G'a=.1bhAcS"S{UH.cp>wNe D[ XIP!i/-%!ԜsJ&%@ 1|}&:Q 7\um奃E:GS^V LZ;3Ľi+ !IܚmvlX JE} 6 ) 7][IĆ\&Ui'U 8y6aFϽf_oO#UU9'fdpiT ,7Uv3?ɌF$p"2#\ONˊøW~Z:oma`F_1ASL9: B)N-)Dw-O>m]Szcp56*.;G_ P Gh7a V]J5#pWBWݕU&L_.E+b+Nl( SbӋRҩ3Oܒ㏱U>KGRLd[#e+  5Q#Dj>+ġ[jaHwxW!&. BPc GY9Hy1kߧ<~5"‘ORC: x/Z(;D%.;H/"d:lp.0)ttyJ9{hfLq7]3]Ѣ /H"6d񂖪 :=U _[s8z'.$:۩f*ytX  |^7 |1Y%走yhn=A*C硲G}m񑯧N|0'|!T yTcj؅u=ZXٝ*6l c.BF*^ϧ8P` Y{iI6M_<OT':cLQ" ^̈́W עPb(J!\-:f~֚y  A-$Ql["\ 5)gve­ t,6"ӈͤ /\mV?+Y#ޑF oRCGI ځx^DeYQ0pľT@JA`b.6,qǘV'1$8Y:V `*^EؙaiwѮ6CN3kh5ӂe;彵%uـjM<@lmęIǢVJaL2bq=jMd# u$mˢc Ear^fVC>c/=GMxI]epjHhSh>h_5Tc&ZJ3OL}4 B(Y1?[٧W?e=d{+W5vj`uK;(:*IjktP55X0J[Dqx> # 5悊m4,7A*mDÿgз|%Pr>i#!{u6xVWC|2 .ݦy;6,΀hsl)wphTl80/L R- B(9qWά17}DCikz;Ǟg'ba i<~ K"D%1Gn pƇK'p\H+(Bޑ}!Pm JġdB9^wv!0^> ,˾:^u/K"^!;U3'g= $nF ]ڄ jA,ZI'$ab !3Y `gL_nBs.hIY]P\$/npe0@FSWYzoL5`ܢy) ]=t_F@ַ9IK?] E%ѧ KݮFkgY 2ÎC!m*r8VߊzI80(ܼkeVlO=:l=TAW*1 !$5%^x5~ #ER(%m c<>(ύ)?$6U{M6YW}]KC^~m~\Of=AHA/T#mdسCwܥ6i*$ spK^z7e  ]Ozgqq4؇7S-#87Pݱxb'XΒ y z:ۋ|W,TJW/!yB|hP%@SQAlL74Ǩh*߶/K_P]fF5b˃ Ɠ,JC%~e5~ywkq>rLB2~uYy\4 ]ρ\ t`MU@G_A.5Ð4gDm[O$erXIㄩыNml ؾ;4tVnu.ڧacd" P0Ht@';|zNS,ie]UB[-7}xqQ"WIO޴~ }6a|+SSgQ;^}5g9.PsV3R9j$KϤ͂ nкtT}ַܿM_֖&M֠yS}! ȸgbp'd H5H8w+'"ӯom$:B ?L,KU _Tq> 1Bt:L<+p~O[ygJ;6i2rb s%e2{t{pXDKo{.jF˙Fm>mHS,d=#14?N@ W'K_v`=$Pr:. |I$ER8ơERpB'̮oDc?ڹtwxx 㣼 'ԗ6p$B/X֤;Al8 >W"c;ɓo'm*'3!Uo>/0`xQACWGM5/Y*["g({Pk)C!]4V>!SR)D|n ju$dBӸ(,@ $ِw1`nld# 4,2% gԨFQg j1s %$SZ%06:WTa][ȨIY pxYW/-sv;H29y'Yw+Jν`1Trc5N9]ք'h<_bsDe/wsrE7n!S\@ `"Nv!RsDyq2,Ikv 6-I-bK0*g_ZSn*/݄ET1 U (8)T4P<Ԍo.IͶJ5ϗ<ήAHwSN yq ykBP*E,?o3 2ZFZ+NJuCOMT`ҵ;mry.#r,nY*+KV!OYIuF:{sY+i m%Q )'448ާ u5u`9}")d<~jE"yۇùvYN_v!O=vnb:_F?S4L%'I~H{$٭v@Fmi%̨+ iE $gBoT@m-~; RNPqͭN.yF eu-K RJ!iyk3I_4[ʌ k[>D *( >z]2:UM:K: -߄`3rbXqBE<ͽT3EBe%Y4}.p &L j(ImS_UQwKP}g> ,\Ҡ8"!8UYxS^қLnٮy\T ۵bJU)J5%+ʧ Θ]h]$tfBmewTR+:KT,g6E Efy%j/feeMQ&嗇h\T{?;+M.UE\'tף 3L'ObXozc3C5CPآ^#F4 D!$NAg0+x·Obj2߼[ԐjDPxN0]c ?u=5H'zpɤd<67tW>ƒ2g-$*{Q.:whuϘJu.kg'7mӗ saVa }RǕ.C]ŦTA|NTXh>˱[ĸ6\&b7E[·+vBtJ ;q$@ۑ/Q $9/ܔ/-a}W \c_lmPtJNsR'n!.Dɹ3~"c hl -Ew܂tc_ a_"[;~}Ʃ=^S]3 Ub )*͝˶sPI[`7>E5K:NmhamORLW%bc)ܖV"ƷZeq'QaC/\D 0jrGZ t]ܓ(}/dDZ| B.GeҜGd`g~6R'8Ĭ^U#2]de8eNQk[nN,!ͥ  b`aLgC&SGƽ?˝3}d?G6Wf >rg$Gd1*^)3bMP L˸YY%,`ZxMXiaUt]uS}Fq/bOD7YN;];WaȜY$2a+"hC$`Բ>!a权SL6~0fF!G3˳.Fuo5EH[i5np 5Y5TvBȗba۳jMu; mZ*;Vȥ-]a'ǢcQkF3YAZ>,;='J @<,(d/˗JWm2sPCT $x5yK,kLO[9FOQ{|xt.pL%Ӭe~ёk^]T":O˚ A(`٢)-GJDa9a1D`9m`3514 d7B;uq#,'%u(?J w [ؑW ќSڀw^/J0wvRQDo[6%*0W0C o.+3zMc)X㞅KIȹ่TtqQEJ>nAc~Y U 4_wL嬼Y+LNN'q&pRWiFwO'$]!\&e,ww }m5 p@%0JUbz{3#VH]m*V4WhBSV\liXS3,_v#kd2 /sI.e?$G {6cJ*QYR>t,9I%t:}-G?=?[#@>Z89o4q:tzvgVCm_.[R'4.#%sT|72TE9BȽR#6N=Z԰嫅cp5xa\ 'NJN *xϪ^$E,e((ӪstCS$ߴ4?*8-1& !#2wGkjU|0~M-E2EZ!{TSG~Z*I۰RVC.c\;xҸ+o@̝չ+SDȴؙ $kQJ7y;zB(q:4 GeJvVhΣ q75٪x i :T9x%X^9DҰnmj$۫_n\ )z0Yl_h@$vֶEM`ө<3c=kD?h~9U0cT8%Z wZ{d..zRA|n1f]RDZ߯@Sєm]N49G=QE]n0\Vb2i( LRnplC% K†ncO;%rm(auۊӗ0שRZRЁAQ/IheWoF/'LS|QMP9; &oQ&<Ƿ`8Sǖl8ޑubK+|j@{sZ ;I!]*E| u+؅Կkl&8Ē9 r);]&F;LV[X IV/iJoN>>S%*Fe00a>P W;]@mJ%~ym!Yǒkƕ;SUY $$`Dn( KCTDzr+v˓kҤϔ>?D&?}4 le'(a6ƛ .(54F}͏ᥨhVh稔2k$ _qi Yj]8ݢo)*6].-c ٰ[KT{JUd[^􇀼rt7z%>)HeW?J}9AvKmq M ɍppS`NQD|ufD%f 4ni9@ '۰ B6[w5Y߷cWդ_Oivj=Ȯq]oJcENݴ1M۽Ozuݶp99w_h[S'myN2F;K/U-EEɣz\"ң+^ l!J{tdݪd?g^h&[( _{*%bvB=RmT& s&v/KGbN?|บ1AVIڬ@w(C>1!=ɐ|)0kp̈́:y#1_*4eKDȱln4\U;Ӧ31nOXRxѳ,Cܚj %)\n@Ow5`PcWLi?PPiIvbF{x螷#/iC91$sv]&9W̲1  ,?\| ZN4j~AJ65? 6ș{~e[(ZpbΚDN[[|]g \ m*{XO |V\Md۲f UD DyvwK=5ᚒ%6ơ+q:鄊>Aحbp ڋ!̮l}}l#nm\滽5 ϿBBMк1 oi qdO/K$. 5z Q#p2#+VK?rю(OJ۽!H`('f|ȭ 0/g]w.l66%;mhnfS*pt;Zs[)680U͇#d^hL8XMݝs㪛(!)E@Γ:7;Mqz;Y0aBu/h25Ik ?-!O̸wӶњ)bdqAx$1!GF'EܼR@CI3l!XTAfBEAk+{e(>'Z4Ly1Iħp lg/Yl}d97UH2?\2űNzBJ'FdT)pxaS^3=@zx9IHΚ Y.yv4=aq@!{}w7, 92"Dp zEfeE0 k?DoT4 L{GF^##͑-X"q~"|f[恣1;DV҂׳;z+ j0PfӀ]+=yq֧m4%hn}PuX" y}睗Jr]x/T4*ތ/e"Q(nФ:/a @t/9r50c'gfl9SO\c\],cM[+藼ɠGeT~]O BS=Pv(M}yudM)K~W~`QCȱo,2/'jﻴvfgSjeBrIA8@PIM& Wfi<-$fގ.!`&M})"4bE5-j !j]`Ve=i(C_9BbQF @ګvd vhOm\k63OULIKš= .d&ǠOtZG)N>mJ|veFP+~IrづXRZUt ӷ\3:~y 8r!䊫A:rN^00U 7@ R+w"ds1~$kcrހ>Vh^=t5X i/,cV3 m#ڤ¦krl}( MmFRT#0"퍢Sh>=f'.۾j  ɓW2gPf̤"C?:3DyA/O*~mffbY&u3sCf8˦'QѾMD[.HMˌ^ԉ-Z uGP%gLu4.H9HVx.#KSa )ǼqdaA okݻv8J:k1#l~$`%n1=Dn koF {42PA>k1ʫt/X0C{,Ev pz>bdqUvW`7w&uY9?,F Wh sƿW?4F6=fH>M33]Wye!r&&\<IѲه^ n^%!Y$Bg]H7%\ac<^ sC?]j͌OfU?ʤ@A G`XôQ*ȁl~ Rt7Wqx zK/_7jnpn&wniDY2ǎV97fGIH :vўUC:s $)#[#0V#{[menS?a"[_z&[u/E*0JxqF;]\Dgz&߹S/@bח@NP9pYT |chc(}&).Poˑ+L-M*#}b8w#vkLXZizCș}ugRrD 83Y9C(DZtR|('_;i3-o㞔74%*Dy-s窷⾄gxQ 2)$|g@J; 5ہC?`߈w'*-D=F~%AQܷ䌨ss4 o'nƚ_wEy; k &Nڸ>v.8uRabdQl l^惽P+\ LJtH3~lq̭*Ո4vceH^{F}Ss57 OʳUA7AqWX? XuF ВYb`-ƘT 2e3gز묳K))iKBU.эR`T Fzq0vD_d&^y 78TBK~Ne\Yl|=a3ulTA?6jm)+w1n'8ʟ"$P'CZl 3a0BRIS"B(<`0Ge|_ X -CWA^3]2߁- ʹ.a ^vL ugjOVIH5G.Ա#x9S.#b 019{MBB"4ֳ~~&<#~(biZ*p9PT Ѳ5ߌ:|LBrY|_PbPr7s1эm=&|(J_.L KeEHs_ݓg n|FS%>j/ؑ3"8ŕp'|85-҆"0P)gTw3hx~=8XzM=1z 2߯=VbUA_rX0̑CR;+N'p0ϴAcJDW߅)־!NJ2BqUF# 9sP(W.dnwʣimVb0f<~T}6-Y߲;%*A(j cLk*Bor.ΘGJ ƀɓ!Q =l2}#<7i“M x,\T6$ȞZ朡qdIǚVs~:!Aa,CC޺Rڑ I3$6q7IP/fR {0q$J@(3tUo+?%08WhPH)n>ki Bx'E7Tgd3E/*D~3|k UAƤOCiv_XُoS*P\q}1k򼧤XlWs4]ohj&VgDmMڵix؀<`N-5Pwkme).a*SWe1EG}jR@ p3ԱZlFVQi0-|i_cyHpTia9֑v}UK]]Բ$(O>!I7ezYtjưb|UߞEc z=F)eV?R~K&u9{+'I~L˽`fr_'a1F-k8HtLVMjJ0ΒQ{{m%l:ߡԶ2솛_  / =Z% Ia>/ YpE ʾ<6 ]4ڌ&x Α^ Ϋplo0gV, 83c!_ uD8{w,@#nrAEiطJ`D[Z^F=t<ׅb+1j0X8&x ׊n>C4_MR#Bu陡*g R}ް% ѝ-`Kn*NjCG\lh AkBM;=kCoOph?` ^KbhZb$+[6;;0ҚJj4>Q#>MwwвW\0w|&h/Њ0Oxj<ɨ"/'PQ:KP 3ܤ75 ?˞|#*_zO B;" ;sCӈ?vlۃg2CN%]jUp?Am270}+{R=GQIC5(c& PiܦG j}Nsjj f.& /w+ ?;mww5tՀ a+JlkSYJ\+ر$x-]T| 0]XTFdr0LJRY_+SuGeM< k _/{@<^62/'RGě$4dYrMM洛+O4m̓D =iF3t{Eٜ5uؾ'(Ƣv?gƯT%ӄ-|(H%bDIvg~t٪t](vU;s Ǧc^El B}OK cɠ^8νO b<y+ &CVTĺfA/"Bp W^:ZD3 E W,vV-8 -4B(ּzH8Ú>3X0 寗c(+2錪Gc$N]4l iסQ%`9=(K/ NZh)ǭw>FUUT*1%j?V~$8o!EJU4\npE}T&GC2kOm(E9@(>M:Lg=Iz);DsW޵DL<Аnvl|Z m>[f<)dzdyA{MkDC]H.SW; ـʫ*OL>ŵ?0o-Ùm h0QB~ t51st'큩UBDhPq~vCv蝫pSo~<9Ce;Pؕ-rXn,D'qm\bݮZz41%[ i[Ge[m/@ e\k4}XI&r05ɶֿd`\&r편7ԝ?D9”`I9Ѱ}m_U<)島5A\EEwo%-h]9K& P[+9 ByLcYß,>.bˍSi0X "e !pK'o"j5ܩ۳(^Z%ĆtdHx.81n;&%cDLbj0M:ڋd6 Ĝ$_\2M֫PL4@^/&DْYe: v#O%"wەg2qt+(><~bbyUXRĩl<m&H[y&)OP  q|O='H jm8BW88Svu^]#FBSA04X UEn_nfmjs̶ yة0Mz|D_a4Fc?qZ䉄/ZN* i xY0&685[hî{eW$:%P2i#7E꟎ޡ}*NH$`(gcz'veW:zߣLW/G #* 93ѳ1L[dX~;x[ x5U|S)&1[#)IsjA#GdDґ|@$ߋ3 GYI|ݸkE 5DQ☦1Ϊ52NP(Wѱ8Yś>.`U!> h/pئp]gMx@<]nǑ?5\Uw'Se`<V讞sv^Mw y$Sd/ID_$yA@Bp0⮀(8$a:QGvZ@YWۓ*}#B?[>GɝJC'PhOi+I(s4gs{bv_k:QOrbDy!D=JWhM|QCvsu̯]_%)VksfϴYLHp,?\ Vl3<`芁Kn\) Leӱ%*#N Ū-K95o[5 +er݀d7΋\XU8k[P#!,E߮砼2M @IΡ 焂YPI\9 ,E,8vSiRho\OR?DA^\ ť}hR %7 ʺU $As(/+H:8<ʃi-ũ,õv,-#k}BB"ӽ~'k˂޹PF<,.:-Ɂs$fԋȖna#zE-|% " t˨{ ,Lɛ+x_d(ԎRDK8}xثuK8%.l^'z%(Х̽8h.J'G*~ %F-SB\̷ly_g4jQ> ܥ\ `k΅wtXD<2ߐnqx甆GfOCưfH\U+ q[mIZ~ `b ,¹b_nڿu\*SI ' _s✸Q/`&-ҩG=%c%ᣕǎj+z q\S"^6lx]gڟ%^aiOs,̆l`lUBr'ӤMo AFW}` /~u@o8T]+%K|́wfZ:Aѵ{DvW_tڗ͉ /sǯO6$zZ1f.udiy1f&i ̸U\q9JlMr7NY(P\nsxc؂3Wc݅:7R}^w My<=|GsW| V\eo2-d8 7B}3>4*~@\yy+E+h;BP1H91NS74]Vٵ<&h5RU7< x57ZxT*^Z.vC)w&qL#Jj\|'EPl`;]O81Y/{w4QAFEAP#&|I="ڛ@[*ϧ4-9F k4+[V w#r n"\h~'kZj-/"|p s'$f&Y՟=t4M`;qNiq+y 2HDޓkN-̌5@61 y-P$Q8Ҧ@fBsWQm]1"Oz5|y5rhBUalIP&[bN4X ?' &)PLq-QQ~{C5Ci//K=!# +H[[v>-*O-ÌgO©UP4ABEmc۾(1cu]\`QBXW;i},h̥zCY c\: +_k@Ǟ"M@0s oba5"篱*ЗZM%N,̉uO=hX}qezs,hLoۀnK'mV:I4Con-9ֱ{|N=zl4T%lK?G 19lF癯l Lo=Wc*LXzu-\jq &[ Uld9-2ܫ|[oXw)Md *bEu' ]feSb3H??" 5im@+%~?Y2 d"nkl9]et,@".@e1G[KC=7c 2i7qhehˆQWۢf+VxnghӜmne/zę7Jd-=nv`Ӳ`Mgሧ;]#x]`C,V /v`Jљ,Zqr3$O-)I"<^|0w0kĄ Pu>xhthPG!^:爐a3y[w8(wIA"Ɂ CYpP)M2CҢ'.WU}1%JoS6xtp6rC䈺9x|$k,}В"lQ $M޳^tc$czKfFK#(NBi{1gRuJoOAD$N8[gb=h]35oN瓪 lebNuS^',|P!O P'gt.e IZ0LIiZG~0>MӗZNcq!̬56O6E'9 Z:W9so74Iζfl=W.nJubWCg(1Q< @Ƅ:l H8B 7e[ه!vy<2X sMQO,>t3z؍RG4]-^Ml2_"bE:cR0\{ й^){c9Hx54䤖$e "$ڳD/}ZLfeۺ+g"}Fc>W˫F0OIOpfO";>{d-w{`R8S]'>B=yc/vH#İA ?e0>\T 8 {=v9 th۔GcZ`{ h`I_q ʬ8@g͊{BNC_8rA#D'k|/O$K\j:B 0yW ~j|Uf_+M#KzU( ׈pP^edaΝ :|Ƽ~RۑQ r<ǘ\*ŝ>vSuEtj`|(/Hs>y#T#4q3W |-E^y4i?* gYZc532a683de2acd2b3944b41380997bd1f104f8f902339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975bd806bfcefaf8c1d019dffecb953421d9f3d10506