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 HH %\< ]/]HOL-Analysis:threads=6elapsed=275.311cpu=1198.636gc=82.992factor=4.357zXZִF! ؛<]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({_WV⋒q9b s/ BIN󔊰 M`=d I}$2|RdP2FKTˣ*CNHُ_S&agK`;,A81d럁|$V ]opƞOy% Vʊ]-9 oVw쟋I=aR잦yEO1s2y._4x{n ͔msG4'Ns4SL\Ʌ2pP:<^rp+R5N<߻Јx ̅:PX1 ]Q>a_  7Km-\._gtHB7a'0IFޥlmDPBdUI&٪=&ojIARֲCdصCSjՍ*$i\a Vg[sx12;tI#v1E@AžNaeZ&@l0 S>rG"?9Fci ʹMl&ӝ! 3E/'0|06tϳQIRysy_v;ƈE։F`% ?R_b+tMM6RSJ\ 13MhI%\D3xjρ$.J֭#XY(iSCz2%fK%NŽFXk]fr_k:=}l9{H=(]^ _E۸ՄBD,סH-T:ɳGW`N7")fs]FڵA{\ k;Kْ.-L?R~:ǣ|J?~w53W5[vCfb i*7&Nr>SV7j='MT})m\ qq/$b!@X gHeYn Q}W"P%4yVqB3ـ;j2v$E309.6XD`d-ѲxX+/;P39% 8kUJdJ:UPh%EB{6hfٚ|ن k*DSZFf+ƭd-xl?|M:O0ҾF[Q!`, G_UC4($@d3C: @E$xH~W' YҶg"}X; ==dg$"]_ xrL鹨m/D[qpܹCċ-ox~`<V1HGxDi)= uz66|>yn+h=hIc~^?cn5^c 4n;gAzUb:S$F0i'`;Xx.)W5gLkdߍ(@ Ϭ0Ow fs*ɻ%MVX)<,8'̤T}ʟ!O؁k~ ")hEQMSj$z>60JfN8(N@OhYRl6FB ƭ5-RIlOUm 8ZUEuT\U]frv KAp2/"HU~$a^&P@A)b*CF}ݞLD^ MY"5~ԓY hyYkܰOT,ՒE^7._i1d-@%[jQF;ITdDY!1i]HS˞NvZP{ jv =\D,/iR_(0BEyd]$~P'W'm#KH"̒UV(KOd tJJd.?s\dDX.#!\,Lc K+K%R]2˺\0wIdN{%]UJ}L+9 h7va!.TN) F= !K/Vk>߿qXTK2HXd8Ln `'zt]f54c`2E*gk)7Ycf4Q1NE x}>bǜS;vSNC`'r!',KTQ+&_`pGp|&0Kf݈D^BeM;&a[FB =)kgBGAvivKQeR#d3+RjUD7&N}b??\'ΪK^b3vPB̪E^2 K<Yhnvĭ7]ХTnj# kW˵Jk #.b ih 26}.mu^`e,lTovMFBϾ5\)O 9!pc*TSDj R^L}!4Z#H*bJ 6Zw2{A譴 O-p( gob;.>b~*ӱ;H2gC@O)Ae>w"UA=*ߔx=ԌWl\]H5[P1|Z@=@uQ-@N'آIZ7sQ|mP`7/ 0O#txI.,x0e-ϙ#e)8L!b?$j[%2$;küwkx`_SB?}xMۺﵽz3jJs%Kɸ[Px˪csn$cw|؊!0l*V4kk)HMVcI&y#֊ԣ +8lbQ=c~[5HJ ^rm ըLp=uçcpLzs܏<]%j{6QuEwg L_Y2N ̣ml1#Ĕ\f:X\+jmMkj~BR~EĂ9^ƾo:^V%e$SeY ֹg{~$QJXaEQ"N:}h.t,qM `oX ~yɗzgˇk %2B Єt`T*aN֙m:.dt=_TqKy0QO#=0jɖnI0bcq+ܑ"ynTuMZ%ٓ?^&ϝw[ q-}OZt+dǢFr0 HE-ꎨ+uvcu07 . / F3I\$u!U&xo'SX%!5'4 dA~Y=Qxٽ0?:"NIA:07IW3É/m6o[57p!č(Bdх2^`S|~DwrE:bLUcV@kckQ!BM 9D|c#x6mIϰ l먴dz~$V>ലIɴh]p[[5L–:Gъ}0gw~"DqTp/Yc b'*/rɺK܀u CsپK]`؞o0]A=XA{\V|ۀ}y57-"UՅ×MTb+#{D Y|aY+ev_&}\U"C}\T$֟-i(uZL[\¿;!ndc%].k 2޴<0>T]D-Qzrg}:(^9GJ.vH~Ag ZpE f~/BMnJ.g$@\rkb'GU6˂YYjiJA c-?W&ݷs1ߺ\10IY7b=3wE+0+(y4Ģ[̴>Sk##U#qbA{6*t'l"EufHhz *,6"@]snIFučxճ瀋De36vC}fdGטwC@$7;J }̈́~@36k4*17e2n7^#-/rfWzȐ|Ү©q,LqY3+_]E(0X6a L|BRգY'Ꮚm<-(ԫ}:umMp ^e2;r0\6v,p6`;Rdi;oiv)x$ h?VAbŇ/h3~veqX[7Y-%†zh5Y=t+6<^C&Y6v I~unr8 !%\-Mfr<$kۋw$iZ%k q)D;:kiIE1f8U{o*0XR Y7kӭ Z2Ĥo7anUu{ Q%eF\t ٺ;|hIXBx ^U 27Q 5)l²m.iO{j<Ǧq`h&IKB< Vh]z^J.bA y;x嬍ZSp5"cK->]1Ѯ=z]ph +:A@?^d0ɧ}eΥ.ExbYIx )0 yWeu6b)n}x>WNT-b*ޘmӻEIMc':J\F"roZZچt9vK -x@raNAa=||/:UgHu5~RWLDt|:XE1+Lsm6[aXofvtX*RKn-¨f(q!luC *nyYZ=NdInzgy0=oإ¢P "s8\"'}b^:4׌w]xD 4+\GLjMbwjrYԠTFaċNCctfky2hNw:]?0 .бBʻ>~r{֑%n!q>;2J#Ís!|*ݫx*~J ںwd!nrCZ ^%s¹t:urÛ 0 =LIf1bKmB,|!@ k 4= hOIʸJ9i~{wīOwM2 @n ZB"MW G- ~*lY ?Bzhu}BJ+Mrمwi ~5q\Ѧ߹p䫶'`r0_ ]tFtc7+kew!v'Gw|~CU" D.Jܸ}mHUJ'la$-z!կХ&r(+:$;ǫ ##~PKOb,f4JVsA/PN6?Rxnd JNa\%5>2<<4mҚ89|-d|amبuut&. CտAFAL`$[p LkNX ̗vS*CӪ@_Ҫ6H/EF؎fdy8َ%)%B듶bӘM7fUP<9HbWQ.Hx# b/G90*e3+dE]#y]!ϽfAHΡ&s(lnc^(֋|nG(hCe6c:Ŝt!o龜[ f H)d\馜ֹE/#rU8r t/Cw};ֿY/8j}rbU{/>;7`Fl@zHY2egVҴug0|~ `l/;ic dhq?1_3+eʜ6;:1ۉ~BZZ>F6ʜ_ZT({&2|!)>VwcPn1QPě%f G$LZm#B?}YEd L1/UBp7A~/3ûA {uO˩MКg7h76,~xUUyDUI O_nb֫P`twhmQ94&ޖV%vW^ouQ1!LpL}Ex5N5JF'0_$S=WX;/8 \LA)x jL#|DƟ G θлgmu唬Nr~-i+=i>OߠOo:cseja+LKv]9& Fx ,ZC8ʒ^ap!k}"Xoov}JIx-67ehYvW0ִԖ ޣ+j0Pʱm/2=b`TzgWc tcG(~gx ̈́?J9_{z}ދ]X7d NidK-r?J RJH1!-bhY}$2DnbVK/ yJRPa*TOυlU[bP\\ Ag85,jeSM;[2ȱZg}_ZqG+rnf,>=Hd%|ի%5bz;sj2^f `Cd1b+_5iަd гCFi#[&jG%)=_Q_i0 o1sϏD~L yMWy76N%A:sODfRO7rV3vjnoV~Jpo7v?%.K4]ETY;f}2*X:wg㬄wfKkxJS= jA ٫Ww pSs=)tB8 I0FIB[2_Wy\NAe8Ųn6;\R8]{dS'\(1'?zƟzR} nO ;|}欑`DeCWɍ2jtm6WuN!TZC\U GT1U #ut_w^.T 6W$a ҀXz @M>k+!FY'!!0^I!o ђ%1gvຼVqoINJbwA8>eain֟;sޭ5do:VBj{kUz&tޑ֦c6TDܑCKb\>sqznJ:5<0A qԡρrg}l"pU\m{Ƣ^[C cQ a&0}6$,wlLqfuݙϩ7n,?[};}HkS$*cg7焝sǼ|u_8|5?0=w&9 3J$:XTԃ)1ä? *j: aȦ9AK|0iAqdus'Un'rs:Yq%Ã̶ę־;CWz}~K1ns]d˪ X[V"ӛe\3V#Yr%:}\Ig7-BTdQ^bkS,heBT Wё֪E@Rٽb=X:}%+$_/][a)XMz̐K@,"'ɯu|̍SX#s%aMkHEQT}@\79QD;Kd.+ U^<:?MVuJEJ~!jJPZNV7D)ҍ Ɏ{aop#>m6e֝$CsZpOX~5‰+LrjB218bp3<;u:Lyq!+̿ꧢ?\ ?gn瀁׃<9ڏr޽uHmR:Cx/042_yeUQE˫ 3sZt pA"v>٬]t089;ޡ_Og9 AS*Ǧ./&WQe(;:+$wd[J_ K;^S*sJd}YQt=q]?xqhast* D,PƓR\MQY3^\#cD4 sR%|*ȩ't2aI$ m+APu2ȚU+ЅMi$E}![l~tg=ivĶ%s'Kv. 3_IQڻ[6+L}D|f!qLI=ԟO\ Lcnښrq 9 tncr@$J%ft5]-O mz_%`w֢jmȮHɃ }AXPGtޓثV.<=.֢ͬ42hJbU~ B`D垶e^"n&me੃mnT{$F4"~w1(rb<+9T7hJJI.-C_1to՜e% +Xܱi)iVI=K&ط'@> WbFT xB[JKmE^бF{Է*u9;|4] (z% qgRKB!BD7ydb.|CHUA LG}2E_`":==Skj[A8B2Y3ZHIT()YWTE Bڣ6;q.S+<-;o~oi3db5<}]nUbxO,+)TP/̮bvT1&> (aUO%6^o뤼~uiDĞpz&)ӗђG3I6jdwqdՊ+~t9q+]YbZtQ+@Cۜb;C9ʼH=Tv|Ckol6Wcٰ z[vR,R.=_&fpXj+{jeCct ic)T'7>őߺe*js%@+ -JMyGt!࠳8m<#@Êuft.m[#ܐZoJSMrQwJfm 嬮"2t`⦹˽3*ZCY^-?T7 ]>mf\۴p86!R跽'ɈA;ʼn6HX SrGCaMB$'r觥Gz&q53ve ln[h@*'vI"(2-G+18P}dq̲&; q+s F> nl߾`CvU󊿩"+$EC| .GqM@mm@uc6_b83wer z_;,R1r;9{8zՉIj.3,/QZCf3%s|Bt F{` `uf\Cwe b *>Go^j71?G1252t؋+ C:[T( p<™I*:&rW:O{~՟OےSAL("5:dEo`&Y_#C5Xv2>q̋횔4mAa54QR ev|f?#Xup-zyz9.⠉9>8DT!aH$ k!9[v&q-\%JS]vhoШYz:G&뎗D4$7~leOxL;FJ3֤pgv$f)jB׏[bLJ-"> bWv7(! 2;kq&HT# F_Ă>orv.: 'V8*LsO P\Ӱlځ[vA2+.DQqa\{GUsqᘃ$ٸ!qWfJV=: &̤Z9]h:iJ*+VZ+zǜ򌛦=U, U㕖d!'QM:FJ_g`ߒy$o!\@{Ua᭜f_J(027G Eqa QNK#/K9v7$`ѵĻ K7M:5E.SD6̝{-ե]Q7o>‚adh"^z\9qf"9jF{eCVWi6뚉=:j{!c"B ̩ϓ{[3];SA Ó*/ą8!d+2X6 7p+tcBds~ 7#uc}upوA !n8&uzN0r B/@zNl%l-y(^U5neE"S|2a2%㛂|V1 G%SW13Z;i_1cr$^ZI E!NhZPJ|Һ%< Y)z i%gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4X1`#PND+/Swt+0oI# oqO)aݟżB>Sn#}REf5s9c+٪irT#v|>f_88Ux~kУmQݟƥsBJ~ANVHVn~Tt7:wpb~vN0 z6V>8hJb7FfW7owepV!0iGyxp| ޙX7L5DQoeumD.J!j%X1 ֬ć^N}qյ򰆃|P2}Kݙ[?UkGyffض:UN͑͐#iM~%ҭ s򳦨l!/LVOuU_.4k4Vyac68kV& ,/<OԚl9Bܻ%Xwܖ*jAA2#nR{]13`Kߛ6ֲCNؗ]a8x~[j&pA-KmtZ?"\)"vDdK] 2[x7B *兰n >{<Y_dڪQ R HY#Q~ұKRc%GkQvmS_6Xa9}ոGr(8nm=*T!vjEuh`Z3ЇE4d^8HCۑh7ΨV71>gҴac cA[U634#vGoj㦾ȗOa4t{FlHm%J!mgm搴3wHwxk3i(8AgYZ7zXZִF! .R]ŗXi%94:]}؋mb pGR|1= S+N-,@}ןVy0p- o'DIZ$Ve(oN$ (y!pLj^T):-Gb,JmtheQ2QFl/vП~s<:B% _5fTӰ_~n m v\5r]ԔF5v]^3y7!*d>ת6>o!+T=AZ3< 88Ξ3Q:3~Np)2t4YGI| 6Vdo9Pn)X5̯$cŜgF4Ͷ߹ؑw*LdQ j?أHG1tXr;(wd/j<̚Ǡ!}|nX3kְ &zyGtwwCNA#9á\D-D [/ސ{|FuO7v(.c67£1˦Z쩨Cg C;{I"KxE 0옝ߴG%-,1/0$EG> 8UzpgX3KV&x=a% C !bn^||%8˳Q[12`%5r.@i|mkXZ\4ЉՒ3E-`:M;{Jʸ\bB~u19YnlF;;C{0kP( |Ɗb0U֎{[DDj.ňKӑ恮g3tԆAA|8\,vHp'ZF:k[abRJ{Q!ǀC1" hh 1|m:K@ɏr3P,J x4T%"v>eR~Yᤅ0y1[Hۡ "94c4;42ꁲӿeRTC.SuUQ16.Y6_sxmi L ̼P)|Awr/C$+]|ʌVyI̋/b)e1 T6&X䨻,+13D%8K$l8jQdBy|#,э0#&?ԀKp UAcÚB[( ˜B3"jس"za٭}C +#ԔR~{u1o^e,C>xGD!ln5k L{iVMK; BNxTwJlb'?+@jG{QjB쟤 p(vT?r\Ԋq m. YKfB= %H9fP )<~#*SyURxe1m͕ǣT("xj\ӧ8}mJK~wk +:%B j[2C |}WjUu{Gа[Ĭ"ɤ*'% ɉ7l32 :ć}µ\4p(;& K/|uv!Pg?CCM,<4˴HV?CR[UzJ8H$)HUr#G49QzU ~)O'3ov]]YŇzS~v5dVAަ$گi3!gؚ,a!>xEx13SEĞoӭs@qRtd{߯4 2KzO >BPR2kSy{@KͭӍa+6D7y'eƒ"QUH3&Qc2:zf(rSzjG<[~@UfWy}ˋSqTX36Dj Xv?z~;9N=)8ZSuS,)rP#fDpD2V( srwO]+۩[+lU߮{;^ >645,-eQ)2ևug_鿼&T g1{ݻ>h0ýJ 穷hSٵh c+9:\/ HNfE,ZaR27$|zU}yDAsDJu\l" `f7TX}ݽnue~wp,.%-LmvI-ؕ:,#(RK*YS 5WO|!^>(y@,ܤ9OSH 2g?hcqb&[X#?;!ߠ QfKBy.}"'-b%nE0/$rE,2z;]W*[33* 1W8&4/ƾrU*vk(#9u) Lpu>hؐ(LFrZRjZMV(4*LGES#=ي&NVz皫s)g0Wjt\yXK(4UWĨ̀h DP;I29ZrUAaL Nz5ߞy:NFyXd=2!&1vtX_lap, T'Np1t3O2_ *doA ȴqj^ޮ1s`Կ"KkZQ_>㠝n G5ڦ $$#*)vuĒ[Jᢲ[ Vʰ)8 uJi7Yr3mb- $S4N[tqI^gBs0$Bzq=GjrQu<9NZ* <ah+eOའ?2)+"]! [.D)+LE-X*D W߼j=8m5H2x纞"4Id<ᤄ؂8 eV[G>+48YA%x /{5Q%gr p5Weƹ.]Tk K =gChE CT "[^%ɀ6 qG cHw)._Lr"O. {[Py\BE#:9KAsnf*nl<>iFTy$|s,oj.৓@ yW#cN 8w2n*+vN@&B?HAsLT [^;if(:eCS5+(.ʸ$K I`MKͅQ~b2h)So../o&,myofV"xSh!Tt#V%]>X-<*(mCz^0gy?3B晹rw&[j[uAqyC j^?_giXInr̦A/,kwy~Nou\ hE*_(ϝEY1_e*j3UVes%: TVgqy"!Le1!f8UQ.AcL*ͪ5{`Xop\AS~Jnl GLYgBDAn Hy LO;bH+2_Gĕz\Ay`kxx xrƴk-Hw!65~m"f$~fOtҷ,A|}RFu FЉcl-:<0r87?ACNY\5܋AΛuBh3K,x <FrHgxjqŇ X jk]kntF(B+ϰ 7*h')/]Cr_jΟIXv[rqn;)jj2-! *[}.lWElޜ_wU)MX^4.c82xΙ0IUύn`?CTmO[+yun LjS@ IMuAb!Kώ TxlopyUEL"JmmKO[_$r00P 4{?z3V?ckZد1Iy$Wc.^O󬵨=[Lׇ紡/Mu#7)GZNӰ\#Lk|iko:3r| W|φ'=Q5BꅎMPwbfdFo92 ܫ+E.jѳ;,Ct)FPɮ 8Oj2>Eff~A >;([XgGӰѤ>׷9,- C"v Gj`^G|$O4/eez#dwʆQ) _Hx@*r>FQf3q/q 5F,e5QRWpeMM(kA>*2G+?4z/}838iӍMe`IOf(qD-Twڶ 8)Kٟg {*%,f7a*p oIy9P\r]sp١`;5OOgi1w eBXi7%RW ۴nF?u݃K!\NfƷ}>Q{~2_xN:<8r Vit+]ٲƏףKf6Xpoe]E:0m,\nҮAsʞS):r8b(c-)F6ܠ>\wrK6N$aT;mو&!~Lj1G H2ޒ20k✋ N\Ē(FkS0a+G՝YQLׯ!~Ee) K?Q+[^r4mnQ񦞤[2:ʣ^b{D&druŸ\T5B|t5@QKo`SĀʝFiNoanmY}сΤo!9rE7*Jw/H INzO.7y8`ě9~3(ANpVU:gkb(.g$ R7aK̀N9]lE#RyDS~7=I RDj\KR}+UpwyX8xÜԢ;$SO eK4D+>FgZPT#3-; 29j%V$[cO(Qcz?9E3(@m2ϪAfl $/QclIfr¼s֮6L1oi톛zbC2NN왬_`|H-^nŕd1Lr hn!Nu7/QmZ늋jQUR LO-58㝆.wST4-b׻Sd*Q{o)bɳ4.R>E["-,{/ٛ&^"C2u\)`Y]j;#C_QG-s]&NlJ5=wo'Q[ܖL[i߲tk1?Rd4el4M1{X&7P5UW*JWHse>*أЪӭ.XTxbm'`4Ɣo~r7,wn:{#k pV=Z <}O~>A9 {"y4Yw~ʹ=;n5͘8!>>Eu5i );)4S}(n,ϓDUs/3kRX :mФL/J{M񄔉ǩ42-8 (7!C5NU)`-{2xzp0DRxϲ>A10Hf2ǂ21"Qpo}R"Vmayyuu/e匬ڋl+;΋/.˔7DoӜcBK;; |H% PX׸cz;TCBv>ζ'D.0'̉2Ð-O@qS %ѷV'Gq9g'MDS~k[tw(,fC/'q `wabIhN1~Բi RѬFCxIb'pZO6FQC^ZMZ|f?W 7?\GS6+ JQ\@v*qn`Ncͱ] m0z[c$^)ʐ:qDMj Ԥ+N<%n7 9D09H&5bvqw鄢hstX; 3,1pz,b64z!Е.̫;A)vf_^&U_) wrE 'Rk𛼒#մzǧ$WK܀!%'hJPG{j7XdeGq05/GP%#,_(#aD r%:?A%7 &:8闿 }{K޼е>Z~ZFJoyP R:mkvLpSSTRCXōk>:D|VD7+.1{J!ض >tu&4 ( O#ph_O 5 Ixp͓4G9р3_HɡaxCv4;V&UY:/F4z'Rz~H;Ob?ndAhe;W8zT u(FP"Ktߐ"""їQA/Uo*~~k-|F0ȇě:QC-xÙ΍u,ݏUmfӾ$ޣL-r'q4]Nkh^X/ 孭0>Q6/_`?]Uo:,#T_2AY-%NZ <%)x"Xy~J 5"t>Vh8{IQ3&<_aC p,2 =K0S$=x<p+tlo ; Te~b.=T4V Y>\k"v3MpXGZC6Y<ȹQ'Rkadlwfk/H1=dsUG{qd g\eVylȲN &l79[-$ڷB'5Q~e8mB9ٟY)k+Mt#ox碼uqVf֛KoO?a<`S(=t;"h:Lga{np̜{L1i&ಘV!!6-Eܝ©x^&N띵Œ:`^*VP+Weuo;g7iwjoO>;VSx]P?Z&T az>x֋$9@,{.81y-|MHZW9OօoM}rdT]rD@D:CVQI֮R=[Dko=Pk^;x-%qKTޒxl9B!S\:[ 2&~˯s(ZԍؕL^.^ױ-Oיm(P:8'_jf]t;<ծե.:vOnǀqNoໂHy[cw05+,JeP&Z$2_TLQTd˸ϝ"?[C\0+m_\tBEgS]TVR T6%//m8g/>y]6 6`g3!-Tg`w)* ͒;q2 f.n\e YuD]/v:CY*D~ޛ@w/)]DQ_Y6ؒKCșD^3RJ%g{Ȉ1Vy~DG'DžZ Q'a&vHzeGxݦnmTD}W#|9Sq2 ŨnDɫ~uw#&,^F $T (x,b5MapwXrtreM& %W4:5z|Ĵ:Nr]#9vllg8o(CT)0ӎy'g+]-ME3X7G+4 HX-&K^%byW7ưOe"+^(rcْ9'Vmh.Q[(Ueu먵7S(]eO1@ՖR1vܘ[cGi'z"jb16"v/"O_Eɶ?\u1W\KY"HTzIQNpZ#m ^@N󍮞Zd? ]`ɴ_3%>xrNcE8qD{$XG5)$G9߰l1n/2TRrq^A+wXaep"Mh`7ٿǪ~uxY,=7I7zIZv.ksϟ+",ca>m: ,Yҙ| Ga9 Z:(s!yـn/uoɧ.g^X-zFEɱO,E llWp*5$h>9/OPDOxM*Zp.*Ei@*l^WſZvh^-hL:ȝAۭ?XГ=^bqkF.bg'W>+Y 7 nEtX/^C $#.2<ߛԒB!!+&=sW|_mAB,B)<:@o_-ӳyoXK.l{m?`)1D'p{vB6+3ˣJ[Z7Mo%:GEd0MAr[7*ݠ ,Gׂ+V gYX̩GJE/ɝ #UL}-hRB=B"ȢwGW$_:buDg&n^EH%st>=pxo!bcF#m,pBFb^@ѩ~=8XfID<&2HY-ĹG0{Ζ3gcs%&*Cka7Zh:k'| e^];gh܆ܨ%W7t Lo.k.dRn# ^NVC8<|Â5Ɠ((5=,B0?Ԟ\W27Me ?}İ(1Y?T֭kWe>7gP8<.@$c`F6uj֒/c*0J>&r@ Lf@qO F@LkV{ VGpy#&8񛈸Ә~­G?YV-4<:A-aR y1Z). Ӭ%1#I4 H˖%@?4 _G+EÓ^rPy1\^yS'3KDMKf $hm2 N%T_a"/@oj8 [Z}-fLn^~sdդEV}B1AU- &Hae14r^'HW*N|xSI¶UiΜĤ/0&&~@+,,kkE7>Ͽvmd`W7U[2 %|;.*.aWIsJk6_q~kQ!qy{9!0umlMQiwrwh-&^=JT47 s˅pȌ#w[qs+*$dfk/O[]DžC3'LC"Uِ@`tÈ 7C Ä/J!j揓Ϟ Z5|"#V%jBcdL¾A|ځmB=O eq)1~m{?)~T-f{j c9xꅶyԉ6W)-=-$;[XISkj9] \MRՀ͍ȸ0aQ%0]}`vkkICcffrVsX/mZ:gAޞ;?GQDdn8OF^.q[iEHzٽ<;9ǜno22 l_|Zlr`{ݢ-hcMYE54%}3#:ݎ x]q'@~H"k x`KiMyWKwژ#MPz'/[I-pdCp2:4Qzo1\_'BS0YU I`"j+|K4X,`U_F&rJI#^eLO+LS5ˇJ| )e]8yqLю.Vk1@-Rw;w_=X&&2ޅ$@K+IvԹqCUDzu:I1.b-8TOДןYBT.WW5 nnO,C@'&p8I ]z/&g'*̏(5$0,H#O%rT,B^ԸҔ\IE'0B؁c{r7?渏:ހ~Y:_tɤ]8*Ms&%-7W'5D#~W"uϐOIu!kٱ]Kd_ŭP4܊Ҭ1<9Ό l<kudm iy>lȅ+\g](.'|9-_kA& N D֝mS#S$ @>6=% $8#Q0>=A!sdȨz~id[ ֮ -9djk62nUѳcOUᗵvG3t__F  -.#k1P{EˎNFl*|-Zh+hi$|A2rX;;MM"sU{.i.eh҇fEK!Ox/SUsp֐gj^wy5obhlD EP FVDo[ϖ;0ڟI@5)m<3 bz?u44Z.A}* p"Y$>fa!,jS*֛^ D2N=w ==rXVIgr;2; aᦐ8y7u>{&ս!dgpѠQ<*1f¨ -8!|lpڏ5$짗*;؀@VϞ!SpЩjDc87 G4Ixup~i0yk݀W}#"2q[B/hlWTNy(02baUq߳6n \-:[hHNoΰ32{ByKҾ6dhWtM;}MNx y'ݝ>v-rSwhJ-MlW rCݝy\-r+{ 0pYY1)GmJ 2H @C:xEn5=ZFs>aˌ09ArRSi {y+.! s<&u]`7dm&pb*@ Vl\efͱ8͘iotHxR&2YckЪ6dfaHZmgEbj]]?,\.$Ș7KK<2<\vZi_+2i7_1~|-3')q#$`jYW(2IfثiD=eTM;%S.5$9bU`.a`[ڒܖ ;^k\e{liXr^Qy~KQ;M,oKܣm z'3xTp|vRnO/ < ߦ{j`?LyroǗ;UVmɋ~6#}:DՃyidψ#:YEϮ̾ˑ3{^|ؘg`Oߗ WD oQA;IzL=d!@ IIo'1:Fqe4FlLX'~Qm)7L6A ۦV! P/zz^_:FdC/a̐yX!] FXh9Qo d_Tk j1#~HkH~.aŜPi?6.` sH`}fRߔp q~7{5 Sa/ZRnČN΄h؟ '7xYI#67i s>_+'$XP@/aC{A&bJydЖ,719C=k v#p])h{{J3q|ld-]#(|\=*4!u3_;2a/JYQX Bz&H|a4ڥ1bhM- sN߯7)R&X] Vþ4ږ;O1o5j:EJW@}Vl NsZ\*eKD3SWp$'k5˷/Wj{J3 6BFwRGYUh_8L-d7la!X>kbw-S!ۊس*Ӵ:!z"8㪨CR P$p I=E$,;lXgHmwbQW ҙEӡr!S$gb$r?d/Y̧,79Q^lk.ệ[ e}&# (AwN+B&kځb*_jGǘVh13}dΗۤLN A0vެAfq]ŬP zm1{\TӴ~s<%?CSo~  vєhSNjwgԂg3ZAR Ia=jّ4֛K韄6(/ix}etbB*FQai)."%gjU!|rW ro!fX WaWa#Z3ۙ35Qq,{9"=uۋ3^@EpqϼNjEȢQȞtgN`4i`8haV>3Zmڮ[|(@d*dT1w%.Ƈ4rgYZ2458aee2dc6406d44cdfcf016457b8065668bdc5f854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb854cb4d69f96664521d4833beb25b0e845cf83ebd6