SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 k3 l| ] Presburger-Automata:threads=4elapsed=20.117cpu=62.976gc=1.864factor=3.137zXZִF! ~]ŗXiɟH)0%o_8ci{j,KJ3rC{j갹3F6!|Jz!t39.B "C[Y@աr2!MgjzZ"Ueb`zXwktU\-Iɲr?RnøIM>[rVr=ƅ{h"sgTxz DGpK +4_lK^32͆+k] 9o[OL1}['kpc{F֑G`Y76vyV/0LA-x5<&$=e/޲ln5K& Ѯj'e(8UӛLGe5`]k. ־ŰUMбK\EWfzpYS %1B~n4HY?phiBX- ?I_ Qi]O(Q!I^75e1m9-1`t  zn,)CN6kü|F ^[r3 ^-cmzm7*h VٻZp8 M-p/;B\]1zܯd߱?vD3Acgԑu+?g8ٞkpqmldž[xEc3OsHuZTTnTk`;I^Mx6M(_1{N3ǨP9=Me!/}: nj> "J+( ̓MyQO庆HL[DE ]C1ŶMi60fQٴ -)W)B.='%+Wwl翀I)dcT Mc@GrZ{}I`# U-)aNK`*ԍ]ٚ_j)PQSy\  p.nE (:p|V!C"b! d4q%o~"uu_?z1l;k C{j<4'].5'q|gN 3{ܓylיkkm?<=C:W2x}8j'c[1 % OOLЀr ܔbǭlًfçw9Fo1,M{`:U)걣X #qz|Ϝuۖ`Vm6\_a07Ӛ܍p%)cZK2F9ՑnZhDQsʣ4`ׄ jh@9ҡH#[4DN,oQV>JyFiRC!!Ȕ CxŞ5tG2_8L'KS#iu.gN6SqηYUP̶6CЭ߉$EcR*QNu J=ՖՓ.-sGfi%7o| ( *aj(O3rta G8qM1V߫1F2u_^I#̌!s X~ sAʒp[KfO[s oOX]%FM3 ꮭ)l 6 A=71Aד2R=Ҫ]Ď0kf|b RA:L`CY#ĢUN~a4Ttnjo~x#aK\㵊s,4B.oXr4hje9%Z:qH4@k)Tb9&P{0\ vK*@EW)ŠxR(#>TEs链w1Z)Aɱ^Cx7M{z=bH!ݬICFH6+S->r7Ɇ{ǖ;:v= sSKYkF`|#Sl 0cƸP"_yשi76J xg⸉#AtQ?4ר,:}Ze2[&*HJN'§uYLr4|"ؚcε!lΐW̾5w$t䳗6~C `i (yEq!l"Am 6lzuLb2 oo WAհcFXُP\?`ȝ+ )-h ߄!|yH!Өa4N-a.T 3 Presburger-Automata  U}_'{BV'yߔ=lH9gAy]4+TOU*|wbqVQ 6!#;Xhd|$]hASNSiPcj7Aι$w.EE/\DK1eD /n]IbnfߜQ$tOu6N e& PnLj/ BRMu,0<*v!&Rta[[4́߫t^MJH1+5p8!v`oa~v}('B:UaR!ڿ iPc x,/b(50XqݣCuB6iH-K$ҊĚJqg )xڸ:G04>=>p Uoވ󇜨 S$t#'2e!)=HكH*0xZnw KlszF1=簋D pHfZChcɇ[˼/|kq+h#B,׽;~I(2vfTi%o AVL &} I#o 1[-RTMGjqG3у$̣1r%5د$:tP yO_`v L*@Cd̗DLjY<{B z,Qy "bAf~P8Օj W&{ѢΪB6\ӗXF&W7ƀ$)ϐ8mщD(MU4TܔVS;Jc\v?$b{3 |_hGK.Ce( S'he>Ƞl٫@)pٞmSA;pZ/=nz6sjK׿Pu0XK+,^Z]tpq`PļP-ȹ}FY "B o;A8+BT`28V;ĢC|wS|#X+?_+o+)=X\Aw?0I. {fBtJ@ֿF;{-+OFz\9!X4 y ߼pyA'SCϥf"EE F8߬GN(txs;Vi-K賎^G<)HiNm`{z/|9iΜ[ c&RܾFա(oǤsWs e"w1q^g3~ e4wDGGWgSv)O8םwSK/ M͎U!@ R 6ۢPbzφϬE<#xYIêT ,ZD<]y3d(MdQ.̣}22hpy*Ts΅8f<@m"4ݧ:f{gCY+)ǥǼ<B?ӾbY2L/A=5RD"2_B $b_1p"frJI [ھtXaK@aJ:Ө,=^:82d5 ݿ ܯq0/Z>d|v[l{֏*gO6=tgޞf86xJ"V 3?#o B{uS =VwL/Ӌ1UD g]8,^nv::T^Ciz`aKvKBso6Mz*'b#zK]`m<*4Ly8^;_Y,=yI|SgKn_d}s|L-;IX)9I3O?;a<o֫kd9ܲIۦ5s+/h2Ϲ+vD0ng7BRWC*Jz  cx0 b 7wәn_to]Ke<'K frBoM:;Oybȧ[1ù,3w>DzߵL JCh&bLuK`ǟ1-;J:?ќը&FW i "ţ @^4ogw ;BIpU2x |7h1Q[ט54&dY l/l_,4@xGr)QSi C6vJiEw4ݱ`1y i|CŃԭ\C+P?5s KBMCxB S9ΕMZk7wreqo-4dJ02&Vhj܀ŐۄmxѰ&le]S6f&s5#/:M -19kC_PF)y:m;TԄɃ~h6q{'Ɓ9PRc'%m jyڊ^ w-_Vjdhge9!na&~Q>ߢqj lwy& [JQX#:6 &oDe{Q532J-zFW ?< Hoy*UeMy5֏aEPсՏa ls'dկf7֍VIqxTh햌-q)c{SIݕ4 fXTn`~j@f+!BQ悸;vtyg(| Oi4Y y)7&VDKj,IܰnxƅT ~]yypf %ߎ5s}2<6><=eR-ٰh [Ӗl@ њ { c+3GBdOŤ%TB׊yuL 5y`d{$bDo1sGL`$J BݽpX*Uaoj pϳvaTM2eދ潩 #BoPa𤀛Sl/'Q63x>rI˻)ju$':Tq7Di!:*xaArA{=g ⽞&#%Otb^] &WYAO͸Y&2e˄|r~3q9jņ3oYYI u͕JhƃOKmXجF;7"ͱ1W}cK;yq~OVn+Z Ô ɒ$W=0 5/B'gϳo Q&c=q]/6 .qW峰lQ~"wpm<0P+!7]jkOQ]lH(uK&,B4Z'1g /> .g %_]LWk K fvxfMMWUOF!]F1CzצD3Z+4jfYEtVnlkO[7hk^6O﯅yTM͡=K8Yzcz~tWr{F4tzJ"Vڋf.T;xWc4p%bF[Hk9!.A 8m6mI4:#*-}[G0SKTd # S1"!IBәJi f,( _^`ARw ]lX GUK0?M{m{M]|CΤ5u6\GcIT1]kgKP_eT ]-O0մ?pA6"`iC'̈VȨzG&9",)' ѨX/Q6QKQDS&IV~t椯Z꽩iިg !)}k^N H=_Sg mTJ]P'~!0 EYۃH/vfpYn:,֞RdX nir3ӺX/A7F)HNNLUVidG=0M܆ɒm$EICgt=VG>\#MosHSK5: Rp)"MX5)3kp\mc'pχ2/ĐSSa*fI4W+v.^ gӽ~XIP8?i>8[c/!NxN-Ia$!o0#^9l^Pf֡R&/go=QdÛѴoYUQiXm ^Mfx.LVҁv}=P{TE6BeTP8N@i_DPګݼ6$QImCG3"kי-DΨK/asofρ}yj:3KŃnrTC*2Qu22@$MM\#]WLբ,pl7;Vok0tѸQk%'@dX|6Eq0&-Sf4x=y7? f,m=˨ t]SN Ԃn=Tw`qpe8s|hKdZ(isE3b' 4'ʲ䖽1wUHVZ) { Pm%^AԐQ콶,66ITr^.Qfvs.'!9 +'AP54rL6&RB [P$BuCgT0A6ʢ?69y/3|N`Fƙ%Cے K_8Vr6] C@\MYDLRȽC}xyjxv;sbw$6 4K yn!X[+adn%Zbfe5\l {aGT9P6Hu ou@B9n1tUd $C8?h%/vEweUN| k1QS+\cqJBU^tesMOcuaV[7wa ;χ/kʼnQQdwGb ,mF行J4UOK] Je,Q^N[8"CI[Zmj8f_ip Q14Tr+ b5YXO˓sX3H]}: #յ<#xD+#:^HVϒK\\*vcI׉DmD W2,fD{%5wB2qe1`^m\&ťi6"+ ܎I@dcS$0!ImynW$`Y^m&N~Gʁ0F;wb€G늪 Se&QnG'xn0 ( D@ ߞJPHr*a61j OnjJJq#C65 g+SDe!|T8qq6¨/Mt>Ϝ|(fO^:rRpJnt#K2'2{cIϘC6hEmj튜%l9 F8N= 2& 50 >>֗wΨRGMW^8j|pJMZF1;\*١Kc1Z 7#[SJl0;𝑡E{ѱfN`jsBt';CMMNAm0>t6z'5W$e0Țtw)]R(VS1bDPϦʀ$Z?}Dmr8Ќl:Y󭸌r2G)s N21du2Nu|?k$di<#GV`Ŕ] ZԻP1nYXz`ĭLN@coH;(6Hִ!R#!ֈ֎iVs%5GEc|F۰ +#?kݜ^H_QT2Xt 3.z ÜSirEMXupޓO} gJ0=A)B)E8辝w޶aF͈=M KwjN^s_H0ebbLlmZM=WcVhk@dYui9 %5d8rM>dh6yS= '%JgLǫ se T?)ut7GU;rHL ;~&^,خ$<ե5%bdq<9nsRvfΝxVS]OwP;<;KrM]Wkf|9tM4y&S0:"M*ɰ(lC98,y0 VVUyMBe˓u\8l1e7/fYI5?1lܝwG~IދH 8U# }yy'=LyŰGP IrюSDmTdt7+Īh61&Rφ dY[QxټY#QE7 #99 m˖B-ذ$DUT`҉tjD&4AQqY]U0:"A6)">b5 e΂B?ZBU7,ά\:HJ\Qv `02FAqtxߓ8βyI&cޮ,8hOY!뚝KNܽ{V˳[SRq]K !&Ϥpf_c ӻc±lx]alQ 7KكhImlXn?sMr|91Z8" Fq1N@̓5$XksLԇ1j`TqÚd7S$lHumкPyGZ&$yykٞuaBh0CفȓIjFҀF_}:űAEc'f R i :os30~A%ࡦI2 d$t 9O*g@5L 9#_⦆/HSjui5~yB:|,V{5eH/w+0?l3ؠM(2Bdc .%+eej|\׊uy9 ?4Fk'0H;h3f| Ws&2AΊ ߦ-j`9>}[Y? W{ODBS9 azoL99e) .f C=eizq3~[< ܫDըuƐhV6)a>AxFgF:]WT|@upAq>w4\7c 'v t^ UZ"pI'VӰ菺}gC:7(Mh-mͻB?foo] _:!5P{[MupMx[ƭ4уIíwԽ{8ⱌ$+n3H/ko]YQiv)10}C}X|57`S*[}ғXVһ4ϨשzoV^xD3NzYvqc"]]wv}7S֔w lo}"SdބV^}0k|dFA*f5}։h=AQPUFԤq@ѠRJ32-(愈ZW&#)]Bq8Y;背TipL~&MQݛ0d_j1IZ e%G?`zl6IGlJxC_F<#IaDhIMv .;/]DAEG _KOf>:ԫW` mz(ԉrK񩑴ƓZ|$wI}/5rJO2'(gg oFz *F0?.7ʄb|J+}/B5|ɐjb]!~d$ (Ot{&r~2"S R0f_Lz=ᦚfh™oFvI^ 0KK(E!GNk:/: *&G(8AwN Š xB s^5ӕ4l(i럆go@n /3'ա2|U&Ѭ& y{]#~ڏ_I5sױ!ϗXf./IY̿V@&5 {<l&=es6G`9d<ېgjf Eǝqa |ϨG3qtuR5<$.\Vr+ |^4+DMn7Xa} P ֯5b_k^ɷ˯Qɸ ]NornG>wɻGS5" k$g!~&v H5jҋd*{ݧ9o_Ἓ.mf`ߨ+=O{_(6Vup0=ә ̰$Om︭d؏2궨^t`CɎAh}s*7΁i?EieqfK\~x7(Xg'2=pÅG=Lfq̉ۻ 9qd&?7&e9uNG=zD3_ׇ{H]t|y~B)+WUqMY7NG2DпQT$2@߷}ȏfL45GXY\m2I/S@1=-}I*'Z;h@a$B͈˺H1wlvBV\1 sCoO@9CZ}?+ }?y@4CI H&jmg 1~7}/_60vd)g-(ye9Mx'ҲL\!i=U||kG~}rh*' H$ i?;wmθP&@A* 4-)wy 3[q6DKyO@.W~c-< )L{Yts-'XQz^* ǫhd,q99q+|3i^@pWy14 n B%@= z{C1c8%5Z0' x<Ɯz8V0&^<k\ ᙨM(I VQ +Okil?'Sa cvZ.&0ռM䓙EG$f  N<㩍d􍨱~TT0J G.]#QHى;V5" 9]D0١H)} _%}_Dpp): fcFߚ+N"PcfTmb3.TÜ}`+y&Ř"O|[NZДC?6"}NA, G&09=[ushxY :@`F >2l濿@ yĮ0$w2^ P"m4L,xm3t- uB_/iqM{nFV Z svypדUZx{=[\HKjUx&t'ðs=2VE{`,KZpS/C(N K|^ǵߦt@|Vۥqc+try^bn2Gp7`ea!{&8KY wXWe6&"$0go_ <5KKi#& 5FeF UgQ6S#U E[wܧV7<*IS`o+[='CPO}2EK7_\o$0\ =G3;BOO 8ZSͬgvBDUk\lCkBŽgǖp?uy|i)O)J12+I8v\o!Rl_I8s WW|0S<Ч&BMD1ϬEgɵ! Sͯ¸*/߄rc')߃a&eVuGe#Z%IA 9"mzP'Hn/[xSǿ'\8{P+ Mwp[>59,Pl Ck Pe[<.O< r(ED&&x2Ac߈$Y ǨgL0v-Ұy?yTI$&8`7\5 oCD}J'kHM`(+:> YƄԓ Fv:$B8L^_;C8rɁswy@[Ro%Fg^KTkQY y~n"?P4:t8eCoz&#=ayW>R̟e4ӛf~-C v1p<;겓|;xʁjj$&^tm]Y^`AtX5 Q"R64^y : w%S8ߖW"0\O/sdDחb>7@:PHZ7ٜBsY RX4$$4󆼼!=KLx:sj<ẉ.r/)r/uZf>a^ܔ xuK˴ O)^ٌڈSH3`W 1(fT*6J5J>p4@ݷ-ֵ ~2h\p_53MiLR)8.=,d,g<5B\HD؝2 ) ɻȖZI( yAbJ?|c] ϓd]mhmo)'ebSߙ. NAEl!CQhi%9"uFbzh5ݍ)pf(~'` V>8K7tI`F _|ևm6͠=躬] "mY!lPj3+n)ւ!tYsGVd8?CK@3~=E!i# ; %Ў*VO#>_h>-#'8z;xpa!w‡ j`{rboZVü/(`)qAG L%Qn+R*!俛eΕPePJDc-k '?MNh4X£6ٔJ\ט+F_۹#lLH+= 뜟1V:捂rFRt "e8'*%̡(⑫5\uK Ub g dRЧ=㱒C$4k4E$ű+\:WonK26Ql N0LHkzi:6壾`Vy]n:HlPڊhwJORFDWJbFY0vĜLe>Ϡ۳`Tev@8jNmѢ+}!`/'79 qҁb{y7|lBs:}&oc:]NLq>@+쮂ry0AW _Reۨ<E﮹N׏O%n7l  E.؊np;H-#-?v C{ݾcfI9B|~7vᐻvu(ڊG_]rABBipzrn) sCAEyp4gxyBB;x2-9(R-M|*rl)ߥmE`qmRxnSwζ\y~ڊRJ^&ʼnN7rFnam. nW B2YAC.Cin9l+{єeLOAl8Đ+xZ'0H_+$|gvQ+LKBhrJ+ IG2 ~9+**DSɮ5@s Gg'kLLG:vumb@j߇&x~g/|1*:8\47`>6)ZQpx"wqHachz ȝF\IWs"Ws78)ȏMa 2ٴ^BnH.wZXY>*Uf0lO u\|F4#s%곞]ToAr7!șq<9ܮ30 tr&H_W mţW'g݄%2>FP8=Ċ EI=%Og#-pXj4`@!"n,m|) e솶xarD"Yχgez"<~X_%=ɂbdUIU*:fa|5%`1z[Y-:-@-#МyHl=fdM ъmUN gqY?O%a|` ^lmDx ۅ\G|b=cNiMtjm_ MD]% V;۵/a]xo~m黓A;G5Efh n1E6܌J@UpymR$-#yIj5|»0UTFnKW4l߼qx :쒽" wvR8xIݔ©k1O'm`P,7 KZI:Xآ+Pv@ љjcGbDk6? :ʂ_|) Mv3E5?3KfmηۓqAaeߺ҂v p6TVߨ2E +G9zk1wt.^,_a.}=9>*BӬج],:0hw0QG%bK;[ZM۷!5F:sP]daOUH} ]l`d31.ZG"_]4FH 37t0dT#i@Tuk FIS[y&z0 kӬ#~Ms@7g.>z.as%h8,{E_=9RD^ͱjtuu?Sf)@*P^@HEx2]+=gQWpqL-)T^1L]jJ%v",T bh xDt'@ ݴ@Ёjnw9Ν+rnᥰ_*M'd0/JĝF.2\"$C .-J6HE 0[򗥪y aZte_& D+.0y΅k-!1(4Iud^6'U%W&5; !i>H D4u@.a{39 2>p-;B}4ru*s"MȠ-*l)A,f+'woL2/=|R5A jpD;d&\cpgUܷ<}˄&k Y{]A ʹ?ScQ46CnfPӧ8V-@;+qO<&ov1pt<#h2OmW65AuQ&Eqf];$G|Q.W`[˫LP;R+ 1nA.}/e܂Ec.T=὎|.RCTrUѲ#~"kyya]RLau2^L (3Sff#Ѝ8.DŽ7+a!zIP˜\Z(\7~ʱ;GbGѧ~c~[|N٣ضڙ*au7s-{hrf!oU*6Jnɩe>lAO<#}rn;bW*!ftsRp|`*>: *ŤZM1^Ķ,to՞n 'TN]}!C ]! B KeOҿ ;4pr(:&lek? DBeOB \E)[xǮNlHcLc]bkS0`W{HLhJ(>wly^/&sp~b *qֈMͬ;c ռ=6ӜC˦> G+YR *[P#Q`μ5EYdbSϡ~嵀B W"I(Y#td';?=Щy i~kG%rqARL_7{l .< ZH{)˒%;Ņ´ʘY~틐YX=Otd9A}$CHR *'oo1>\mPnT,L詮OZO|gRa&Vs-ES;ʁ"rBb'3r*tjO'&]N qzZXֽ>Y.; Ff/l1vo<ボS$eb m_4=]GԼ քåu`EFOO wf.*$5_v!6@1b{2hbP- a[t(S?>|Sz btX`5Vwq2' ˫Y`/'-J3KOJ.7 5 (72w\R z,gsv it:=^EMCaq:N\vȕ]}ux/0sx,.O2w*GlZ 9S:%]o lRJEbTԅ6Ew9!Hj3 fҮÝtlb#YHFitf:b9y*xbx4r1HӪƬ2;}fܓX-N$ =_Onj? %}٩U)~/!KS-@T^C*jc?1,@oE FbM7A~ rWR PʝEۣة1ט! -d,;翾E^.{R#bl7㼙2*‹m28cM%y0*b0͚} ]^&,9+"7M$D/6 JsSG15~4p2Z^áCGH21}n̄ ̉&pɔ1沊>i +bʶ.Ǎ@M Z[mQy Ts,x_B;,"`[^ {]>?Dpb#1Ɖ[ jHdAr٥;}t"Ml5fG. YFF,$"Hngޡg(eA T0L1 @C`B_Wiң?qF$ɁudŊws'Vrk˰fmQZt`[ǐM-+ҍ3jA0%,دr` Sjz|owMj+ ' ksRRɳREF}4,3_u y3s?j-t8[F}u9޵)OFz~y I~ct@v[C7h)EBrhJ&(ܢFH\#uk IdbG{Fsd]. ( 4:v:IJ0L+N&e6:YzHEwIEkIrqyP6":$SZ}~W:(z|Z"\vU `OV62jG$VmE[ޗ,n!+M{;v7Rې%7붆:Qa!a6ǻ||)%QrZtM\t8U^oU3CkTU)0Zٔ( Wu$Z"|5hT0z;9%X}Ah)]stVϵ`y,~:Evlb. rF h} !ѹxgcUQN*NZ=KyY$W<vg:B! u&$=™)ԓ3fEk|ȇo<ߊ^rdC172 hcMae8z8nrL$bl4DuaiB'r-O>wkW dHAIP)Rװaex*5f+u[N˵ѻ$:+8(dgeDYjxz@9G}e/uGXC.K7n{gѨVzʃd&.QZ&aaF)/w:TE e 0/uE~Ӑ1+FCt>LlTUQ^)nH7|k ȚqSۘ0~<踫TH~!i/1'i0Y2RXYجT 11bɼ;F֕.;|kzS ,gV:@9Qz:d{K{#]JR;1#(ɳ{g !=ے꒥{fI1#TFDzUF#} *fW pH|?v/>P0NiQ6a^܎1s(dM="vSxsdl&;S@Մ}e7~ƿc/N iUq)pߞ@ ?NUd{P.3"4ǐ"_h4tȡV&s -{x`vVyőu8q6m^{h QUumr.)nA/-leI9r↙'fd_cE⧘r3 ebtsH/7*{ƺlNRbFT&!Rs"lz_LT:r z5qkqh1XIWexL_!iطMBz޼\8;V@ȲQ*g-4⧣H; ,V_~R cvZ PbOo9/raf<^HĖ z.hy &_GV?ohjx ]kBģMwGݢ92&I&Ih6]\v6^V£"{6~z(ب K5C9DsgfT)IPk\CX\p']Tч&: Dz0;3 | pt``4Mz o~\I7s2F+S_"n# f2 i:/tQ.4R(PIo_E, έVF~ThݷUx,#Hm\RgOYnO||gJŞMngC`xv>:G0)Ctlq]jMHK}A<+ZZ ΄z 6?3m5PZ3[:CS^Z@_ObG*<6H)( kLJG,CtZoБfDgI(K5 vaLBc-f}ޣ=&<ڌО#~*\·E{( Tc m*QmDXK } Zen5FbUރ`qϚ_.>LIy稚Ϫ]4{*BJWVyzXP^R_5߃r+gQC#bRܦT(*R(Cq0- h!x ;'g!(<lRykV0M Cvts=.ޤ]7"["ubb(kgP] ƽ`F,N)1#.:cËRV}]ϻD#3ua@"B'N rn͈O&ŧeϒuj 8wg̗&XD'1o2kmEbyń1gk?y4\fiҦ fA^k }%t!ok#L$~} !yܣ/L1[?&'R0ve* , 6ylPQٜ㣿5;z '!&dR9RgrCQ'fJM󞿖<H[a@K5ey-^X4tcQf_H$n0_}t2>ӛTG%1t ?x"*~S,_Ah!vIr?"&v$+|/z9@CԪ5 -:]#u٠!*,'$QpDM-/S(-rEQEm wdJ\iП&Qe{loȅ:ū14!JJ@!~OJo'"{o轋]W5[;VOI@u.r/<9($q# pW A{vsws!4a$8ymM=In|l̺CB ;D|PavJEU`F oG9;YU-^:£u֞x{A Ci`+U.,G *$3AA6݈8:*)4ɤa v36aXVXGR3@9TrkFSW9fV?/,j U]W}ł>ξ: #l8osN0LdhG~px |hhI@^9Ԉ\N~fVӤ,e!NMvdT^ZNgaers^:tlNz504XCZohG*2r a!w1/3H@\@ܻm \(]ٰfW'I-"8*CԱ$(HQɾ E}&]lЖ 5LS:1,Ln jxP8YА/c#:g<bA!tj2Fwn0KS-±VT6ƎYEпdxR~waOV̷VէP+Y 4-#Nv6pbUxB>9{V6-i6 R[}C/G(\Ť0PU&:66Xf9G6bCMFTMR;}K&Ka9m{#4AS۠Ři"J}~򠾅&==,#df|9I:`qjhW |`h p֎&kl嶭JC|mMoLqiv \괴iؠ$Z#Xt >x2қJF0~BC p9[c UZPy\2W6PTG exNfTH()PTK!%~N#`P'qra9jF4" WtzWe^5; yᘏDV:'['3]W{E9 ҞKuQV;PYdCƒ~%|˚/a&)USaVDoAc G M2ؐTc }@_nn/"gcjA\o3]vAw<:5`ܡ) PGi=wen"zyF佋{J 8/ PMmD77NJ:#Ol;fu6-]K¾ LhtjCw#HMP !.DN/xmsƲ}Pa9 lCU؃@?#dtrIeWDԨĘ,J{\sQ+aJ@ IplmduUCç^=w"+E~K ~.^c+݇C s\VB"}aqYwQ5"Qs pկj<7Udz xtPg*/.>rj0y] u^66F5WeeNG-Ɠk&c~{Iy* /҄]-[h/W]f9jT 4-]SC(lآmcb@"QS*p@Z2A?^caRT=ϑjiNiU gTƵ_$Ьmrke} & 2uGoBـ `MFm09p^(apBD]2aw2h?N50TY4(0HPq"j#3ZV#Cu8"xOhKwQQfQj1Thvڟ4_o`^)P%R#;ga.ؚ:}`z4A_E\Y5|H}z*&KǂR깛l kſ'Kb+~u+ @';8J?ܾs%_օN0NH$y _c0sCۀHHê5291VC:Q/}zghN$x`b9"Q{_IvmHi 0LXy)U(֩";f؅K smJE&)N9]]3ySA M2QC*75?#Eweܻfu%A}T#UTMR>}F,]+7Z.Uy1^z!͚UP]3)H_AJ$Ke1 );:틪dRZtMP4Ɠ]Xw/MRhA/ʢo/ẁ(+<۬Z[fw+ْ"WC6$ x_[5/ ѣo@ lZΨ zZQ; \7U,k$tyFWEN5Ws؛?JK= C̡.PoN!qilxٗhmOѲ-t!n}a8[gL(Ԯ[bMY={kh^<`+'vtzw ;! 0שks~@s%f~shĿ0rPWq '䖅7I؎g{4 r2wI("d.;U7=#)^9k|\񋰩qq/qӼwy\3M r| aLOszKY: 7jr8"n6wmzK>vn-ji> VvLB&$+;S?tȣ O$+;(yzLL/6Fy}]^~Ğ]j9bdc.^T 5f-j=wy5֭A^FD5eW#@\J(9\4y)nݧOV3n&ˆ6]<Ljo*Kڷ d;KV)^ mkw4X dbCg^$l>)obJ)=wS%NzU)0`\j̺bdB*Y2-8;{^ w, `WHTcX=_F1|Lzf)u׵HP ÌI+ZGo'S 2 :5Y9)J- ϭm82(` @ P[ec  6rU8MAt5{V 1i$ K'Kss2LJӑZ`c?^mEd7j-L3'D@3l{Y P8O8 e@@G͋lAҀKQ@!XkRɌqcѺF5 ư{Fo?»M"vS.ueœNP;\=`a9ąUB8!M#/K;P\ 9hnؚz}N "}RɈ`I<߫| <voj;ąW*7p,C!̯ׅơr쵼z.8يUDY&O=fb#m-+ a<,+ƀUi`0JtoŽ|cw4oO](7Rc GBvߊiID :@[qu`jk>OMp{Z;ڛ@Ez6|pNݩGȩ=<=G(}K`Df:AJLX-9kUF%aԅO@oiUq5~\!t!MNN - g \ī2h7H㫂i=q\{" ONVA4~twI;G2mfG[]$id8@wi'_z'KS%+:NiJonUBg 4Dϐl!7Pa{gU:=(hY +,fEߛTLs *-9-8Ǒ{֋~1Є1hR?qge&43a0[<-9dCɓ8$boTߢQДza𜨊ÿ}D|+ףHԃ'#zB|@iZF]IjĥMh}^)*O |w35YͬW ̷5cTZM~Kj~ᘯS;g[يZ6M~/*UAZ%6 ָΟ7ow aůQHʂowRy|͠:;_y.e%##[XpHdPtʴB"k=m b,/-~cr{ /MgXW" {t'BDS˙]⼺PFՔp P Knd1i \& Ȩ>K986q~N)o4s.#w~Iէi` mB/i fM)ҽt >Rx4+b%L- I: ҵ_,2V9GH -2GJjg:h ]DrչZznhRؤ|lM?j<3m|c =[xMDk2 %ۉh? a?hzn$"Al$&]ힵax͂HSV/{2k:y맯G;-6Qt<ɞ3 زů`Ayo=8g1zSQl5L &·`3|WǟPQDDGob ĤI_mx}(F/qrK JQx8i]-L}$!Fa$`pt*0WwK]ӽ?Eק 4h6#Qm ;g#gn/ bmvn65<xTv͞:\z@pxm81qM?/)U/CTRjSGC|#YF_AHȉTǹX шpI(7T ҄)uNز]v8o ]e3O Q%S@Ⱥ#uH쑭ZɓNΘs">mpnF.o+]!P''Jد_I :|:¢q$ƂƏυI3vBZJ_]^+9V|S j=܇ͣBeOZ9V輍Lk$!r&gFA@nd]M墅җRwB;?}xꕋvԞwksq;Ry@٧N4SHj9׽PE -=sr.H#e]>m~V9*M Pq,`@pM0zx~ sn)Ɔ&.N_(zL>j'g5vI*c`z7]Ԩ٘<)Ck}d_ vd#Y׻ot&y ʤ3VX׿_, !3O*[&ˎl(|…m| 6ǵxh!aB ,t)x?R?h:[9p'LڕG8A/$gD %WBه>a@M3on<??web%9JAgÀ-_҂HY^~Z #<ܕR!28?ZRVKź嵤W_/+iΤ!ø,R-ub\Vɟk^>C`R0=Rq0[vE#Io&F/`K8AbK=Znj2AXT !yXb/A<),_1zV$ ߬If;g aF%ƴŢ{"{:*}3 (=qS6Ir>ycF9>zܧ|h;4y6Ke> jl4c}OsfAup^=0SK "q_ p­a<v2#XQTQ_ފSs%Nz&ү)qc2u\hZ7 ehv| 7~&sJqWj)=Eu9K5ԡW|<g$jٸ-qx#3hj[p'fv<*6gg-#-QjF\I1[@9YybwVYO\[N>\8֗pW]p0˙qih! {. ~Wƃ`5: L>n(jbFHF˨Ileuy#x7KoШ-v_{ x#wk4S2$wEs䒳Mwdӏ)dpGoxS_>&d?@)I d*a07_4#D-K$9`t+"dq[Z=%Jeބߥ-v3g%f ᛖ;$u G 8Hk xstYWNh / 00yLM'J9+džHс^yK|Aa&%[J~JF]-WT5S4iS`;Ys'SP립cXŖB=6΅S |BQ{ÑFUJجLmiVJ(*q2,_)9'JcG7ltTƾATS<\M#9@Ʒd(or0 'ՆFkhcљg3(]Q@(%߹GExEt0$:E@;l^Zcz 3ɪ$$T N̖+G}9)LjJ>xrԸ>Shi:i})2 `EAx\| e5̓G]Q; %4S1Uoз@_yhtz~BȘv"]za$훪b-}?}H潓7T[H:;9su+ݰO+Ɔe4w]P #ʩH \6tXVBH$ZV;Ef┟)q[ ՛3W@D`:c9۱S{0N [͈t'rӐvPKP~AS 47Cy: ^(K# jbqz-|SˀqJDXhDWYZ&n>Lez*sE89]\B%<b2]24TRJ'f{a)L ʾ]۴uD`ib]Ֆ S #YF}`3s2#:1e RO{g⸸`(LtkX +! /GLz>htO`|aC&uHd3Rc9FaDXa_%sѬĻj霃ǚQtX)EȆy(TMm:x Pm|<9-QoU) 2:  J>iӢdnK` q8~7#\Kqל/£^Qv`[ yL0i#нxBXMfL^[bq M1tZxЅA!'㩥&tȩ.@2gvh?_,>nHC?fBZ 3vV]K~jKzV3-|♩wմ",x)+Cy䭇-\<)o-~vgPAK3k?'tjc9V#~ \(@IS0=}Oj`&2=Uf1=9W4R@ɀ:˜Wdбf@^p#6ٗBvshrj@=(K6~YeR*!on ?\wmBZ {F6"3 FFroHPSUh( Vk# .tDnfAU4q#ivqIWyIqY!Oc%Pq2ܬxeyÂ';>8ZgNoikZ?X*J1ˁkhvO_JAR.D V4Ӝ'i+䖴M-!-az^U&w;)T͛-W}eҢ舚=8Ik(K"̔QE*m\*k=r|z邗Ж\:~&J0Ҧ[ˣ L+ )+?'}$ mL`'z4or!* ?o7IPD=bRф0:@*Ր{4o~妔G Eퟥd3JpFSC%4nQ:vhfsyŢ_TuՌ2=E_ngT KkȰZKHe->zƜњUDH_K'9}fl"yR= <Q"ADЖkSÀ$| یҌcE? z˛.wJʏ p _H%eA(@x/kVR)Kڶe.9W.+v};Ed}mkL{6VG{б>C9L#ÒFRd쿂FT=VF%  z !Vf~IFsSĈ)fxbmh/dP+ձgYZ3580a69d56bdb83e47ea1b8358d0e556f1fdad558215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d