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  D D/ $ ] Affine_Arithmetic:threads=2elapsed=574.803cpu=945.548gc=79.328factor=1.647zXZִF! A?]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= L~REf z7?oMHjH9?N1IbIH"c$Zn)UwˀѲ334f>ZsuS934Qoeb8`M+3/#1XWq5:0On9u`lb>s% jR_=u/uQL%Ϣ#Pjh$Jn똊D1ER#+bQ5 08K`N\_͙@jºSkT#؂ﰕѪF= ֕gyUi *E^&R:m-75ʦ$m6):+ت( $AS=-8{ IX 8v]'K뜊4`1{(@YskϟWeYe^C?6K3;/n6zak`qD^̏nNxHZ`l_1=*, E1[Ha|)3=yalT9k.o3KeX}=k7֤Ӓ6V Cz>/bqU6|T);wA-Stl4L.դ<15]MkxV sB!oBE>j.Ҁ{!젚\ya$HDžbR)sfGjA*"%*`O_H5'Xr@مQH/v5zX&5 8D$w @.32%44ub57+s%([cl_Rb\(_uVW$#$~AV/qXiZ\IC-+yur@&2fZЫL})fk ")O/aOH6a˿_ǷrØ䀹z Y+0 hKZ_DVDqb*vԝ*'IBӗ6Óv$bD}g{yud1TW~x / Affine_ArithmeticػÏ8> ٷNe7O圭׏ɕϢ X @vP sy1 Bfa4 P7||;P٧ZЊ$K$>.?nRn4C0͸UQ͊F]oZR0r?[Is;pЍf; ReakՖdJIZ6>!M[-KML_R߄G濡VH 5[b rbiԻFW-UuuX 41\9`[.zh3VG˝+lΕ  n q[ [!׈Ǐ|!|e1RoxgBx,tӸwb/# mEnne\D"D^?m 0F:Eu"4Q &;ظ vO$kBjʡpKjI A ] b};?T>_*!N'[H,Ȃ~tk}uϔƝbۺu+,eh;x WF9$e `*Ap ¿۷ y7IL=D$.mV /WCiue$guc|C*{Ƶ6ݴEހqIArt^WtmLawmĜl}g+|I/,!]u}Y#^\oSo2M#C|;s!x:Gq]cPU1_%փAD'Ugw]be{`\smH#N7(i>T+%S欨l4kEWvO5C/;%Z7зD69鼳0/>q8*׻q-O`Q679m08;j"1`U3h.bon1޽E hOfmg!9dֈ]BǾrcr\ ~դ*=T3ހmC^iRd qAE>`ٿL̍h3"꟡rVq< xc)^p@l oDsl측Tw)Yc?U+!,~4,d<wk6>Y%8v[؏d]f~Ŕ#՜f)IrnR)v4JukY`NTs't72Ͼ:M&zZP.<p\08ok b&gr`wR ./j) ,Uװ<]IN9ZH@HJjPȻY/Mq!ٷ K5l82_b! TlR-O&XlHEC3OQG2lXI~E^/7 Vh~R&llW@[*ƀ#GǽXp@{ۣ&XyDOdK$IjLtG9j7)gw@ [ aZ'եlA, ijrBM,B&e!S™g:SDHB0)LćRFHYt)5'zo}'W~Y+Zqd 2tx }!"&e @ .aðzyZE'K.{ 0TJA[Y#nnBLfèNAKL?o븫~`ơ06 Pu\d]oBlU믜@?DN*8; ˻u-Q=xJiwqM 1(0q (G33X_Gsi ip_wO;sfF=]RSfd!?m{_9|}_SC/Nn"r:o''_|ԛ9TB͵8? -6mdBG*Bh#'W+چ;3IQ9R;WYqjĊuq4aX(q/K߰_z :r]b" dfK) +d7H@}50n2&]Zgz) Et\X"HP P;X"KFaR~9(}w<L]V~7N2 5o]DR18 oR3H5JI;oT`@NdɅ5E?Jk!55_9>>F7Ihfp˱J$6J.ўJt.HЪh{| >r&}!_ q+ʽP`VUճAW iYBdӮKp J0xdbVGy:j^SҞEq UR" G dL9n\qޗi? G`!yls޶)dFpUԅK9,"j#Dov,ܻA}M` f) z< ~T%8IΏԁ<WJST,`VmNYY֛NM!9#fQaWzad"]A@6Xt tL%Y+ǎ?IlV_WzJ K13~.@gF'[&4(r?O;K75 5C,)D,Aw7 ###\sLijZjfxêRQ;V3!U\`v@{=>һ>"pnVY0jA ¼l$ ȻY02K8؞م )jݖݣ }o8LCۜPJ@z j]eqԫ!T4w5M\Йޕ;3iggAb1%L $:hfP0hu'=*oƨB1T(Xe]5X1Re&ݦ4޺},RWt0 >K#zE\̻a)Y4#qCų>=-sfky?/SWʫ⮿9rrB;渤@/D&k፮Z> 廖H(2U.r.4X$Qګ5võ W(hUqۡG_diɛA::UL"G:8ŏ v tS0GG^iN0rSojg0d'1ޛ|)/Ml";}`}`bF4χz[gXRʗW%a!1$NWP 09il42DsOB"skrރ1aeCوY ].ӊ8ÃбgYZ7zXZִF! <]ŗXiɟ1˦rnzx <@0+gM:qc|i5m5#[/^͗N%WS X2^8JY] BR iZUe:#l$5#b9#5MM!%xb=_Di4s+_yVAQO4]M#&2WHh" 9n}\ҺY15uE:!QFO $+UOGKW֤EP%t.؇S%#X Pwo8z|m%>1Dk~Ui$Dq徉d};ڱSz0*')i8 $.Lѿp36 B%Pw3ea|~w (R|;f 7/SR_8_'~fED(>#[}Ex#{Ҳ 3nmxI<Ƶ̧%<ػ$m'!jYIv?%NbŒ*pcTC.z;@^ V\A֨H7` Pלb[͔{)⯝Zsν..ͫD{q5"Iu}0~0~`!rc2rPV@KbXTdۖ*N -iU!5/@r>\V6Xyt0ᭋ*غݔrBbgJAX J Σ"Xh09܈NGt=Gspv[r{5㏸3h\Z5 Pnn] ?I5Kl.X^_?5'$ŢA?6P:Eh ($jJcvVPq֍1O1ut2⌓ I>Sy{GY;ӍV <'5j}CP'~)fגl|z@kS. -˖gYZ7zXZִF! 2JsI]ŗXi%9#h'D\oi֞)\R7ak,{Eh}7dC!᤹4J\PSUn4z:o'z=,l 7es`8Dvnb ([qp |ƗN=R\`6bwiwk 'I -09^OAh\ UV{;:#`?gJ5"9dKx'̈#8!~f{ uI <FsJaI'*@Tf=7S%:&uH]$˺ 8R ):a[a3e/ 2ItqLCx`C]54}v 6{b}824"7eX:yec28"%.0gV@% ۜכ.yڴfIu MtXk/40ȩKc@_=e{K#DkǚT(d_C6=S/0= Yui9\avŵB dyz]+x lĶ\*858u?]ن[ `8h<!lm>:JhBvRj* h5C&sf̰BOp 2!襬*I! $Rttf4Vn;n~ˣw|weo#lfD^Vx^>nO1*8`Y|a^pa5HV{b,nU"[t ֑3Xŧy7"l͊bIeL PK UQ *r&2LW8J< Yo-xЩ5x,7 p-y_,֌FA2.K9Ӷ]}[^*cq11,;)|[Vp< r:`GSUJ!V sKC>uƬκ|V+qbi9!=&x}>ߔ76Zv`sJSuU"d5N@@y1Tj 跩Q.ҬdaL1? ߶7N$i_6ۓwbeSVrР$˳V߶ldFu MMtuc\{v^5Lw)Bd2MWފOe=AbqM@J)ݪeKgKcUy&]%k8~y>ҹG~0lǴ8ft-mpnYg6LY˧|*O35oA=}-R Bmi}gpysLU><"2^ia˧bye%i rЍ ʅd_d _AkBBs1j~5| ӯ i#4Wophӻ2(/eF`OKZ!nKпƶ8ꙦQ [NhА;Ed.6B](Cw8Jñ ߺ,/V9L:n*DKH½ o TjiBVFx:k/WĄB[a ud':<>s5M Eº$ vʐRv?W.Pìy#72Ł}i3Q`#aP>Is2!CI}T9'3gj7~S ?5gh[@bf3F(p VQ a%UE0䂭Qd*W[]"J.&H A!QjxTLtY&B ME 2D-ب6fp-*>Hkߞ LfA/SGeOl}zc%<4gR"\mڵIUQ-q3\a4/^?F"mc8tɞ^Iծ*"˸3P ds0%)~"gܘtlM]kK?#j؛x͙/4*5krsIV )VvN`CVJ?Iɠwb2w';ޑ$]*!  y+90|> /G_ hĥv;4ޅ>ڥ)'4 jBߏ màz੗Tψ'x aQ̮L0i\vRdÌȧ>?!ͭ1m@H PcO} syW{Ҝu&W_󿃆<@VE !41ceĠm+!GFNND ּޡǻ|K8[<ˏg kK1 ,2#^5f.3~46=%W&/f4Qd귿 hB}ؤC(f1qiG@\^( &Cۺdbq*pi鞍˹*v3UZ~[/IRj2ݓ7=p U@5Fu/ sv+g UE's(ZA71_{;Xa$c!D\Apgqyx`'߆cmٷRFFAY;0JH-f*_̐m.gZP:aR-%<PR0V`#8}IX6[T}0o|UK>:ή AQhρdu]-|Yɗf:gjJvj1M<<ܱ".:gud,6malWFi}s@<$ t0 L!ہ / w`+maPl[Z㝾/;LS(D)>@`ȧ4VvOqyFNv ??&lKwC5ڌsf8[EZ WlQ z;V-ADS*YX_Ew3D(T.>@mSZiNyT!=7s2~⇗4fmܟZH0置G!5K1({ KG@B/jwWNPڅnF/>(}+ };m`+#\?CM j~hD8 4 5mvwx$ws[V]ԙbAvэ Tȿ %^teQwС횜鷓4`hF2},wS7xS2zlYx?!Hy\B溹tgy4cqmt'7 >aFyIw8cշ$lyW[^@8f+\DՆ'=!Tols'˫2@L4Now;^ψ(AڞeTCV:9 0,^{n9,M}>Y);S@y(e5CJOM RSփ_$ lF hyºE>͎)Wi-JERwÈWU.<<8&؎LGz0ܘ8wLߧv0@e}X k3F7._)zZgEZ-dY6yr4*_1NPiO:Bf&o @Ŧ"߀=wƌF "{ռj{7sYp O#zTT@y'5΢zVS9ZXB떌]k,e˪aͶ#o/J E8A` !> DO zn`! w9#I68rڮZBz̉+p_6J\<6v@w1,}XcV/;ąY9Q )_y̭i's/8ugK? 4ÙDc3xc}AW;xv{r̥OOIa'PA:i xUBe(ϥ`\#33c*PƑ4T,oyfV-&ԡs%`T.'~ #߾ڕ lyR8^6΅ai%e>,UE8{NKku[F'$Bݢn/pXh,( Zn[:F 0(t2J+:3eM7H۲ź3f2M`ߐQw䘵HMmiSH{Qj,lvx~zjWiHZ%խxՅ߻>:$ӈwF`,I4ј 6WW48@9~s Vs!~ -F~"\K%rOKs;1Su9b1@E#; 0FP6*DvEun%0NZ# _p5`B$ y^S\D&[tIRR%]-ތ/<o K AaJ^c Җ +;|R*LNJUgZA ?ͱ2Vip=?̘rU:Ɣ "^O32$|{}yHi^FaD6 2c Q/;gtTr̗/`an<(R(Csx[|Y*sV}V٣vK,!Y_0s%{Fd'jМ" 5 oY2Mm7(k`t^wae`S}vU ,E#%չ -PrE?_guA*yVvea6gKۂ}!~\5m%d.:*C"׉;$k Bd LE9Gfx;gvH 'pIyJGvRP9,3PKfg-7Ojx Bzd=c>~ :fW`t 'ˏRg.M; Eԏ67ڵI˯F);wN1/jk'#A.h۟ '$6z-j|ێf,9+1R! p'lq @{8G.ٵ *'Gt/ G&a( KU!"poX$n-c=W :$YCexlӁݶbL^࿔MsqG>B k^{ I([Vx0S1qft8) j\eLLi_86B~#"r(|> LW{D+[ VcL<{1\5N+qn߸J1"•u+ ,Vi v`f5(B!nd])8%{&DJ/ZWe/{XkErÛLڠ0p;*l{^XT^\cԇĝ-b/@9JJv-2-+a+jyT7n6P:v醗g?@`V1$;RT%3{0O_3~` =HW*-yGol\ *[B"r.< /PTuCˤC lj4# sցMs5j@1;P,&φ2jE9/!~\{M28K wP4dX6w 8Qȴȡ.OD*ZDM& LLYp" t G3h_P+%_'U:I1CA^-C.bPKƠPd M tE!rqNR21bO80 [4HlOSP+31 1ȪsE %gхPCz:.-Xʪl*`.hs0С!҆Ov&yfSU9i/2IΡpO . ]i-n +fQ,aOKk,7rtb°Z7PlRrtKn?m&VK #/KIwUDV֐[P>EK"X+/,y'tH=7OI;ߡRMDO7>*$\:b4^Nh"suoχHK U-'yX=t=\Se!ED6D{2J7mv@V뉝U9ŭ+! `u_6Oڶ}@M߽Zs .Ή➠ I: 7{$.0)K|HTT76h~^g,bMm& dAXw > 3ХIrooi2C~\@.3v_q1X_ 8ρ ^9U#6IV8> - 5baqK( =E\\ԧTK{hC m55$ĕ52 c#Ф0ro4/ H`9TwYE\󿧈 =}7Bc"abh\K =VǠд=63 "pJçѲ4p\#| Mc&6er]M EFԙ.V=8JCSSaifΈ8I5d1s#YCHѽ#^>=Yݽ|YqIcS9 dB5&iV£;Ke-4KvOLӏ9.`|F#h 4)JpG+3+5aaLF`YY)鈽 ,Kr_~b4^׾E z- $ۀU?QB3*30צ8Vw4Bv &w!P6v"" ڍEeTC$^F4F%eݨ"T-fR ^]v*9W=QC mM3F_zcoCGRXt", MK=Ԡti%EIsB.Cm3>K9`` GF :̎VMGR}LI{)>@s:g?܋6bH1JG?T1wCQFކ"ξuݹP:K0솄%M g|&"'DCov@}-t=E?Ӄ[!Y>zt2,-6a4~bL3Yx A-:Jheu|k8_ҭx~L1ÄZK @)kuyma*0,;$ngUv-T*=xG%\XAtPksmO'njPYD@O;YѦ HʀN% qbx*4_dUaqۑ\ЋyU '97҄J+toqO( F؋;q un$qkJk b+;+ J ݜ%|Z+y7FO5(:[P:pwM.I/kh:*!0 ,~>nyA,> AxBҎEXrj.`%j>p~_iL.!*.VUѸ$[&*:X8g#ҵkQNT;SUV71Vi0r =SZόi8%3R' fYg,p{Zqrg[@4?9u#RA nbSmJU_~.N>2άiQ!F,pyS4j0,T= *^ԁ) ᕯT\,UFU rwen|3}sk>>[F3\䵛TQfIT`x~89 +Wl2" hgEGyVs"q~Lăvo:i#;݇WR鎲H-+M-r5Ji253_:Xacr-t!s(1_/4N_VA?_tak e1DR;+!״Ʀ$s=@hT/E- 5Q%ۜc4Z2&es+߃fo7>`\`ۮl͐kߎCIgWG"AkGOq!Bh&͏kxLα"2(5QyIV>hhGb}߳jxSk+~&#kc=Ay`:0:v~\A|xE [AzV\fb=yF 3*Cm@%X@zvt{-Q9MY GO8Y`oZWYx L|?͏4 y=懁X1 g -V!\r0KI`=?>ݜגH?.tQM}]˂6D}?[if^=n,\Y#%#|wB yc@ajoRF)ē̉]aCa$}``XƯ7qI"TCVLO~|xmyTb`U3 ˈ5_pPkPO LׄB!/T,5R^ Eu3B/ӗ *ڥ8\F`<5bY@n]Ͳ!XP*6pZ{7?*߲O9?Jw0H#? 2^h6'CƦ%7z+h)=KfC38a,P|w qZZԾ   ܡ J fp_4X)mRHT{Q p)zOU:4wg@ZQ}7;8aA-J%mgN4aL'Ie͙ #`TqW驺d2D'QC/ʁAX~HQ׺zޫ7oTupBaM| p(` B\wkJ+LU`x+AwʔB*]An" ʈя T4w,&K5e I87jZP8QWb@YhzjP]}glߗLʪ^.{"Va w ih3vشv5ۧ}!yR5FpkfokrR&,;4r;/lN[41x3@Gvm$YD re?g"<[ЖNt C[fҍ:XEVFHdwZa=b}Ir̗=?/9)oH>G~թ>Z-ϴK܊d c+_~Ac:>Eqۗ|x$2ڭP[C~ČV8hTM ۺ[efq\dr"9k!fy,~L]4&/A%ÃO2*\ c %6#Ya-F_S&xٸ[l _K<0h(p$4iFK̞K;W\p<*gZ ~2PwZ~ȝKa&X!dD/MokJ­X2Fh_VNrA\uA Bᗼl8M2dzj )7Fڻ):pfCvrvvqͬ7) I& ,U=m@ėZ˷0<%rI| beԻe 687C/1eAwc ^◇n*ᦾHfƦNd>87<$A}o>o\.uV|Y!<$NA~Uz, 犨H|tΝUԐrQMXj3S+09v<oeؗ3!V}vylڿ;sRcY|߫L I,1).Dq7{h r~޺En5Y'K`]aA vuW\(-(.Uyd.$* fvwj(p7Q ;*EkzٱtX=l^ܨDeq~LliD;~PmkA BWBU0+)hS| z`(d$宩4ДNJC9%#vr% 5e[@9aVhLX|%du>4 Z%lIoHXc|LY + 0<9ԕQ̋ ZChPULhx>Ny:'ϙؚ=7,~/K~aUCΠdw҃)W"UF@]p,}aǮ;:f tʑ4u&Gӌ]LGE7~=ϛ񌏫^mRrG|Ao]n]UM%ZN o fH3.k*gt 䱙|=[Ɵ!.ȕfﴍyH^T*]*efɆXZցo$S7I]'q3 o3D"aLFupR#jx>1$55;?UW^數.^G`溳4 g.]?'*!HX\usb(iLV=gb\ˊLi^ d(Oo0A{7NqF}JPAnF;d·L}Q>e- KQaC1箺GHzf*@x l-'4 -)A/pߴ@>tpb:̈tV1vqKI>8}^oZW^Ϡ^0g:Ui%o%zC'dəGAIz}X @] d,|7Fk6'ep#OPs7 E#[{y0SJ`Cc%1yQt"`+"ksqxC$/s_vla;#"Pw˾KN5ZzZ;NHti:$|2R- ߈`e1bh^ n GCÂLf ssc۳HͺT+6Qxd=>ooL1Dκ{]g3ٱ~N9NjQ>܏W)`L<|umY aj.F'TÎ2F~ U!9MBoh~wXVNh[lvԆ#,㳀 SXJn?slʊAwHCH2(.\+[aJib©qC?) kx3{*UMzfwS&vܻ_#-RJĘbfb pc(. w(`.XWƼ=0i,,37KbV<ՂK +;$#?̖fa9yh!k:SKu8~R 8|HɆ(oq!4( 6c.^Cr!BH8 [Y$p]-1vr5Q#g#Z9#p,),)7#z+^!v,RzT ]='P 9KC("*0>m_Y`!=&ٻCڐ[`9oS&˭EI }Œ,j7">v;,Kq/ffݑ( Ŷ~cinND]JI7nn*,у,SR89 6z>Qt^8Z¬ *S%2I+bs ӗRaJ-аc6DǠM)h@_F< '{#a9`rp fǏ8(%E ;8a,Ɔ=.{9\j09'sq̋&< _F*䶩 P#Mm]眏H6D~huBu;,Zer:.M?x4PVCآe7Wc52~22oEIܝIcE:EA. O/!1mU)E%I-OTikUz<hHzuv:#+y][۴(1$ +f~ |@c.G)Cs*>R4#AߎcEdHiwǢ>"г'ݶMu'؋E YVg|z vS]Pa۽yrFx~?i[;*".?ZXjP]( 'th /0*&S_jQ[˦&7A8k&dO bs CF x6F?r&:hӵhF5ÒQk!~2u)F$^lU &$4m5fDSZ\KvQh8;-׊bYNY{ZBFSj=9]*Wi9Vw$3st*+3ZVe/ug:D0^VOqݶ$(dӅmcw^k(߳@|EY:_BXcpWpx!Us_{11zWb &t.PVK*1g(wUR8:uDPr.\/s'Ly ʾ0BY9{3uD ]`sfDrk.Xw{U5 ?УC Őb/#z`I§b9ZA^S?f? KQؾ.ڃ!!^¨UH?P˭ݺI*Ld q2-@D)3ﮒs 9ԡ~P[s.S"( {L&B 9PA8e8>W[D >>;פZ2ϺN4!r#-޾|x5GWN8 6SEwb(6p59Nc nOb;zRd4kxJZWv{<#Y ʍ/=S.x-4۟\H /bJT~GԞ4ɕ`94͏7H޼ еol6bJRhKpz &sJ טkRxv>|֮ݵə t.;t;5(nT}S"KFoa3-~Cߏf2Rt&⤴>W.Gh%O_x.yY)'jŞ?|u.bz˂j &fѣsp'F(hW*h޴DhοC4MmDeYVrTP6b 4fW1>6Pʣ(vnsܮYx?!{IX<]׸~bQY#nHٟorKoG(&͐Rh7=6#rϕf'n[_LwFɿhSؤ6DԜBxqiE "#t?Ԝ}x@B6ps3`dF!\L;֦b$<· 8ܶ5 "bJSK !f< d< ճyZORJ~ Y犅E.UHD.AS@Y̨z.>!:hj.f%P-M?\n4qDH7X9oM̬4m&c]l#qSP܂>,#n.ڿR$7:&!doNኅ'Y>)vHBwPxhWVBF`wpUnKmX*acQRg0K`*n.z PwO}%Tz5iwWΒި#~;P5Q1nƎAX3 z&줳d"!<'DJ<:䉇}< @Vx6 eX uH 5y/?F*6F$IATcjWsjۿl-1ٍ,pu0voꊱyU0|@(YW];B(|B$$h.#47AVd]-F=^D{[ 9Dl<,*bYC„f09[łN@# N>?ʆoe)H0 yCG KWbء6@Tk{˅cQPc(`O1,=GMa# 'ǡBWe--#i4@W^* In2<]GS uJ\=AѦ QXW|ED?"X_KIug@Reu T+vg`VjxizF @Dv_4TFm3s9 q]XcNq1*} m&T.J>7s(p5h;1m, i3ǪǍ~r+gV0ض!@Qrۙs4™a~}"](ͩhžҩ* ?QGW*1JxؗăI!mva1b/vזc.6hu*Y=|qXT~U$( u]&U^qICa}IN"C3]c J,zg'u=kGires'|;p_(CG2w SH/p Oi F#X?ulK DZٓ5[}3+f(r΀z~,;!JRޓ%H\b1sCm?όsHI3ȨuBJ]@@Tx.&&m P>H.] :s.UƊj^<Ϋ`,0n-/)ðSQ/GaBZaLZ}E:8nR;c/-2ףsܭ|lŝP@SI:u&dPoh{X7ܷ0k!ZY&" 8 $>$$FEFIo,W04|Ro? 9eWz#ѯЄ*7RĬɳbGWE;r'8 x?8,wT .K(D>H )E TRT)s+M 2s:cj2ط0xQ4ʺ~1ʜ],) DKk@kd77I!j|_5 9=O~6ɰ6|Z ۍ[}t*GT' (3d8~wT؆#0-q`iAuʒ,*ʬC0gYU:> r| Bc']s͞*Fx|J~_o^sW׵S]IJJ: : |}KZVA!˝["6í : *v!s<>P6UEz:X5ϞN%m<R|{"^t^ ͈ИJ 1 W2cU{0N՗?xU =&5sk"KE=[[3)|W;8~ VAE _{ɑۀ 9צ Iȏo[9F݁^Hn2$\$KcAJpSSF{jq}@h.(w ,2cnqhci~w8,_ԞhLJxZ9We3r0oS$ޢuxl`: U%CK{+uGd$0ؔD0c3Vo%؟z/.ե;BYY-j|Oq&6󐶭x6Cuv +jKaVs(ms/Ey#[x[t4`x+~%A3ŒRdok)*K>dlR-K2).-)q/:e Z/ qMj}|[,Fmmm(>{ lx>oAU;fdRv\5"\8$%%3R bS7}[sBFҘ@SI<"?BX'XD&688j QɞAQ \d Q>{՜U74peC$-*LhoR}bẸv.İ<(LrJ#|Oi:!Ҩu OHko} ogX*fѷkUn^vbS!L还%O/}!tZzp?+ ')?!EEhR2@HɍQ暤ak<3y@{[Q[i=,cc9L$J! .ioTu& $PjQPR%iXڏY,$#lZ7Y%o Pāa33x@r LNNJ<pp&[6̵Sض&EpV`?NxMrqZ]UnwKOtUݤ{!OL-2G'S@J@oZ8P͆2@ /ZXyp;v`GckQxDb&/-rRfessʠg%ltr`V`FF1 cJ<]z6Sj"E_d]AR}3{zapb&ܮ"Ϥ8\Y?7jZO`{CaVPfgovC˘0< YTn73PۘuhXyunɹ]"L-/=cxnm9CJuNM Ƭbxbnz=?F&Up,B嶒+F5η:iLXE41n`M|^7Z~!Qagazad'O sf|te.qqQ׏1 .O:wlǏU]7)x8Ul71Gc'Rә71BQQR_n׏!}nmZ]ѩxW\C!ͼd R8 )XmF>+pvCr2 >bQLr{A~EOzN[A*5ksɝ^[EIRآ 8/;[dj JS: $0.E y]sA/-O֑J8qM`5H}%HqnahJ[ǖe0zJј\wݪƜb82TIQ k XfD y'rY`#p ?8Zj{;q_T>JsJ(Z?'Z ]8Qbfov]s8_Lvξ(•2J#3HUO6^ %ֺ"oaaAiᅛV} [ZX@-Zs`Q(೔T ہVp%6 b89R˪d $\3RSo(!6;BYϝY Ήl4LL4;t> JN>\sfv'W1BfJ9d( - vV%=N!}5o;Nr_ "X@>!C˝uXr",L z߼Ǵ<Ţj[C¦Z6 2`ѽWZmUϾ>ADZTfGJ.NEVO+qPX'nX*;۟2fi)~f:ñysIUvTz#.Ⱥ6I-X i:t=yeEUX^bY%̇Cu5,/3OZ!Wug+p=M7ݥND[3 e lsW,Q.ͥpC\:FDHlywg X+TjHM·${IFiU||@lYx“EށWTgB?P]m YZZlQe_Σ{or:]!bWKĈ,-[4`N}y؟` =JB],¾lH<$Gv>a0\uж '{Ji0+P3FH$ (  iDzD!1~aAvt$+ 4 Z֟*P` eIXԣcV2Pұ8W1(oJ₡z="^'hp{Ƹqs׆L= %?LTіR`)VC]dj.1aI}rϋ5DNlWO%ؠu@2^Oa6b"^| >F.'Y9VS>CI!Ksr)#] /e)~#C[bݸִ-(Lnf WCG#z|=FPK!)D=3ՆfɣL{O63o\K6"7 لL#7yfJ6-ܘZh3V*??"I= C6EK6ؖ G|&oB Rʦ.wx Ne*j'`N pjzک8(ˊqx!̧}^n\,aPtbr:<Fz"H7 v^bB* ΍ࠉ%kFF5568΋>gQnXrjP mjs >%DŸ\lbVTXx|Ul\=# OuL_||jLqvv)z)y~ 62N&=J@ʨ8mGϥU=7)|ߺB.`X\ ]+i:G$#bLM5uEpu=7,ٰbkEr[pC02+6uĵǻFMo q!m7,nq~PeB.Yz gz^^eƋ\ O @Yڒ׏pKGoO#d:?}ꚙϲ ,J8*>]A\'*P_#ByF7YOj Ks>ێ(G_\Ddzcnt銄IEFM~ǹ*EAR3E/a/Gl {H&sv4گuna8kY(%[>qO)镞h'*S )K!kx!Hb5 Cӥ,mU;^2i˕y ﴆNög }St qPYH[xA&a "ߴhHt) Z7XW E^FGfj\rKngV{\ca2N-3ua9~s@Վm+MBiVL'P3' j-xͷ(wϠ)EF6mKe[R=[ڮacK9{::IDPwHu0ُHb}˂_nģ?<'o#+ٿ7L&na# Y$ѷ٤lpv*[pl[.YKO]0"ORO=G _.@!ԏgm-7Gjy[G`S){{FY>f^sӰ *46V\a 8_?ЗkPDOyC`v0>}^3icP/96'w?rW ұ7ʍ<eG]02P2*?f~՟-u;Vq U_>TRh >lkg!u u3gbHH2߱ OlT?`ф󥦛t lm|MbSDzrxoQa+{o:7jfxթ +x~64=^ |zP(a{HhLý%m[x0 yH=8L5×11%*0J^_Vգp,k0E S|vԿw|HSw[%HEؓt<%@_c<ΰH_%mk%3_ӴN$!KܞvWJ؂ھe2K\J&lӳ/F b,<(F)?u+&\|/@n̪r#x *6'=0w1<Mdqn|ۻ9ARiV.tֱP39O1Z-[~҇Lَ8ú Yl"KO%衫!7&~4wW>n s@}wuKjv9 ץ@X :(J > V(KjW}ᴱ?.KG3I5|]^œcavPq7+tWpׁxOrOT@r͙  Ʃ:1xBiQ+a;"cD3k[ MO-6ӳ+1D-ٕ9H 1tXѳbj|eXYZG`,)KDwZ_=S-a(EgYZ0608098b11446cce35bd1b6ae89d2823c1bf73f68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef