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 jjj%\T ]S]HOL-Analysis:threads=6elapsed=273.888cpu=1186.052gc=74.564factor=4.337zXZִF! \>']ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍM4(!/+~љOosEts7ItICOOWWEY)m$Z{H?M bsg %)W- ,2(*iq=mmp$3Ϣq+ǁL7/C k HKOoKzد~rKb!7pe 4u//qy]AW#Y ѱsaZb}jFfVY-R&jGHLaO^&@3. v,&҂u"1Ob۶rtNMgpšh,^@ &[)0~f9{T3py"1ѤLa,>ٚ "lRgxXc*?5f_JTA:叟J!Ǭ.zjXCӳ$|݉?*逇JF \H`f[Jn\NW4`["bC&eϼNj2:Zxf~5 tR (P Ľ 27C,-Auᣒi^AB4hX#;%XqHJv @BmjK?x"NL{W#Nӕ8H,t({rɚ+mE&12pzCQߢ,T+/@f_?,0>nȵb?[߼5dD#̶ʌA ߩqcZUL4]`Jim& 6L %FMӓ]̎7&Xqclrtjnȝlf(4T6} UHji>p&q̦P]r_Me;Ƨ${.O&4;0>BЪ =?,poL,u)FQa^g&cEVJԻBʗa²brHFt= } 򁄸FX` eiVua& |wө!$Bр^đ@Xg#*ePuۛ I$̥< V AMcd;N&';^L48(w]ќTuy8Y,$,Zn'&axFc qc %$IW4u)_"('{(1o؎xzܰ٘qPv{Jb]56R6  H,O㳼g +%RkIݟ=ӻ^@KAyu3"6=&>IeTw_]֤?zzm޾]%99Hxtƺ5?{Dq!$un9qGW@7hB*fqky1e(ckȡzZ/3}M " "TOdnKؔ,ȥ^5"ykLnU1R39^ V˚d訽VG2cM*3lkJ\aS=رk"T]s=\Ɩqlg= 3- @սgLN6Lj8v״K/yVJmh,[ T,~$Zg20E` $LV-6~XdἜ/ o NY{3Bz- ~qU~7g&նB9?eX4U % HOL-AnalysisN] ܕQota`^3Db#8.a/* vDM99 :v5qNX!99A S7,4\+#5I#>d$>У RA{%KAʨ0;^^BEݪN|mfPLlbMi1ao(q{rWPa~];  iSem`0JxXuq raK'n} J'V4Mj-} ?&xv|TJajFdk51@G84y:_/2gcK7*ƎQȩٳOa*$nk3cfNS8vȣI{>MՋ%w ktu18Ӟ㦡RV;+ϕIT l)FωgYϸjdJ#nQJ:Zʹrn1074΃I!a.Ovs*˝o}aV8 ] Tnc@!kx v\ }U 1=OӮ3 }btٛk9Q<JT.| +9n5g ~"?=rP{Q[K0@_ b3p;(c'ߍk7W7(!E{;vb FCkU$ߔ gr=<~^58H#jUހ@> cƅғW-H{*KV]'Nk:@}ju%"wYz`Ʊ$|ψ?ط H #<9[fJ.Oug&%Г%\aUޗT,ZX8?]{9lpx<}ݫ`Sj'C &r as61ViEz+N^ 9}[ChQto"lO>ܿ }O,RF@;pӸ~䧉RQSBȮ%tThEkdG٧!VZ cHK$Zk?JuU:'BXDJi ֶe?v :'#~nirAZz'$L9-b=oexȰo _G3- \h .l "Ǜi?C)J,x7&/IU55AmAWӦyIEQ챽=`Le' &dTԷV u[H HF GKTiܖ+ td6p;Q3ߟ%ԕ$ > ߤTss?UIa<;pW{<*:O Iȫ#7 |tX2O bUhhW\JŘPt*f޵ocȷ'I,qF<^$iv.viBmDx2=v.uޡݗ[G=Waã䢗.u1 tz}P+x1.p}y&<⫐w:1Y{ګ0:^~ˮ esor0(!ҩt*6L~!&.2zAMlSG Yӝ<9օwD-s +qZz 2ԟa2"&Qs\ڇ̓ C.AF{ޥ`2.Lpt-blũf'mMAV5PIޝGV2 fa8O,5%hGI۶$ $v OBwkfPҕ;]89-8uO#(Ճ6YZXbReffj̪b(R`H-S=Zh{!kBX!hBǀ05"`e8,ȵD Zyҁ̅ $GƯޑul4D 5lZJ=l|@_~EEg!ŢABj!_q; _]:ǞcȬI&b2C_Mp!)݋1X S [vxOȖ4X%NgBۆkcbM&6`ytHAku!X) d{#'bOq4mx,c- tʆiP2s@rE!Dl:4n=DBO1-|6xH @+MZX(, QWdI*@UkE_ ǷeF8\_$x)7~ a1$O& \.?JG}tP#OZ\6pcٕ91 jP)fDc5XM?Z~vc%x֋j+ TNp>ϗNI͘^-~ 3Hl nQɒ O^sMAeIpg5C,@ ՚(n$5RkHz}$Č _c6ڍ.㾣]M~PCACCkn,KGNUkr 䗒4n 13i-4% Rm(xBG|EMkqNHo&tL7g]i?4]:0$X& "|MîMz2Uͽ[7/}`"P>RRBT*jZ/ R+(UNU'v! u0RlKE~Bwx n,2?H+FOePNB 5gǹhJw ܒ~Ӌ!N6Olmee,O&pRwC$<*J+kl3uhpX_c_5:ێKd!($b@Cʥ?*g90"ΰK38T;Jg}*f 8"ŕ6._^!8e;8Hv *7l8,B3!QwnOw3ssÑō;Rrï 'Uw"B0BBh} ww:ͲY O[K .nǧ_@tN>͍Y|Gg,E\,FҜV$OG|J94wP1 4BP_w~ls"jsO8Q> t/ ipwA6NmėnړfkelKXBRE?1Zu M:~WDv7=fUVI$ub)#dB򡨄%0PȨ,vŐRr+4gŧmC#%KO F흌^Ahzd[흪\E,RʹVKUOo36- B;O̔6ەE]>;[ \ F^G{ċZzIDcICɷ {e{ ;V\-HOÚ;ޙ4"[VƷ壪*4Ǯ̔o!*Uٵ姱_Hsc>-mX\f&whT2-^fٳ`@ƳI v#w¸WzVdwHn{2TaPlt{tiW'V )­0mn.FIrto"ݲIRS"-0[kj3!YUT "5:ыD]ELAq>nX?VZtR 7TeAc⏱(mqe! `ܚ75c$xJTΌPxܖu"3]hf"aG6dP]d^ L>ߴ*gc9 u5 1B+s. Y 1[ƉXJU8ZcwFEW ظ( 04kBv]cЯv( JF?!/ǵ!!(Μ>N 23O ,ؽwUAWVAjI ^~yy:6-n*YT=;ƗvPVYDXZOBrōqćnL97*2P>a<}!yKTf[gB<=EX{Y_& ql}@ Yo(~(1xWiX;EӤ_ TY:BH <:E^3d) 60tg*k& .+IS3/C8C<(Otc{/.6\вC=>; AR (mXA <ӗyM.clFUk؁Y3ƌuIC2i<WKPTd&蝒fRkvT!kȣ2ie#ː]L!^%1㞸8?9T u':+έ.%G't9B1~:ѓ u`"D(f>_3Ϧ+צ}En6{Hw9w^#h7$N*VjX2F=FKr.I:oΒcη;<"%Ȏ}!y[kA Wx]O"'a]+)dLhǸRˇQ"_q߾GQ]y{BQrM }L**,6Yߧ\Ko}{ Qx`kLm]園< !<)ݔjχ+;k -˜YRZ&Z"3æ;Qo.K,t1#zO@Un,Gb6Wت]-Svm+URس?x w]`ӡvw|>kQN"SLբ❑u2rrӒ&bgX 70:;poK LYxPh֛B 6$Q1NKa(YSQuB|ϜG)zأr=+*|<ר歵R߿,Qth 10!DwY>^ΎO@8@(4iq\/⡐vϙ4}#D7yԞRQ[o1D>kT Y^}l-IkhwUt,nOub+olQ+aB9:HjSjj=lKCYG%&r`Du}CNGr$36֍Ict 8w$6z `sQ$d9Je6S[*~^rqjK` @Gt'sT>? 0IԮ{.ܵ?eݠP㭺UQS15(uen!{4> pO.V"];n'MKtj2W a6YmJEvXh殎T hgu/=6K jw w1D'Onw7`F~Ȼ>}[Ugz9RZP[EDTo1b噷g#}uT\A+i|ZkRsk6DVeP^ѶrͱC?;#B$L+i\S$>$F>T?`}@/Ѐj1Q1t{sy;q tQ%U)6žkTKk :9N7ėxfyDd0$Qe=斻q ʗxSN\|t$4ff$Eb/=G5[Bljal.$J4w{lO࡯dkgoN!a(4-(T: NߋV>j%= W %0"99N7;d_D8BfT^)Kf?^ bę6{KXZ̑^y'P'Tj H#/AFYrR9tAF!}wJ t<5(X1y@l"H[ (KDUД 'I͙:4_νGa STQli4]DENt[#NqpT&A"e`|HPCDpL{e,SDODUQK_܄:%?pD^k@-[<)pr%{=TC!cb< zgjީF11Cs2MٞYW*l٩3b hDL4O)[_'DD\$f$J-7ϙ6rY&RĻ|-JG@{0Z]׽h=j~wI#3=5Sx2c߸k>Kt jQޝGȡdj*0 !p tQ}u1 ҽ0Ӟ녇3FwYv+FZI54l]<4tGYs2Bj Dy&v"] Q%ӬB*fp.8!jG{61xc4v%#%m,ZF\RrMq^q },.@vLDS5^P{WMKY9ibu6B`x}GpNgIc- |҈O'"枞K =Ca"CS;u"cĂY*/d鶮~i4`宜7Eh^ %5s{$*b&*|qmM" *#^zvIlUF(xYln0vg%Wr8TC0t[Nɻ[&=NJpI vO D)\vxQ3 `m V>LػXЀfZ<|a5dyAoVo@9!y'hyzº:gO!Eo#۹c;w~Tᝈ>Q[#oKJvEIUA^l'w& ?-Tkj;tq:P=ϴژu׶ *MnH5FU~ֶR3PEG' ӻ3uwaGZ@!X^^Ipwoնg +Pg"^T)xpn@iAj0J% 7oX[A"P@._2߼|ktGSj#>idqcGNtu|yJqq`_/j+i;n2-NNzj(Xa$EI-2E22'PvjZ",F8ȓgάRuۧ0 b?-,Z Π_b%%9jXw*%bѦD\xj矂UPi8$<Gw),6TZ Zk':kAbz&'x5<5JwV̂/"'߄"f`'.I CfH8B< *Y;|{)9s^I 0nI:=3̣} _w4`0r_KcM4piO87E3+LWᮻpLjJL1uL6Z\Y.3`?Q-~A@/>jO&oTQJo]uW wO~H ',Ն( t~jcVQn*4.?bmWY>V,Llr3H;n 5_Y6KR J)`\?h*@MT/|O'ֹhvQIù<`ьOoaY9p0Ё*UU,usOEy к 8 F%,]YtDdGV5V04=j@BJG`aHTt gZr m,^$("5hK KM*r쥨!lh,jH6X $5-A]Eӯl% \"afCt1 >Xv>qcU^Vh9~)!3͂q0 XwJ݀k>2G Ugyjݭ M18񀍮dIos7E;<6ТT1<ڒPgpgp~aw$q@O);6O>ahoǬEJ]=Y$y+SkHʚ"Ov$\h Ya8U&&-ø_ka>ޟ^2z&!2x"_t)Ag812^ۑSWi- D/dК97-: ~$۝q11 ]x u WvA 'H`>Jr~'jc ( C2S`ﳓtH!>~'YyrdpcLuDPl`}΂?xJh7Dv)\lV5a;M,ܤGԶ]kϣVn:9̍97E~q)倫HlOtS8|JDr-0{Y^@5.o)|lLQ]Ş 4ts/qLtKhi%wY q|H+E(G/M{u76/+w2=:n(?"=R)I8$et Za|/C^ G;NpvuE fz}h#W"3Qf#Hٔk}Y8 CA`\샯 =YtT4A4יG1s)xGӍtqmIf<ya6pY\M1H!2@@7 %|!rmب.MI.O,ǵ|TOi"H[|ҏ}ƛg_/G@11z;zF6@/_愝rWBW+(Mͺ~+"7=@J9^4 #oh_d (\ѷL4YnwEIga&#P1|Zr; ^9Z7t6̨-is "/' @'Ah+UNZO\\ۜA4 ν8 2+2D\h2tO#FiVd`2NQR`^^*:v-hp:f(^h~5 .ycE}TDpE땨&X:ba޵`hݓxm>rDmW(uL.$4_/&EY 4eL},2t 0u;k}mT fIV~—ܷ7:gcciK 7/[ ,WA2ey𓉆Ά#- %{)n2ū1gmIA 'R!X3Qĥ6h2r* di`BDRh,]Eٶ.|>3q,>XR76-vUcsр/WGkÌ&$GU3Ggo}8Ig\~[7oJ3tnڻc3hi85!?<,*ݒ^&ꀳWjgE@QvOXqKr J t{qfk<f>lGc)h^!l8Uďm ]X"Ms&tƭuzps'*"X]bxK(4 YrM  F*Fࣹ|XK:Jcϵe:+UӴ%ao `S3;`FlN_Xw(\j~@xƤřFxF; ?2l&~s%AM!.GG* |~R H|Pz`~aN)E$&9js1pCl1jzqA=櫆ĞG2]O7z摃֜W@[3B̌x`*Nc /?(ay͌{!ܮ?FF`w>ʤ ǐFNsd$fJ|~'Nl}vwm"Z_z8@c6eC\Iѱ!k4{ì䖕le-xO E{i8 K.n ^(Sz-(}67%yBhCr]o݄C޺<.P17LlAZWlmk5E5uD*P9qt]9G(/T>MTM~Xu1ȟ ( W{qBpfV]Q~a[ *;Z%o54q<a H=xF"^O^Rب 5uwEkHPxiAz'Mue<(88e"Q'ay*0_yK5h p o`Z7Ә&oKwc1,$&qy(B <>DKH|ua=ɏGB 5q]T#y8)2@}5FKD'iJmk^ :%tJvTSr OR>V$7ʣ-Dq|B(s&kQ^渿IWFxᔺ`¾#r7[y:Š0qH$E:NGb^¾o$c"Mxo`{sxkӏ&4 &ii\{I`^ϰ34pnu.Q$rK$ 5FG=.xTG_(CU;+z!,So[Vьo_dK*ti) (?RM~=嵗!?]{ws_0|,HB-`&1&;N80z' ] ~PwʿiS-sHC+ta7k)5sH#_CC=:Ƙɭ2/i֏`Cx5}:A7AAe(~qsF+Rw(AD;׼$qZBf9m?u A'^&d$m-ØeGSܔvؔ]ԎCx?g6aP"kJ227g:Fvc@3k2~҄kf͇w4ue ipbqu| (y3l[CRB$xݹ0o. J~3QKW;  -gYZ7zXZִF! ޙR]ŗXi%6ƧƖ 9gf-jE ūYã[vq|&ӈ[Pb=l Y)띰AeF&N&N@t:;@`HAv r[x#FIڎ>̢3ɃT97.{]tЈ.m@\ ~ŨOui W/h,5;uLAMC8. hz7<,D\qCQ/@c]M%DD䄱"tȄs4!W"O(Rc,RVM!~iS?u|aqJ3% |yaHYY hKaٻ4YSIK6Q5{HDO )-#Bo?=#rdZJil:D/S(غ7_Ԉґ5-m An?q&$& }@$Ї1_\Zz<+ux}_}W"A4J$VGZTdA]\_ aRWcͮ8CxNzr%T>^D^Y9 N _i:l6$edK@oUg6eZL-VHWi_cW :#tl~7۔ %^n/,Azb1J S&dQ^Y1fՍC~S<0adD-Ƣ"[Ui)B )'QSl^sCf(BFdiK*XbnݣFQk;m!Q xhupǛ?!Io4˸}5xwPl1ZzCKd3ߪ PkX? 'dMf8Z AS u ڠruTs' $A90Hc3c.] 3KvFKyt?i@:݁%97뇧QrGR]]2gOOz1KVp5?rgv`~5X2[4&OШ-Oؕ~d\Q?e- ˜1P}كjGq#R?J&"ѣ rg|鸐$mbǴAҳ fO?*PU4~+~+`hժGi{v7@~3y{mㆵi>2G9͈>,Y*;Ԍܤ{S~$2ӗѹh)H֭v0L0+-I{"ƍ/1P)dZ@%a80~RC'kj$ hŏ@1i#c&|?m- +cHȓ闟r٘9~d J-ԫVttȨ/Qg"bh; Ep X`u:SV)ז$B'ٝ}<$z1| k]$/~ncC#%y/\zkxnk3EvmÙ%voo]7!OA^zSo22v'm{)$ KOW*y Tܲ8A1j3L~[٩ :'W%$JX..7u,|*zh >-715 Z B --7RN$þM d;B 0G6~} ^ìu3s!PM̨i|u{%uԬI\!@(V[L Tg1P8,j_j0 3GcqÝѵ~2c<B}ޑi6Tkq<ޛIW &.Ǎ8U*/X['nqd~h­B_Bȋu%jȅV"Q#0/`ucp_TPh?79S˵ .뤞 Imi=j┟^%YHP7K6YكȳOg[-eof|2ƜiB`o&h^}mu?0 B -"Q>ǀ8/(!/lP |5?1xE)'K9 $)fcjxCMl1@I *qVts>$"4OA#9E7<IE"I s,BP"B7Hc$ښjE'`6`J3\sA&1he2}ogL cr5]m8r8+aoEK LG߷AAIHbIgɞdu_ܜ>[i \}*U^dĔ}w8_^LT]dqK!+r3Ҹo8 K'|P}^PD"̄ԩj+V7/M.0c,0;ߚ;k_$y X~Y55{ H,NWScUM ZvLV(l[];r%ֈ'WUMG)fpNj^pX_aڂHLgJ.?N3znғކkI0VhJ5Ҹ*S8_?1(BC(peFq96M2&; Fv5}9p&kǫma l˴_͏C:eϢb7@m$%b./3:Ph@j*gh1^.)a،woJMiRp0l(I넹G~!(eu 5imOIg#hm/$fa)) &?i<'&{t^I^Õhj& ԤǖĄʋ 7bş5O: 55=lソ$665|e }(Yj#ʹ^Ju-8 m(e j_ѼɆr;lwǬ[m |-}MuI9 o d{5ZF u:G"פM{b5B2ԩiYhrob(s&Jə&8& ͔1lF Ƌz^(v@ԛM/G̔OC(A~Mg)z~ee'Tnv2=#+\|7-!~1aqܴȍ Tv;UהUf#Ҕ5j! +'3A #dkXp'$V0x(S=N$$:^3eՐspM0 w#rYFMF E,<ћ2K[|uw3i_A@  e|TmoIx`KP$N?F XRTM :Z,T4+>PuH#gXoa@r%D~tho*NNH; J 5ۛD߶sWd<ӝ]^],JIGVޞր T`)-ڋu8șXMD'C7̀FW#t8V4wf:;: !7=T<Zq9nrK:OdQ;!B&-L$h#)PNm}A8>g=vKWbVpE9&}1?#s6BIfc'r [qQtZ9O}ƀ abQ$ /;+)P54ê[/Pb~ǰ^vrM/Y`#gE_^M߾{.j;>AIyv:QdWz` AMr44mD^"Fx2YA|DZ"<]m nAHB V"I%1. :ЦCLcbLbsxBKwwJw0.?UyUBq>4A c [O{uu!o;Bv3Iͤ?67g8B!sߣV޹QBe=8S;&l 4ۉ(ibB(3\H5u $NWGFҖQic(CnM9{NYTxk|-({p0tV6U#MՖo }I2S:rKhh3L]ұWG]>3mDw,Cd,פ 5UODi^ $Zmf ;,]c 7 R_[ANDDj[Y_ 2̯x]]m [vrȆɜ+^V8B&jh}Z8ezkzNoe-%OćLw@7鼍.FZmSGa'Mt>;E3X6<̼+u'RNq"Z$CT+9wꀬX Ux\d﵊ x2e;Ps* Qhar˭FzXWۨNrWɳ\iyn5#t`|´(z4 HL } FӋ#X9MiHB>XbŁ@&U̿>@@shjxu'䰤33'0A ݳm˰OOA+e-L|ײus@2 zIl#X=,DT72, De~{?ʀ?!'Tz<ƄĦolbKW>羲d.?`]Ye?m':/G ۑM!92L$(-0U/M 17fGA5"4( {jİn K7F }٠j}"/VCoPRlK̓`}_"|b2bN5cٹdo#tЂ{%K1v<7 aup]wXOs : :H9><ߟgk"h+Z\%w֤ ʼn>\}_-h(uw d5'I+t GGh[4ƌM#}gta8y6TE@4RjW!W}WU#tlT:wj<[CvXY򓝌bi =4Kr,Pg77fAovC+&(_O/UC13Tj@ @^!L_OuƶϪ0rrهz[|.3eEFԼ?VI;Ewƌ59ڿ^nu5ϣOL>$V^D_ʦyn>{SƝy)h(RI,8*c5U+$aUH2znhMb?#YTahB (SLB*ݟ1XEiKXi"\;~ ӂ,،OĘ\rİ 9dLe_OkCІz[EtϦl"{~ MS+e*{/~-5AuE!'\nj cQBns@CٜIسqSzqGTMw0#pj? e/sln-m:ౠLsKX^oxQ>K8ۗw_'w] 0nQE=:%CU&w/rձRӂQ=1He 0[ov{!ep;f;S?O{q&Q6>D= u+CS4H( 4,CϨ;O1%8M ?H^tGLr}?3ː, S1܃tOpq䯙;7ΥIKv9% wLkE:Qgz6p`n5P0[@"9T"D59*!h4՞KZy$jH[T(A}h&jRZk9]Rҧay(6cB( ȟAfY}aL#~G?4,OWy~~I9`\OJXs>gO63<5HV&0RS re|28Ne,f'$ ;I5_63.D(B1{$!Q>\'D0 ۃC Q)ߵt,CL\q䳃EE8<5RI6)rZ)YoP4DκQr&??U`\ XW)q&wLDĦ31K6v3ABUEaX8qje,4]O?PnW]0~O#HXq6}B7Hfrb.7;s33)I{} L A%DRɧSj);&I1R>J=))A?'x`99^_So_']UUDcNo>6&:[KtJRquŽ.摂+9Q#i <(O+ͻǤ??pDkRRb$A#5{`)@ D)P(|_JNTb2n'M];rb|KM b\YI8/ȍ/`S`h/}ȍaW%}v4:- dINnK%+~YEu<3suu]8Nc⋚G1Z6S:k¼@a v <ǢS;S|;Ru:y k)vK ر+3@p4J}ӏ"xb@o@ J/R4R#ZIQV[K΂_F`0*h̋ΐJyj}.)DOeaHB̿ETw Zr!UC)ʤtgBHFPo#m7tI=__+.lx笊9R%VfhϲlnkwQcEGf8O+6Dk\+K!k19Z,{L@ FdX-/ Qٔ 9RO&okWpq&3JX{ΝO9EX |]= p9QEIrFYOŜ j?NLE:ZA>e\YH$ȭM9Q2Iֹ+<).R)Pq4|)qP~?{r_֎}uVc3~114*Qq:||dUOdCՈkAyៜ0U!J+VpЌU0\e}n͙wTYT2)_'!Xj9~}=VsEA`Ɲ冀7i2/Ұ9M1ni吭qIQDCsV-}k [ᑸɐպ45^87>:#bA8R݈e:f_+Je#:!Ō"_Ev #mh g3}L@#\AG^:^[ z;z . ؽ\2bwANAE 6/xT]2lGnUv%S m8I#=P+#/V Ԅy6𲂯q{mgP]x`%wR)bK]z䴶: ge>f>, q%9k+ "Ctô{LnP!9RAX糐:YD;TI}c1_7[#tq ކޓH2Dc#3e=$kx0ydnF.ePطpv1eQR?>y!-Q)i :.Pmx] |HW)a8;W,}4)n٭BƠ$u(i5E8ay8f?qs2x L'kU#;F4 BOŊ!W>)Gܧ7.ٶOBRoBآF 䡟Lή<_[^[WxFsE+a{ӃAx,Q]:n2T:򉮳kۀ}-Y~ܔV5<0-V8| ? Ƈn],/s]WO^(^^Qd XmX׈!C.03  5E.[‰~Kb<$("-Z&46#-,"pE&?H .vt*j^ZܲE-s^%_ǘgWET "?̱6W@J3VTgky^ xy߫*Z]HLDmvQhdQقH6rW9o8yS`*&5cq]䁱Ƚn׌_m[\+4Db@B oc6ی=3Zov( @ɕx39/jeluL+ dŮP:(D}p(xG:bl2:oV0Lػ ".=6EM.P@TMZO2Œ@;mp1.,6F0]l/ nZuB[ȾĔ1c"yX ۡjDu%t:F펋#~M =?q?X()D6tDd[DmVKDj yF[ĆW~9QП]Lx ~"Q2)'['st2.KΩ]^ڧ2r;H 0Ĵ%i p}M>[l0u(_ȁn]tW"0r닣0)탐eO Ĥ,$FIx*ߒ-΋R‰.0.^ջl, ჀE;oa,I94Zu;RW19/=oAGuΖׄ/AG +K@ RYE.}?tBkV=Uށr)w.*j^ `vf~$9\kZ#Ҥ7|j~>C9G t1KF^KbNAU)k&tmmX=wF:~ȣؽ3ѿ^{TVY % j_0 [VkJ/8a(}Ys jN|e ܦ@[0д?W>ߋ&p]ݹmB.+Ԕ36f'|se쿈" C`@{ ]S_:v2Y?|!ia 0[>R‡2.޶C*s;#[7mhn0*QB8o-eU"7F7KTrΕ='q)Œ\Krtŗ:!x}b2˸T=E[.DX`n~ hk,1`$Bc D`b dG@lxv':Juȣ4vcIGlP8C o~?ð |51  pŤ\"ly͸@s׆;bUXZ\x " l]Rv!r-=$?X+Me_]mnQt V>%"\ ZXFAwU=Uwr+U=R77[771f._,u_Y|`RչjѬÌш޽*ljB٘фck2صͩrAֻ n6Heiyi`Wz@r]m%0u0РHcѧ8}۱1"+z%V+$?#!}pF"~q_!Δ 3 eHBuJl"C hFZ΢lZ A 6[mnjrGR$FDy.7 *rU3la0g;\d K!T=ܙ"9s':8]2CT?!ٱ&V`Иyejݸ`v}dNgJTX-={pkeR.-_[zG? 8^tHֿJܞn _#tw Z2WolʩYډE .g:u3r;?\4F'gq7=GknVf߆͞:Ɣ liD-H+jى* 鍟r֬[hg)OeA4vJM!sbcFȖ'崅{w8_qb}^$_T1 oF6jpM'<ꕠ fT᷾ABO37clqC* *pѩx⢵S ,H^YQeY᫭v Oja_ju н2'&T5EAM'@xX kQS&SZ](:$?mJ:sbyzE`v> #N!&YB6Jm}^6`.Aeƻ/@Qʼ`,յ4M-Knoh11W9ݔ̀`t*w[J d'}A_V?gD..#م" ߫uF 2x"Lͮofש&IkJ''8ٌ5R `Os=ӓ_y"84S01:m;. $l<Ƶoou{7ft"`J"l0 `3:1 {`|Q8y3zUS ,?<2޴<5M1{6C^@|G舙P;ktHOESp''JNXbY7i,Ú}/|‘s [^ڻyLV|Gw➿-w7h^S9 }:ZDni UϠ\ |XR0 &0$h%[c|wtsfUjLTC(GE=b pzF ͘!(c &Un:u;L-#O- 4Dn4stF ah'b&ޏ6rF6 0c!"OG(aru 4=/yflkuٜgЄztu}89 *j1nu7,OkkGVשRr\3(dUuKzʹʿ'wI,g[e2io%,)]zH uߜ7Hl7pTyɦޭc59媟ٜ"#5\ ZT}z<(1*ۧS! Co )C Z@_AIhD3jmqAl 2պcՀ!֚GRFS[yag< -8=GU`q__WJJ?}>._}IYv|$HF C]{ՖL3Phʞ|^߀`UxuZ߄U'֪kS\ <Pm/efH-wf[zj-=BTūȡvh`z݌g1f 8B/c0T3 ֮P8=4s,hoYvT" 51 GkK%Mh%ǤT)|nCmU?r)~?G]+N3dY>T!JzB4.D5?־X9)i l( ʤXc03amn4jW;ΖZİJ\ET3gSHΣ 0լ2%^B"DSqUaO)jXDK x(\$bțPjŸuYM\Bxe z{kC5ЂIuQ+(-XH锞!bt)RwN >'lL@)C^F ƮHeQ UN RHZd.]3ژ]wEŇr&J\i AǘtwՍ^'b)jڤ!Vn þ7.(Hgoei'j0yw8zf'qk[w3O<ۭ_wr^TT!dqMz,ҾWt~lA ko/iG2ff / $Pʷ!أS;6aBGe/Z*ҡE]-6G%>Df]R #Du1eBȊZTd} jfQ _;R-cE}?N.u92?51ܵɬqf dtf:k_;YG Ǝ807u;`3kl1<:uL~ ` ΧbJ8x2Ңmicpj%ii6χ@*Sg1^UB0jM#P,^P~ZapbUKWi.dSe`U ofXP}" =?<ǂ;2g%U&h/lwi{#M,$Zۃ8vB쟚f}Sx>fqW'0XW|VUb=D5kBe XZGO~g?c7CRc~cŵu`CIa[_*dwy>VZTRޡ\-ѩөX H[kw0*tCt*D| 2Pϊ¡xbn ?ud -BDՅ4߫Nlw^0T[_{E>5Om+j H>T{;})>h4oV+/%dE5 p ]Ͷ|8R 0tg`r 2ͥyfYٚT}?IV+;ϜtGsծ^<̚L{4-g]2Vgh|٤·[{A5V.d%wR0]J[fBxVX^a!T4utB K(4!`\ qOm7+xY#4pNAߞp)fecnr$ʋhi[.Hc% x 'XX`(ySA%D(j(K9;K0MJ*v*2i_g0y,X]wsLCr/j$&-Vp2GMWO]<ڿF9 7,h`6gA)&WU t &\l3g"X BOmfNI\]giPcpZY48$׬X}FXq1*Dc?c &a'{")ĔmƶV+K.9@3_T!YP"J^5\?k.t]eoy &:ۯ5z, c'r뚭m7QY2ٳ{D:pcWvPy.k0=*_)D heG٨L_ߎrKgQ <<}|ˑ eoO{X,t8hm~ jE?Fæ~<<){ QmIխ[o',M EFŞ;?Uɥ#Ϣ;$E$RFl_/x4#27;w1JP3E%NF#tx?˅Q}iT@ ^ݜ<7#a:ml`ۂϣ}@>DžMz%<)u47s$\Ya+yB8W(IQM, B7~z}\֞Gj~@D jO-|İ>0 o%:0mTԤƠVHAƊP-bpFpKp40fQkrM&`ň$TQ~ \  bتTID^0@4U„1`i~n%~ 66͠sIGuTiPtU9|3S@TjA-*S=paƷ`hyϏ䮖;4z^'%8vhgQfCd<8( FEp~@^T.xIj93b39<; HXZsh&E`‰%R0(,E*@s3+( }fzlkr,Zj\c~*-7?%;Hn )x:9 X,b7rʂbEIvO|GjX\ی*B ;4>qĄqIYDqV&ˍE~ߨΠ/ULQZ8NT gDv O-з8g:d RfjONꇆ;\֪J=.!hHMrb`k%C1( Q<9GYm#lώJ ]yuIJPHMaShɖ9ϷD 7g.t|Gi/- ihuŔZQp$]Hrܥ 9vfZ/!:U:ͥ UCr+,4.3]i֧h7sMD7\&JLCfTycB@J,e| XYmU2 :1Y/ԟ,OS!tR4PEѶ_%\:M;:{` w aȑ xVO E> $w4d|`sm^tn7dܛ; 9G@ sI ByvZirdvcGd gLyAL;"5'uqq<֌Zn3W|}h&6u{X䩻OK!1u_Z/'9@D+[X$6cP&auͧ-(*! MD剄PI1 7{d 1W ^}WƚG7u@Ko+;ujI-¢PoE@[+=2TN2e6uvh[e&A&}$ҚOk}8E6E%,\##Ph -Y'?k3 L0q lc5;֌NZC,f, ExbU~F*㔾ݟMKuVNֺSm> H4yNu]k+(Bi9VYN֍3@R˳K@Z2   y6yƨN1;\t(5+ [sTXv".Q$-Reu$} )}{~Cp{A /rkDX] viev=OOpTOed)/`RF>8H]&:Gί``bAsl-OUl)Jn됲 QYG߾"'Z,oJ;n’{ŠP.W, O 3"R9UЇVU/yTEVeW+3p ]rfTdhߏR+uP$H&0Lː/T/Av&Nn>RKZJlc7*'$up(P(G.uR1׌=-+mZ6`媂Z K`kz Rs "_6I¡ViH2u%$TIrgYZ6daaca2a9383498a0f342d0a5e5e4175a623c0630f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92 8d0afabcbef7695dd5ba2a156215893f74586293250580f921b31fc2ff3f22044de5b2b631144ae7