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  !tlT ]]]HOL-Proofs:threads=6elapsed=602.655cpu=1431.184gc=201.896factor=2.377zXZִF! ٦]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcz@ݣAPpJlB)k4 I3mS^AwJc.Y|?_tB8kmU:u;j&)?n|!ƥi Cku+F 02<{NӓvCs-z=fܤuI-xM;Jqҩ̧U^n޽>c.vVG~(*Z`Gkirϓ"'eW[E]lAlXA*'r8Q 6~n%3yCxhk%&:lH쾎&|:Y"vF" t*ƫ*y}Vpfjmɱ_u-eQY&G'" G܁vYNp $k&4CL5<`R(|ġ.R!YfGV⼵v+b@~#iMY7_i?6B;H.B4 >K NMܧ'1Yւ y}{kJ&.~O1'[Yjw\ZM'+Үu@Vf0(VZ]XhM Y tIr*\Hz#Bya##.tOodg ߘsF12pIA ) ؠ+ė {0X[;Nʋ>{1x8G9+5^:kKAuVlLνdYV1QkHa+=fjY}Y̲߯jM1ߑ6c*)_"&4t%Cp^v3s*#h凜ľ'y ^+(I-EBkDQǦ  ! HOL-ProofsֻR>9cVoxw l[>ٸdɟd΃?cj|{/S^,YsF @;HP3uʺFԩΜ vkdp;u*esV:+J(|}-6B([M: K \ۄh8i~uC Rcpt$n:x碮ڰ3R5a-YB@ ;i{&nqbCL#$b۟~xB4MMsNKze OQ̝,[YdkF]fd鲚dO'=v{ҴdLm#TDY'PTG9B22b~DS=0F[5|=f083~rQ}oWzHv Z~m&cdU.?=ݲI= =kvi7pbde inwNvzu:9'u)ӊ^.acw_wx}̑ 3FVitjo} d2( %=Oٺ9w JҤI6%:/K,|x.AƑz>zwݩp90C1~_SşEnȻ,2u?Dc|i%JuR|/-9TuD}W'9bNVx!4r u^ASv-β]%h-׻)a\\R@`Y2or%SwD)!H?.O0Q)hv}X5<)Vr3 Fx|vo=G@TSK1\\3ccEíC:s.\ȜgNٶ]NhseY&+) g-ko K`"ͥLygsC׈׸Y4.Rl4Ǫ1 ;;$)lCdIhs;"`6Nչ,')\#[%8=Wro[x,&{6T{ ";۫TցX;gRd%`a}ͽMi#Í?9S]p>M#x/>mE'NGb?r@m2^/) i5֌H"Z a&:0>pkyTivwdB\\9 d6ĥkƅh@D8硿YԺ9c0/UR&qKZ)>Bk|pgb r$b*%H˷A.KrcUkF 7~>M_*BBkR6Ey[N,_B ftf; _PG`f[*s۞s"'ssT32'_4c{VXl( !8Dޅ%ZЄ#k(gx,_߶|_f.2E"CxS]s4:<+OOGu(Z2vs\~M*!ĕuͧNl< z΃b,{-40]|J,{tjf $[o "PIzb[?A*ܠXkO| x2=_@l1&t<Ɗz][7OŁED a*j@(K N;d2/J|!COAO̬X 2*Aٟ^ ʙKnNBm / ?P޿eBnl~[ ڇhQk @DBEvS|PpL$;qh@^A5/}F܃{v-[Zj4:ruGY(Z[7go=U|?؉'J'kp94;?3WQmlє(G<S\D1&-sv*6*8@YԂwoiyHgʨ jDeGFe^WiKr'o+0[k/mQc6)MsZp{Q`LݱwnOol ^P>20[P™ݭ&g>0{Ao/ R62KdΆKXs^d2|mu~rdi4FB|~m 6ykJ-q(-ئF_^B"JP:HNvbĜx*P*E墛I!x0(SuSu$?S@^MxJf>EF&J`0Čj~;QPLXWsTy$eg U&-~_A`L`FK8o4naiƈiWH@T&.pB(& \( QtIà^FOQS܇Ѓ^nG =FotR2%bҖ1';lNoӴKgmG|!3㷳pV H`^U<qB0;5K.]z׍~D%l{Kځ''9>&`6zJ0xJHbQA|h.r7FɉFM{V CmS`z^V^\Gr|V;hVΥMI+XڴWsfkQ2#-l<ݒn4ϼ޳pHcKJ^ҝQ0)ôxo5>K,GCBz)޾4l&fYh UJY8JL%|S<ߘ =5~ĠBLGXE!*hW^o,+kЙKX5Kke bihB%v͕r]$3إ\vFc6TZjFZ*V9cNYzq={D.wl u-H/Q;\?[Fw:{6unҢr(\&Ahh409g^JnF\R2xs~ Nzue,2`ѯng<^\|!oi 3pN6^B4448~V)[[幼:4P-X ԇt1Ohù lmE:e[k*1HcJi5`=z9;, 8OȤ,zޤrvt@lOP`,Կ BrnM[u z+JH XҴVKrΡc[57(0xy{_ BS`]ػQ!!A坜6" 77EmXBrBAcHw)SΟMo͸}Xo5a=p'q`mk1'/13AF?H9C۰mg"/\# ʱW%7ZYT$@$+C +Uv+^daOj$HjtBH6,*'ڧN`.VvI1:'R.e ҇Fט WMnzw4n8?'bs.lϷfӚOr8V0lb3뛶lLq{JnGgʵ-ا(4j*qrGe=1YP(-Ƈe2nSՂ&W-3pj FPPFu0nvQz/BsgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!B/lul>c dNTFe7_™7Nyb^b~R0ē i+v" 'Fj F NN# `'Dʃ4QSb N\&TA_y$V ~8)vgc}~hynh䴂~5gDGe޷GͱYb6h_ }EmD"-UDOru z&% Skj *`>W2GH62(|\b/J|$ή޼4L>!g]wB+4и1ԍ([=- ʞCRy=}Qb! ī{]~t H^e[(Q+C_ 5Z 3C* !* L81,ie!x(UAO@U|yQ]sGp=:6|9f= E:W]oJ=xknd (%gX兙uSF><xljMl:$#a<|g\O'Vh *pva|Vو:}ؠ, )v ހ9`kA="uD^|G>ԫtJ,Q4"o9"obNO>'RY (QP)u+<" N'b5?_`%Q}+R'2^Nx;DJR r(tb~'^'UʌBh{IO9mG4cb`=26샅.\{8g9jtEij':}glQy2;rk)!KlTm+F<*fE1}>TAMcixMkҞusmEQ`5x=N?$X`BUQ迳/nS]ǸʈejՑ@y]2oWgˌ=$m]ͽMCcY1V\ )$_r_Aw@)}(ӉC @NB]٤i*T*pMAJ~o-cqB- uGp`IFBQZij4]A!"PZY6#^Yc0{P3]sijSF3v*:vu;BΕ~h%_`y 3݇ztwʃm&wd X5'HYBaSG↫FMP$Ȫ: \8A?jrA72,u?eʴ+.^.t8RfU}\ή#}Ri1ʥh.51۞Mh_49 %>LOCB鐂)ힹSg\n=\˅T)6RY] XW-< đi~k.ޙz~Fm{:3Mԭؾ +)" D3JVZ d7{ۀ ?GbQPZ8͟E,;`FX<3ci8gj 7Hcƌ8>jh暾ֲh/263!gYZ7zXZִF! 3Js]ŗXi%9,{w%qaVwi#4=Q,5h>R)-[ݲ؏z) ByR ΩD)rޓ BK u\D[=REPΑYQ`.+Q p Li-]&Z(XQ]ߖMY] 0hS xΊŔKmQ"4}2qj(l4`˭ .rs\/^  `j^V$F86 wO04F8+i[/ԅ7[*o Aʡ> 6C:KL\ Q IuRCa5gU&P\9`z݆0'鮡mj@Srf4]ƣchE- `1K|҇ggH{hi϶ FF-2Fَ5[%`KrtbX^%֕,3^n~V"vߝQuhCc(TBvO#_S%cx$e9Y'ٲMo|ɇqUЪ5eR=Bb31}7H|Ce)J 3_[Ȣ4TX;#(s^?& n'ή=Q ; {Fa hI>fq$Ƈ rQC UT-JTE䁺.ᢘ5X~W<ےf%]*:; ٠7iR^SIB!̤I&|9M^+{a]SJAmv3eꄆ}e)|!"$zTF Ј4Na<4. ;@Η[ffӝ'\}.My` L*ݵ7);(>34`723Ew]ϕ$[H2ZwRR^b, WgvT ffzC@1>b ?#"WJ PNR?r\>j/VhEEMp%9 @85> (^_4IY}Ɉΰ1Dgw%,+x z(>\Xb̊4v/J5.)ׁ>oPBQ#|N|F?˂ǰD2ٍG)Ԅ^U׍ Y |kV`d4 Xw3_̧RK6%-\wyqꬭn~Y'e8oK}X?.rݪk1w?j|)wfa%|a9,}wse\ 瓆 Jo)*:n>e*<eً _0(r2:UiVlbޣAksk]ՠ^99\Z)'60/=S:Պf<r,d:w-ÁQ Q>mdƩ„ 4.M/_Ʊ7ا, em5OU"6mgVP{t# X~.[ػVhG@b2B7A&LzՅU[ e? "nAFOBr2#=üҩQu+M9n2K[{QZfᅁTH\߽/GQ^8F-U-S5&~</R&)ϯinh2l /Eqw}Y#,F`}bCKGU^ ٿ1:rqɆr`ѲAY;u.!UY/3R&LNUXK&i&ϼTN!H.OAA(!4qϔS& Cnr4+w|gy2W#A0,8 Q=ئMuiӇ"5$T4+oPI^2Ic1hL[z{fOKEDDVVB0c! M7d#t-QFU}d1Nc'~ƕ9w+v;RG]Ds*0nwpBTq*7u 2M>R6(C؁t CTar_B ӽ9d* Ծ!k) +!Nu2.\%-';e鼨ZUUjw0%x@{vsgYiTOO96:1$$,9J=%_OݼP__rN:Ÿh#s_v*Iᜒu%ּIje* #4bFO[#1mCuKFE#&(heRegvD@.Q<_n )>PJn'~"E=n趚rOÓ̲-@$`n-x6A@n9Acͬk+>64{cc+L:hQ6'9:@|J-J {auJ!cQҌ"sT q#FaҨCb6.Y8ԥ=ux83}MĠk\GVx6%?^T4wgVs;(T7|Uq|7B@HvPu0PlY }K)&w!ǰɽNZ:Q%,E}"wkFQ: %%w~E{ :,i+S]@~l9dL-S򟛢)l0b:w@ݤ @ v˃nώaEVEYk]G`8t:׌C3֡$>,~{mQ AT#fm ^3 GVo El4 ]\˟;6X f*AW)̠f)Vpᰂ%㶧Vza9y6˜J!zSƙ9x't׶[Zp~BlZkTpwM࠯ O16oXv)rWPUKc( Q݋>_t[?o67vyT~D%,%'nO$~3D|l*COPq~?}9}NCx{tB2nȑǫPf8Ǎd z-P3+rE3z̴(eLclVHy8Vy\>FA'-1*U!z =]AMvM85n6(]˄ח79PPMaFir8B9M֢N-%T"it2F\b0]+PVdzDVm,]^ei9 7 PU_Yh[:Ȕ8LQ2AڦUWbG@ Ý>lf_Hx=cIQ#0mliЗafG"Oj_kz;DԘs%]Ckm&*l\s.=!ŏA|_v`q@C FB373i[t2FX{'(%l7CkcE#8b-/>%i$'{atF=Z;ry=~8,E>k0 Y*Z*tV>n SpJ򀃽 y抾 ~[qhG˿+^5)әJgjA;[23<YejUz"@1=XԈ\D%#?FR;W6=;?j*OU\$@;X* iq`Ld#0;qپHTg$#R˓Rlo5{7 B" O5Jv Aвa Y"\{"%/ vב\j]" O\ZL@s'- _?reH >'“~(xw"T!}EBI ,%jxwiB~$7Yb'm jY8MUUx1#|t:O-̏>?#[/{e%~Vo~x.d*B8m*H>0pjd cˣM8Yp΀`Q˨6 cK닉Sˏ@ne`Wn`_G\cF*!:;1H߀.k <܃tdPS*$kvɅn'7a9!d;,‘8r u0t2\SaL[ nTo]F ScщP =ky.w /WEЙŃT,"!>Y{6!k"( jO$be%|>#$?൴5~2e Ks80n l1)=6@?BG@0?ka{+&ףMvx"p\BmANJz-1M'(ûD -G_ O SF1ARSDu~ F^mSu1nwM!b>B}ƢyP% t 6*61@~u2$N"{;`ZF_ѝQ8A:jtwRHSTʗ˫OEp;q0/񲜟ff)8Vҽ> JdCcxOx1%r P'̥xg̚6AL|v%0EyLma}i՛n$ /ÂU2^1GFN SUKti\|pr>JLE+&f@*w=.JC<_V"WQFF\_Ek['>ZTaajv+|Nҙ [ԜnOIڎD{O 8#J}O-RBtKīNj^_KXjqa]<+/pgOʣ=ćGp\X>y=菱JՇWz{ -D < 2 *F<2FC.V3tNTS[`gMj &]CE-f/+ob*g.efu^w!2c*vIJ"9& ,ߓ; u. T 곘 Y QAκPJ۞^D&brIDʼnYne! 17vxP#gLEև|?-.QO(/S,H;q`p[?Dħ1=Ҋ`!aSH!uo*-qn**\whп,_,[&Ix/3GkJopRJeu܅DIDopd#W6¯wT<0Qڐɍ9"νyXaiۙK,H:[/@徚_:+d˵]d#GDDNhLL6 5ĭm_JbI'NJ Q_T/ bz )VR\,ȐX, >fˇofs=B5I4HyB>+/zV,#=!EV>AS% {(`kH)CN?6BzdBdf+ZzD򓭝5CA@l_"} cOxb|1^7`)QUw|aיʕŔ4S#8̠Cُ YPaخFiI̟<H:z̉[6QrN,jOQ!}Jypec2Ub{x^(nDvLT_ͯEtPWuK@;*ǡvXg=< :R(R R p凅$,R*guu/9aT0b%NJ)_@çrYtN't@hؽ ~ /iF9&?! xN${U-~^*R?8k*!* ~q}\ -j JA H+@/$k:w$u"qE13i{omZc oҷU[In{h,~rʟKjm84zjH^C7=oŜ {PIJ8k2rJVqtsb0D+%dwn8~|&C#i+Q<6._ eGdqzOE쥆ZӇNWݠ^CBkW}Q8Y _R {5yGf6梖Eh?<fp]q!?Mo 6o0S%=wTj5(>N[0?+ɕ&]d|,'=.lp#B '_YL>J!]ue C2%x4'q (Q“ FqZ¢n_Y$U,!noKƈ#ydCg|4]ÊY~ιbYc%Z"%us:Bd:$Or7`Ӓm,'_j&.C'%^oWl (J mUVE+8 #$i ` {* g2/k$*rXEO_Kn/&)=jDI)GIj뇓 &?{/\+llswdGqC;osNdlg ~yWpƷ-Dp,yQIFr`zH8MZ̉n۝8Š}qL=> r#'шd#9oܽ!;kk[ N &(u}y1I'w]6 Leǎpg$_A?kP;qofwicGk+];8 ٌ5oFZr70%6*K(α/D,qf+dj]M6 EN*ф\$館ē I&L*OOYT+bm&Ȱ):.xߗ(5;U;rs481n^awSԧ e6$Ab ^EN QBb6/ULj9Kam p"Bdp( %|n-e}S1lelLilD.3vSKFx㉒q٧g@AEkjH6㡆S3}+yjQ+{JȖ)/EfZM]Oؗ KyR}m"Y\R>z0l512ha3Gډ}PN+y`+VFRB>:N -8!tYL|WYUrG36 5;e]14r&H6xNnj>GWҡ(B1\G{/̨VarvM 4/gT6C4KqŹCQawctOy_ Gm@SL5r ϏӸmr 2[#x* 6gpfU*U8ؘcSKf!b7LsgR]}glڡoI۫)2qlDZOXzh3 b+g!q3?=UnǤ\܌߀V֪8emZt(w7$qAV읪B?Pm!U84$Bn 8mzU 4".PGE(A ߬Pfݳ$=\B-j9)ZZs̗5S >| ncR\4Syv-MNz |`B*Oж kFZ6 @- %/ 1:Zb 69 xq=>HX6\S`4. {H3!d#!M1i+,y!đX#سT{'D5!Ȗo9@na~n=X夹0rDE__~R!~j'+?"IKN ðx 2ݦ!F=ԛU~(aMᗽ![?}@a:鉁,VC0v浵'S[~) C7#ۗ;;={&u{4M~}R+Ό"ݴwwډs L0onU bb9srIB%|;ֈu(z&? 04 nڀTW};:Y貰& 6id{u95Sot1PAONa7Wc01^6;m41h [x:0]h.;;-)pyD/,,~ _t3cR7i;SdB*5 WWnN]#c"'y˚<c!ߋ4{a{OȅC'V~f?u u71lkU2ByGC,ԑVܷu0( HڀGeqĄ)#϶ʁ: .`^~s2Ds"<C!UI^$a5d4>39LOy0ļI;$Hjrh, ݢS8!+ ډPڲVVj!;|xvHEo`3|ٌICpdFPyKze#~U4ک?}XN'V- }*gӁS(w)QiR7\4D䒮,XCq7]N/k\y`XBu=亗CQ`{yo(z-Z0ثL_JX{AHZt 5]> 4{ɑL8r?m//RKkqô.?䢗#Iݜn-<>;ـӀ?Q^!O&M~wBR|bZXV5G={~3 5z >w6#Ά:NS]O=<_纊3kEEeZKuTĬW۩XDF5㝕гc*TP$na>r!XLJԉHŸ@Z4!<ѾUK EB0 t1#.^3P;Z1/g[(gKxB/|{?R3sB?J Ud UP5?[6N~g`"' dny5@"ekqǦzh?zac ٿzmhaįZ qA?v9[{5k {3AZU㥣$i+mK|B6G*?J2*ɌD_xTFU- {ՠi}ƥQVaC\ÊItA!pnWQ$)0-S[+>ѥZJ^%vI{)gǟBn/ xC_sor<X сbFژ RB$Iӵq ZlQ4"MO@1xJ|@i #ǒQF "s(ץ͇#׮Z^Wy_$ 2mrK_/CbW|L݀ uQtc"NExI2Șށp m6D'x7!F$VKqb9xti<=6ks:򤰴mhkTxQU&z9#:c uCMk>%Qkbf L}9rn芐)cwנn04G$]PX) ^-wXyNNGh|=zn0+ o_q᭖sԥcU:2+)3 *L⠯öJHnaI_H68$XϬ'Mxh"$V_ʘLxT.)d3gk"!`~Wb a,Gr]bq}ϨʁxQT(/WOZu~Z0y'kOH8$skT# `9.~rFیL ˱PqMkMw~Fa}iѷkG: uWp_O82A:(-.g'U`LEGm콉OH#۫U bRCstgo(Q-6<A B?|)"Xa{L%͵@#GOs ыFJ |)(dO>T%cPz"#uhcؿ3F-EՐ飀pgAte:Ӣ:¾vg p*`'NFtuFܽS ߡc9x~.?ƭw|H;r(q07ͨ/Vs}]kyJ]k <:_.U/id̒-AtĻfn} bb+w ieJ Q&F?'nv7tzĨ5is|ݻAN;d]paPP,K-l$K$J{oP)>Li=ز8o2 _y |Qća(HU )[TALbw¶%G 0.2GHLk t7fT| ΁y)mZ%{oɆ M.lcꧩ4ԭXtQeR5?:WR&1mq$ɟUiYfl%iFVZżE *BXKظˏ5 HU%N-.A-;2~IJdY!NEfsGǴA4H9 kDH 2=̂HBԆj0H˗IvfXe pdH1 =nKvh?t /:eb[ +LD2I97xn:5mz}5[= )N{I,d %V^dÞW|_Ν}v˕ :x: zkN6mruBU7{Gݡ#[2_Y;^:u%Tp\VKCe%T 'Vi[5;)6毁C >ujf˹Sc9ιs*er} tN%F 0x4똗P!c䪺M1xJ )/mL͗5еKRڲni%LAeb #8G:]58TP,itrɳ_k0x}^k8U4/_T!Ix;oZDŅy:! X0Byk_2R.) Q -ڙx-j-hJ&O )!Ѧ[Um/|^}16g!Zǂ ^[hXGG!#th6oeq=vQ挝d+񑼔JuQ́RXp%IP]Ӭ9W nn ?s6='b'Ҏjgd*Kkcqg\Q\PRܐu68bEQdxՆ\;kihU:`؜v!zûlԢA,p.F>Y0g]JjԗGHD@9w"JxݓހD;U/ 5m"AYx(t"A8$+jS O}~ޞ4M1ƥC_.9܊FL!FHA7G`aj'8x! t [N[Yaiy3vVCe_6yz0ΩzRLPnG{E4TQ|Ԙ|n̂S=C3.7Y rP!Jopak(l=4Qa*@NpŝLZ4|9kQ^EũICO^$ pǸ!˚Xss¸"/WLcSӰ5@:Ia"! PifZ!}4#n5d8 D ,ZT$'`?f!tQO}ՌBX^It_~Q~,37pM5~~.EH>vA@#ZQ̙(r=*'K>B &w9u 1Dڨ+A1Ϧƙ' .^=Ty_Eh2Z_~zVGhq(`} v^ -9{c5ثX ,O{C#7C"wmCjdटB b"6W ӖȘv=1^ᖗz3&x޶|<DxT@kV|%ʲo,N籘.J+t}U69:=x;Qd1TB5xV|mU iSq!IW.* i]QUC,DGRZƻ5N:kü/ڰy{4+^lWO1d>K_&rRB: :oD&d< n[yI~+'_WMIVY<)RvC;=8􀯨-AQUY_ C#K_vr8c8]L>)7(t^.2V"OAx$\Rj2]לj-K˥z"/d̕~^@8؎tM|@oIy3RlmgUQ(9lxDË'2H4D[nӤ>l M__҆ԷiCj:KT'=åeJC֝g-m{U@ {R7 )n>'0cRzCI^ј)JDy*<nioK5^1=e|6#[0z;ze)]KDV/5YrZi1A̽V-srͼ#g3rXx d o7G"S+1^JQ4(x>i緢"k'hp"'IDI?vYƦd<\3G,!3XJjw 8/E Ĉ$+Ow-Нi<Ȃ KPi]2~ -.#~m&=?^a#9#WFԷ0[Zcqpe2dƤNn8yl P @.3m/SQu#L\;ukT}J4%5hQ#s6=, d'oa턷^:0¸d KJQw2-Cgӽ"8S{`@MCbEA QJ{_@5)MZ\ʯrQ3OԲ9wh0XA>sk4q2EjE'S]?ssx>e"jps^T< RU3TH\j.•R:f)43$ x]Hp*}b$Й\Tdq%*WM7~G8+ $[=)c~S+n @&RA/[Ь0YGvtb,ڢDDg{ʭ{[K/nB2y0]Ք\&u9QtN=% +IWuYOXiQ/aMɄxf%RA-'@K\Ql8v!QsUsUCظAXhbJHvk7Q"V@9 4xB qէux.a{*, e҄˿7r5%|k\1΢gNnEe9G7پUt]ʠ*TՐ>춨&R e`.:dvktUiӌtg}oڃߐ}StǪ. TKJYdFCK-M1<_nsXy,-tyPE‡fS0tRqRtL3L:PPrp#DvzlMpuތn"WלoYIӖ'ĞhHEWL~Q3Gk\˿#Ubӹmz~0u<c M謄@}W l[rAh:#ǛJ@,!ԋw:`t8C%3al6?8UL@\kFUU^Q@wYƯp{{3{v%dOwDMyg9S;f2'D; P8W-~2(cĞ5xQ{:>_6>PW ~=FGa>MliI$f!Frx\)MⳌLA/ŲՉ3B[ 7Qrjw-Z?0Kʈ!>M] 'v=KTN1F ~.5l Ѻf5?6 seF:df$QS6D"7;8E@Ro?[17 @3q!Pn{`/PJ5溚 Zd9!⌨qscM9:(7Z6o / aV`Sh 6R7~' wuY.8o U':Խ -Gl٪6m 4*MGVcIQocҢhf?V6}L9ıeLD({2Z9-w$q\vX7sK ڎ) -xgz0 5@_i#JHʲt>^EetP/ʏ4]-~E¶̋dPJ|[9ER: Rt`' )3!pJ H}*a-&q%ƹ:-‰"QNr#7ZW,U&,%fr衂dC3aF$ 3 vf W(|aY!^=Yfdg l4p 6\ВrO4Ak(A(1S9`/bv2tlYA:I z\z@ϡ-pb︂%5'&jy9atiTY~#ǂS<ܩH8Mo@rbDTN!nR-M|OB_Ν!o^M( 2! #-bh2I=u_^r9s&U%3aQT8A  27 `VNdLI/$J!|xHى>z(݀n B_ww/YהM؍Zˉ\t&~ZHV6NU,ME?L{#<ݷLmu kow Ƶ6v؞j:<~IhEygv=#6>{d%s%>pQ2uL:4iA8yOoEXc*$NPQȴ$99B5PRg!򔮳WY#j5IG,O1 =fX9bVF(;-ܺ(| gݘN2YpUUڕB6mfy3Ɨw` L_ ,EoƎ/}ӕ7<2449 [_FB][R_SvCW#%C lsʰ}n&N5@Qx`7Sn̻(~9,3xOeą0.;k-Xd(2Z&V:6Y5HՑa̧:Sd8JA+yFݛa$x1t=﹆a׳_χmB&shU$?v@;(N~(k36:&/o%d[AF.prKb=*@2sͧv+N &/KE%eׅ8BވB <|`|@ZPFSJgq0}vg"-r*!5<ItYo`qڦ$0RdjP rLŐ),@js*w,UOqy`Lrz_ 'j>v2 Q>A*avz5 X ?oS̚sk+s k>*f?jW:vh[ ½NOv\oUHֈ0~g.[H"y,U!C>[^hX14 sO²u>m)?ڧJU-?沗8z)&>%[/`WNPtl tUL"vNXOF$XЋݕdד[7@u:HPWݺs;U&]R_XPc0o? n%3j u; Ns؀(+<y(:5,(״iLBퟏѷae<  i8aeD`?~˾ScvQSYVwncZP1]tD3>l,}K&hEBoXԿc7+ɠU ;X`uLhG5}Pu20 yE8Г0[+ ǴIM qT ~pVe`9lcaOJGQi<3Mű ZdJ=DŽnᇦѺc_799_qzC^Ϛm #`B zKo"4nR8f5+S\i'O]&) ;[rT׬G4`U<@5g3ͬbtYv yzW۱&5Z"oo'~Wt,S?Yk2d뒉|2D;q .֭// _M?Гخp_<8B>Y (zKl^~gL=6gcv|Qq)3ڠ4EiqhyY&Tuh^ 07p=X*hHUtodtܕzC7XvXgGz&ɩ^&umFE 2"HXq SOfA6]G™MDB+G ѩDo.O& њ%GDӴcLrqx㏰hoG &;Qj%ӏbL%03BS$% QJ൥H)vZ6R_Ϊ N}U>'~<[|T 5u/;a1#e y>T/ 50 u:B=dgLv4ghq b7RDZagl+?Aa&}@ɭB+@ =UHebߊ?3rcETIoA8,ś. ;Ye9 +_ U?"d[gIPA]϶^a!4i~lE̵fFѧ-IIx.kS'2wIZzөa+jekmAsֆ;)(L'kd05Ȫt-ʡ6,@6>IZ聭wծ.L炔lgR1&BLȓ+=Im`EqPxF&yHIQR!U %;;X@5;Q-"Th_i FІhJq)\`(Oq,ip"k{L%.=j6ҁ%Tw9l. 洬԰_~=[@Z&oє{MOu%~sԽ:\=ㄹbC؁1F 8p`[/uDj,NXYTVq1Z]iNgYKQuAXdhRCtN<@Yc?ȁX4NPAyov=1fe~$ r?"nf:c 4ץ v FSܧ)Q0@T a;Ǐ9R5dL-yyX4kBÊ3hb \*ڗcJ O~St,WpbSǷVPͩ\({=S׋4ƩNyu_8voJv|܊R$ŝXȫWP-{[+^hI2^LN$4l1Tssײ~!#ktNJ:9#SћsL Dkpd&D'=5Wy{],KȰʸ^hœL ªroxKK$WY28d:ZykEy Ү|FT\M$`ק{/M5"?-vQBيsha?uT3][y&E/moSgYx~1^{f`ĭBЖEK@LXAl#U ,]nnt Het"y'zq dڹ M ]B$Y_ x7]`޽Nrk^UPn)0ūeHw>$b[XHDCT֒6 .Q}Oɒg* ,cDX2\B2EIU;,m5wPv7Qmg+4{-tizCt;F~T )GdU᰿EyB*1?'dO(BjSxD8dfם0Dt1*[ǩ\ )9Ҍ$zWk|aˤld } 1z}4<0ZrFҜNS͐>)a66zA;A@e? 'g(Q>&,a1,ZZ,i߲K_#J I&{1n՗Qr5t{iZ%!r 1 gʹfJT B.9};`Xzx