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 ]1DD ]% HOL-Decision_Procs:threads=2elapsed=777.581cpu=1387.704gc=260.160factor=1.787zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH<#6HN)3h[:Yci _b|̽o@[KeY-Qji_Ƣm^: +C ~Eaж{O;%y=ذ-Cl<=Z{}rKBw#4-YxqcTwO}XgV2Oԥֳ9YjQb`iXp <\'DGjۂa!;ҭY6A " ?nZw"Ys Rb9i.uҷWS>?$Љ`mbPPVn|' y3 {,fA^|-T6D_j֘9T9`LI+D'N3u*'5\27i[-~J޹4go$}jü:Z($y=k&Zu%T_ŏ'twpQ&U^p](t牖1up܎ٙ\Aw p2.5_~¥n" -bGPL.ނx{WQ+6W]HDClIðrV0pޡ|%Tqw7l01vɢ03Q&ث\] ,@@&+`J$0|@e3 Yq/((ͭHm4zuM=^.,7Fp_9{B8@|3V0u(=<'HcLk% I0A]n Jv>-?FMܕVTp_t;=*AA@M\~Xb4SwvDmD~V#F{ֺ5` z;Oq&T}awOE{ˀ_yX蕞(!s7'KDF*&@ bg2'dWةmń-yFw'Ǎnh݆9wrZ4sڀV8 d S>djS, {1 9;|^\?\u ?Z[CϡBprx*ZiU[r:G aUGb˞Yޓ Jڨ$o+x9̆o͹HdFDZ7`釳x F?I%Y) ID܉\bY ۲a!I01t:'/q?Yvddgv*}xd# >LK4$z+ ]egS;nX[U袐Gc2Gϭz)" &0\nR@_hzk9?.'/N/ ;Brr9,n&*ԋ~\ߨ@,JE&\9_*ad^wWzIթ$S߀Z+oN!Q@ \7Ct54"J j;d֠24cϩ = UQ2;8zDJ&+QBBtg)e$ON0Et;N2P҃rͺǎ7I.oFrjOa%.#kq*d°%p( \Nկn_KSx-!Y~ l.{T q_(2:뺓%r}Uԑ|'fӅ|DfI0Kwͭ[Z9kw"*q*/:{KÂ3ĝk0 ;?V95FC9۶ /hKiJj5 AW1/eu<=fkBI_3sooXC[y0Oi_<,8 E.fF\=I^M9X{a+h4F,BPR =-Tڢ+帢(!6jd i5MRd /a )Kr0R0:A*#䬧GM"r a8Sfd/Ibks~g- "2N# H R/ڲx]+N;K]aN'HUcߝqs9i}i:{6^UNn &M.}-)ojo$p=s*wVѽ^~v 9DgJ;Thd]d#@|ExvQ~̂>jvYKI<F 2d@WN~Db[!NUWzTC 1 HOL-Decision_Procsb" !h0AZc=CjN3b7<%>4l>nc>R 5X4qcOePo^F$Y]j#-1]K2؝/<>J4 q܉u&sIEzocQ -!aӒJr1 >JRcb9pQ%~ Cq(YVOȍia{դR,vA\u:*rKCGlNKR_LPYz#HSѢH`30/ޑk\%0)X~Ʋ\n jDS}bGY2*IxPߨs8<@_:HS@Ўep[N |^Z@:j6NXx2I]Ri=_b&U+2;0lOC*ƀ8QpC"G/<WDߕkIuWE&{T7TЈJQڶ1I_l`JwAIqkq]p@ѝb KSW*kA]zb;H \r]& gM?Rwi*Nx AI%UO粻!3!Iŗ#!n(v0'0T 9= ~@$X>WjOnm)cP0C'8k(DU~N9ٴ–Մ'$uB2}$J HEq)-g mAH/++h-Xܫ+rL:ӲJQ,EKQ׶ YiXYQi6u7nFMU~"M|~1Rǂr8Y1k*vuيq- ̴uGM̳.yŽ.T(+`j43Gy6]o pqG&$PctYKQ^tDa;JwÏr/ȯ@I]nYbf~}E?$-mԫFm_[,釲t 7`eҀm>mJ ;ߑ0 &'pb!~ڴF1E7ky:0) PkSuo-8 3g!k/γ ^.?.G2iBޠ/`SҔc8V=aZ2b5d?lP,+Y%3d[mM#UCl,c //ٛ8 s"6H!_0^؞*)$ۦ >w ,PofliMTJb[}Nǒ֞`›bHP^{.6rlKe8}.iaú׬[7\\ 2, (us`qC~7C#PXO_mT3/fw<*-Iɀ^@QF0(u=vR ¿2 2_^~@~ 6eMa ʧcXu+Y S_A{5xI9C@%ԚNzUSw0Cw=5^"yOj83u,3{! dϓHFd L; *_kYhQ]< nx)Gr{wC^~ݔx=8u4?)Χe4ۘ8O;͞0}h0Ӟ*Yd~)(fVdm_+O||̋t̽KV в6x4<-A*.p =~ޟS2>u+*8bs+pk:,7fǗY|i ݾ03@ nuF_FLv5E^<{4:YM8!M%{*,W9gYZ7zXZִF! []ŗXiɟ17L? KxlWP8SաM~>fٺd?j 9>̧3C[|{< SJo|*0.8Ns]+ j BF̙ay_U(0iT\*/gP[57P bgx̯%59/Vvo}S{֩$}-Zr|V˸= u۩~֭4؞AZiH `p^ǧYDݯux7&%MV`z$ W?`l]UoXSf!e'o4 ,V~v]܃o )YCl#Ka9R`gХ*xX4y斏u!F0=[Ƚ;ƄuQ0޽UZOi*u1#_!z*JOǢ.G)DWPi9I+K-zLEWd_X`yd c =z|6B{R2tqI |&79یtsNJrS\' H^7 QXpk(HQfu#o 8y{w-09r=)-Xh3_:jiiP_Ѕ䄆3,G@"C,(XxbKel\٠]#LnX)F_ߛ(|әIt$\: @-[7y|9=n9-PwXiV$0"_c*70mFiQf+S4V?'o|<^57UH]sU9F|fdJ֌ydJIA6=*Wޠq'SR.@тj~[ $n3o~ܜq~sJyVKzύWs<$Ite=,/IY6:J4zigʴ3tӑUX)j^_]g+]X߫A:|<%pXG/.Zɷߊ{^NV& 3ѿ Ǥn_uÉ~MXJ+tn*:Cx$#{k$J,`cL8s1LR2F}l2XRGᯯJufP$ciM>6=v7,NJqݨ~K?`b,أ-*c6qi7P5uD|Iw)i?sVA.D)/ ƅ269J>"*[_x_X yRW|` ma̽ &C)ԠN`4P_=ܳc|, n`wĐLS,GC@Npma7w2Md6†yg^`zbW8n4.Vܸ׳,FW5k84o6ӣ &TD] ί`HdIڟ=uJhK Hf0㐅4쨛ޝL KcWwQ Ƀ[9:|GYJ 4辆T?LQġ¼T}an᳦($L*:o+{GM}ZQNj#W<6m >뫰:Wcٯ%RλOWk% e_zc FӕΫ|]#:򥚖6@fd) G>0 hA=+wJJO[1F#dٱ $<@+y,{'0IxIc+rܘ*/X|}fTto6*+Q.0aC3,, WB>š)F[}R6ITO8lWT(NjqOqQ"+[wq{?+} {6~$X73t? k(b6bi6Xs!WnZ1RLoL1wyi|ʋjhɈ'ĨL[B_KJOnTfze> oފ}#x^SW5^zX. T:C lT" ;̌pU@ߢDllq%>+_\x "Q 5w0u,|4#dՐQtp@@6H;ceIZ/ɒsGiϒ<6.0,XHMRor{zӼ$2e|UJ sk&_jd_{!-v,+#k荁݄hpH cK4)fa7Gџr^ Oǫ!1zN@[vEǮZ>d bu}d_ 8`r sn%$=[cXd8 [d|k}}s;Bfb<K5Ե*93@*  4mۚm̮ y"QA9LUHK| ':/p W޶ccjF΀qd|Jq l H'd !RJ_[  7mh!;MekkWqǗwfݰiocu` 04|?=4;H;$_5FE+sܑ>U!8 f7<[f8FQPp*&'` Stz"o" Ah{k%fYd&//n oQ#sueԳS&0_IݘYpا/'{d֫*, S#c~o Jψx<(\:>[j_ֲ"a 7>LAaJX[ɡslo J~Iהqѽ"s:=Sf 'v''J`fwք[QD/ ع2Գ&PpA^0A`'NӨWL TɌFug3"VyWGDBR𐟼nK&iݥjil e[<9kU Sb룊`qt|)EϘ ".clTi D؇R7$/cMI ׻<8|'q0'gvԔ&v3gz$0llML4Mz0@CW,L,⡆Io[['_gsZq\ҝܹ5)\-{WY\ W2G7/CwY"bSp6:>aꍭǠ`.6f w24]j25j5`9WMþDO{-( 8M;4]ϕSB̕<+{ȥ.]ֱX0Fp9oml¦Ϩ8B#:\̗!v ` d 5x@#&VAOM2eOaߋRn<8M%ntf^2&gД u0_9X`WJR= I#`UQITpsB`o-&LiSm`5֔GjJx<(3/;"4)%mwG1?Ál(f]{s9Xx mAtĘWF16? -\f/{Kpes]plxP}0[^zyqxӇؓrKu͹'(QmdtyYe(|8}ѐq~w{ i)9v̍B|pEzw!uh/fz _|Ӷ$`PXBss#oΖ_=ԈWY;f M]UI(fh[a͎8 5N;IEqm5?4{X\8.'ǃdةLR|Ak0Q${x*\b~fׂK*;kѬFJrgLcW-d:F~Q>u-kA3*[Zq$]!1Ngo;fp(2ڏ!E>. { B٥dm0rIFҊQ(yA) Ti3jW,6^%!$(݁|=Cn| F7kN`WU ,{LE 26uI}7fT;5@ fHՏ=jf-v AC":FpߏZE2 XܗJ1BOy) 0 I,&wvL˗"dBkAA .ܡ![[')Y0C4~Kvy#B.~-`[VB,,$[s^gz2 D̨s)L(zjD+xN wEVrҴ#H-og@ c B,\,R!m(2 ${d%%#FXET 䗨\Xg]/p, pl@-ՈȌ{jE1,m }'7B9!%IrᙂGlw/[`W V|vu8H}xbvngb.PFB{{s3>&aݥ[Oq:4Zɫk?T{ .V2$6 N( (ƈEq(֨]PِwƲ1`횉pA %p(H&Wgd>2m}Z7n@=k5@֘x$C.O2Sy WBU3{N̎!fkx s4k𕘟 ;`[3./ pFfŴ*.1EUpP>p uo[ix>[!fٞ=HڭgTXI-76 Xm!WOxW:s1DlQ~C7š]z)sǐHupBHɼe"=?E"S]I;sX/&/sa[.vSr WlH.D5ˮ6vħ9@4E(!|˭;/RL Hv|LTo1Ba19J=pAxv:Z?%fy(0#v?:.σXkV_ԶHnM9v nMG`.#Hr,xaX߰e,z*W r-[R, ~xOZҥE8r-h_|c3eeJR%JF)IXл l5ɧFm2~P.2,xF)FΪYe!iryr)xb >! ۉSۙ,d6,X+i?.~H1@gF R!?(M5e8Ly¤{E-vZ? ɜj+p(\IA4j"4{B/\'0C'h$˵ ]V-f*}+xj|J~4E\L.6*+%>G@JhzP1OTB$w4=cۋQE)#Jvئc&FeG8L,jpܖ?qJ~OA`k`\/JY sHzxVpȉO}0K , 5bݳ 1= hC1=ի-=٫_8xMyxBkݡ( 8ob Uw;LCaRJyQVT*q95A9>Oz&S#K< RFX_H&^17ըo xʅGFrl 3Hzϻm5y}Q; ^E.hCUc א!^Nsݚ4 G|Rҏ'QſK,PTs5F6u#Π_^hj y,MtA4p#3@+ۯx8TEQl:m\:?ˬlZĚ}7͙LaVa`8hSͬAAb jhVY#=>3/Z4k3^0تJ:+C  g :.y}- cT9W1B~E5ڀJ$diتWr1}x;u)f{ Y3hRg` EIFiۇUX;,;jb)((<!K'&a\}B6gn Bꞔ-!ڥ4Ķ_> OL~e({)?0wpǓtPϚիE,[!9ssgB2xE/.;o02>!+:>ʟWSg͔=pCI ōڛ dsR+vWEAAXyy[W(3?Iq]&&Խv ~LL];ʰdKwA bd,?+3`EwI=6y>pWؓ\+TjSu.9 Xd۞)Ʈ\uH<'f s?e$0~袃 /QUANX4vꥇ˟qZ-qpA}BBh*kjRD鋬R!0AefϦ)fΔ_fl`z"vR 7?`LE;j0Z^SDrBaJ놎hzakF/|iI]RF'6!v0YRϷwE{ٸ.T)ģL0S]D,3K4Cp2823azl$b@ww!v rQ|eҝ3į VHgncvs=]y(`جV<'Qs5Q{],qܶ0DSUwfB,9R9= GZۈ@Nv"T  jҊBdЮ+Z&J\cr~V 䨏G 9=w*_oUJM^n^Giz嬅<-+s.p"/ NONg Uq #ɇpbSPDBѣ`(eZņ;>OqH)4#Y$phT*hf,ڗ6fm{QGJ=,?Pu^YzWPj('B;΁ -ͳ; >;^F˞/ffBmd$pC.ՆFڶH"dJL?.@6^P-v٢QМ\9ݩ@<6*ݜ}ZLVl±٫t0[CTp@zblnO"Wb W -AnK:EXGR(DE rl@ܜ7!|՚oR֓K/=J!lE=Ow?C|1Ih )x  '=R3?f1P-츀[ވ(!<9ʇg]#{K?%su& 4:E[5~H=̧?jq@\cӡi]8Ge*+_+31%Lj,g&"S-˸1f#J k,~h^~bs)bAczz(,MZ+}K>喵Rz3?iKR06F3UNTav9sVbV95yKO>XY'ϪaXi% %pѰ=4ۓ( Vd3z!Jظ5 *XpJbݙVФ X5c ^H$F鮒UEÊL22*S.jҕ DQ6~+*#s( k8yf*߻ahyq5$*=KGjmE-`%BRI%6)H'[3Q"?9;ï&Bfɹ}yľgq.[2!7T|r(S{*E(Xƹ@8Xkw;L6w;x0L~"6DŽ<@i0,Pl~v$0!Z<$(濟(;bWTaU)rϡd|[)&ALVBԠ̤ N{~f ^ dQ0E/f3Sȍ%#gE[%_ _dg VRw6|~]QX0!8nnN7< x4^j-\CmfS_<=fC$h* {le%L zC˨4. yS63 c|YnCD$l|p}lKF7azVc(G$)afunL7$GĔo,8(i׶b^{Ǯs-8T.$n>%)̬|<}9R R'V),Eуu)b$+*Փ+a#Y^ MX g 󩅵 gœF.gOi,\'WAgdxEBov=p-L^GK߳g#r-XBz.e)g~ٲ!OqT+Oܹp?TDq|ZcK~@i3Umi5TH4N~y> 7ӏ`e+8A O][ dF ۵1|)ռ٧i:q" WHD(EQB'xZnn{k(Gݍ;0nɉtBoB7xCQ"ӳOWZ^!J 4s^t<~ :5kwUwIbO=3*d,ZP e1B'GdSbNɅV.$O ~f$}UL8wc[ Jӵm?QoXve;K}qVf;~MsQzLD~r4C.P_"/iEoAݗj7iK\ /3;^8m`: vvq\:']b6ߔ.[4w\kϷ 4[?m3 cGjުpD)/u Qt-?tI1R5eFWQ!%L=>'y5uR1sU>]h_/2XR$'?}o*IqVVǑP^y}~M:9Z^ppD>)Nbٷb{ƩPB|st|l{[U?)0i"pk7l̋amAAXܗGGs?u<]s;?9k M#f 3Hgƚ=/%9+7F]]KK Be0b&<2 Ofvj >B#ڄҧ/8'Smoz&EԎ;E^EqU&4LpS}S@^ČnDOD4DXcs >Upx[p4!q͆2jM D19M0|y?xow }| (af8Q.[K+HEnٷ>LR/F-}o3Ȧ2v>@2 Q0rx\&np} QNq S*=[Y42a4M~AE3!(FK1+7A&֐\7 Mׅ+w(_0/a 3>aU*hwelIƚ:ϥ,pFGGK^-cW W/g#.0MVl5)(ݏU.2۩:BKb+8?@*Cv%"칼 J*^P. ҳǍp󮼟vvcUN mk|R1KQpDbTn ED-l V]{ -ͧ[/-#\ؼ[93du ybc7RJƁ؝H)I˼VkX߼U_'kn=]f*"o]b1' 7Mgg W9\ HthTt+vS ]{SQ7B!]øy̼*Ls%v+׹˕ȬWqOT3>bN{[,FP`r*6 v7sX8x^.n̥g.j nP43)imt"]|ԙz<.0GtH*BK43 p ʊYB쫇B ,=BCeog;l~.v,b:I`0H؜01 W}#@m/Hr6/CMy;A62)N{ %.Z!B1 O>Wq>ɋuKw?Op[̝Ir&*>q>٢%ݸ+TP9kt"XP@T6j5^1G7bX..'P c2-H/:JAl.V\!¿/R̶30ï[X [RX2t{}=MK׶X"gf9j$9~̏`(6XZ鼮7NoYew1TId˛U`c꠵Ǫ^30'pU*Qu+g&q.j*R5O$f+M0%oMu,[M|sO8W KG h,MN=AB8ɔ=n2& Y<9:,e#Xjξ$a~n08|l<.dv⿫7J Do=LnȵPo;*~+Eƈșz!nnGY 3Q^NVACfk1=Qvlf5S8 +j*.lJB>8 !I8%?a@=ן~I):oq4t4c 7,Tz} x6mkɗ?${ب_"rq)4te&"ވexZ:cNj(SB2a%.tJ`m}H}I" w 36LDB}4CP¨1q؃ WlA[tb׼f==6C:?74SDxc(R̋&U8ezbVM_i6+6ZsDחK5w$jXHپTV<;{WMԚ%͐HF1 ;p %?UbJi.xP,YT;9U Q.aK6 B(T\/b}b)rd U"u_r>e@=I4sV1' 02gm]ĂP D߈Ko…$ iE L~̓bɼ\8jnش`X?=8gLP=C8qe^=Izx> O0RoN.U4:%LwCtF~IG#u`p0?%hAI'}NIn=BE_1YWcΘ]Qg܇)~.Jd-nz[ euϔ$LlCkė_2OX}9)w||VI06Fw DŗMMf6F.][hJ&FEQ7\ >|/RЂ6naG"anAH)C~FJ0Phc!I\eliŒ3GU y5_m̺'~a.γd&廽Cb`$z v/28!7bWf_`a=sWS;9*LzK+P&bu /&+l(@)EMCi4/۟s'#\UEo}l^q/(@.@"VV榞fx [ܺ4V˃2^hُDkQ>3g> 6 .VlSr.odѦ+pȺ,I@4%?DS}}7p+O>)Wd@O8CG! ?a:@Aqu"ALe ~ U4#FaTt^7n^d+ֻQ45BQfFu?hIM20:32(PsRdC(g2q~UE7|WӱR_-XNk©#8;.Q&RLC;9c`786WSRLx60FPfKr@f!V+A-0lw@WUІhPKsCzŢ~C\WG'k3: #laSqe,Y|N8 ƒlS73975:y*Q;rחig"j.m;r0_|8SiUn=zw8ys@봻2Ω 6s3#CJVz7-2uucBQ+@]oBPwN,Gw zTT3cJpw,fPS^oPqC$.=eb=&sFc^ˡEӢ͓ԑMyƻP_N rRLK}#d&;uհchơ8uˌ|@"b D=xgV=$B [dw tn6UwB'S E;>eE.*fJ hp*SYD&;]H[\&0 -."k* 9${$aq{$Ʒ(~&I)kdyYKbWYɁ טӬ:jTbuq rAͻW#p].;h;Jpwe+C]C6~{E ӫ'*i'!C_YJ}EH9#MD͸C60yTaLx2`$Pf=)R. пRepB;.,! x0{g(uu.:`+I*W^W 4QTtxR,[Hffjpj]SAuz3[BBiWg( {UbB.n%]X`I쑌2q!]$i`W{q{2[ xGT'ft dhb:f]?'9S{r` ba^Ҕ6]P'0QC߂Qe SE'1)PnFכ ߗ@ȎH\]- ^6u3?s%kSYEL=F=HR,F1oO-(eA=aC"D\˹{Ç(Ķ0 ,ja^uvuy`Y9#ړV\JpdM)g vMn7<"@Mh%0WrB@Zi@Log"PMK&%׆TSkfb;m=k4B  >E+*fr_OxS`Uml[NKaq_͆\ cUMmyULib;nZ/@|qc5-uRθ[Z7v;Eq0B("Ѹ-4zhʡQ떈ƂF dV* َ& v#XiժnjGj^s`vyNr [lgR{^`$Zߠ` vUG$qHzR5a%A9=W[Q~serHc F]P=8.{gHpC&֕xc?/jrW-H=.Ɏ!)EhTR "8 ;'3$S"vc* j3VoLIJS}0=KI) qvBU(tGQwƢАusZvEcZs%n8 ҭ֌fHOքs&ɫ@S1Va?5t_Z[OHLG8e O֫+qPgsnyqP[ ŪĂPZJicԃXC5%RzPix Ͻ;NײVS<4+#;/8R`sHqhU WfA i)q$vHL%nҴ@F!F h]u+ % VAh 0GO TǓ3( -_iM F]ٲ=AP!D)m_aTʞ[B00A"fGq]EhP֜["N7ߓA6Y0 ?VY99MkǺ| /xoL!7Q>9Ve4HdgcboW]Yr['-"j]L':cf5! وq1%Bg 5!+z*V ,n"𐒷ӑ ׷U+4BE$( ˇT;m PPI*lBJ#ފ0cmV>!&;Luս@Tٿ}  L&fozF+ub" ˚%]ؐ%%Hd ,g,i`ꁗϗSH-"ڪ %yl%:3X^] _7gYkA3mH'$\m3<QU;̖prԛD:VhPrjNW '>D7D4#@PT#q1+!3 6+.7sPԶc}we Ka7?q_`+H:T;_qbٕܼVf{e`wotqbY| z;Kh1l{v]5 fZ1tqw?`$'7 O Yވ<#e%i5]eD HnLtͨA&P$mȆ\r`yG09 m .\](Y\ݎ&W,yF$d'!l!K#7((AqZ7!m˜brQfW"V=+ur\H#S)=).c {(fBv}G4 K!]fO{l[,e 'zyᢷ]Uש)g]nPyi yP!z3i y s/c*{ڮ_pkơMjE-Y7p,hAi\4ic"TBٷ-tY<(huy7\B %EyBDN?ѮÕ- 96U{vQq8FYn)'9+'MoVveWq/:82oo}(j;ɘb=3U:'\B &w# Ov-{ Ƣaբ]e9mZ0:Gbevwf!^) _H={yNΫ(3R^h|_R]Au\#0Q>.B!7ɏcnp.QLCnR@V2Kר1ʌ+x&ېx1m #zKolQ^7iLWVc1a\Vl{>v#ѧҢn|B aټ,[V3G;)2s"`xcϓ5dxeA't@chB;J*:hqa>F0Nkc'P0:?uI 3'/~^ 6Zo$lhcZ/klM)U{(s zMzls[BVTI10=KԚđt3} 0V+aݴv;?>}͟$)ɤbeS`6|7a-ecX*l#>wS\q`P˜FB,4 k+E6%Hl%vTREAK':(!z*ggbViKYFA".X4%Xpf4uquŮ?J.0"hn$^WN>/G2jf:A+jKgJCzSzrO×[Ȉ`D`o >MC/ ?&ť\GE;8m&-㻰>W<; g4A>᳿R2M~,B/Jߛ^>Zs{Vs|c9ŗdkb8/ވF" @81lX0 a@`N!4݈Ka݊({y M6Li2Pd-J?b,|{#4!Fi`oǕ>{Q,Æ)K;K"_rљ~͛BF+is <ꫲ؋?18}H"0kDX|B׶"?AރfbĥϠm_[TC<&*X-88U~R f *b'wߝu/Zdl((? LG4F{t֛BqY?7֜Kj'kEUSpV0+7Zg Uj<ݙ6mmm RHP$_@Ɓ{f!EC(e.SiT_\lޠF*49 2[;NڋӴKS U]w;닏VY2ўUnEgy$[7Q* Od nX?ۨ䚩b_Z~ /+䡞 ِ9 XHk z*Wyyk#.&#ɖA+w@b,h"<$QgY/kW(eW;0_(%?M[ jHF<)^l2*f> pW}_ CRuq@| `QH]*a,tqj: E0 DNfg{zd7]À@!BG)Y^䌡{g(oC(7i:Ehsw7b G}4quNW~DfܦYQ߂[enrn#! 6&`jxqh>x> zGQGՑ u ,m5%s'yDuMPHj=daԿGh+9N6x\W21?`AܣVN0\EƗn/-2ؐ+F:k^w_HWмq%FAo7$jy꽣$V_AwOm6l 0"Oe63AT=۶B'co5zu<˟3z-Gr2",Æsk74M͑ۇK)$s\,ۛ/)IzFs>{d|U+yjwA d3rM׸Zk`D-x|{j٨g욕 ǰlolxh%W2E8Jl% UI5! !`Ҟ0YF7/" X+|f׍Y2w/]ló!5%)j=Y]"V W̒.-eטqrnXf7PbJfcVf혾`[-;^t{Ncz/EnS08Ġ*~c1VGM@Wv3`lC[(^C:F!"2J"Oq{ ѷ.ʘ'ԅ7JI{cֈ1'w$M-EM̖(..PAILVuoQ0e\}]D@Ƞ^׍=iN })X>[71ۗ45n-;-P'?wCDAĞ嫵P$*pKAsopjgI|:ޭR4*E~&agu҂iT3~{O'eU|\# >=x}!JbT0Tñ*cr>ERv}հ%VUuQԻBNf?J 骰ZlMn$No;sQi:VC cj'Wϱ3EWuo]˿BW&Mˢ}PpyWsqx~~fGy6g|biivw?MZSiSi+_Wސ%*Ag~D>w0+iapLлG1mK{7XFK뒞Fg ~h8t!~ת_woTx'kȕ!`q@u!(||Ƴ (P~%&4>ɕ8ԦFXEd'}rCN|F7T@^+<% e #t;W؜bDӍ%Ȝ@8Rríd+WsE򺑐$ A(rmWdDQ0L{`DEԞo-^ kZT)SU>?- rjW_sWY9.X, GIt 8HnW:?uEZq]ϝc&Td3"oу x]EsKk~? *+.N frzcW!d._{$y&[N0= ě@mf<(LWumWQAuo01ͷADP"ѳ@?c ڑsarcD{PqI\Ɗӆ?q[3)^u-mpɓ&Z*(-S#}ulHkp=~Ui Pɨ(ܬP'Zzݚh^^y `S &He-jj&,*^~[K1ǻJ DZ ŗN>V /w" S]Fgkdf<} zn#u,`D4_xXtwE͘;*;Nuj]}Mbz/AyYVf40~ ڮr3|hRbo^0,2DwŬqs ECkC}u9fO?\z\LxWr5zh˳Op\55x Hv2xUzȵ }L2Lj m,? lKw,Rqr|ɲ"g la,_';Q~ m {SZ ) V+s')^QxAös;OقLbz}3:SAW~F+ XJa, ڇ h =,}On6($Awe6>0̓ zTbD~}cZ&++6ЯCS0`|ʸet1GC~:1_e/f˸6HNR/PI &;FWq,Mεk.J 2G'bP&CYfsȅ߫'Ο}FUC kC uuB|}œ6-Oy%ܝL7y:Jvp~V1Kka.Sw#mMs(E"q2o&o :/^ؚuV4u%u3W x<늉ZAu:}:y'U{Yk3 ' N'ܺJN%+ 6ֲD{]&qycEyc:Կ#HIOGڐC٣w*V؞si˪q0D N*TKZld0 .>M+h&HpbiQ{3 AӰa)T:n"4ؒ%7I?.:Z YYލb'3nR.yg W ; WRa 1(c;;ILS|M6"gmʽN)KT"%(ori:jLT~ҮNHfwSSTBo Vw." kCN;S]g8Yg1dR&Myt.f/s.RCFg~]$5Bm IFOUmz]p)'Ht8U"T< mC \UJjv YIRP,SBdhHy_bEC2y_mW#!e[A> ѧ6mq2X8ɥmiY)(q65Nsϵ^OYg ׆M4,s6ZY-xg0 Oo3h[hn|R$ ;'fQ[3 ȍŎwg.fVkL1ɢ+eLR!(krz׺}lt l*Y6ХpN0lPmIqUFT/swbڍߞ%l|2'?f|<@Iϫǃj!xwo=@@wǚIkJVV>YlՑ+~=`;"=e BֳrnPE|[3#^ҵoh9PkN)orPWeN *)U u6 J'E:+(?mz~.f(Q\+V7](iÄ ]C@>wIҗZf)S/t'J y/ǂb ղ*??h\ Sb' >Q !fJ #Y}`pz*W XZҊ>%PQ>_n[ݸFo&~, 1d4I>Qyt