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 ttd/D\l ]]Affine_Arithmetic:threads=2elapsed=519.574cpu=853.544gc=71.700factor=1.647zXZִF! 8]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b޷imd.DcB]{YoG#V5uP3lOHnc|,n{ȴObtiHLǻ862!T~~ivf:nR:AGb6L @`s7P yZ ~sZrvܑD^pS:[hdGm[{N?%5W%,%aHϺ) 50 yY;P5ZC:#3?tIu#[Km=I7xc=őD;|A=)꽀RJA^3uƪ4%xa:~, 8`HC9]r֘: IF6MV$0> [>_&6ƒ{X矾bWPwQ&o2pȾlDZ%aݵ@"BA?lRApjnxW4#bNZdn=UJPLRħ֔ݙn˻=miG<7w C~ݖ+EvOŕ"/ynH R+^3~ OH[j7*pD Oђdi|O+0(SNl+v+FwHVbL9nՙ(߀'v_Ѹ` XoZ=+j](]d!)@o mӔIY6\3Ph,(u&;Gc֏i8<29G/>ٟ =JظglOdK~4)`8 AO; !]*7rY~AFH ZnϟL J\]>,*I$*N{-wjrΊb$Ss&~(OԳY\+^x|aM6Y`:M{vBp Q\ض|] v#44FW@z&ݥ?i?p$F_>tH:+˜ҞK& ^^PٝQKpi ۝|Oܺ D3jܿ{2E@"KG2(NdSp;h7&s`;{Tiqn{"9HPp)6%1ŝ3T+e,nucHF'lq_1I]+"`3 A#I0s 45 @)o<&hjaB Ml_Ͻmn ÜL4If ' usv̉eՋe5B2\> E   Ir,$ )B[)Mw_0A+&di5^cOfn:_DL+ ɬh˖("KR`+t_8i9/-]K[<91Oj:B<)$Qw|zٖܢ^+v *}DV7ȋTqšTH4OqJKv'SkHկ !EѹeéY(qk;]1d톻T×eu\|,J2#,2ѽH($tj6`A;1Shv9'01Y@6ނA<{ *ݛhUk4uXw- =U%#4] X"M\d^cj7jhC^M+p|}R0t۽i0cDA0D29&<75EFW@$<$#ˤ*뱲-BtU xD1Gy`^g"3&| ޔ8\,9,Zly@ x8D҇&h K4rlD`:u gH CR W^2P3n %6!nN)/P]>}h#k9Z;WiU$e-\7Qvw/zJnwt]ĭ~ݤXzybww,1(p1ṬlJk#0} rY>7[fpZ~ڿ8"&n]O̒kՌ4wiYN#UK#7E,%]8fօU 1OXCH893hsB|B^؃ (r7vhc8.ӭy7cH9G;kmcLa[yWA]Q9 oe.zdļhT/X{o"Xw@H) Ev &Z\ / Affine_Arithmeticzf4kKdq ^&%Y9؃]mh4Јxl48y 'd4VMyp_l?f8y g_z6^N#ƧWA* f.&ڀ>g%w1M>^*yj̉&t.g(HavW̊4yǜq糸P Sc08¦ْ $sNaScI3g1Xl%yUX\FZJ˺wJθ @NpSa>S_+A' wD +9|>™ ZkKk$.af}rKU~^ _9&X"iPTbOX8%CԺ &o</H#߁cc^ƺce<߯3Ѣ4|3z,Lϣ v}4] OhNߩiD2Rnv8| p}(Wuq"Ԕy)kOf?j.{Yft#E q+Ԉmbʏ͉zIwD98J(G0x#%Τp7F[2W*3lYY{Ee`;K1TjD. POg.Ɔ4q bM1EiBzCv&d+T=TH6ObpЄ P'tBrd wB?t[V,8&]}}gR HB_D]#M@h`nyf)GQdLۗ|̈lC->9wSQL ^0^ءz+q&$e͠ADIIܭ d6DJKAʋg> !8E( ;:,`CBAEL{yR|| d09&(&FhdR8l'qݓlֻv`G;tZ'7`E16Q%qRGFklcծ6޻+įRY${UQA^rd?7LcR{볍T~:2ysckJ!i@n咲łSs$)Yv|x6ˍT\^5D.40v5n/ OByy +",.%ڸ)f`p,2DޓD5&{CU9^`4Lô{#dɸGoUG-iu89?+GIN9|9*68M+h cٵ>j&þS6u;Kْ,  Z'ם?aG쨚.:bhכȚ܀Q82;`:AfL1(hkpAr!%w5Mi7J)cX Vqisz?og3ݔ= ufEH\j`*T4O\A{~\iabS#-x ?3c/I+ he3ެ?vfhT;( `^)Ļ=2;&:N҂pUތ}E^9A֡9 BII9±z2J5:rj{SK|M MG!cןv]U }~Dfyz)&<Θ%zٛp냱 K+3+[MlNgi_ '[.K.ly'*7F5Bj*_(G͸ƩCWEKF6ۃąn=G+I@d) aZmy_kl\SCpfsf_҂[8w8`. uꥥ8]0Zij9K+j{"e}7ww ΐ0av_-̶KBug6̄fCH$W[,As9e "FӶ e #rjO?[FFSk2R̤#hhvs Yn[O )z1W'ΦuLRsI! 7-pYXfAk#(_4VV +* }!l*Pmw6K6NAlVpsQ~Qi#<|G,;7JF Nyw!CPV=Yd1_GIJBc11ozP t&o6yR~PT~k/P~Q7ymd3o[@\Ė7oıwEu? n)~1?b`n303gYZ7zXZִF! %]ŗXiɟ1˦rnzx <@0+gMLS  LjhCO5`eKl̈́kb^Ȅ>$~IKwa 8/ U`mbj\-,l 2`(׀KKD\c%Ö́N3M/Ff#ی,k|p\F $I,^`]vGu [sJ 2xM$ stg4x|Jz:+-ExR[uXzm⽜i]6/Z_DxKjƊn.-h5P~nV\M\)9֔qU#+O`]x Iv)%eFN,O7q,@`zfM-xkirfh=*=N/}S5BI˔tfc6UJtC=n'K\/l_~'gʾ]}d ۠V e6{oŔ}Kb bh%oy簣O+A&q4BdQp9s1`+ Sڜ/{o}'=VZO2Ɲ6ĩbj(#[6{yKi{OkOK߆[H3ss+# 6]ҭh|󱛻CUM Ԑ(NWVFp:q}9sBKc$e {q?hqAcW]3ӌ$jܡ۹Wqqb,r6%FKYk+XuN6Y.l-oWvɔAQL~zFCJ"d]B+fGLD|x`[=MFqXuT/j)yeO_A - gYZ7zXZִF! @in]ŗXi%92?@PA=ZJc_/0;n<}{MpVR$=Jc?ZV"MT*(ԇãzr.OH`v]0M 3>1RD3C7l}-*oѹ{Fk 06X10w[wbp2Q{10"8+{fp^VS; g&1`]~h_>xV'ֶn2id/.IJD5u6YY򣍭,;1b]khqc/b<^%>X/B֢)<ˮTfs=J៥ ew`${snD$YƺɛIL2Vp7Fa#xQrk4^ ;_?wdgC/Ӻ Z19HьVUkkT,`Ҫn>cUCLqB8w]1ۡB j\ -5TmGz9^r:+\D| Z|YL4PiJO)~hz  K^4XOGp "`ZwD3 ;Z `}:H]"c$}_y: U i ,8ajĊ$ǘ,:ON%#Zwag ΰWcj*M+6azaz=Ȋo{-2)u.ϟ[wi0hKϖ otUm%wHqhu]FI}6rnqv]A)  vi6g.ӕIJ]8l0BQƹOɓ*9BK-|<ԔJj4n\bJǨީq` wpOBWG:kKXFr=)5=vߘ ;6%"^iIu|wj|Id> cH4S0 Q-fʷ٬Zo>!lyxiǖЉfQ.E v}/<XUI<Sۅ9(YP@uFܭ &p(ZApSrm4I*D{ ݷO{R!f-ǣw%frvaW8v&-H gEMkLc,vXۺN;X0@#ytgR4[l6t^+/=TfK'gԤ/G-j5NRNA4v0/u#˻.??(VbZ X ј}+Kf\{Il H;αiJ7>I쓑a=aa_aJ /(潈{{ih^T2^mVɞ`i%+c5&U\$ۮP\SPCLOhT?mG0z"$8Z*ǞG]=EcWo7FJCeq\^Y:ќ*;"qsj<˥Y)YЩ}4 U>qo R "Tza~j;ov$OMzߟX2Nl7H|C-KZ~#Z"`RѷR~vD 7QBCKl9~7c/3uo3IpLk=(^َ~TQ C& g4O#0ӻ+ Pr)i$$o/Drz@_ Qsǂf1Qʙ<[>WdBrkl=X []}{U/`eJLnY m"&]3R>(kLEx{G/֍l5.Dg6݌1?¦ ^imx^⡸yA12{"":iR70I"#B$紳%Huz"KSM<4j7BP: 9ur@%ufTOZ 0 hf; [h Cv>M^'I~Z6D2 tzs8lRh 0Vpf̕TzA+hb:j /·25W-A;4/71'4 u2]jOo聍*t+BڵNZ!Mw2T'%I[Q7>R;hȾ.&ŹrUKܫ5 ="/UpOVa2[)zt}mu2'J&0,50}C1ĢG$ve'J`B{G7X^o6}XTR D Q.6n0Yٸ Y/`o" b&]$Kǐ!PtdNXAl\zV9&ܥ{WF6[ ۾({✁S3boE !tß{ Mȍwĺ< a*:oeLynfu&? l68Xz4BpU k?=$b.GF It VQEbwO3K&6Qx^$Z =f5R &WY9½Uޔ"3̏jO5V!2pxnQ.(%KdR.\{TT9i3#O T4TBƭ-J$((qrdUhT؇DZcV<'9RJs]GL7"9_ֻ6r@OBł_.#&Z+-^^LGx6ռ(V"U*kץ(: lOΛӘEl2^/'baUgr1QJy۷h1zuhDQ&_c E=';Ndw1ZY8ghk2VV.yz ],~0!ge˳,0rצ ɰoa~0J2`E :cn0Z`Z==v+q7)aS(xlګDMx6̀nM6aM݁ iz:n+fk*#8N~iONp"ʵSZ~(=ؚ1sUBwura@cP1SOgTmG΢ w/ڞp"nMeA^HU\sjS[Ꮝ.?*_g>?.VqlYߴv2|t3rrk珑ˈa0(l'ܚD8kj)/1&@'Ady3펿:/k:Q8JMW@^t7thVO>lG)YzJUs-IZ6UhЗ`rs9ފKtI1=>9\ah ]_gNtv^TchMoS4[v1R,$ N=' [NI44C-*@!κm}' <)OR_g`0y6FSo7'\U1)P@di]')gʘk/xV<;<0 ac<z?HQf\uXk7nt#۽wfpR 5&0t8#PA5R1EyaiVѦ5 jTY"Op:JXOex(UůQpeRBXU#QGTRR_)D6ACMps#Wcהu\f߱Ԩ2 kCv_PwlkVJQ:oW,䷗q {#|[H'eřMg⢋iS096!V b_Ն!(_hT+Uf-!3IV^+Q^Q3vq<<=[~)L.zMnoDHhIr;7q lZN~ ~?ȗӹѷ^Ί``GfO  dnsq}x|n^zQ'o>#s;g"%ܽ ) ~+Eb{AcX ة(3Wm51Wؾz]ӃݻZ;^%BeTxߥFG-L Rt> VQDtרG|st1c_Dōo?`m?:U!uב8Fy:]_[G܃噂K$+Gj3p+z]"ՈCCaJ{[ꍶe:~7x8ó0c`_SqĒt{Y&M&' i8Lf2*7e3@vEOiG=tkW::XDvGU8p-'TVuW*g'yu+aU9VD/LpO2SLNuoѻ9Hy JQU8 #,-R<>sjdfhQJe0ir;xX 9zb%ex(#t"\TVMBWjJ5\r& jqivt('ì?D%-~{s|dL&TzpV]N =3Nr.7 U:^,6(g0 'm]˒ݚӞm'Nec%FSʏ˺aGe~$R"R<28I0{y) 4kȝ(3O' љpw;`b?E4ȹH CǃלnxɔPF̼@ ab[OuN616SW*yiׯߴkf62~fX^F;M"eAX F@lĐfPq`Y8|ښ湅۱DOaa2$Mc`b o iݦ 9gL,NV:-p3ˎpRDAxSE 6)fUٝ{o= ( ]fJmc8(iֻar^Qq̀G\O /o}VWz ]h=@71El`QWCd t*~6>O_ .~CヌeDw3>u)P&_[a/~:da~3%= xk׼w7 ۺ|BhW HgL|'hS%3&d}GZ%8 8.(QpAP0veud .- Vj yzKT/NVFUy>G/~*l'brxYA34Rj#i [{w[`2tѯÊlw[A_7HǢ sP3\{J"e=cj2.gz ҈#Y>{PHwE{UVT}'cok!hlMkQF % 2%LP?%_@&C_xzvvU] <=F3뼤aԘ΢-~|4pYCt*\`}ktQ7+WPqרBï83ptP#Bc@62Y8rO[^^"V U~Dpi{` 'OГD@ ;jB$T:!@ʃ &%`%^qs~)&W4ho&G@?z){[M#n :PfyT?xqRSNgmwZiGbE'(d 8Or͐9܉ @MWӄ׃N=|Ю- N1G]e2~!]ۋC?+v xdcz糮O8y-3oSeUݷ"%ŭ0,Vs lC[2xlbk@LHjZ)'yg9kau^z(rGi3/"6wnmj`5Pۦ[:vBM-nl7>N_J %j/? ATY `FVT)ii}%JP#y[^ƨ 8bxSl=rȟםspe!;?%}#v~wtL ?=lZ?;3#WsJlq<ƃ8z_NS f q`m#wu9|+"^C!͘޻Kȕ[ub1E/z$v|pI"V4?ȭ*|ufT8}'1*UNY[F[ qw0K^8GAE*$12v $!$UjOrv SG@xf eQFoCb[zkūڣ #?|r K[Jռ#VCTA)F`婰Bd$?mf ^4M8|xb8UNmf%21D+hk/d_0\6p/VE a>uE"ڟr T]lf m|1q@Mjfa]n CY*2y%m o2ez?H!ǧ4XevgI:tQnдӵ|d̑H_?VRWnRohPp%0S lP5%BN;gY~z w ,Ա[ $S.ᾴoZ8Kp2OiXN5dq^^TSٛ- #i" p@nzbZ xa02@.wwDh CK8|fX+aZҌ+E)y/rb%y!>ݵQ^C.}{ڑޞes[Wق$q[k2vk[+9/q+zo7F(" b- 5ZX4Fҹ- v'.$̏8ATLghIO-ӕ2s :KB+[.qy&u(*k AL75'$N _ uᖠea"EnRb/#<՚S.b5n6Oɳ:fQKs' @ N-Y]n)w/=bnEe}1K೒22V7ҍa)0Ϟ? 𝶨Tx` .;]"Z(/z阛SQ6Y)v@^J1 $CJ2g?9)9eRbLuq@AU[W-mGi%CB7D吆ZLuQUzl QH~pjt *Ca\hjk$[c=$~ }y'rjk\f]ΩXMy,FPG ]v"ȰϧTҦ=@9c!tT?Xb`QE'1y^|`493V/\)I\P| )Õz+˶Uo*זSwV43Qts,R:@f WYnP*pK94CNOXb߷">Qւס+K 4O:t]Ƣ"Ŷ>28}57Y̴aIV%&>2_&$p"r;K*/} >]( vX!'#A` CW)r`z'a  s7fޏDڂ'05۔6CGb !5^ "^K =+]^oo_⎴;JLNoS:Βˊ zsf({Y4iGaMeGD UVCl^Fo\})qH]7n@ћfB:`:JݮaZСm pÂ*\ٮ4Eyˍ#r~+s`;-qgcZQҴLܑh-|`*)M>iΪL~ʔ9 (ëDB6a6.vʗ[~mq’8Y'$c G="[v_RN7`ʠ6+ 2~6ϗ0&t#-LHq F?@V[d]w;H'!SW0Rn>w/*!i0"p*TIq* f,ģ+V!֝H *JS%:Pn½#NQDGxrॠ~I}|M7_+j{t2! iOTw䳬вZ=F ;LXyte7cz By3*]afsg?bz5f 4^,ADlZCe$*ӛ Zaן=nRCn_oP-RԽaqGSC8$]^ه[v'yM5c%c?P%$MYn7\Tuc쀀ᝐI9G0Q;*evOjg鿉T\Z~S Ka.y8M_Df5Y$k9.a[' Tԍa_q{3^>ˡw}I/uf8!UUf)HSϔfJeh3`R;q8Dut7Pf{rGX[j3m,J@ 4 ӫbRxOnV 6T^]ug,tm鋋oO̖UcgK-W9n`z!x`Px[nG^ -O;5BjvWbK(LFus{٥6ܝwUI;;qƒF5kLMϷ+jҫ)lvV': 2k wDA1!ʀ j:j7~h;҇h iw@ \4gIQ<dz4eȐc],>9#dVc O[e1&=AzDm;k"Is#ͫ2+=b4 b\f)s~߭wǐ*>oَSN2vxJ3iEpG2h/kLv5yLљI@Eq |AAiwZU}._MS1t/l 8T9r̗e| tv{|;;u.oc1%Vg=5ϗEib_0IG8[z3/E|3Lɛ?>Eњi,щPoĥ|V3l%8l%;3RfϣF{ "|},mxpg&^f? <0V;0@NMdK:t6Md(W]Vאf1]я9DB E ekؤUڳ$Xh~w{ :Ms +mYD%~PR~a| %҇m_|-Sh`QW|%RdO -Ձ h3'nSQ5_ qhtCPuWSmXM-\$q:[`k.v%L)ɴ 8`?Y9EOJI|g 4LsWKb7%ͪnv~|w:O 3l՛qba9AM8ݳ"cͺ>j#xْY}g:%<ݮp@anǂLC$F } ژs1QWlf;Zc~xk~[eI%M<x#_!wm~&DwfR$S !~Cϰ kU "Ttv.5[yHMꑮ>OG>ALc3T+SjR6}7H,jQf+}elik8ݻMdrx;gKs ^A(63U~TVw;D  :J[Hr:Rh^W1y{\,-bf_>l,o Kuf.؅ &Jsy~ҋ-0+MgӏSbc;cwEzTؖӝjLhE,z})}`<:yː:4v=_h;Я@2-1`S՚C^%0\/x  -OQ1oJv,Q}Qqc_sZgd(`x66+^$bWq _F>W+3dCuH2sJXS0DCYyPw;ld̆;f .7Vl1od%a,a8!1!+˭B,3e2'#rٜ>]U>Y8PŶvy^L֧"qg@;TS0GGa(W{}S]x !^0L 9?h'/ 8%*/Yd €J_Neًj?^6{2Fc]$"{}rYRܚ@sVqP^?6jwLT S}Iz\ޖӚVQР96BHr]iG8Cxf?FJ|°UϛLjSY3r#dg:BVUʮ $MR&ڒndf;5H^{l+o.0jHii5VI\Yu(C.(|B<$b4_}hs_~w©]<-e !"hw`1$fb= ?Y9q`ė;a`R642g砄|k3ӓlD Lqj ~B8. OxBg[ԳGjiX{\YOXVFdxFPP*q;$!?a0BoeC sE^ l۞2-Kj&F>qK(K{;"%{S6i}KM2w4AnqsL6F$BCa%W=vC(oa2Av՘=XN$8G+0W+LGd8yNHZDU2[Z$}uT!)PG>ɐ+'4#Ƭf^T+1O̙NGv#6y=0L)sch%"3 M?@vboM@p|SDLu%R%!2@}Tj|+%]1;,TewSM#t50*DPzh``M~e8{ oM'5 Mp+F@ Wv{!ٕ#݌G)o ~~ _=Yt^_N:ɹtTT!{R;~EO\XBrH$!HbZls4tnJٔVЗs>+ƚ4n*#-7sC~ GC`"ӕe^ey-c@nP]ʗիcwzj7ܔ1_?٫ j=4TXjp7ֻ҈BTlB܂_08n] wBlBubd;Fc9fK6x<%P_Д3I(?zg#N0nU]i@KgEA.7G OOhRdAդ9ٝўD Ş&TMh򦑏 nC#\ ,ibWA|Ѻ)@|H;fZ׬٦MMEJ0v1!`Bnzr5=c UT/)tUw;[ì3V? 'D6EUJ71|Ub7=Y19 q7# ƸKA0kz>N-(x"Ro-6m&@ї碸) /ɬ4]32K 4؏ |&B=*`{vvKF3.is8|BgJ |'s>;+>bt 'z3 87xFɹZ^ \T۬Y+k9~9zc S60pz䫣KmBF#b:ivBXr@VmhP5L1A{DGo/to9J Ek7$c)AP\X*rc"a|'˸Q-sqWLJ?ym9<" h`J=f }H'%8J/}ڽuk=Ehvx["Yd,(6yM?{ZCijG ΧT RLvfC>xk10ia/Y߸=^Fq(y$ Ҹ5s1d.9rx+0ci/ܺE:`G̑ (478wIB{tl$7(#f2jb1"ZΛb XǷo1nCj nt9Xߑ08CK{]&teGmaC7yob>/Z<(&0l܋IxAT4sDj_Gv@<5Qa .ЋWUGJ8pcfϒ)AZ3YeAkKYo1+/19JrG#a&>NQoȇH1YC] E5&m, " UaY;jɮ|(?mly129^6]ӹԏ8۰43m=`@Y+lDJkp67/4lAS '^^rbaW ml.C^8kXcYK(i۾#pQu  BJ9C.T0͋Py6J7z cjB"87?Ul؞&ycVSr y sJ@}ǩzv/%Q~_f$3 eK{!ro'/uzr]R*a}+RU`FX*{[tƝ|eIOOqX؉"; Gq4#$-EkYT7[! kqp $F /ᅩ1f O[|?&?.o$ɯ|βX^FFNJמ']2L5g.Zѐ`B&b͵ŀ/j;`)h`}r\?P Ǯ\ k(`VRЏ]`W^P=-go 3a7`nhJwwPdUSíkِyg.#pj{!\(._ 6S\Nz=O!%?pzb|2<1pBl&Is/upQ6o0b3빑"K$M4b2%1DKb['Yjf3wupTIdryж\q5Y0b=)n-\ox էNߔ) BN<w6lmI+2`v+Km aճaeRFܵU?AP_["9C3+"/9Ii΀b*`ut/gmJ~UUTiW~BZqV`pk(hQ84Z04gSZ֕UIw6wkJ<.SZrڌ+)܋nE",JK!k1[w;r e߸GE} 8T;SU0X)<jή`\t _A96*d"[e h^tMOVK 8KOc7XGF}g-A/CIfL?At/Rb]-XyPz-냹O3nzZZ@̫:MR{wmY`tM3iAz=|}"0HO-iAlg,fx~K.DKն)-BhE=\WoEus{Ztu/,WN~_~۷6ӝ8.!Kqȓ9fj1^:,D˝-Hn׾1[6/,c(MDO|wl[!%0& OVk\1"SMYv1]x6,܏ D0!%` 3Ʃ7Jt1JHP/N9[2%St!@)  G-%yoT[4}>nQ' o gݵ@[MSv35/xϯZ #dXH44 qMةDk3S.T~kW >nu wlAOBX`ROA ]Y}qFa6&_y6,f=+8yҨ6g}? +P|2qVVEu,?+Q"dgIRGkZ "3.]GLâ`uwEcs$u-T;N့ bHnF6r SQ>y!8ޏ@`x`D&GH3-=nԜxAA,YMTI"{>_軂/hKڞ^mj?6YlOyYu DhERC[Zj E4P1tUU[)JOjvՍ4Vs @=F{2Co8=uS^{"֖XԛbڜEߊha6P.mfQSb ߰sa{>}]M~1ԩftUElaU)Yn1 };ܬxÎl)3ߟ_Ь}E%;IATW=9@C .#tqV{ifwrE0ii?v +ZG0 j߇1I ?}e]T*Jyq('fR?ZeH'aHPFc9L5kh Jڇ A!98nxzKuSGO731eLK I/(pMP,Pl7?\lЗtL]wjz1 NNV5D|!Fn/8pG̽eO"O걎 (F#)ʜD{=~ l+6<=NۍzV$R2%O/Q`bR3n~Yvl4wUH)8G-˃}A"!@ { HbH}͛.Rֵp?3a3_1ɘ e`ъIaBJd\s͝ *NEko/ {DFiim H7)6< ;mէ%s,{vubYQk\{ڿ|-`Ol k-UI  h&`FȦmU0<2)e_R樥< 5%0$Ãڽ *, ?Q w :֘!5V7ܪ/#po`#/ojM |7O&>o9vmi2.pX}32% nTzl1ԈGںK=urQ:[ wY0fK&LߔIzzaZ{irڬdZ44"fi׳eV-ɕ"lg0slapm=9yi1(̷B\,sQ/HT'TEL3ԿUĥ  gE UcY\EMt:|/7#t,:4%}$1dW &$caj(ItPbr={ iC:ύjX SgK7 Q ó%\E1'dk$E9۾W$}AP4>.*6L}Ru/͒bٖm\Q03O:(h(x\=_Ɔ/ӉHdF{ynCmVt̶<cڒ[N+ 5x>˄+SY= $:QBSPpʅLŨP>HzB|2YTr*` @SnqxSJmV~HkPK;W;DZ uKkM]#ÿ2EpSe_//73Ѐpɵ - ǙPge^xjxoGgL Lj{0:Rzho/ַW橡e*KY*IR^ҍf߷\+@wbQ8њ&43?qX^fum;ZliW x<!VOc;n*} pa)d)LxC/9,6G&l‚Kq%Wkt6ph(\ɠ * +8 4B{|^c@$\-] Wf[duc&,M (:w4>g=id0|cWɗԊMktǚpZg#񣸞{NcNsvDi@ g ֢rPw5s? 2^EPj|m )U%EjdL4/v&ul[1m\k##Rt3)tiv"pʃC-Zs뽨d-:cy[DA~IdF@[DO"R! 8ߜM" Z`6/xn*CPꞟAQ ۷ rf]Vk&H9}zkk)aL\7 h󉭕Bc%Rj'\$ ςd-K 3^Й,鳰z41fqq䵹# 0dB"zSLxQ lG[w1Kz:^2 %F9@9f0[,6B ͦ|xEsfp{Rf*8 K mhR~}? MP%W8ijiIݝ`3,rOӽBębrggR'ZsA.K}3gS"V(WaH=Ij Y?O%jH8 w㱃hv@.9z8ixo^OVS^WFfeh SDE'=t;Ͳ kXS¸Mg5riG}86Ї1bh#W1zǓJ{G'X+Q9K"*]wyjS{TmT7?5Lx|_M]vPAqnGMEx v^Wywe+Πx%-h&WjpϿIs H!KǛbvpT7JaVj,i AO poZ3)dON\P$/{'Z@*\Ӓ_{\UW//Z\/2)nߙ57b.`3KfbCU{`V뚇]cE'7{cx9=eZ؋Mi3}c%ԹKX0ؚ :m]*\9T=zWJkA977}dv jn7gQî/P9;5{5- Fi՜2 ߠ<'г