SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 UUw)|T eS]Incompleteness:threads=2elapsed=528.693cpu=1038.260gc=16.812factor=1.967zXZִF! GK]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"(LAk}ĎսT1'c۔?^a {cw' d)ӿWzxv(^<Dɰ,؅5i>;sIgo"}8IRvijSCCdq|9W_fO|(n$'Sm~؜j ̴-\2X )'Ǧxoq>)Bؤ \Yc G܀9q1ŃD=eX_='nD .,cqi؏Gj }XLy6c 8`|Bj`K+z]j30\Nc^')G8Vۮ ~wa? P΄&l?2w)VgRߏN?MWQ&hZqrߔDgRx·m8_LjW$s.wͶe -FC4\&a@;1:L\?ѵE% eIőܘ$ 6Gbfx3S.ZuYVNy+r_fp"0pgrQw͉񙳎|{dxg a"d/ E*1SS ]a)5/WipIc|cVt%}aω(ѻhn2zebH3h~oڥ`yzB5 6 +k1-@" ȷZ瘁}SzvjР`O%7UGmecdsYfQl="br"hE@^_r k:̀h5FM27A~_Xrnhm[2ʷrdJ`;<O=mUˎ LCB?[~㽼XدXb~GUL$KV06f'.;ije#QCmMO}Œt@Nn5=57@\#>d"-F~a]GY!=C"6f`8$Î.Yn:֩ sr=^7FXҢ \/P#x0@ "3$l_')I4I%3fRF# `aaA1숹䉮jJ_ŭ1I' e$zqhG 6rv!2ξޗ]p,] s]B-xP['^7&TDv-$$OМm>.^[.yswk#`[K%3xE+^м_5i@UEk`QN:;[z 4c):Bhw2~4:vUoֺ_+o=_S@fU ac 1IX7we9_%SlYy~9ye۶}h ?ַ0'C?ʑáާNÄ.oY>xbs3HT6:L]Ia?+IzI{p/^B)2X۴ힺ'aQ a B8sY  Š?:V V;9~\wsZ3EeEvt#;\~u_ȅؗZ9J[^:^KiɟsVƧ&Oz6*(A16TngVuΨzWk;ȣR뻩8vm<-?^Aqu& wk _ƣW5ġëJR+<}횖c<GPʃRzD6F-MMGrB}K%bY6J`WvfҭBؚ Tߓ{~c>mѶ)UJNS'SئL|'rp nyqjI]\"ԻL##0?Ĝ+)+V˶@@-wdCːw =@Z&x]*i@] *K{BSuv'}'׏vKprFf"4 ) IncompletenessNTa5+%Y^㉒ᡫi 7FVxuSD'73ȩ|[Vz|=Y+0w!|PІ&ReX [ֈ@rHp lPA+P zHlb~GOo%䢻=N:L5/%uwTldMH- "kMɔw{˨,%۷$0Q"L%Ym*")r,l_EByh.K{CEp< 폟E9ruH"jOj`nxdӡ,pPZ:7|Za&ӏpyED<p}]5ntPՌ*>[L\^?jE>˶-Gk<;hQ۹EVBpt4 !]*az`!^$5CV10NMK7Yi׊1B}{\oTˮSFz\U!Y 3m)HKë8VCfMOAt!/E' R;n`#ON$Y0dg4 V O@R4>]D* DcYs`N̉j;Xq9tn=4)- [tidȁܭڳGZX9^g.$Шcܽw0Pc #+wX3FGN<$S{7JsI@Ӣ rS%\FmR! ’a)ofk:*_= gF`jk+u[I  <sܝpޜ7ݟ3dj_aGd[ 5ϙ9bY} ЀV@u +y"1T.5Ni\<>ާr@9j`La"|\y̋s1#*rETj* Լ*MuK zo)|KWj&KMHC)uvϟw-O^sd,!O֍Qw[ x)>z uQC a{@} XJYA&zA0q}?Usɂ`? ʺ:mܓ,xEHh ~ j StU4a{>&4,k1SB[]P>w s}W fLVNX_7ݘة5pᨻ680XUqZxPYFZ%6e j\Lʊ0riJ|6&P!>&;v%wX/ٚ <( x~7@F,3?4v.k҃e%?Mʟ|>}aֵ 0XrpSE%VވYgOZ}dA<# ~m#;Q/_Z :A;gfy]QT:%A mfbtS"4z BM%!Ps$g1lJGK22." =SgDehBYY㥶Ql7PϹXa skڻtTjVMFr07p5ݬW +B wIEJ߉5D(X~l"bX!ӯCt `>,$qťw@ys4k,$YV_,8q$FEb p]L!s[B V2|8pu퍬JuK+f$V >(C} ǤurlM>ʛA{fv:}졡ـ7xK+tO"wB匝֚9VJN_KHXB#P(G(e%#a1俽m nO .,%&?t}^flc-~caB¾s?|~F-Hb6Z fKA_8zĥ xPL N;M! EшBHx3)nd"x:<,zYxB5?/}PG`~nSkjUCÅ׽ E#w j IĪkJ,/w]z&J г-B6_3QB- a}ʶH L5%ی` s+݅o v]0ݞ鱛b-U/F7W0" Q٫e;NCLn7J$V$+ں,5V{! Y0G7tYŐ&&U'&5;tSR;<;A@~=T@Mӽ]>y. ˭E:_|r3aqmN@O}oŘ;æ1Qq$߇f?9ֽJD`=]kH WR:M4P|Ʃ]B9iHfF-yՆ?M^?Q (ܣP9vmB _&LFy֋mp_Ϝ~EGeJP&"@¼|7!~ |?^į•#v/: j)Š މg^lхosE\"^5 +5W\Q'U8=YNdD:, xlkSM܍9*[Pc|U|EAiwN5x4}ANAw/&2k F*3l"vydO~>KHw*F>;=.fT|x8/D po9| M(?> ^V7`NzJ3/MjT`~%'tzco'bD"i 9j $JO:pӊ˧Q]2lQw 7gWLi RQi̙u`+m >E-18yvֻs1?_"JՎ%}JSKKخPUBfŷ|"g?Wk@Iݴ';v}sn +2j%WdY9q+%I dbP"JpXI!ayh>+,]Oviɔk jl@{.n3+{7Nm4xUY^.dϲN37c8J۪ #4r`[4iyh_GPƬM̫︝PKtNwCoOk > r8WA1D&:Cud=#p/%vRm;6:kF Q@aS,ݟ (# Jؖ2Ki lr0Y sHgx6ۜ!t;p5뵕Q0[ըS! 5Q%u^^\ZTid~4#,[Qvv(R% ;@7^=Q@"t>H R$ޯZ{C~8>伖УϫF ' 8BV ; Un$v_Qgh-~ ˮ:O#1Mn1?"ʠ6+8GkD)Sf`a#e<7֚%]nȾ?eP *fib̬,^yMo[2@H `n.lɳz=UVuM/H5h72E= 5p X+͆ǣm[J rY8Vh\]w)K[xh,Mw5+G6uB*VF"Tő& cټ]\O)QgdG{}/ݎ*2CUA4V{kgT-`#uA> 2Ny4F#*?\՘鎝_˽`u J릳tޭ(.FDl{xiw^sEOh*xU.7 zkmװ:7- {;nAp5E\ :>7Wu? \ˮd"Hpb;r@3^D|()klY {f܎",ĪMj0&u+]2W2Tt^nӇ~D508IB]^ 4WK=T|yN\&".zfo`}иs.(8yF|ȲbkmȌFIH?]ݕ5<|=Q BJbZ"17{"deYs<<^yZVeSC#"r%jL)7Z2kE _p0mcYAAL5aa0'ѿ1}kL^^k Cm.$Nw)wiY{Ox_Z`p-i24GfpЉtc21ޚv|x^EC\`3?M|L؆;%6V e4$jclUAg? ya֧N10YϳZ!Uo啐&cpVXw7kL3(Ti:.FF{[ݬK}sCv_c2 >s;T{ٽSr|ˮ a:RYQ -3Dg~°w)grm!$FjL<%Nn\M *$Uiq1U1heTMSLʎ ؄:Y4y14& ! .Rp%^ǥ,SxC&/׽vU쬤oʭga*(]r9U3>6.1AW"NvFGBId=4!aK[{!+KLrk(7[7yOeX&eIN*XNLv_ px*.ӜI!y&M 76TrX\z[klkZЙ5QFW9Np+fT ?Jm"oTz$fJmKO6V}xT/y];wF]xE즓0MEbXK$n{+QG5ن9tmTBal5,Ud@tf 5=\Rf (p "' Lk҃EWB7ǻf92%Bl(6d{jz69iy9>]kWB^ c gر+26Lx^&t:y2¿k<ξ2@C_)YFٳ0d#=Ho'L/ )P’‡xD6cފnU&8%o/Xb莽Ŵ+:ne KT礘k*B1)^?+X.CQ{}p8odI9 ]5 J[`>̕R{qTr,=N#549DXD}NJLn9ʋ`u 鴍C HA/Қs_ =T=oW2o;GX*mZ’$> V*a (JE4K￸zKW]M}|Kx2ar&5LŰ&|5A{'%6#Q0VqWi#R\RzZ{\~E@ZY/1 Il#J3u8Ik)臌`]o6> hؓl~v߲`TņK5}8ӟsb "鑆?jlsUxnnӨ_.d FL[>ѝ\_;d)(-´,/tmf7R`/=nm~_m65Y{p= KWFY`eWQAIgSȋNek/CH j |We)1;H;NB (X ꃦ P( RRzF<:4 CbL좹ZQѕS%}N=}ty 3i6w hKGc; Vl7y}&Ȏ.96֒6aCPQ-։>tWb}X I{&@"ӊGvzc@cymVq+j?Z=ZwSnG_ݐlyOGV4Rxlt|;IoQ[q[ ~5fǺ'm 7g^_b/sS7w !f&֘r~Z˞ Ͷ{8~O`A,Ouߑtս)//FeR=n S=א8-`HU@kSZma H!H8޻uڃB/-4.~jAw$q;٠ B6٨ '7oGuL|OKgB-6<>ܓ+~tΕznݺp'Lধۤ5}i $ ?(~JYy0 ʖ\'/R?W"ƍ4a= CNGHcXg iܚIC&?"[eRO7߃G Ixi;k [\n>ӇAE;V2Љ(&Q fe - ⥚nwQPؒ;uk{C,e2L[ܽ搩jןqf|lQbg9ՅAh@7xR6:P\?u5 nnڏ SùHon)TYt Ҝ:(Q@0 o5I lBY {$h fy66.7tM,q,{4p|\Ε 84S?13Evzl|ñK/RkGPCìetC L"z#k4j9e ڈ&t/);:|SVFAV#{3~b2vZ{()еȖ0eA rt̤D('Eedlf^,t}RK`LvsiaAc˕=~Dٲʙ抿.i.J $qlAR~W~UȄgnw; r>**YL"X҇SK3yΘ X;  KB=b> fV вGx.CMDyX,{BN6*W`ccX6V ECܸo oYey/Rqi}E= k%{FVR'81ŇJ}~"麬2icME^!? m7ڎ§Kɏ%G{4omSd ">8F wW?Iki:'v'3S5N6SW_.FL ݮv`v6bzԲV&܊j{.d=WP3jG6,ró*B4TCoCjrh5v 뽯9+èa=e~`E"=D"7GxLWI=@ }8\%>vLQ:\@X*FAC1 66 S^ Vb&v"'G,eI⾷L0Jb|T@s')  V (qd^ ~xU]Pv5UnV62G6*щzcdU6|LaPTPe,&Y6Tve[<?mn9nj=d5($ ']2\>jM /xcτbf#ZrclHXͲ')& a,N_x2)9Pz%Sd |l$<; [>qMN"j,! لԟvLx`rҢ|8m%n@lxZpIyEXP@s'E5~m  d$p5$p2,F3(ShVSM}=PߘyYR*u;f%1i0o'- sV 49>L kӇsfCγj ]w4iRZĢ3 6GC<{헷 ED޳}qj5tG l Q9?pXNUx¤Qr䀭wg\(Yy."s\cǖ@ﮫ~nf+kt~y&'nSر2""O^P6c۱5wBBүll'{γrDom#2[}+<UbZ --bj|̹!Rta%բY'k=Խvmo& l޻9w)HI_zSCfC!5 4N@m~lang(oS,VN8㯗(ebJi3ݖ?!?ն #? 6ސa}QzmkBw-co2ZFv1di\{g2~}l6пv6ip?v?Uծ _YFpe,Ea Rb}:E7]5 W?M^GF6©+fZ!4F0dd[+l,t8sҁ d֙hWIaFRI<+L i?'R?بBk-Hm%|w$j]8ܲY;,P łes2ՈT㌨P+r( Z\rp$Ia]y4WfF!4R" ]%I\XB_?`*h^Ҷ 2Fen?!KQ:'-Ωc]m\Sq?6)i٘X{=4K y/A4"td{$ 5,h?5E|(AJGV5jJ,Ig~GAyc9Z7ƻXcI/'G@3?!^3TFF'Qބh[l%~6nX ȗHdY sȑGg7kl#DVeѸF֛ǪybIsxTrk¿k&?fe|<싯Ădp0KEh}# :|>'t@2ೱ Wy鏶zY;_4#T1cδGGckkp.}TXk*VfP3ń)"zCM4R \)]G0+޵-AsyujXW?ֹE&~L︑DdC/ȨtA69Z#q)lM4Nkz$֦ s^ǘduw hbdo_E84l1 Qƍ\;{^6x>ARаI YH zS3@k2-U/l0^y©u`H; /nEk|?&)[kPkb \L/‚ۏ딚xHSsyüqlJkW%jħNɵ"h'EM*Ev?N.F2i' lK6*åL:վpQ pųS-cLCŧ@av o*$2dt,c]-"ɇw2ej!j$PK"[ɎKFj_4BAinO.̓3 ,t!%9Ih,D^ܚbG"\NR_n#. OY ӁA|JtNZ~qh (|?I+ k.m_|lFV>q,UդzAԉWЦwN`+םwv@4B}m3=m :D5oN۲} B٦B+%Mצxg7%T?yc:e> q,%lx/x(W`t+vݙCFfbk2V34OLz1dg}͉Ick;)")~'ATB0+F>5淙o$囂|}sA Z}bK/%J$ެ#B&OΕdn[KSlbƋf_);.:zt N3*?KES57L\w BxAaK?g@ ĈsT7_@hoiT8d~ŘA ye!jEiC|ij2S gGK)/{͋-b7-to>0V^*xKEHԖ؂|^|1-6>Qվ@g8EՅf,`ޙgw]e},ɴ?ho$*X8\ Y?^D2 $q]5>ʂIԆ];5,)ĐN'Η2'X "㗆KE "^Uhl\V!'RG'ONeheJ%{&.Ղnc u].0}OWa4Hl3IiiXо Rg3?N/40Ř*g+r(3L0:y7(!&3ehbFYEORPڙ =)vޖA|1vPF*Wxipŏx{>3Lb# Zù=:#R:՞˿"xNcd"W+GFl8A}vB/0Z=#.Q!q -Ep&)$Gk5how#+۷aP{Ѯa?%Z*"{j{wZN?Dk0-Jawb ه$ztˇvrɧ bX9 `8sED4̂q|A@"Hg9E/`8,T58Z0MV0VF=i丅{_xi=A=CU^rkyJ`\ZGNQb-?PeЕ0֏Ó~pIA&]Ǧڣ7U^Šj$]hS">;8:5ƅ3Cs_"ap6$Ob\;[t*8# ri>Afŋu+'FCplgx͔n!8(L7cߖ"Tg{o?Kz:3@ 11L: rt{I=3JlꏳA.Y.pPPq:LlXZ<9ө J(q;S ߸-Jjl0 שpŴN])=UpBašXBӓMp.d'1h!A%14yC%S#ˋ_.4$92_̾GtYZ kWՆ6ZyӅ<l -\t>%]\_̻h?Dm;àg}fGGpZA|`\bY柰ntq`ԘT T-o03qmӞ0HϟT]?qQ7/G\4wLFO[Xa*V8ė?g=xۊ&Lcz9pAboE|a #|rjX6"V&Br=H( 6cZez{; 4)&v[8e 8s󗛦fewצ~jlIJ2vjWҐT*ː  Ѹ/Th3C$U \I#<mT)cUK #_ݵ^Z`,kWw縔2%1Do( xVX [^1vVZҗ.xj1gYZ7zXZִF! i$]ŗXi%n8@q(Y S Y}2;p<eQp|ٶۛ? 0X1~.z:'75Vƞ7]"zzַ0'b>ԟdH@;t3v;V"Tk/WB~o4]GtJꛧmnv+cSZ>")ptȣ%ϯ-xgچe/.V{%c xC|*\*KMjf}}d-v WeNF[0ܛh[J"2v4v*ig@SllLYeij*kM.ru(VbTɴG:v̈q?+ge&Ҍc8|s2{$a x3pണ[rZlY 0Z ġU UٮpAur;PsKιU3-:`}m'0 G}'ykaa[&>VxONGoBs);l!ɋɌ( .Ku~'*lD@W'ѢdԑUQxJj |5iӻ\G B_ Dw.A5)MR63O^j!EX v*q$~J ;hb{{_9&7K~qA E88nGr A,F?! ceӆ/g&:aw< &tZ{}!)AvOJiik{-]z ]nkLR^Vr ,0D}ұۤ<9v.[o!Q z_Յ4uD>*j8%ya|"E) 4:yz=Jęa4p'/>lBrV/N6/iowZ K ]Rm`ksRq0Zj6Kڗ#c@ 8^]-`HiX.D5F/:TMyVrA+H ['2ѥ]1n`[K[ƮOo&6Z}vg*>lJ8'ѻ'vwOqTى@CH%={)JF'g+ kZ@2jgz$lysF/$֬Y%q',>")&MYf83;V!ǞWŇ 5ICRbzN' %E4n Gx퓨ajtlO ^|WV2,s}mB^ ;@X ]H58 _a+EM8d92|G?뉟$Ãrܡ@N&{ le6rp].>4,mhUJK TkԷ`PFӈHs2Iܺxp|XR+^W8x bҋJ wCI0!qОhЮs 'M=X,C Yj)sH$0snLeIЋsU}{dz;1"I^O/60*.W:\1tXώh_4?\GFZNʟܿF?g!mu2@҉w9l\LF_T gI:hBQ csaU3X 7~wG}O8*gjS␁O@xŝgi`f5`\6=<.g ^PK_+UyNl q![eAS1UZY$Տ! l+RiTc-|0Rv季#Wӳ3)/`*+~ A|Ktq^Jy<; 'dΎ4)kG}O|=\/o,fˀ4Y$O%=Xҟ5MU5>Knk=CZ~zR]-?)iۀm~2B?Ы4Y9c>FrɫpeF k5e׼w fzP̃{@@oV6S@1 >-@5ڶÑu-P`]s'1T) `%ߤ|(%Z2ҫgG_?]Ȝ(݌,b}&iY=|M 3(K. 蘉VT6jggDkh we>t1HC̪R\z&ՎSr\A)x8oY Fz{plIVViۄz #|&w#]<:9Շ=+ lmٖZ|cXMovծr0š,\,IM`O n/UQ\D> 2ksX"mU$WX?J3B ~I-ƣ3"ëW~Umt^~LD)ir'۴ a2uT0!F &[ Z!.&xB|2}L'?5r;IDS> iq\λB;~BZoZ];{2yjZāS[&Sٟ&gvAA=??>yeG9U5IeW0)MdT'ȹv(?P(R(ˋ~}F[ҷf!PwWo},ⳐЊDjTk*Ga/J ]EX&,֗B0٨xJqdpr0Cl!`)]|FJ-@ C6Bc ?kAY|9?6_~NG.tcť{T-}ѵOjKunKjd=I"DXD7ڪ#Ľ P6q/9kzK' ^6״ O֫QD699ܞƨ0I J `GLMt9 c|W:wdqrHvξ̾"|4F!pbV5l4~_yVZVGkj^5R-^>)BتMp>ߣSϪB( "Pbc!>ďr;`)OIL3Z[{֖:卌Fa%Gxc]zPIJEْLʛ\ABZMwӡ>q3Rc\l|kQT[Fϖuܿ<]d#YP!x?_pp]TaY~(2Wߗׇ#p2[9D(.(*8ll}mkZ<qnN'Ϝ!2%wJdSog"rM[Qܙތ^+M&{t&@ nj׾zVcޔ&~I~DQD!lUtAЭ?_k{4'P4rZvl>^ؐ&!/,:2E_XtzW)MSdC}2pQ{N=nšnz.hPʣlId=|Z1x6zIemC'.qnlf*Q}ߛGxגzxYZr|kߜeP~7q%z b?#oEJWaa }Ыs oq(]f-pFAlR[ϚY?C^' 7QI_+Qx[݄ {! [r;hdˆBFw'Yk2L͙DRFZH$ƷqU\ZWt-'YPҩX5‚Los~m;nJa6r]4]6\+_:gI:&Yδr)4Kk/ N9ON Ҹ6MV:K7$'fZ^[m:ƫrVAjyfg`܎C(E@}yghq)b􀫔9cN/ˡ\vDWޙ~nx?+؈ [ 0J' ~s^ TO`EbaH>c 9{g<2pN.#H&v VZ;y(c2E#t e! T:h Cl$()lu (CkQU?&ב PocUn %%Qb6y!j~]%uoJZ/CO΂)c]q,V8o6I`" {X-{hX&?JUgS&&=>=2?yS5ONض~3:987?i<宕yQfA"3Z9ɯz{0;v8'tԴQ _9~AtMf@lsi/hp-AU=;=k<VjH|?4}|b:RA,*. +5bXvݼ jԉ WRz9-9-C(V%WQ\\dKwGNY`6[3]@{^e\v[6%Cʨ痡 J";'`lB:ޘxVހ}BӳQ`t~+zLapU4nc Qf!@׿ť<t?:l3@1X{=zxE^5N_H>|úxnlN)&n~{H ݈$Al[ZrJ$fUawVZdڳm"+* !mC# R16Y`qE%#Ɓm$_2kwx*ʹ/,T&6Պ#[:olkw$i~, +'TdWmU."F&ƙu\^;X, ]j6ovF&yF$J$xscn/R.4[h]U[ljIcŚA_zoK)Kx'.c1D3  i9\GCIi*wqj\f 5o4*Ug˝6ˉ|C@?mf_BhuC[/ !\s'z-ܪq7Br0 CT^I80.'5!0&D|KⅅHorrb:DBZOX-8Gk Rf"U[5dXq^I2)Z9M"Y~?$Qjm9 gf+5|i4>#'@D(TuT 4tPl Σd{` RE Vd*T*b{Ɔ Xskɛ! yVtxkp e挖lބ'ca׿CY(H<*]۾҃=qOib!PIJ͸ C >sgrh:i 5%|˂تKk"Ef5 n r3ŐJaxmCkcQ@@MPJN+`{hxXD|GlD7pp V^*WL`ϳ`?,.fKp1#} YѭX(sV뤚Als"!H+ʛb ؂uPS7]r{FA 6ENnIТFς)=_ |j4lω4!Z*"2T~-$_(4'5[șҀǙ4한2n ƍb@.bۃ#MWm@7H~&daocL ?"Y/-wM.(A|]Se{Y2kǔy,; t%RN}C0*]%8%oXʻM&9yr`3]ɝ|19({tjLg'F~XIH'A(R,O~@2=5o 4N&( Vݸaw H1T?罸\M=E=&,8=$d9567FI3KhK;Xn:;g*D64c;)+ H_so";ىK# lf% w!ޱ2/0; 蝎ϦFCF-^yR^1'y!^`_zy wI_r74JKh)PRdPGz&t3YĚNg ~Qt*.'Q"z-mͫn}YwBtFymgĉ9hZJC?(^*EੌCi0&ݱeç|)VOC=o2X.,L @|Y+KK:|/PaR 6QtЇƻdQ_ [ <+םCBbTXd4C91lH{h(eɡ(hODE2Vo^djO߻2Y;j=>+pL7QN^%ĴALn1~`ysbV];q˻bho_N+%.pL!O<< .5+/H/BXCQ37Ye`ReE[\>SoeF$Q,eㆁc/ [t٘yTo@Ӫ(q˜%,4 5 7D_˚{4W"$7pEU"! ̿NAlY,Ep2Tf, eCƞ sM4Դ{mk^D_+_VF-"nS ~ ޏHaG9UܛԉЏ6.rH;O:P`/= A32P[ס#}}=H !wTNF`;#2 f(mK4ТzԔ)_ͩqMi 6"6w1 ߂3[_ kcz-* hMJt+ 0fm;׏, uDߞoWplT"G7cyܦ)9 GF)L!$ 58%7dHNF4h&Fr D--@>;^G_K|z| 3SgH3z]8I!|9h3|Ԏt6p4BVdZ_qDS9a\ @PLz . 諶;=׍Iq>zo'_K>j1bLuN!Yu..C6f~1; ~$ޏ4"+a!У03KO-sy~O殤ްΧ u)͚ 6wyʭQq6B+X `9ZŒ͎2hY=π_nݎ0]:b_xm.*YKu+pm7uk[Kb|}u*@<^1 v_nm&/O Y+9Ϩ+dkH *Kx(^1NC*"2hT]vW#Am F{&F 0(,k? X%(,/>GF+1 +#`t$Bζf+F3@-`m z3x&9N4'pZ' !CN%aTOĤVfhHYR]wu?P^mHBA4[$~A(-F#Aze!8*GW CTҌ^'c}R(٩]kRƸծ \[svƃ,T*5{(tQ]E7F&/J'M|x%ē+ 7LfٖSڜzޯ޵My5ދ+3C F'bx~9!p @W9>D1 /pj9+XpcwZ,TUʊJw{̟3hsRyۨ<6] <1{bNEmWu1pUw(5/m9z~^iH)Z/qj|ڲG߾~qg)WH2N#̟EKjζ]V`q5녘['TZ$2-( 3c H7QCS x+WY+Ibv5]%J,4w\,hpQc_| fvCSf0X!}ZnTd H9k J:,I-(\Q?ml,_G@KpM1Q [L:ɤQi*tVuyzS+MQ)1,x\;&~dUu@CMrGEx$Q'VPŨlRL֣Po|UH]J1tm2jztuJC ER@parziNkC i= D>BjBNg]}TZLm "=[718X5U5ilbpXb):MV NzHjLmxAzÈ tjԌ>HKtRCzc Wݚ !fv@lžhQP^~bcź˯et尤ҤI}ػRnV80j:sY{FI  &FGH}9u0,0IuY$8{ߚwu Bԓ]C1(rFW9 Ky h~oa<5֖-C†*fū:">ҥH^a@&-V1P姺,LbQďї{_ 8{#xHb~ ^$F*=eBoiVvaBG%|XFؤ΢H_9 DO6/@ D5BǰBO()T0eKcLoR$'lUPU[2̃3/(oad\θ8j2YjHeHiA&&މ1Y ؙ#5?]tJoI+e 2X-k$I% ut7B:f,[ۡXmwSo]fJ0nc-?qN0sBЯcT&,t7q2˸iã!b~iY. s"pbW~3#7KaԽj׳Y1:ŷ*ZO^b|c@#Ģ"­zHpECljd'Xnz[¹ `= s N\I4|8j35q#$%ƋΪ[ ZٖyL{xƷ<05n]{ෘu3k"ǚ!7QKbk3R/|?"yHeYu4:(2y-V6|!bEQ5R@* R ͕Sbջh*d,&&[PM X"Vp@<D/ E(N0&U"^wF9#Ц#5qƇ ]*JhRtU\y f%eaXQ|}M|&/NFKx`LgzLr4E0埋輷 ?=R('?eƇ$]sNU˄UW2nJd(Dּ~"F͒BR~tkB+AD:-U,Tj DO ~!xҌ<,Ei :>vdW(۬ö9pC'{e܎,T\%+#o|Qs5+wY;h .[vБЊ-,ϣF .4EFT87H(Зmv>hc#gH#dS?ULl:U"I>V:ܵsr_^[!ʡ̙xD l_U[%N|$M`*Ɨ;)J-pH(.9A.xtሻ <äGd-z{hHY6t mD#P:[;0v3Kt49&|s`=Kyw9Gkc :2ZL"cAV2i񈪷\HQ29M.E\syiͪۏcJ<~X4!~kE>N8,!z]a⾊v{AyoaQ 1KHW<ݴpB}ʨ qҚAU]Q!{4N/{x"+ jԇNT oy>DO2u=¢@>TBוY#"}%!7ƟC$ _fĸ>./>7϶4D+ yez.9qtaGKFn RC9=cԔ^16ض@n3O e+M+t~gW ʲ%=M7۠?a^z5L2z q ,5oTUCU-g)SPT;΀!\A#*-3bW= c7%YqPW춻%IU›>e_@X0tV\1re}GX'su }G2rZrw?cdv8KrkWf8u,flt ym;VUkFG1<;A:#zF? 8Mh}Qnq[AVb0r؝-P }^=vĄ=U;{^j_A(9(=\w vOpObOm*RIHWӔ` *QA:`ag7(`N @K˷N(d XfpVA}+S&c=o`KԔWlgLZGlx -o+C]8Ydz^:DR t(|%a 7|1|VRI._@w8FXm]ʫØozhh&&EHLU%r+iPs:!(/(M.0 y}PO!RZQ;jOPOYݩό拗J7@C5oN]u#vx 5 G bS'cDžhS@q='!x#cN1FYWb<uIh Y#ڻ  \M; 5[ 1|:s/;C"xHq )І_iMyd\c r6-  !VE$X}+//k/oWb,^&@ttxnԁ{>gX'2ke%eSib(|Hioޝ 5],H56wT@ٵr`; paVjCuJ%}l|`q75rebߞˇOՂ"y%z\ =w"I|{%-zd`5thnH 2>9'/WzOÕ=,hxb9X(JaQ*ٷQά"!@Ku;'˗mh0?YTyn% aJݟ jofU&{zqˀbD+w )D `q+,KGD]AEwqW8tm:$F;j*6G-}ӄtJ*XS+ M4(ʱ#yֺ\--J.V zn+(!?H;_] P"T격g@*Zg>rLs_N-'nǹ[Sۚ[q/TKR1ӓ2@tDiZ_!ZzC@uE,)BMwNt1 Ae}wlJMoRS Խ 1,qO"vibr|,..)P?͸r[*r9h1D|ήfL(<(/Š?EVr8:qϲIs K$lf sO"Z!>Gz^=ALuAjzCESs*t CIR*jr1;Dz4S)8B&K$/)c6Lea8uiO1Ƚ{j/8JqrN}j &|;TpdL6ey-T+`LNʆ:"6L\NX%r߽ AKe7ډ?NhU5T^X:Yu6SZ?y cHaqy9*WÉQ[R?| /J.%6VІT7Ҙk`U$ZN^67;ozeG`l.'2YtΛt*^=ZsE5vbicv%9xT#-f9x+azdkc‹slAꃰ!:1Aj*nم}3|IM$Ự{W r3n-qk1k-N` Zi!fRd;k]+8J ahi-ճ ( ^AhD#msO:Fz5z DIl-t G=vYeR5<%FIAՂXi9coYXP͗_0+@ےG;KEBmXty.*n$ `PvVwL&MީA0GfyjMTbuW::oX.LjiUl|SeJStkt74*h^иȏN;^^8$0c 7n:"ֹ$A̝62!UjITodlC폾<*mq[||8szh3i~8X͙WM uJ-+zHPyĆj6FK*TO2$i\ Rk]NsȌMPFn0ܝGcUO)L3ەA1)2tkщXߵMw"V a-Hqs"=}PJH?iFD:_E91ݖ(\6hvi#[wаv)xpiՒƀ5)meC+f=-eenZ/~IHmQKІf% ի3(\?bS]`8F"/pkvi9:4SL0aĖ5>$%՜rDz⧯ MIPK2`+ ZՐw1 ^"H;7*PNJf }t8`lʥ-ߌGgfgSѰӜh8*f×Z*Irhd=H*ήâ뽡P4 A%~]A~7oy#CT-M6@mwZg83͑pٰ4>dJ!Z]eOVwߋ#S=AZ$av&FsVd6&#tj(xFx !.kv}w('i&ڰKr\IV]l]-ć='")Dnj*cyũNl빯[9_AU@nHDal"Fn@H8gAPKw^*:)Ԟ}78la) wMZ4i6o& /[pU l]>u)<VqWNPz \rB]O*TcѨr6Jw?Ǯ ӫ :cmŞ]gAS҈M gQij2X^<$CfڤXbMpB}ES2G}ͭQ aJV)s0J YZrcct.`v":EdrpՌ5J\yU[*yXJgB`u6)@ $?9=qI*^h'h 8. ~>P -dc$b0ҲbV2,o =O%y-;[zfUR%"elsc2loQ+GHv'D9ȋ2"㪟njs#\Hi;ThYDd46B Dr,4CsXߒom8651BOwpWCMh՟p`VɫԟZ_k9$6&39GuI~\z6cN*D?BLxu˪WM?+6 b6wӛ06y"ӽs ( S$ϓ)y? ԙ!`'7NXYng,B5k2^dqdy\G]>_Q)kKnrG~oSđ[0ಧh&tSiZ;6⊬zO{Gvuq_ٌU' QC-Oq9Ck Rv9g+7;cKn1S`yy.Q&tFi@B0о#Rw&5ĝ2v9Wcc.S|Έ)HQ:&0XYsM9x^]w9a700uϯVnrI*\6Fܭ7,BRX6in_Ce 0{ª3dSS&1ۗY`i|?G CiƳFrY'+6d [-#1܆llw#W3l#k:&EG"_ݹ;q7{sV xr\tGj1F x'xb>T:U@fMxW55a-.@Ebc9qX? }#ۢmM,9_t#'9@7r^t y~ď)3*wOsŜ^&R ށ>9ٍh9_BwIKfX~w-XQUdqp3A ʅyP;Þ`GH49rq&<%>S|q"h%'ށR{SbPb`cHY(MV=aެr!o)$H ]O9U[6oaK2X|(k1.Q^HiM3:_VTՉAk(A< wJS9Y;+ vv $gFvlf8Ft" M(Fvd8qC&aɸ*e͏aV/QM?}iT ]؏>YD,/$e([:7& [I@wLh^񇝢^M;>,OʓK o8=3պ$Aa P;_ʒk`L<8Vi)GJJ#:Ώ+|>'/?шZ,ЍKH"wSuqnLR4!9fq<bQ[.C/qfgVդ,zV"7ŋ5ė_a?~#5tP=s1juӾ)u'>8ڞ(P? )%GsqVoJ!<ƌ1(zPNpTukQb yPS kKv.fTMl%frJ?z-y0VHcP(*<1&2+Nz^)qN9'OEޜwLjK.gܟ'oυ{~4Λ[o2CU8^gP#`/re{tz(U[lbQ%W4o&M!iSf=Nk;S GN wΔ},%:\f$`NÓk`T٨5'I۸AC#XRTF*6ZH0m5#9xg==''ClRE~vo5`jAd^|s='3Ap&1Pr?cHgwgNP_R{zHU@0Ki:ix2nWGyO"X 1i3;B5v9"X0*1-DdU`H\q!qR%jh+mKM`2xaӇLL̐rLu|& $>OD$]#?h0;i7sGH6:_Swd8 |)w̟d" Y!nG7Y|G$_ oņZr &VҧO=Ϩ,d'Y>\(z/.ykJZn,"^)@1ˣ 2X&UEKiJ1䅮Bfoe,% cp .'`-}9Բl\~7~v ׋P<).vyqp/ K-} !)#UPDPE1xi8=.VgW(do-+w⾱$VbW|؀ÐF(#@ *5h3J:jܢ iB7[>QW 0"ILCߏ+0THK4f頑W~mΔ zJ 4O6d1(sBDo)RUx !4_,@pC"U:Ó 싵K`j|c ?$uSWV?S4kp{1_L.ɺ`;C&> v#Ն x&GJuKщ ]1l[3 4ٜPy"q7i#b^й$yw:nE-{`u>CCB_V*kUuq aL:SveEk݃&̱Rvy?qY Kr:1:h I̷IAp|~r@1w)1&ǯ.Н~imoۊ`=laMM-\"yZ:Lx 1;]8wm@:GpjiJzy=ڍ}>x@D5x=(k07kɐ{#&͆ULv#%%)!O+7ڧAQ@G:Ԁv}vcS٤m ϞO+E:h*Jme{t'0]\MRl߾:cig $) UPwϙ|90յZPfr2GR s>GNakvN:h4zӻnc8(9Ңi^5Kbdh ʞ prJˮb$7'Av>SRL@?ծ Ʒ{<@yrЍ!9+krv9W9kz]QFK~!3]8ؽ̅W,XJgHȳD< lٞ1طe I +#b G ,ZWWpǾo2)_9:#t5_f>+З l ߜDzJYԋٺ$wn=,Mvf|DAi >aCS0"'= cDzy֣e¿qk5C&d'xЩ^ga`Ƣ|BE:[XP[J]Yko;㇗ Ov5;7zTO3$ږU_3udiGk! Y}ZZQqoĖ0{s bmĵ.0j mMN,&Wb/)d802a5Nz0D~:ob9A=ԣu0[o.ˑq%ukb?@98OC!$P =#܅ !bz bfw%~!*G.jEY#`}: SQ&ixhE=3Hr^ q"d+SealxJIN*UK'q !9 U˝}j~qE"G!mGܦHꄊ8)HŶs,*]5̦7.@l *[? ]Qg&Nv|b N|/_ WͥϒPM_&cK~ 2#;ZiH(&܅߱\OeJwH2 @4\t u(#z?Q8< X-f^TBW'it|3 Ra̚Z )mm`l>}7Mqr}e|K3RZ˃g o ܜ Rp'"x:_|>|uTodI39Ujz0Y| r1/8s|wq!`o:A 膎;Pɐ!/~d7a(҃8c5Ezۿ%[ '\()Up<6B᧑|C%bG_s(qIX`K6rLPwb3h3{]I$B T]6[5d+F@Mqy&~Bi/1="8?OENJq\qjs0C#E6 %p{4~VUP11}aX6wp:&bx%3I#Q(> U.hyni$@Ԉq_xЯy/[^&IVwBCref(p]P%C nu"C@z}{|XJ9x< #M'G%x;__0-Uy'(j)f, PnR#cXw f(,cX]XU)_!#ѶTk2-jut:C RBLW.Y^(bG80%i*YtumpD##Yl?a~&C(|`N]'aԀfQ",xǤsQw0 pH?M<\ywK<6z)ۦݿ$^a LM SD"9JdwmPޔoNz7Y#VߚRt j֖LnVt$Z# 0RxJ9o{7_M-ulrUAy⩀ӫ0Q ]D!8㲽~)u#CgGW^+v]j &0(O\ 0Fɨ?!e'0 YTk4-1T".UG*\*J^4ƌGO;g)-O;5J-çFtVh@g uzՙ61 |nqk&!G{he`PHf2hi5 E3ŔoM)W}'5rIx8[pizՏ]X.(BqHo跗h)MU|TEjğp Šۤ&п`B]yNmAAu= L]ܳqD>1z IO-ï) ί G rd{0$x!2kqPSQd.7wո^~=.4$ 1.T2ȗ'_hr0UJ~Vn%F1⌚#{,8ȈD}vP܏_ 3ӎIql<X~c);u=z&)l8!XC^!~d+̚@ϽʣKR0;p2oθBhĜ5aZdn 0.Y'dDr 5ŹDoq7Glo'>Th7] 25,]i`ʾSbVat Q"wӏXTs%zb/ɱ;c5aW :~]KNn6W0rz vjQ93 Q3})Q%L V(h[T4FD_!l]"ї(Z~1.d @HL.[5#380ɲ55.[1A:TǛc>ޛh_S'/gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 a4107a7b0006b2808a6643c0816e1ea043f6d672 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec9314fc82499dfe91bb551331272423e211b141 fc8203de16c61c092238a1d5eb780b1e7d4d11d3c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da c6872a6fed103ae1841a9e6c4e632c9fd5a9673cb95037d1396cd927e6ec5099bffadf311b020828