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 >%dLD ]S]HOL-Analysis:threads=6elapsed=278.155cpu=1195.432gc=78.472factor=4.307zXZִF! I>]ŗXf1-q恈a.W[xQ$j %sp"3`Jb׫ޣUcWA9i6̹&lzg#?ltPq2PEZ#m1J'uOJªz?A|Cb7 tC@J ai}'MNj %9#$Z> 3}\MWżQ7*+C5Il{x* sc(l By/ى1Ws4?PD]"|#a[⟉Z'+Gq8i{cǚy+g` 7ncu[+-.3[nC GJ"$$isNY;i%Z3ow#mW`/ueEKcDf&J8ۙQ&X3d"f溡U;;(X+Ƙ?R6#}ύI1OzM9( Nw\Gr4k#q Ю7yyj"WDg4/Y a>̀ft-b6 Q`k}J;eFYS][dEyS΀cJnBM ڈ&w1&bߕQ`fg~4Ü8:'ڤ\s`h.)DwU{ Ohݏ! ؝=\whsL&>V:J2&؊{(3waǫ:&6 &8z5ܣXμ`x9 GEo~'SBho8fgmU47z@#*|Mظsu r䬆e/7xכ˩DZ@C-06?9=ӄ ;^]=T2hCK q;TFç=X g To~aO4}bGXwUX0_'1@g Ul\֫t-6.AS܈=w7mA618׆3h@?g 0t}z j>wtrMZ6zl=~5:z61)>] &J?h<2;_wŽKot1޵`bduAUwI僁U|@ٙClcq)~;Mi;RK ͋"\}r8j4% L Dނkn˾g3CM$ r1=W tT74US"q,烣J!˃0"Dw|,n} |݁K] x4ThleEx9 uA D~ndȚB`D毁| ۘ fCfk47 Pׄ zXpSbk .1C6C.i;lwˌ=Kp"lZi~=[͚ӄ Y_P הpIlo3jpAH,660:#ZgW]NQ]u湦PU5ڻ.ωcZ 5>rowkDŽ&9(h#`Rf\"T7 'ɥ$ƄN{-7 iÙ.}r{hl;)`fE g181%̛^a2bp? -7wx% iRlL siҢ  (]X_Ò#Ŏӣڭ:bB|l(DrCdҤ$# unur*Ps:&n{0avN2!|Z/i!̱(wm/si*lt[P5k u)$|8A*f§L䥆D%\ɀWr} l5XNKHTy؆Nv0C6نxY'9N}jN6;5xF)DC*HQfámoS$TA_T'HOY}5JN^"oڦhܤ}AL<.0ҥ6tHf j{<6`[b pЈkT9.s+V"cF K*/ % HOL-Analysisd-R)eŸEǗl )P.)@YT! sa3 NA]LWkϾdࠞ9' RIWvfRYyyl?R H8SUWoq/8Kc\+w8AtMEpT[ bI$l lB;/qK].kh ݦ Gi˧rv$eW|$Ƅ^,SLu;~(Q[1`>\SXkq8mtyjɑF18:=pRd*18|(.Vz2Al?M-޸lKIF o2>wN oUY0ŏ%]HWK 4Vv /4Ձ_,Jxsծd?u~]=E$+~׊%t]{ykl 8L]]`&!M#9t]9`B[>t}bAԒ.K3ib[EiSHj d0 Q"ʵI.Xa~HO{xWV~#zA>y{i$FCk hG4.h@\u3 N5\:0bPP'<@;jnr2پp3_jEX5Zev=Sma#bQVU'sSrYj 8CdTeqPWa$KݱIvs^V?CY}Nk[n75J+xMQxpطdgN%7B:g>^]Y =i `6'wD+0OK͠%~ {ғ.ETpF3.25τCVMV"4\#ɭ R6~^t-ҳ?Zbo!=\MKrRl4g\12 |q(0A1tȕMZm.Ae2-p)  X\$fm9l+An=z_ZDOe?%mydKc\Ez ^WjYMԔImr3A8AMTάAϥK{٦ YH0d'ΥOTjOaUKK "֋DEؖm_|O7UOqvӯj#—B-NDo h=}YR}-bhCQ 7%3ijO /`Eּ!vN|vW-ii8ޠ`1{N(vff96ś%45S޲>phJr‰-?' 4mċ6g7!\~5`TMO)`F4-=cD=;'[nȗ%28%,.J'nMZB#|bAZڻ2%FfIN\u֨!~A#29̗GF?z Rh[ vwc&v#aXJn-J?+<6+?[=uw{|]X13d ?:g9QH@o~4b&hn:2>%qYU]G*G ~4:^S[]樃M 'iU 1linHl_Z)~eK'p`III]~,yj%A1|Y )F+LUrk[fڜ>EyG<줖=DŒ,e9xH&J2u5[qmTo\d _P/R5tȫl<+8F܊XGq.u6PGk ҳBdSWM1;2gSNd)9=zZ;G=M۩4r@"M$W}+Wm?^؊ "WK0%b̲O~"jWB;hr: hxx7ηNg`G[o"".boËBZ:P6/+%̅6t0_'I';&`[Sƅ~9'26_!Wb#EhB*M)N({Uc$ P;v cy[*)$,xҷo|[S8ukvdWD?8DY֤Txkw̗]4Z!X29Y\sܒGiTSX5{on=Wh8,OV#}GILBs@> 4%yv8oD8ȌZ q(\&6:R'AICGvRRm ~ g/#8 w?H%ͅ[;p5b3O[l,ɏoBKylb3.i#A*oBɓ9:x[X~i++x>D5]nz[8Љ1&Տh)imǝ ;_ډ5U/P<ݜ.~1\djFgY ?!y N`9c?}Gz`R䯊~9"$z 76q1T# aDXswȎF/-7S˴qBPZ /39|H5>xIW/!{Sͻ{P{{:xatsDwMfQjc~A Go?Gd2]0 5Ν0¤ພ8p'Qy. w8ʂ|4+-qMTji 7ݽoGPؽN&xc{;0GV1ӰvĞ_deMC#"'_mo 0B9@TgrQO Rϭ;} iI`av9'Ul2ō\ꕉ Wʍ,>8ƱkH' pEAmv*h|ZK;+]* 1 @bE8Νlxk-(W7 kRtF0G5: VUIQkXl]W㻖|>b8t )NQ w<@Q  l2]wP_ hA#o/md:˙)K]tyBervv22=oL?KӅv1=NjKI1yB= 9ǾLzįUt@PmvGi]oJS.9 ּmZFgH<Ĥ ,@{79nR'B?Ǡk;=)Znw7ؿJyPҨkicߏ)}ڗ$[dKA 0j3C$H$Pa\7V^8 tOF6CAh7lNT0Vв1Eι(^z"jJn{;Wt8 /[)x@1jֆF wb\> jd?iA&Oe'h Гsa<^Ѝi;: (53P%fT:9YEhJ֠sHaG bZ؅sy~P:_] Oo{E mx .:۹J!0n/ kJT pvjJ[a}b{A%xGaxW30thq5Sty46Ncs/Xр7^恮n!bp2HQs L6A58S֡bv|/A82:ɰwlDrzoʈW 737"1Dv")] 8<؃ضQ"K.l[@ $'y^P] x'y؆t%1lLQY]@#UpVPߕn[gW;@% s4 ՄpvurW O:1OlqﲖJ! YqӧH=c-/h__5چV LbH6VoVQGu"7(Tp/`TK{u?~+d jYA& ʶ=kRG2/g_0ꝂY?&A7];;`,\_qk{<ԄF5n;jF hޔ> u~bPLm!?+ZLvMv|;8FNUqY!yG4C>dotcN(۞`ן~N,R?*DĨxO4<C^ϔ Jj)2r9F:zf99h!m(x1¸tbio|͆SbS8{W6C^fmG=Imp #])qIH#|iOdr%١XCFeF,-Z˱2l 3a0. sE=l h,y=/( ^$ ;?X'?J v+3wnlE1;φKxKm^֫2oZ"D;@ϣ]wA#(OIy?4tYmLxoާJӍ^ٌ1kISɃ6,d8T bN=34~܄[aoY0E*wЈ)\BlkyvipV0=`>j 6Y~~t@fZl+@]d\eJѡibmykE*(NE43&0E*9Iup윷-4pIaSbAڅMjɄT 2rtL~iE/3TQߐij/Ԟ2yOh9pʪYcrYtRoZCƨ՚kHdϭ1vb|ыes_řٽ/cFEEI*6)@O}책˹^oFҌ$,A\}nv6l8( fWɌF{vlrEõ̧e YgѣQ Tc|΀NCiljcOgFrW]ӲqRT|^Lt1+?%(!Y}Q+t'9"Y{8igɦ N>RYo(UB8m|1,ǿ7-6j`J* #nDk09yVpbd)пr3LuV G3Ϟ)J&քZ@~ 4z@Y*:(cXKVAT\΅)ӳ /%+1#>Bs}iw-ruTT2YdYslߚn-ڻ%.pJI9H ~%Vc@e ,RjVw3RY?<Ʌ茘rYj27>c5 ]`EMTTyќ)Ѫ'(Ί/S:5.qa-'@L^nMrseD }j~ȅ⺚@#9;6lϢ8i9ǣmBn]H4FZChC8V}%yܑkL",KlRӇ!Bna-C=!%.9}yui \mwM8 |9 n-}MFØfZPCQ5I29L:@jxC6dašP 53!2@@z;2yO*T$`FxC+)A#r'JxR!ݔf2,㵬"JGHעqL4'@5G,T"X/ή$U,\&9%ޜZJHa:vaH'Bg -~c0[1 };k=x(Jc}Iy8uʙl+h)YU0}U&3 ~7ӱ+9ek_zASW(~$-ȂJFot,1 |&7>le # Q1㙁!8tל ϯc= V&b\DsdQû,mJ}2rZٽ;j{dS$*tޫGl=Mb9QO;{2Ga0r*3ވյ A䂠f Yp<@txj>9':1 ؃]1bՒI9r珞'b%.͖+e 2@oM./SLg:Ιρf,XJ'2RG0wG6xmIi^|M3ȷkek _V1ǡዳF(SX{Fl4upk JJ 4`fX{^irR跲˅ ""lhx^50Zvo\AK3q0N_D=!/Y#DkGwI`B|LlX/b'94#u"T}MdFiMu)L}yBDوmp4DyޣOvn.ncxO3gO֤ӵQӱVec Zo)pZsC e—+{Ir\#P&\o'ڵ7 TKx}aEy%xL|<2!:'LF :l2\HgR :x"/B ]cpQm~ Dξj7Fwݴm_ʢ TrU˸e>8?vXoKҾ=_&?15Co|Nl!ҹ 6\_ҨE' ݥ g9~|'Id(eojhWahc >1^t1AD: hM ꖃW|3Xk*4(:2X4bi$x0s .a . xzR`EA.4(0r]v!b9N,[7HKr%U#Gm9E(di~G;l{"v1fZ{tCVh]D9ّ  z-hHs*9$+4e%'gevO^uQ九-ͤ/UQ`)4`Qr+nw] k &[M8KLRz|܎ !U C!( GĹ+EX'M2auap-f2 3_"PANhY)FGa`omU)B5U=э }s4](6뾡}&ਬ^~VPY+wjX]™f p}sr7wǯ M).QqP>w?c v["XlBwa6ƒUrv&KזOZ, N+bwW9kFl߽hrsj6YRQ/ีDEBF*3EADAW{"|ahEæl.uns6vcǑwe<*^ښFz,Gq3s|[~{B,˻ f:z~zgOrc'sߤX/}zJrJ )]I\]*m?E㽯1b~kneG$1>M#Y,}}%Y^NPRpfwݩuD+j/ymioe~tFv?Aj(hWPO@ $ᄇ(4ajVKY01k#ð/1^!S٫Iv㰋9[ ^GF}MsMKfAN#c@_yAb8b[|J~Uup'#wSӔ4%YvSXLyN̏[1%\iSv AGr}ԑ]E]-=D mζUoE) 9 Ok~G'&:胾Z|ΓP{L)6 ac˓OX&šoNr ѽ"qJmt*Zc%Ҡ,fK)sWE/݇.'&n|Ւ8U?⸟~2{ɹ%Fe4|NLWR &1J- cTӊ"ȷz?I_¯+vwanVSЄ%|T mvJ+\;]yc2/Ax桛 v~̏- };.Ghf[$Ͱ>q+ZN 3*2pu}썣>G \į/\ciqOƐ gc9O'ۃ"x+:ܘB@O.JV1 e PXZ%T{`{OSyE_vLbhTG@NFb" lkP'Zo) a2mD\BSs9Jr(lJD*_b5,aFL?i87lk3LmqTQ~0K:P?$a 49 wbݍ4GS$L vC⋢0kBX-Rruݵe]9K#Fr8&jYP{m1+!эeg!<Ļ7r~1!(FRk߷W_&,@_T `ZsG%kTtVޏ䰹0zQ`]6;4uJ7j6BjoS0͙|!F)ͲbU,R᰿2*,VSa7Idb:1/̿nK;FF-b<[hZmD V,j >x|PCZВWl}/6,O7SջS(:0yN[F/h\h@~KX!_Ca3,TYS{['*UZ`z4Pot0~ʠ igYZ7zXZִF! ]ŗXiɟ1 xupl[XrJ>P9qt]9GZ&3]l~t ڦ(6`78o]z-{@G!>Cl/Hݶ.zG2J{.BW(FINsYRz EyXwezاk{$umYITσ~OI~vU{㕭هɃ&vy%7]1d s] Ow`ā&>imL8yQZW׳,,@ d?PoB6@2n9־qnSUr* Ah>⢇/4Z gF?F 5N`31!^җ"R˴c֓SLx%g2pܳ"(# nYɰWKu~Nv J2jǂ+?j{wq"Z%6jVI٣h+e_U(j&}GBͧqLú}A(La:8'ՃmӤN*MUg.U1z1k ż s٘=qť_z7Ȅ>mmy]VIΝOhM:s%ёق"jVԤ菕x!|YKug9yD]ZU|mZm/ٔxrn2EDyNm(?9: ƭ4{U< {5M䌒QO_&3Z8 /vWW6 /%Xq.;SʝnX.88X~1]NI'xDS{w=,_nGXqshNPs ܁u#mafG- l"~s - gYZ7zXZִF! 5S]ŗXi%6Ʊ8&7JǕ*NjulLxIFCSOrc;i~ES*x 3-(ґ7wd^_ˈH:}dp?ɠs(y"rő%$,KprL#b܉Ƴmy ]U/1ׂN>bupf7}Z+&b_z[Fv\0xvH al D?;)-Smͦ)G"=IF64Juj9CvoF?q1y߄4-!?K/$VH{ Q"qE؈0þl 'rؾXKTKE݋ËdgE+>uGx3[6`{ϯs셪'YB'? 7$A‘y ZviXG S =މG~W_q:}t("l_o$#1iuw'b?{26Yz]>6\D;SE-b?x]* wa7 qTWw%h7-|7ɏ(!&s 2 B&W:C7 |jPGw29w_%q`LL3l3q}׶mF} RXٱNw>z)MݚRTVIM")N @d^Tmh5Ǿ)_2aQgiT/g.TCCc2Hnw|D8㯭]Q׳?dz¢YɏX}U>^rzIE*ڰ-/.4]ZrEΩk/ tLdԎ}KYd2"R:/!ϓ{{6DQ|}4xnwT4>!O/.Dnnl"ԈC bV h^c  xkbVla ˮ[A'2nb$+0 pl1A>U  p3X ^)Bmkm[Dj'G- 6<&'#XO ?-B/V%^~6Wc,aْ3 E~j?Vf>)f{{1&1)Wxh]JcOJw#G ‘iԋiF#ʲ>@*V+)OKi}ElGT>pM )ֱ*Wj>|B|q,T=܂l},J}P + ֿi2Ki(9P&db9T g?\EBI% OyiL^FRϓmX5ߨz~ NC1kxc!hJ*/Y|g~tJ39s=ȾJHBmjo0ʿbnDstA8F@/ߡ"%L(SAzuF^6&3Hx!qrUX:sJӯqM7MAqzh i?[JCɞJuqC2Zj.n~X8gxxWd36%00_Q{ {f7\qP5]yIң-nh rX#l*rAs;N$;r-t,-y;9FRX&/JInhfKw쭉}8٘`|jB;|8Ι369F=m|G#σq^Œgz8^% \;w??wR4K7贁j[cax™b=+zgEeJkI:nlBu#dt%2$%T[[~l4ƕxB4b<6T3G"<I񡇵ŧJ<2 <}SMͩRO:"LlԞd"CN%B R'jVãu&m{yk[;A`BGԹWZe8>U"~P/SwMa,p HfM/v; -Ǔrw+]VbDJrثW FM sJqg>&/&v0#3s\UUl~5)ɎX==rIغpoO/e:o/{ Sj*f-a(mgBߟ<Cn"sݻ>5Ilf О=BE!V?XV)=ޮ| cEa%<oO_+y[ sv[ b ;VJ)kLJ\ b?Tv9XbH%QvT/ otm4bÂdz&8O"'|г?6s5B@!1z t{{S0x%~N+Ȑ X *Il3^ѥDzkmz 5. s_UcgꀋD͚Va y:8뎏*$|Sw+\{$aO5Æ9sMny7^%cXIk?ě_>_yk,4Mf|2}]3mCNMidiav¬ɑ~v!6|Q * x/p9a%BLT}?̣6d^= dd/!mީӶ;GPU毟Lm `d &>߫ a ^9aES I>" n/n}+EfrQOhr!h lXc_iDICE c{2Mi(f~):˯3K U-Ua"f<)\P$ٴ#/!:\>!gTIB11PaaHpco~eX {yو~fӠy? F #߭W!wαr%F:|˷Ua;(/EZ0w*AO2dwܭ-h^OfU'-* K-/R)q g%"[n1 V7X,n 5L9`m5z,J K'ؠ莳ԄPKPW R#ҷ0ˏȨ5فzܘ* ^+B&:}4;^Fbx0"k>j:3K[v<=]0pOwO x%kb IKm }vVfRK?TϕLKc& \x O?s>qGL>XΏx)=k>_ tiN- La^y#Z%Db>!bcƽ. } "*[~u21:uȭ~RN1S"4c.ZC QEEk]^:2|UB\*q@,SQƉ`A/d3LᯀMZw0l۟@765:Uq%~82tQA$'\yk$^a *Xf&Õ/r& WoEc)8=^rĀ(H,BRCԁ0\jF;V%sSы^R2[sE=L.z5/RyjռL| _DRX`uQ;eH{zL|~*l?"|g%l䊆KKfH>Z|_얕{:Eʐ;p*s>ao~ݨ9dUJ퉯),Մc؇̂?7_;]rB+$Al負#$ z#"r<ׇ(_QŽ&`? ;j-1PXPPY?WӞ<+Igj%qdv W$R#$r9D*+Sjj9%TЦ?ːlC+kcEur{*Nx2zK%@#L9-agʧ*c2'YN"%R%EE3lyw(w \ bsH4r@ў!Uol}Jє sP;2Csqz8+jP;GPl$"Mg# ~9r{sLJ%a_'Mc F tWcQhP~V>dj$NDc(EK.bhW!!TUyA$H+ 3 8v HffE,qSuD A9s* aTil^Ah WxՉɨ !Zyv%;5G9IEZ-z-\'o2mC ] g'sPj\>{cЇu6`獑 D]R?9p5Z>.Y$DGoou0S8D2jǠOU3(/d<-iA؎x .7Ms\sWíuz'dgj|w3QA@}jhK7dO{126Q4&޹yx}(&S<pQq:slG6dxJ}_ƅk=b| uUG^P0ގ9ԇ+` ԫv0/=*ku .4O&@ M~Ktxh71|q+YM>8b+P7iv ioSg+2kޚm \.)@n\j L&~QH%mO4gg&Ffi#ѐ^Nl8W ;Zm?I?j#CA(C ߨ }Y`bAI|cEp^ױ$]>&_R]lB"n5&9vF_ӱ.rlی>0/G|Vq;tu&҂, @W6Uz::W)Vd|^1V78MKKV)zMcI;&+"Z|<.1(yDeJPM0HZQ`Lbјs^҇{fe7IZ&g =QM0X9mc4FFq2-4Xt+:goj*w%=R%=o2wnwJ)]g*ӪZZgƂ? !k۳RDp{4[^e-yd"n/7#C<-+ hl@>CۣR: Ҕe#:} PoW*Yt -y.>@u(XJAie jr $(RǍ"k2,egjLp =.?lQg"o*V\lX"pc}n+ \g A f#Ng"$x0=6]yCKdukl*a )/" 1;(hJXH pa>Ιe!9|o\3!0i&Ψ:~?h4I-M*Mm}3iӹWÔ8EÛV?"fCA^JO۳]Nbl"iV7OcF":82E%(=4Ӓj,Z&_{k5$)IH+XlȌMCӷU_fƞX< Zb^%ʊ*zE0lV"GU:sCWDjC)DJ" 'x_#٤X.\V@N/,Lla5<hul "UL~!yK6~L!@ 'j-( Wn _\1.8-Blw]T*B4'mkzQVc% OTA6uO;rh?!ј aP[m39+¨IٛA {X̪h @}^`LFO!|7is&=D7 jmmt>I1KtDG>U͜j<^wEvϨAekɻ!"\yZ^8u*nIn o9H6>F^cqiN#O?oPJޏN{f<5[+ٵwK6Ev7ܤ&C%O|[1B# {!b^abQJ k!HW9'1"zDא@GlBd)#[ Z*P+ZΥ7kklE82k sӰz"<@O͚M%oʻ5^rV|+AqU,dxH:z( ~sOw$Kʊ+tsO˲\ cdKd-˽t(D7$zss#&aMC*tn,ʯ>N,_#@Eϻ~pJߧ|a_S9k\߶۬wg^7h,YJHV9O3\kogM?0ێF^a=_4ge8~[ë׎Qh39a K W#ֵo0YF8@(&^:dKZܖ͗[yٴk&pm (Չ) K$hI# |Zz5h(R$kd_ɓ5iK5c`[`lUa?YT#Ѣ^+M_$"#ZFzeh4OrSbF5 7708?,(w 6aF,שÙƢ/!AMY.>"XLOyb- 45۸wd XFEN't5mZ}Cn*5XRpO5.Lt+->di4zam;K.6ڻ@:TϨԿHE8cS ]?&CX]-Ȉ%墴c X21ϕt?vګ;qSlY`^ps60:x~ [>a%fu;QѲ$=bS |i!cI޽XCW\*~`sx|ˑ9T&TZ; MF_q^]8n̲m]5ǫF=(Q3^IGoH(rVs75hjM|}M,, 4P6wb+ ^_t,F%i0m1UT~Dg2:;=Ӱ7gAQv0=3JU޴+ >uLd+q-a̚^N @֗RA Bw>j$ᢴ0 SKH6"tcFX \Miʼn#A0z:{usPuKݗٔqU)':bP*8/: ^Y&4~Ah{Ƥpt8!騣>cjL2ݼ71@pVoDɨZ 'n[5-؟8JDex0c),xx0 k0wnE!Fqc~8R%[\`!mtX. )ԻNb᷅Z uGgiU4_h:1W+K]c`:?KJTPQF.Ƹ$F |EIzTA$+qԻϷ?H^%V*PB᭶ʋ R">>҂KSsLYipJY1b왚bi _|\0q K۳LH_5+&f(PC#ka-ao'jf)m`ukޢPC]˃/~ 40dʀSf%71/HJ!} hh]Zn xzK}Ǧɻu8?}5~& (ʰ,lDWY㘉%)\fȻdpVAO 瑅.99o71 &|iݹ9O{Rk5 wgE=cKJ:Q+"oH{+L "r]m&ȏL1oI T.bBۋOn) /AA9kA GճROPg`o㯁ǐԪpc$Ep>'\Xqm-ߛ2H&< g$5{j>Ҿ?G_7M#LΙ;: )r0=.>$bQ&y|ț i!Y*07on!G97$Yۉfn?GvbQ{C޸T= s,p=Vw?zRM_ځ>kIԯG%,B}?XZ |`X7dٙ@2DZX@5F~ucGt첶ssl_Ug)G;4y_t|?".nvSb2H]Vc, PlwrowB5j^9A.9Z|6P,Ҥ[넅9(Bmv#Ѻ3|Bx@6]mc] vFs@_tOp`'Y>+'}_/ "sb V_QWlN^nG8 Uzv#} L wE}&2gUb7i\1@ai\^B26w拽?xܹڮIoS|GY]*-&]1p)1pteVN/6ё'%ṶL rEF \Lt$=ͤ*I;=UvD> 3)@`-GYbGnbF8ňܑ%V __9]t& 7I ˇ:sXS'`a6=2VLF&MlQ> GJWar4/" /Î)Q 4N<*Z9@gs,A+fz%4S2?k,4B_LHws;SjvR4Gݫ!ci}d(D[9V뎭q5O4'A,Cj]bأn@.\hq_VImSJk~ 6C&WvÉ/zlMa7L򄅽a./#|]aR |z5!2'XAy(A,zgPyl|B]PAw,< oJL;bYuqzI&V^0 cbXC@7, #{!fOAQTF\X7\C@ʾ|I ďN+/c/jQqq o,Q2%k3ڒb3 w0?Zb m" |lO!6NNʉL]B>CiҔ?كaKat4`aSnʟ !He|uJ\]۴ I |Z"Sis8+)ea7@x)QW2Uπ_eMBc^ D< ݬ*2 ɥS߈PD'\5ӫ!/Yiuo{F]Sae.7Wكq'O9>'q[k?6 2Aci#ZP|eH}La`x!Wu$H8 M7shD_OA}\az uwIbcKOwEh/]7 /f"@'cS)37B4oU՗8!%("5Q:;40՗&V4&_.EzCr,B'LT[EoB߫J)j8(G){ean k13(t-1^H$XHZhڜ Fne$]t{Da\HC u<;\"7ek] }Кzs>mʫXwl :e7 a(/1g IE2}_3a CfX{]VvnQPDtt7Pp*މS\CxJ5Q6}՚Uzdlwc9]'E$bԋ/×/ &Ig ClmJ5if܏س]lIܛwƒ;u=0+ "*zڃtp1<$t@2dĔH]"}9`P^@dSSi&~3ݙcUksj?JPyٞ[௝΁1UF&CW+Yv^F՝r!В-pbElgѿ;vP` Be+9gt߿l!{q((5 az֩`^gVUxI)i1vsk4vD8Bc6{_ǏPLяDC/™ۅ6~{0O?}?e} wW5OԭP}ڎYGbX, tZĈ”l*f^}=kP,|.OYVݙFfeGtH*aYyҹJTZXuVeua pU9afs` iw{iqC`7˼#娋X.G;m՛\n%2AgKe1&]ztP { >^gH+}\{>VQo4H]kA! _$4)ۗDqRoԶ˨Xu]*2D2@k'{C)(xyO& tk9hX5y/>WtYFg8km0}>XTO/N)e e箥CtKa#sqopM'iהt+[^:o rh=>G;$bl9]G^܏&vȤ(E'&r;EQ[Wݾjxx]EaX+W$Ogux(C5Ϫq0&aHLݩaY c4KJߙ>h2K! {sPVR:XUʪ TfTqZ`;mOʼD:t7Rq*%C ʶ(xĶ zDqWф<%p~}ܴx?/mǂS7Z\p(ho"h$كQYՆv *`#EC`vnn$\Skʀ0ASI#69:DYB/u2ezޝ\W;ӶUDY'1L0QM:"< L@"C}D-#2]01aqrdTK Lp؈ܭSמ5قqQ]mqL9D<"zp i/> :f* V?(w髨\ \ND_$qxMmegw*F9@ul"82UЩIXM/"sԫfFyg\`YK 3G-w9N?2;΁/y[px7S8 vbimWblċ`_A/׃04=NKC=PNRe.\ⳏ ]J~ޓgoF g]hDFyF>HgL\"0$eKVÍ̦Q޸ Y?{Ӛ v[gm#\ 4s5S:R"vmEsH/h/*^gJFC?Fg,fXr> =º\RŶ눎``o?ʼeU+ѤQsF+_\ ?F沱fÔ@#5x,8{DJh I2 &ǭ!Q6W5|'k=NSW} UE#Hq:յx^$$ 5uKdBiވ%mAʰ}ҿޅg] 1:zDZpà6R4!HP:}~o-4NCwWU>4rխMa47zB_`ˡa)Y:ϩ e#4 ^0Vri^V3;7Kz<haSP჎CeY'']uyFFtnB;wCg%UKa;ez2P`#'>CːO_ 6-9Z Z\gnZɟrL(}HlXH]>O3. ?Os, seCDmߟ!;گE*xhjB? KnǬ:H w^}D$U۹OW:yC$/3WI*Ob&[sm[5Mɜkbb/siW`|[Z \|EnvG[:ykҒL|ӫ8 {D`80e -!CMK+-Ŵ*sql<})Wt׭!zALJ׀KE~J Yn\'1d Rҽ<9{pO bm -KE|J7U`9Z5g͑A\m :[Y]k^]J+m`h8V42]CX!7׳B@%<2h:+af/R,yM6֭݉=&wƯW5I:Bo%,{0BEZ#Hli .^L NwFnRm +ck#$r >>.s> __6q/wSe#G_<Hof.t#tyoA#`A]NLH\${ ʒGqW`EכgUgBn[RCeze$H3O_l|򒰤ECHcQwF)ؐL7n$/!GW_b>:xLfީym~/"n1 U㰣ۊ<. JDJa5\dXbOՎUЂhUe> K4<#V.wfӟڠ2w#3Ҕ EٺqV4ΪdUOn]km;Ė壚oW!5.Y()TwƳqÒ۾vjI:$0ݩWy2-ikx5J$e*] >S.0ZO=om6"Ŝ*RWQ60sTC.~58||F6MD1SmN뚠36$l=Ҏvu^'E!0M9zU\$+TZ1ΐhCAޮ昱#S&! ?-ӢhV<@n e3*MB#쿗‰(PE!ro5 P%_c$1;gjhʑ5K+[NO0(2W/!dfpWDgVbP>WoF&d,iZR̄r=X)I"U^V{ 9/MVPik Mc8@AG[M'GALy Ήk>ܵ:fqB@ QJjb4M+eXyVvLWWSe:-c W㥙Xwp JDCl})n6t^׆,ٕS["+fwFom0{dg`q;q>a-vv !);qI*!u4"^巛,zр2K9ށ}}K2ՌWi9hQ1Q~:OkعYH~C`XNdxuK(ɬJ aڊtz}#z0+'}ry=Υ U/JEMDgehN5sbjYL\ D$R,ΙBkȾ wMz퐐}D+d^Us}"ڥX BZ!o]脆G>e܆/.[o95eF4\ߎ\ bV{<Է X[|s!/{T_],:c= 42Z_1ol!!ڋ˨sFx[bO8,P{ %jDD{#a.OXlnLi .ʳ uȐ8FQM-z Wʥ*'qQ~v@dY0a KPkBSlh>3 ÿD;hcj}OJoL& 53?K|B;m>.ˑE<ռтt7qKekR>/ԺR\#dzǎĒ^jtw`3W ,Z:3̛ 5i㰄C8A<ӌ*nHF؛db4$ GC;;d"d@`n*+ wxNBGd7T&f2\׮88+<1I'YUvm#$W›o o8g5pܡ7R!dsvmR7h)"'7h5i/mZU B-0h!zY\.r+ℶ}X9C[S[Ȟ2bbq 5ς5-*L|@N$* յ -m4Y<,$k3ېd@Cjʡ"/ g\O :%y;L+ r/.[xt+$#J  91XMZ'tAP8)H)aU~ n^A,=:_X䄾6_(nz9Ke@뀹wc%:+жmAkka>֊C$Oܷv GLw`{#cEYwn% jC eNh5GZŏ@׎0kN(zh.hX~"}mFL+Wt%ߣt]=.]O~eǴyTo3QLw͞oQkyϪײ/y,G.;>21ǩiGFjpب+K!]|Dƀ?@ ij#{|A7О*՞2uXY LM7BێSdƾTIy" vuߗ&0>7hHȮPE%ه:4D2Oyݥܓ˖qQYy{Kőu_v1i^8"˫9 xZ6f. bRMN{{Hb% v} %S'}l_lǗS"!fukIfeÐ|V=]̲;v7@6D?Gdhn>gr)к̽uvKw ./{ [J ´N#m??h0p?h%W"4H}7OkOx t"-dRݢT\+i Bъd0EC9aqbBc