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  !t ]]]HOL-Proofs:threads=6elapsed=781.051cpu=1740.280gc=258.920factor=2.237zXZִF! A]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb"^$U9 |kҴR\]zs2/>'2vH ZWQ}l5-7913ScR L-|@I!ea&pES@%<=Xvrn2HdY7H0[$ۍ<۾,e#Cj()WZ0n88U[Lh*R}I`nzYPl VoK]k?loNO0(?"e%&~8!@,Y<eQ@Ii,/e5џj R0:ބ9N ;sȵC_B)aoNi`0r[FczHU uDLHPb  ! HOL-Proofs/? ˜ґm^cfn]+ʻw;El۽?P2 6PԚ2GmXyK璅' <MC2 p )+?qSFHeCgeCԈ9^I`^jQ_axΑa؊o*lkJnTյs%Ta5\Daٶ½%K?>B0( uhnhۚH5*2ҳ.aEu鼮56!ESijly}if1M6S=K@3"=WhIXB nP<-)C-Xvy80zJh&xt6oS8 c_Vϖ/9߼D hv euvn8i@g1( WT1F! 9x{jtiј}XOLEEcL?ČDO@d|KlKܖf.ɲ"T)N)a0H]A90QUD-7}5 ʘYbjm;(f#C/L\+{iEs*K"Ǵ~ݯu +E*zrpAEDYc9<:ҹR V[41NeT-H@oc“CM7k]Iwp3Sx)E 6z\+ &YIL;~Zո `b5χerpY6MH֚|DTi4 /U۟.OCpUنM] [5mLJQ1bl|c64<,ڟéoR`Xb]Ry ZF:efկ[1tag\ Rw E#R8P)yMVJRޫM 5h>'#gA8Mxbx]d)_YURiTqfZ=@mFȟY!KrU,FNUк6jL +ENps YN(*уeFVx% /.T51Ōji_yOlpަJ3ʋnG11+`N"2o`%2"F\H8IGo=@2 wDආ5A+s$Ht2q ;r&Ǘ*ӛʦOújnjA>z dAf(Pm'(j+5n\I߇)Va$9G="K dI9ZxݧMVn{؈8qz>Q>b N".~08R D ڶҜ=lkָ#MZ|<7g@fH&ʩel\EȢw-81ܯS"8R&һ$b7,T·RUR$*yOֻ(2mn\-Y;r&ELw>b.O*g?\}q 1\kEۢ]jFn:0Y?< Ql߾fxP|n"*VU%b?QxnT.*A"Vs҃1E`fr@,o'0<=-E,,k" r m*vԛ6q4PA۲`U>sRm.nWLDkl_qt eg k!M#."u!Ӝ_5t9tS]ldA,ȸ;=6KIPOJtݯϷ]}b_ ,$Me#찎V`szrFSI֪tz3/1VS{$;<0kc8frl?VnEW%ֳ͍>6Ph Q1 8jXVyvoرx!5nd"-']3D+̳=BYEyFQمP|y-prZaIeKuf+Ty&4}W{"F3!&Rx u"1v.PФ*CrSRخ-/> Z[%zMYۙM"ՉQl/HJ쮬|Z\ۯ}34l ano|7O.Rh,+}a/,(1u*]Di _ۭzH,sOc;-z7:~sEm#}>2 =`yqߴzxmtgֶ ѭˌ7e y<@[nX%R#n-`/:A¬=gB})-1Nfk?JpO ,VB̜4(JMσ(R0,%]zW9V)k ACE|S֗b-s a)/wy 84Gb|M%ËN//߇o* >#)7ˑAwMzyh3}A!0&6 dT\89ٍH( [FOJagǪPTH/j%T:ߕ|Tn ZRPcQ4 7]iZߘ冩?mTiFsFo>2Z>Cv0GrwG{ZN*֖,R!Qy_.:YѼ'0#[ʏ=O$n]Tos3 *M lB;-tGs7aL2z [m ".>Z:fDGhX6["DwؑRsi'?bDy"("]BMl[%1ĉ=~ϖ{2Nu0E|nP2TmrzIǀn5HN<$M~&cWM/tq?$U2:rg9ZTQz :&;e -R`g, 't`9,Z>ިYxIC3Ը@SrlR%3dwYs3l(YedRRK }PSoJ=Fρѓ"!vFHBuH  dgV*p m9씚$`޲fV͊[^XDo@D;f*b~3MpV<EH0yb=`o栖ɑ|>d˜ߑϒu6:9 U|t#7{-ubLVHP$ mW"v~T֧pt~Pu@p,"VqŘE99BٔY}z'}@/D!mCE5Y=I>jnKP*T!y;mV7~ .^{FHEiIgmuWD&c w._,k1t]KyHq~!J:/8Gr;R.7|!f z[5)A~d]HlyY-MMPӯng7LL: zP'ϭ2gr{J:hvPxpm / =2 d QVw|̺L[sl w:8c-7BY Ufoiv#G.%cJƚN< ƍX6 N:#h˻AJhf%M'ov3%B]eCpܸws[4ui}DW hF]<+2{ԟ5[H~B'T+Jtb$'v0A5mE"WUyACN6l;=SF~U(ދjG$=- rb vJ]8LJ{yyCR,IZuЁhyfR\-i<JVArT0/T5_ȖxrDX;fzj1^=h{^W׊My h6}aQXW} 1L9݉l_-z`}dm(I{*=_bʺUQ ͠T̯\@MrsI**&_ yX&'7Չ^ |QzUjAI ~Pl>W_ qG\;^@$ͲChr u((繳 *992zgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!*X/yǃ6⋻zrHԹ#=A\M?lJ\'P іn:[r/Y?dd`̅:&ͶQ{m8G1'}s کHʸ}B$ryGU+ݼӱV~çӣjGk-G@ 2͘qfT zmyҲ8o KjH[7 DAp2%LMu/#Jx %_SA%wu J$ēP!rFA~/`6~^6ھ&Vap#tz>H8TΪLfb@ŦIi*aG*ENW_y+D6mXMb#,Pt`2"H%  V.ȋT~txg^e.rrsB[}{Cvݟq{ڴ4@-w`ApB>o|~JO[Q2(4SͬaITچzbǪRB#=$Ԡ糊$LBѶJ\ƌ$(fBM lԒ*joe9}٪9W' J)9/ ʑ ΆeZbp8M@+vI$p\wRVn5&Km+ p7&E,WдqEǰUUF[ϧ: ``Uˈwm@ 5S, ܒ[f1 >KsȊ;Y#4ګV ?w"YIŠ%f8OEi\$U[дx0X؟vD:N"jhAx^ 1Y.5!n8=Q/5Wպ;F"u=b~\ʰ0DHK<|XTjY(X5q[ra o'").:Q$xsp9ex2PG6)àfܱ]w9,СpS~+DgݔU֣$[$"7ủKh" E~jzt돹*6$ּF3@g7h] G zwBաz\Ljpxi1W}ˍ׽&~~."xmR0|5)'7lz'U/Rѷ9{yFẂjzewk"oZK&އZZMi$M`v8 [=0P%="`Ug׵< ϧ0בӡu@ۦUqP [ bAѐ91se"9>l]R.W\ :PN,DÖRIS" CpVk@\ TpNC,nG6ĕOØ$t8g_h ;=/qP_Cpb? (uk(;h4)!_#!DKH2ཝKlvWy[MnR,$<:g V2-&gYZ7zXZִF! O͐;]ŗXi%;, o:T^c=WNNiOVu\E8gi5* Ma578\-SSdj7X;]LNؽ`[CofaJa[IN": dm0['LH kַ$q3 v⎉&0FTsS)o)yV@s|СJ ' -v6=_Nuzh\֞9Z^')W<@QLfGw$ݢ>5pZu +le@}W a|5}n'w юF^A+$M쩽/+FDan48I K_:VJV>6Ud1AbNR7A&&#H@S%;?`c偟/F k !۫j&{H@tLc2jfjdpvFV CLb"9a `0؀lf]$:dfzD/LN@0g~9_eᴮsv6ljBHă xiiE}\,L ˛G-Ba)iuoxy+#X~_Y@-EPm;~wwlN4a{}jE R _s"m 7`$ww99郞>t&jW+ ԾS/ׄ*@T5]{kS.uȸ1)PF,^ۑ['rt~UV"Qu?'ȪnkV=%RC=CYf >BLArZW-c][P=E(Vԑ3fBQy_+Bwy?Eɗ#@~a&? dMwrIo "V/e&A ! |:-e|?ڦi?^d(*~.T{zK =ކXs'@Gt?>P-ʰW-#..Et<Q{R oCK,dvofd}o @\"` ͺɓ]1>EJ.ˍͣ.BRrCJX$1rtpT\"I&xWcqSԫ\{k2E(y0N$6+3($F5(m <^ੂ^1(m_ ݹpU/#Li#d (VG];Q-ňBhV6Ҟ F-&#6˷<$Fd& OR8`uh'a"fi6tIVY7[i뱌L1Y%fXrQ! jD#HY i/\l2E2"]YW+`)LR72A8"4}$$( BZ1~wXU>/n{H _@NUuU>TdFݰYIݏ-47x wNjQi~ypPvN\NMhh[X&}.RX3)I kYϹp/fQ _ &oMnc">c^Bg`9kGQ[Ɂ˭E7*#hp+ |'9(ڗC>~:VhYZ:`\-Z9?bj.NMڱ 3ؐ?fMqʴV*YS&jphuݣFq`k?tT ER4sUI%K*Hʝ`련Wf3 FPh>"=WE@CƺT'$W8$ٲr昝dFjuP.G4:B Sn}}':ѐ/[UkDoM dBs.'&vwп԰5+s5CE|<7A4! St7^-G[$sWl8^}+(KճD?jX̱ޱVg=I1g7j PM U2- "GdEu5~%u->?0Tfjg}J(ReӁI%\zDE¹j"A #阩;.6(nYJAA+}? J[*8@P[j0!9jlc=0\/KXwvbr:nh-V YګP ,igFڊ-q5mH~C ,=fnmzx0o˻iTMaO7[p, qS$N^Ip$E\ϣ'=MƏ|p>c}"1W_ A?EᵲJ*H-+\ vpQk: 1jŮԜ@ 𭂃yX띜tQ]a><?ӨGDl7?a %I#@K$F+[N '+EIJE4yi/ 8N qQ߁){ 7+%&cܦ!3 7:"Ԅ|R阒ao:=ѱa9Zҩ'&mE yK ( k\0tP) m7loN6QW SzT x% 鸧eX?*Ju.;H?8 =дI,iVMdv](4[s,r>#'T? <*#Bq,/Wa-6R3K KfR?\!m7vBS%SN:pn\ <=\aYoJ&aI-_ $Ct[kvn^@iͭEߝ\dK$1RvO<FDfl^mf$+)ʥ WۙB=3%I/)I[qk0p Y 4,`om:ҵ?KDzq1;)K5%xKYk1_`2Yjdn]56{RTl0oGIBO_y%*HxtX(YsX1cR`*˄A\h+5ѓoP`ye-ߘ*9Z=pu \h%`HE]ŕY,3Ni/`Mr(bLdtAգ=l(n厔* 6ONhQH`$d9 A/v5$cSp_4!oi9٘ '/d& b4cg72O(d']vVWMlvfqFKiQD r|/qW1%2 zaBU^#%e_Ҝ,v8HMqV$xmМeЫ: "EdMnzng Ek*qr>CVp!.dQ9ť! r_S]̋]L)V[z +RHifFFZ)B]nx7Xb$gLoT/}o m[k,vP{W=$Ȓ,/k`gKzNbY2@iQa[1VͤF:l7N3#%^O<sGESlr/IMm8ak"Y@ p@ΎJ oe>>^sb0WԬcdwAZ Ps~L)r@SM..*-| $!IԈGև8G?(`}V1M f;nlI9zI*.~+0z5{֕%lңtrz48Pkӥ.]g1h؄n`~@p?o'_AR 4o?" WHlZ|9#!NW(-c tE uRyL"TXC#i&JmS[rD&(ueųu[Y3&yɏ>҉]6WsX2S~%3?2%MBygΨ3Ah)K1ϺIȶb=XFSB\#KfzgIব;N>dSV΋ \|q7ؽXUr1= U-B.,5%?5nmjmT-'BoӝC<4|ʕH\ٝ\+.{ ڐ[s9&9c)w(mVByHdpe6i$FmFEjMd3 3*uvxzkgێ:E!MX4JdT1K|i#W :sx⧁%[*xѓ"FP:EU1 їOR_nR@7Yѫ.i;08D1͐; M%Zx},}V蜮b`uтs8T\TӝlB62XྡyjK/Ԑ @T 8a󩌌ن ̛})!{U =I+<~ Ѩӊ,t +L;Y*`C` Tu h{L<yFL19$# @Mh";#+Q짾˅*P;6U-5SVݻݹ{V@BɮŝE'oϕ'- !^ꫩCKN߆m놧~>9Pt/W@h|p} d!tRR-EzA)5/ D 0DH$h#ut=g`y&3N%6%]pLl6 Xa M`SV욞r%\`f.Lek*|y{@@'ٳLd92,|@mFNV>^3p&1}cYK m%YY|W8'gXU +FT s;lmLEM\GyG+f}(:ݰG9_;ep(_g6y=#US$GVț U0)F- F3ru/b,(A ͧf *Y䠒sIbǸ|: ,3Ѳvz"/NkD#NF<줛vgYO/BL-o-5eKrFRPwT0!8_Nb !ɲ%ZFo$->GFh(5p@D87U`^X+~ucJ{ j!:ޭ@;O*_>d{KRވF1(\A`7.k-W˙ (5$ox'~Z?9f H>M?*M#xcsӗnARrk+99'Ɔzq>? 8P(k;՚uH#GcV2_ ꛴RH_!44\#h.pB<6{ţ/"&oTV\NYczا1,80ᒹpsNdT ӇxkPp"|!{ȘiVp&k.5/]K3O C)kPLe:Vb5?PN"TZqFMW].*^ )5V7vKlC!e#!c Xa5RYjƛ~VzR<~:\Cmy{>u==QJ¶pD.6HFLbn}L$-ѺI-?i A9/~YD Uۮ(sI8Ft͌"Fn_AR/pĐh֦<zp_^I7PeUqx'x6GwOقV#k OJ0P.ܤ!ԛ&n PS@2;ۦdy\\`MU#E299`/Q8d{O(2꣔>!د%yBy%|*D(aV+s9pr P'4Ht CWA_ʼn 8eyFy$L˹PosS?2WD09xն_>H22._НEqtiY 6n4#-A啋$#UV}5KSYWc}x:cш:Bo8D*բت;]~;(ui>8??Q/&炴 KDc1kh!9>a9k'?KtC~GA;LPk$ gn+,%1oİTay.DNqX\ǚ 3-;#)Kpm]=kPHp7-!LA˒B5)1t# <.FRe,#`UuXM)Cm8A0.HMDiZJK[H/f^G=M-n%T!| . z5?,tghI*mZcB;Gt jWh2f`m.KIx=eGG;^T߯<$cVjc_R4QhC3! N.`껣DMw^:ǹG]xd Nڭ4xz >*vҧEG+/庰|X3UFOک)}TR+ |mTC"bw=K?[ Dh;b4⊑dh_#NJ* bj}&<4mP!R˕^Np68rOE!!Y=S>@ qJ A^8/8Ҽ猌G.&:aARbQ>Io1òTSw4 I.aҴS3P=5v+=Dѣ .ͳ8aDYD!?B̢3vF8zefc ?H@f(W͹  >aAhZ+suiz3 Ld ]qQwVPhZ4?6]`}7s`(/ #3SzN◶K#v/=qp:mU9heZpmn(F&R1q:sX`/`|4;ٺNhHp:`W3jԻ7Դıb ^蒳b4b{8w T_?Wb_do*V^~ $i"#7sԙ55`W BIH^{eȴttԵ #LuW^. ]Yl [RK J&P.倄dcNc`fQduXz epG>#gSƾǢ:kO*%a Ƶb"c &9 :ʤ-@}c|R&eAE kI2f1D{L7r`^g`Ԧr:<ƃ[gԳUz6OuuA psԶ*YZ@M!B}̌Rfٮ5 Z\mz guJlkdxyC,ۗsޞc!76(BLPƮk4.,%6ǧ>:6]T'7sțwnz,I9&nd' x6RƱnODSDLd5PcfwMI`^{΋Bn%QXˤsCНA#󾸝9YW 1Ma:'uer C>tLeYC-M΃3DDrg_)CS5Mˑ#I e|Rr없i;&.(vF#\_v:w#إdE>p&/c )bwas}wSIș[`̊ >B>#K%;Q ~!q[]Cdh Juk4%Rz$F ąB7fE@M4ei"xCׅ3qd0%"oO+Fb;Z^Aޤ71n}#,YAѿ{5}$$X,ޗ"¥](Sg \LU @ލ9bT]t|҉W .*U7zF^8BO?xכ#d8//|#W^ɉ|,*S/fQԹ(]]@݁ :^vxW{2a?oi(,d 0!(&.t2?ҿX] 6&1(-#T\*87V~ѥ8cS{l 3E^G"^N<ƮosE/BZ cknv{;AfT9H'NBX.]]#AJJ^J#Q = 9KAħvixRT&coTfsI>1 YE@U4*&bpӛ΂^X i|PA,nXmjP1J&/ A]zd(xX"6'3Jŋ^G)k*d%DӮ">XP8eHyRMrX:ŎkhkbozRG ©E^S-̺uC2v˙zٽ?x,lnU,cQP6L1A|:d}Rz΅~&.G_ w]fljzw!yM]<(BN5h92fd0p `ls]~Eſ4?4v_Y90ؔ]?F?3S,;ɻ" BJF4G 蚶KߜѤ<2)l3xYX  2_@ vc"UI 0 Yg-h͊Ybht qR34- `{{@Dr^@g5Fe(tAXcQm!% h&=K2Ra 8#;,d) ן|KYM"'Grwͯ)#iwiHǺD%`Mh2ꈬ0! v"Bnb5 t ._,* s&—ϷKBj]qx w0uϾk%5G#jr;Iz /ۧ:\3 ͐Њ+:zrfPLj?2 6pp]q ,(Ӎxy5t<!g|ѵunPA81@9*&?n5:Y XΚєɆ;!,!C=,I+K7gU%04&kZ 9|8|/[!΃E E.q{O2!Z`;L*@j+Pǂ|MqW@)͖;-E"RNMcӺ& }UTıx @kmJ ]$S@ ]EfD|z=&q)b-zmڣB76u#(Vvvt3tѤѮhyyWmMĺL}ԉI"B*u6MP.WB.O͝-Q0mXTt,P/rfM^iTBhvO)8< 9<\Î߹,_Oƾv0m@0˅k.>i,ĵZA\|M}&@YuMgM^~/AWjm8Я֊tϛIĿARHy$g v+֤ {IH5Q_KD[>I"+c;J ՙPաäps]_'{+$?{\4z鵐vꥭmPg9,O/`[8hw"?k!1hRI'5^pNnL$$i;-yH-kgdcO8:->S@hn aq&_S4% #2\>4+h W68VAuYH/z]r5oy &hJ1I03Im#j\moAu3W{n ~aB:% %zDH[ CP`|E;5I߄UT9pL;+lYY|3\2179l ƪ0DfGoJww`-{ˋ~5ni+`eQۍ:vXaPJơ|e"'اxL|S|f}/"x Y^ |)uG+\|qT , TU%Gtlz7pw§0(,7" ;~6>RlRq$#S6A/(b&aU*vlb[뱂'YqoEtp=*B("7X K"Hg2I{Ϡ]Dށ~#qP>vơF*lJշ ՠ%n_z4sZ<"5tJTK,s{VߝPGo8H"-#/c>ºDcVgI$jT"o$33-'- )z4([PnQv gEKD8¬ E3A)ӣaO *tq~8 W0ɑޟ%Q`gEZsZQll4(ЭhC9#Te+?'ͷܺ/Nt9cnJgdEaPy?n4>\o$\-ᔍYVKß[1|f? NgË Oۭr*^Ae)CGEc5Jbx\$I91|'Ψ^Y!=d0 '3 +·❒.?+֢(0[A1|;mYeڢ/N%m~pDi7;( -wϲis16G䪀H>EJcT[+PyԊаF.oS5'$9۹H<~&5pGzmn^<_}C_o"|6'euI4n|eWr8VԘ㇒Yf@;5Te~;I>ѥs%%UNW ̊)A't20 q ^B]M` eAԜ̂/|Hti0-1,_nmn-H*=Wê#(& R . "9^s X~nJw-H!ȿˍ><;2Z {R_.ROZaZ ?]:lK1> rm{ .j޴cɘ;~}pp[ Glr+^BQ;K9TOjF$ ev_#=*e=I8m#0}-eos^[/0,$xxih$tm'ADpPo˯H AWr΋UDJo)MUb7 R+rS:RA=0\:Wٻԋ:]t+,0=fs׫3yqp=_?m([]elJx++qMZKC8* DwGTP=rꘙ_1ȮA lfgN!-RbN2-bնv2=.6 j%4uAꟳw}u,/0-aNEXUVMT"oׂRjcJX+=HçfdmP&3}Ue+NZHHb–LBlio`pMϽ,}І#-zG˘t!Tʄ #żGmXKSW*Uޔڰو=_!<3;A߸%MƆ]2 ЛYF8茍3Oޱ<.҈̤Ѯ |ܙzM8XǁS2C suma! 4fG2ݩg]{ua.ĞVؓWOf+I)} fwڷwȔ8uRh02s|`jIBO$ 8Di*‘U%/+6;)H f1T1ɏUo5pĆ1 ._PZh>tCb7{LE`"N$<^60w !m$ z#n8x}%4 L2͜M\MQ]^%6@tpq-lF{Y9"'7/p%bsTK{_䊮V-΍Ҿ_=h?zfJKP8x?'ͅg?(HjȖ;nQT#v|NM99mOTޟ8%;؎+ѓ`I; !YtR-Tc7i?znM͡yM1u-MwugCW$? pDuIs@Gd0D"cWh&0zZdpz劂ˢB/DX[c8֥{y穙:N n ;U=wL-ډWrz^D..CJR,V꯬{/10!eljםvJaK{lH6 .}VidS2_#`bA1:Ť*̗P٭]D_m1B_dj'd*7*a'mNeg U<{lĆLG|GKNk~K;go-= n ѫCe۪@;r?k bd9AN]bh比&V ,TM'о9 ;#Y$3<#T1U"Qn2ƿ)AK㨸\TcA@l¥=@ /,9^b?՚ L@z6w϶X 2]fV2FA]pN|/x)>Lo҃̒6j@w9'a-n&ٟ!BDbbP 9i,pc%6v4$W$!nȉhz#qLak==0 IW~™oL+qS8UA۾yf]Xb(S)8Y-]:)$[܀@Aqip˱k"z̘+̀^SN܁]xmbR)#-/-0*Z# ۫k2ͺ\gpE;nQ3[V)xUVi0^th%y- h.D7ԏH Z]>4+/) Zp' ҃,Wc\TM N2?':$ ^==V_Y'ZcW/GrKBɊ÷pijtea"0$VsrءvLP!vd-Asr ^/Jq8/[YBWT0""5  _E(`oN#Z_NIe<ܨPvFACSچĒX(%ؖC$|ȒV u-j:glLNCόMgwtڬ?SlXg4D:0>gķ|.%7":NgS@ )bQ{DDo]u ,qD*!+c֒6opjЄaKM@+* a>;>]uWJf_*%J4M\pk-T\}] ?YF)0w8Uw4?= dZ#֗~8 E ̓Z~_r]\NΨDE@ ^X \xHutʉ鈼?~=^DXj_U% ܀?[is2M*{BS3d?KWL\2i`=ɎL{[)@AQ4L?83]D@j:WĎd?_mGkRZSv2 ɰ_u__a)1FD:]x};dW`ڨY]8l:w{RObi[,[sJj4KC[_o7wop{| |$Ꮑ $"^Q zu7lLC/)H`,56YW䭋8Ez3aNh2ɈCH%4 Oe%*8k@ oٚݎ@HAL=VSiS+RO?#V)Nğ܍"8Uܨ} pu\Hxe#&W<3 n*"0j- '2OJĘźĒi@_bqy{pK}̓kEJu7MGpp@$}HBģx6:1玘HgDїAA*cEY?Di"t(ā_r)i+Qc z?A mW6 G#|8ͥmAf(шnRhC9t?. ><MDZ)Z 3&N#' QA s;n3R=Dz(ֽS?-aăe+#7xtTto=#'%;EczJ.,jN^Y.t4u]@,u3 YLD(M7j{BFfBU+DݨW,djNReG"#ʉ.`–nMX.Cu,f9{3ra~hvrOs'R҆4>9(]䇽#Jk`FӐ {:o[ ( [& +w P0"\cyZXJ\cن#Pai=%PIةu ~e,LzRv!&u耩fI ԐvZEєѧn+w[ֻY;Qt}i\fI+ޣqDqQ*GhLE1.h853}SMMèD æadeXzf+--p"{x:ZPbnE>ĺ\o?Z!~j o_r7 +wmݟm;p \S~b#ʰ;'amԮIYZ?&;vV ^y:0ł礪_!\K5laA&`@J͂#g+E6\D#/ e R @7DB; Mنjr Ɇ<nz`{H i"'a =DjmN}a .KBl-l&fRog9ec9 %:SUCZ*#ё-5Ճ<c l A+M1<7?铃c&XbTYdS=1s] 6:Rxn6aR";nRa5^zpfk+3W ɾְ$x+sK-Z͊/Y@XuR/9-|r4saK.v@.B(z^c# 8bdecCKs~ mY޽˝ʧXmzQ'- $tO)SصQ#:1thgN:;yxNo-p[ m`^,'HZØR!<1<5\1k+/^{ː3Z>:EuMXSқ>\_8u? AϿʞ;~ XR0K15?4@Z&Dbkt478++ X n4? \/nf$!<&>j3TB_@ s+Ӹ T1dMFat ؠ)E&ϧMը&vh`x 7Sm;ߋkn'$GN&a U+` 9e"!z301G:^t `1N@gU@F3(eއ+G_ &D:s6 W|$#^()Ģ + 1%)qgЌ t̥afqFxZM&3MA0tϪCJY9I_Je4o(St78'~&YbT*2mcy+)vCR$ВyOWsOTZ{7@*6}!vZPtT%3DѰ_}&,'Xu9/[%zj&SIm[r sB=\?_E2+o;@mfQ@%D=>ZZfoA,_l`ku>P:RK3n0v49X"p~d4t;H S5+YAo?m=uG՝)-UyUHnwc{SGO)[P KV##[#?S<ؒf+uɹ]G^bh1BXQ? UfH'Y.v@hV=h ,V qo kg#D1زwlFh}Og*e+Ų)')ebWj P^Fw'*A(|*ἧ)$5gfNIƤ Zs`3&ma4 G4Z7 /2e LhAЀ_MKg x: l 5 2Lԗ'n-Ha½Ϩ &Ѱ%Ib^'gqߍ\>fǓLtzh3m*NnZGvAj./TK,mMX $=a=GG!$ ه0AExàwhd\dKV_-1o~asQ2 5~35]4z>9-.a2 MDvrhJ20ŁY؍ܶs]8 dOno*Hz}q{2,\}j 9 94x'܌Q_ҡ5M̘wKL&Cf+<$&|OoW!mK5jiO&o=b;!:&n{ogCՀ.ĀdQ:501 :t n0ۄeUC[C3qA,xԚDvK, 0}6Y.7Atߜc̶c߹8% ptgӃ|n>P5>MPlP8Hg"q#) Ycl-Aǧ8ɁY®i z};U7x~ [.&]K%yryK'zߜ"Tq7CفXʄ(p HTsZ]ƒ5"9VԻf1Oz K&y§aa|#T^ اƹՖ\>QI'C!9-MػAHkjv;hw[dngȵ6nb-DV 'Yfg ۙ]S04n*qE;v#XtE%D E +hhB`P_`yc*''p}32,0p|k虇ßG: OKQ][Wp*wVT>jQ 6`,m@wxqY lϭ@"::2q>FH RU҃x HJ+<PGHol^H(5+eX6Rrb2${-W g\o?A]I5`}8Vg < !8ٓk}4 9S s(.%pc&Ţ"XYRgOv>Rc19܉>N8@h <ohg/v/Bn t.B>Fk"*+5{ټ E0ִ&0<KnHϲMD'v8'f_.wa ˀ茶׽)V2TԱ賥?LUq]"""Dn~),|ڣZt~(EXZPzZM~vx~e p=VӬBDqU^W=~20P8$*ahA{a5f4&y{5ϯ*4^+Lg_>Go\Jno:O[TZ%e9DKYBCaNm nceQF~)dӚd@}H4kjYf~[Jn*`vA&,Js3ݐD aY˯.uOk-<;'&'M[Vgx6Bz UYy^c׽M^.CȻ4GR:KO>4,q$f8tAyީk>/BO԰0[:i!՛M<U2-Lnmu)®f+=%Hf.+ :B.j7j 'O~%Z$ ]jAӶ 7!bی9拏7xcN"ŧ8$E"ݾ=eۢ~ixEMHV cyhݚ%oH=O8o.XE~5CgNMziZnK /YCxT1*N5|~КfC-s\d+;`…9^76IQnZ3,ԧ܂t }b8.SFN#Ble:j@\VE~;U17%⫹ڕygW|B60)?~1?W}2l_ݳdmpW7jdrc tx|0 300)e5җrS%&:ͳE˥j@ &4lˊezbMP3}?k YY6U&'.+;Z*lW`]+ L yEunP^.*tg:x^WHWCąv+i,Mʜtwu-)rp|AǝI{skfr()[K .)aNS_y;&VZgޠD ǫ;U3_t:K{ey9BV`34ۛʍ'0&1Z4$nlKvEM`Ɗ\ͽC*=U[yNsϪ/Jt㚉HT*Y%|1ٮǢf鍔I`x9ÖPƸ?QHS%q\cvK =]? G=Õ/*C3$J?3foԸ0̰DW peQW__BS\cx#5lj4\syuT n/D` 1KeM]#}K4U_YYHLhœFl^⼙ܪr,ƏAU=FuMڇJ(jXDϫm {0I2SX ;@Z~`eF)4a=&Gb:(!E_?!EKn0\qѳv.l̺i>yA:Q&ztTrߝorqs~`*y ~D|w 6V+` Q ,y~VnɘN tj\(Y( 2}ؖMf iPu3'}!MncRMrm ɜ#Q۝"!{z&=TןHߞ}_XdAj!;A5{Ԃ> Ot ,1r^)u0Wr柂ӹ2E)EA2%2BՇbc{ɬC**Kus)Lg ̯lIveƍo-nEflտ ȹ1MK_2^vY7m`h AtFլ]Id&,³z{j 0H:ΠiEL*Ihbt/KMzƆ|0)>)ݔwb[Ϝ@8>W!pS2]Aݳ֑+zwLyuYR4z1kh>R ~='HA[;g#@bPߞzL vn ed V)B[M3e CL,!iuӚԔÞg3N|&y%O}872WcԲk8~F&E`3Dq.K(().*+1prfro$L{u{k?ҧGY0,’ΏX7ƯrȺz25J%z41Tݖ_a?]z}5.!l eRV*SXviGi@rx\x֞^"d w:y<2 n!>_h!Odf8RC`yxU[vr ap}:XTAI 6P2}PyIbpܫ عIb6xVәNSPѽm.>;vM 6?u涩Ι~%ã~BX;xsUl").R_@ɻSԉwˊZ=qI6qw83-nfLX!N$`/Z=A* בKDLƑ(F ӑh)$ߠv[{8wOJh2E,bCS@ƛEXoPYl3̈́ sfIU77'?!2GIӂ߿ {QG(MPi`kPbWƷg kA-*7_y$  z!&C ŐH$&2k ՗6o&$8N1"+y|vO5"2-K}AbGXӚpKByt`YЅA<{vJ"BkɃ傦/+U}M1q @F)<u;HwCQ {Nn^kDl[UX~t;;@@܁"*>1x0O6w?{c;,40`є^'WA#uzcԌ *99Y&(eR D+ 26SS8,rb9V=WXuy~oJxiqbFa;xaױ󝠑ۈ} s?=88r2(.xej/ƿѷd#JyLvB9C@ F\E{`ؖn ߎK3ԯ5FQĭVގKa28c3dBaVSta@f\1 MM.@_lwぃA5MY4c:^5B{vp=Zl`^pWrkjA?Ď\}YHT䣢4dve KvRgp!_2!y :JN6N-9N)uGt44XԓY1 0j7#-Sk]<^W 9BƧazr*p!: 7Z/!鴜(3[k3Mӭnw#QTk+5s%Jf?@XiTۄn]L6W=@`5ŐuHo2vh+mF/Hw"_7D/~4%-TˤVb}뼿vEwX\EuWEM]Du[{1t< Z:^$YL\*N*a虺SmH-Q~TfXq:}@ [a5B#;"b'X"qhh00{Z ]C- k0aYBGq7%WSQfAm'*x7 mJ#"Q[b0P%⹱4wWQW#*C'{L)YSz]j]xS4Ik@)(u9'ZK?]vw<ӧxm_m?>L᪶S%L; <ȧN8OIwnn]5q/bȮSW&9ֽQJI#63 V[ ruKc7 RB^nL_%eTn0ǦݲuZxhߊjO ZajGOg 4v׷Ca $Rh[*!-sE > ^o^zTe=0]־maM zo yNî<p5: T (b'*Mp0COy5ӻRU?)8^]#7KqX4|#UT5 Qf^nMnH"X3T$'mNclJ=EgYpK؂rDC 265)^;B,+Ȕ1j~+l#g2cO<A/(BwuWǖ 8Sb8i)0xRs3gC}BFd##Rh-xkZebNa"4Nqƞ[$w>J䡰hV{,:.%,:Cp3$~T"uikBףA =z'A] qc;BSHo(wVHrc28Kr~%qXE)f2)ا @-<R1A985$j*$f̉Co,;ɦ8cCܘe+ɽLfk>QEc ͅ<6a%g"벋?3شWN5@0N@mN{6 &|yn"" M0ϙkV<00+EI:]~ +[ad#lVg>q%zV)#.\ !95:%X$2`g+yD1m#l'\GjSZ`:}cBN4 X`! sOQ eQ¥m$ T+M,V0̹),DkJцgB^U7y˓G?rPõRg~to8P!_6:eMn؇ _ӰΕq_Vj:Yߤ:G%rFl=ru[ݺS04tlI|yȱ;طN9>梪?s9X3qŽ,4Ζ4ΜQe-BNχ )Kw3YYM_ڡK*#? UϸrXp{]dPTFnI M[eGmYty[Z}e_Z P mj;d)U"ϦC"q5"/d#3[5o Gl9\]!&av1r>[̭3f/ )+ ##KONoIrRJҠ?D @]qѡWMAsKzMϦp2^tXp@$I gr9vktm&gt=Ŵ,Y 4*>o"|JeCwKNP܋4K+P)=Fp@l=S]7.!5CPb}A5i PuX4y:r~ MaSPѦT)Ps-UWqwC$$mwe35鎞*n(dOfdQYbS8{^jvLu;Z l=rO9{ᦢF-R~|h;q`i~46.FhVh}= ]G00~"I؝G%ệ2ibd|b}%x? S5(bܐC[uP@}k:%$vLžIyz<Ƃj0߳eH/@ =/@ܚf?t52| >N~QD*m3uB~Y2g=iACXQ0+ ONBtRtS딖pzY\֡cs/d~$fjC4o>C=u u`gybD8)6Q\A)cvG}ppN@ hMӏr \hW% -cɋYix|G:8#M,ԅ(]pЖP(ȕ݈?u['m+NV)D%K1@ĊEa#Bf㏺<#=MtnQm#N-?h*YcJg~ccƬϮ:C=@p,[Uro:,xEb^47gGEޕXvmJ8"U(tJp8\^['t|g9>{1%=_X-5*Dm`kVCTDž\C`RLR‡;JgQjm369,ꇵ( =\*Z|-u1 e°!ZKRU H3g{)5UoٻOm7m+J\OZ+4BوsȐ-JDjIw}wb<5q[HYVN;;"J?dX)69B"*t뭢P1C!ݯ}6wW %<.`cG"~_! .q9j,څJ}ggbyaQ0TV =[ddgw&$wuG$COrȞef&##1׺:;C qf6BV416He6_ aLoj曼"yWaG̎$bx ^U/:aKSqngľ(#ی<:[m}ě3:-)X^:/ݭ^tQ?Cv!S_ɬ_/doR LjF-KJכ'xHaMػO3r);/ϸ@lr((۠ y2D'o':,cѰp[ '+0lMZsd*xm}&8aG\)>&N:sޣr)& xD.C|JtpGɚrNGqC~T%ntyZh{#x)ߧ -Qq9P]79pQb9C2תTw\<>G5y~ @N+}[szq*b"z ƫ;<@,zFd{~v_lbjm*;z6L?Ӝ%u|?3+X5,ǝ۩,O{|<}\%z$ X19ĕLO/؋pL 1HJkC0,@!C+/,|isVJmzɯ57>X!"^nM[IVFsfE#w gfd031ǫ_*ܙe@Cmq b8~0Enڑln<"wf;- ib{J^C}i~^ Ju6w`/mnO rD@v/ DKb:/"xLq*+{"76hH?U4PSAdIUL'&H_.fvJ'Vú|1lږRl]Rn5 yBrC,LS&;lN~'񈠸Z IW!CO|%2xR ,C "dt"[ݶ#qgx`pҶ޹^úTgJXR4K5Aչ'R4z"1/r.ۨ]mH2#uѺX)mE>_@HlI&vOl%bVfjc˭%ZDO]Yڒ-ڠf$htl< _/X DJA &YEO5 aO=ɐNJ>z#w<#KT[myX߼ht{sr=k`{֍2xWߥ#+%|ÇYϖ`yM|$mO+@۾F7=jVbp_GC25NDiTI}/5a"CFw!\&OdU,Ou\3?h m7Gct[ C@Imt|Got=< M52e)糤Sś.x;ю)ZCEtha:UӂG8_LȝFdQeH-BQl<;~1:4Tj63O1P(tm-3w;#A8:7;,j7XMT"曁ucqoba$yVE|d@ZN(/hRf*h\(9  gqr9yhVJ)h-e ! ^+&ҰWցZŽ(1l˺X rR< 8?|Vи%[e1Ag;y[]H\S~p-˪iynk O!xdW[tf5+sbrehmɅ>A\[bΰkfþ$$CЖ]ڮ 9检/ 1L&`1 cנΟ5F-gYZad5c1b6a9d16cb96d44a53962a4d8b70d658714cba9703b8d89941ffe014c15e6ddc671ed32d9999f755980131ab944559f5efee99772a581e243d54