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 \! ]]]HOL-Proofs:threads=6elapsed=703.983cpu=1638.560gc=355.724factor=2.337zXZִF! 4]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb[z`D6\;kH#'=?o;vZ=#biFo.gcŤt|FH2ϔP!ܼn1# \ڀ h^Gx<;]ƻ&1_$n,m(B׫IDwjڽx3gCbM7jYOWJqz&HaWpGc?8imL;_jΥD:՛DbϽGX$Xwx=mɡ&vĈ_x& OI[bB4KY/=T7$Ia!鄃/RZE^2z(J(f~Fc:S?OX5Lб턛@/|FeG?1,ڪ8Y.w==c{9 >C I_9{ tlzT#T & r5~XzܲLH#KYǸ Q_J2F{H%X)8QW\=w#]ˢOɡ13X4~JUbew>Tc4~>fhMb)Ѵӿ.s8/ B `b.jC q7^ jIJ"ή#JvjK(<%uB;/R;׽H7cg%j襫Smć2okW CCt>`/s@RM$IB>f/ٓǽzk3/bV@HGV&!Mu"⁸)ot=kP2b/r419o⫽xű b}#KIqwY..;,C6=x5 )LAvhh);VF"b1M_ Kq%MUD9ů*YXܟLu8R(?6?/B$&ZE#+M!2dn=+q͇}DM8 FLJ0L'EuC'i?acR8d ,AS^܅P 榭 YkƤyٻoh~LɜtiMM)Pez,>B5+fP,FBƂW 9b@Y.$|-;+ ?>ß qY4 211{dxu0/%}"Oz<`6k` [S1"d/~ B PNZ7eהm4)L|0rJZ  ^:gɰh=g;n:jzZ"Q]IF15|38Yl'0sZg,C%*1>W+ +;V <zpDHiP$"()^p8?<%msgf6e/MWgR~Ϲ7z՜ |X if84G < P6?޻thϪs:+SlBL&[P&H3]QgRzѩs}R{Y_Q6\ 3Ld2F!/(IcHbA <<`Wpt ?F"j9T<37(jPO `;)TMb. r##c: !(_M][l1Fߖ, a[5؋M]Hל{cxtZD6n/ ߸\zkJ]|"^&cfe+xuE~b0tv>i?%kC!E܏߆krG?G*qQr(vƁ5A`er>qud mcfҶ 85.G*| y?%4#9dUqX($Ks҆=--AXեvGP g$8Tyw] GAs>A\th/HXI#ɅB<5("wKJV/ڞ Sح5P2́K5mI+X޲f&E9z ֮̃UpmZZ=I2{kWwltXw =!,Å5mY6ME?v}TS0T;Bi)c(80-+Nn?Ux€oq0`[&$'~Mv媤5_ |ѰéBI ʙvϭ얷 ^ /,UpB}(T/ 0:^xCxvvr2[!"OL"`8z ۯ:4rzʟaEp͚1ڴQk"sM ]gԂoRu ,Qa@u|}&W\Ҏ?$cߟU tlɾ5H][>g 5dnrQ8+3@%Es>:{bv C%p]WK)<};cKҤBf_ T* @dڥ՜/&8ֿ3.8 *UcBfIv g] Ygɟs<=r@  ! HOL-ProofsojR~:8^z; ~&/SۢE YeibH҂3WҺ$-ۺ縉ĨծBy$h X줨4 =ԗ`(omlf|:x8bv[ Ůh:Cž1gﯞ 9gQ2;Ԟ$J~N?[bvΗ!Y)d׍ Vq`?tEh⓪Sld>uwcFmbdjm?ݶ.kV)|%BKdqa0Ϥ{7eIy|D~42n<S = L8ݫR.hE ^Ը/A) hX_)nα,_r)lٸ_bU'٣_M5'VeԶ Qг =hRCVg/*9Ĭ5 # P R|p)@ Q 2+kLe#aX1aL.hC?؞=>g5 EEY& S)< Z)X"y˒k͂?[b?tYu.!^8Y5nV^u|UI\3d!XE!"VM-ы !Ґ`IrϚ"xz-0_{ l5]fL_>߫<ڣ/h` 6|ay04رߡNA$3~:7M:lϡN#Tm+R4RyRɟ>@?hRAcuPljEBTR u+ټzz59ŎqZHRte5]QhKF{ bKћw"SglA#yqZK[K4P xt(jqm;`lVzP8GmqlI{Er uCkcgwdVLg֓ɉL{(m!*pE}eCc8j@m_'gZk+ԙ纑siOˊ]fA\wL'Zݹu8­5t SxceER/ICjs~+G^ NMlZ-چP>L 8"#ZzZYV:[b$aPpMQ4C/w%8T|Vk8ܧeH` "Nyz) ҧzqQ=+kB?SO)^ʼ8 /IZ4HHe,vľH5G#s;g AS{B g峸Ո<U`9ÈOG88gb1Z#y=[-`ws! d9-nvj5(:Jo&+ JZKCu%LdmɄ8FdֺUM9&AO~3k)Q{9 hAwcs(-Qt 3OLeR]h}BɌF4Ll"vd,aoA0~жcaAX:L4.|78R"d <!2"s~z z%p)Pg/o^M%OnΈ{ᬋ Q>YA1 .b@Ul;C%D07C9d[E Tݪ8WvTϗ ElJ-U ,ܿ{#8S-ڞ: t)Fn.`/бg^!ܐf4#v~cɄML 4W E9g?Lgd0@%H@euZ"@疅ؽ3<U <0\Y\87lc :%F2ڞM̤sEO)☞ s".Dm;dw|?o-6gJzl[d b>:>{[t%;N\HFk ]>x\kvQ;׺z6l4vJFR$CzeB_LIXwXn6׋=(2&L JtU<:6Yzg\ĐX PuB$X&iHyG"ND_rxQ*%&I{S ^B""Y|]#8;֎Q,ˀ2 OC)qTw!V7ğ7.$n8p!w]3RZ<neMS"\!rz08Fyz~+cSWm-:qϐ`lv|<;-xH6O8k4D'\ߝaApXY!ld\%r9 IV9^߷P^>r M8~맓0,˅'Cwh 94.PN7vsZ `\'\Q M|Ud%t=ځG@>DXW<-?9ȆZU ]waTap6%5` i&ذ>AC_}ꝳpy)hF;h@ePfvyp\ơBWV -P*.Sso{r/~&*1*G QROs/%. )eɯyBx2cb(7#e{7dzl]HHIv~2.zɏCM\ﰟzND֝_Q̟#Z>/(jVgP*a!+4)WFտȹzL?풇|l(%ZuN&>^RoWg(Ra/ @ڝWisASA<"ʞョ?AP^S1|k7?1i a"?ByҡaC1SұgYZ7zXZִF! ]ŗXiɟ29aoʼz[%U>EM!!A`MU2Pģ=Z{|9u#JP4_<'Dɲ?RBv؈Eclfj al ]gtCc q;o+n.nXJ^_66Y:t;]QC&\dqГBXx+"Z}S%4([~ϔPko-G>E>D*|9 *^a/W+,RHL7,4x>.S"9!.ؿQ@h]ks}n#y</I2Bk8g3^8P5C~Nrv*_̖kc-tA3hL4k4ᩔ $c9;;P2xܦѪ#8 36Ir`6}5ASꂘǛQST*+@j`U9*썜pkM<¢ՍE% D?!;uUGj$-d40|8 oŰ"lz/u>= ,VN)^/\Y/gjV sI(TɤC,⻡p<;{l@)Z Hjr=HRh4A1S \7qHG+ k40C˅bAN¡0̙xTf#?`RoqUtk(XKr?vC6<owS(5 g\~YgxWÙ IpK]1\=:k⴦J?\m6\Oi}Oڻ>WOJհyoO iBzXr!FU @l.[o0~cϩ(B)?w;Pkf}}pt(//{:&UB"xzHxEUWkIQ־iv EaǰΔYUj $:|m fOm4>X)5.@%j컊62rygbSuf\ȮLZ}bʾ90&$F *dV[䵠m)3%ňSc:.Yi2r8zT91SbN٣gP+)/t͸G6._RF^7i;-3g6dD#!ƨJճ(t5{H!pg;I o)6\>%!x=``z @Fq}6x!pJ䑼RGMzɨTae 2J%Eb^DZ{-8!|claGF ) l/vd\hU 4&u`wtIvp͊&T#zض'(d=@R~!;7Є2>%"mrSr(4/Ym0W^(.Hei* ꏪNp X rbXJ̒p)#HBRbf=o_!ta#Wd=rc2UXwW@RśL|CsyctIq̉ˎ11fQƌAfS2Gki i%D/yq|8pAۻ3O55gYZ7zXZִF! &{]ŗXi%6Ƨƕ)%~=TϪ+$}kcv0Sq"jf 80sD԰Ջ 3KMBCpY<#na G.)dH"5PeiS-&& "7Z7_> Wbdo0$B]]SUZ n$C<t=úqGҵz xͯOv(bR//q-y r1T1oh|һMiB{>Ⱥ6J !2x<'}bux'=BIK @dO~/F )>ꛖ2=koAEa)B;`ș۹ܟ<-άȩ$X~OT(SIRAn_:9B| B/yqQ$fF ޔYT*v;{l4hpD^Zr5Lg"Qmj7q8J I.\h.%/[^S TclF$<Ɛʼn7bTIX%kR=*:P+"zʰヺg)ZtR %ṟsdv:69LmŹ吰AYk~=]T>0Giפ4Iy/4%5Tf]D&ܥmob}ŒJrTթy^:Pf9J: \gc)ZoܐD]}RF?dl4ޝNFP ` ٷ1F+)pAa)ch+n,]X=i}&(r AɆH?BuYVa78φ g֪[Of\R PENa#V͢IU Y_qm ىl(468"jp`>.Xz`_2KRg.ɔ1-eTD징 Xm{.)KXkOxV@4.|sjpiOL O0Z垼I> ,sW7Cv#`h[B9%ʳ,#UT;s-Bv r 2>(ome/]ͳf6#^m>*d\3ҁџŘ_p0zf(Jе?7vѿ=+RGd!Fեt:ЧIInGydʤ iZvs\\PB[湫 F 2uz|l>wj)YhU1 YgƢW;lW[CH珰'kR[7R,XbOA! &I%cU^H 2PHTЯ e6ٔPuiUL" V $CL]L$MgrCxt`wYܟ SFweJPu<( *}l#=˸hh/6GĮ&#\B⿕t|ӊ ȣRQB~XK'#lc`, c^ҟ ?BVޣ_x=p蔃)#i&6r!y;nWRTJ |$t3D=QsTZQ@Jy*MK? harabb sح߸8͍ⷊ0LK9pD7nƁ&}bʭի9da(Ԇ%@:yP§QhAiܻHѕg2"i;zNd,.s<5*R-.S] z= YWˑ ^,볧B ?4$_/:H^9p<,0KfH,>ۄ!f 'FZSGΪHmВ7^#LRAQOKYTZ|feh,ƌ ,_}@bQo'*#N) #9O2xgӌzu+_|~m/SmH:rwƨQ[}\q<'tQo/HZyG:)䆎JӁ$>'@,yovVzdDPazWv`'sqwu1R"nI_^D>lgleC_>2D 5ߋ:|',`[̦A0q\e6_퍢5%P` Dl`yoT?Lcx !br4 6ѷ*X0s{^"e ``*jUp_Fh|kBr\CɌ2\P|ޥhT[7kgP΢ ȫ3)fc@LSJz[{}S*Gb}p%Y #=D筁P M匞P`_0][?wXMJ*.h%1/c,Rйձe8hzRa|:B qKOFx; ZE0aEV(ZqZ4. C\Z杨.LCo^>J%cfߢ}Ոl (P ư44ryQA6, yLoZGRνWP\#DM//at2)z,? XfYin~?PzDa9=&LfL^mMi|x]u%ölylfz M1gzl%"KšIM/I3e}ќg`F~acu]wobymN L8# wSJo) Red6( /)Of[ {ڄۆK1rA?Z>*gb{ pa(BU|0̆C MHmGqi$U3嗧 ,`SGξ&A+kk?m} F4.1ڙSXر/<@ U)2/!=hl M4N[$>Ep%tB[7F+5.qYW T`tPXrL i\dA`Bĝ?K*L \hNBߣjC7HRrp>qzMQgfU2HC Rz`YRgjːJ6RRFeӔsUƁ"Ň:BGj~ 4Xb#PW ’HWT]3. |T/C2a3f!CAU:h' ;"d5' zn͈ԂdmZ>f&:<;IQZRLnp^@ueB5o\obs q@ZNMo|\D5d"R՟ߙvL /pul+Wgv |GaE]ɟW"l jW캳jedhfHw̧~H{F{hqUXTL_)&y=)gpI>t?ftߞ2E۶%/1hS[kmǂ`嫽}*XiH:e*EH;UG~Uw1ODJGF @l6oRTh->xnoXN!ʱl3M/VB_y#^^3xcLWtJw>cLRK jT0|d5BdF̂i?a!מ3v)Bg̠}9TQswKd]*Qt -L&#$݁7&n].' oGu) LZBkY0M魻{׹:Ĝ8Kxgb{V gsFԫ4w;)[L913CO/ѽ>DQ5(/xQo{-dawŋW w*֕5[͵D7ч6[hop>fEsGxtGxrRt()G"%[i[9cz1ؓȣ(f/>zeQ-~9w ;ekPk\? MA~OBl]ͧRW#oOMGyXi*`8{(? $f kŝR$3k˷ԭH 5@8^֫|.gV fNW{Kl~#+ãnh, jB+\A=Nls%%i!sZV̑eLKz bŁt/swaGU+K2D{xs\"I[dʱp'4n|t SmB(9-?Đ',/)mmS)⻃fK⽽ǒ`J`8kr%E+2Ь=6P5;Da>Teyz W uϕ MrY~vgN\FZJgBq &6j8~7y%"t~|MU'Ǣ@g?Bm.i/ 1Y0,cvo"QύSjr6|`DXL%em@7.0$6q뛦Q4jʑ n*3|ĢR^R>zx-峚p>Y9ϻ(BNq #fRJ5 zA/vV1"Mo2kqض${$tr!ɺ݂MSy:4< ]Wgh- {L@g V`ʼݶGW̼a(绽͘xx`奞ng,rh x'^iv^OjlPU mђۻNhO'E,XgJL5x,|{Bؽcz~73fwT!m]%H̒%Tʝ43|j}R1? hXzqp:d8u8\h*jac*8EW{VxaV&hnYx[R\(ns|tf#xPgng3 kުכ织tf}t9ՕK75ƾ++CC({cXart3kGn!گ K\x Z\>w=׻gA<Y<똌x[u@.' ncSMXIރͰ"Qz"'uu4,`p;,GEn ,ubMWfz/E0^фү XA9\;Se,/Vm~JPjϿwWytIo,@@?'Q!]1v$I:uwJ (o ӿӚ34O@23C80shVKu?zćnܩYmjV6OJS7a(((~/rIm^j@,r )<\0NɰV!5` :q: i4Iiym Q,!LX<aq&CE @󽈴:o :ֳ.q$_yr=-1_S@\@WG͘I\ 0}%0]f+Zc>|sCP* VėUJ Ě#҈u*|F/B ֫nlpMw3 #+ !=zgP-nd1@4G _JhWg6 |,ElSZS+f1b3v/cM|K'Sj̻AA:NfxƲl z]`ݹ@Y Šhl :,Q07x]BA)C\f}Bns{d(ĵ q؀2T 8uPʄ%iFU4L Q- I=+ݣwN؛ˌ #l9F-v \<|=6Y?bL{x)duekG\ &U]1wH $cgwslsԹ @%5_ymzcOQWc$):(w(dR?Y@:{l-AX/XDW'$+L_"zk0 =^H@fν2K`'!i>/bc9ʞɣ`İ,l| 9J7^֭^= QR67gWK:'2b5܍kY`KO3נX4 L4@-g5 y@tYB;R 8>IAwDz0̂ל&uotX{}Tr*" ͠:zEA5_jBT9.?G586꽟.^̓__T599s捏*. Ώ}{×-.JbTJYNj u2tx?ПfB[Ft%pVeaK]k-МNO :H,h z?g7ޟ6PʌAQyҦ݇];vif鵀VvN]t^/dl27Z!l :+DMeWl3C{НVm+kW v3uk'7_0ӢXN9yȣ8P:=-yI4oEmCZS9Eo^ǦCA60 Z2 L*}󵞸)tB\6:撊k@8z3n +hͷ]fx4}H(|~b1 2rȋ^vl4Z޿lg7!t&-ENG^"&F*e,."(7* a.ݸ_]GTl1(Mà̈<# _xz7&NtWEM8ar9K϶J&<v 9ksmYgـFeJzXLXiΉn=QZ'M*>KQ2,t%j0\j6/Ve8kÓ+{m.LN!GoKY.R10aU-qI}]&>He|vV/IVu~;fQ~Ph^RO|A8aC%auafg"ql^;"qy ` ,KGW?Vn_df}Iyk-d/{](.G ĝ[{GJQNض icfh%c%Q}vEϑ ̇X0p3;gw:ogd % K CFy HYyKtpk74:~lGg[4zMLmz2%^g#%$"֦_ȵfؙ:#fQI7C1`Q0#$-+ѳ1+O nDw}ra#A@GhȗtI>ːok o Y>/ojdL;2Ov!yvHa^.ψ# YqnX;o_c3%tZDAc|p:QVm,<+p¤dvς (A1(g Á? 6*~qa4X*p5~n,o V+Kh92]rB xSd% 28@S rG|ٍ{$M3ԀQ ꎛ*^Y,G6zG\$%Ŀ*Um0f 9 $+ NIuΛסr7}县!KJ$~桩gZo%8ѻCI,];8B^u3 VfY͔.ޓ )ϘLejؔ/1<۶ o1<}L9!kP$]±eviiY4? iȞE"C,OBZ [Z@H[vYPlo{c$˕Q;\ , .\h19 ;mt-%m|ah· DBYC'-I0m}[f44oӛrUuᶤ_YIs0[dѲ6V]lW x=9ׁ\]ӖW1%B+2E50ڮU ACqܜ3VaL'gDuٽr؋+s%prH [LeuW{Ŷ권qqCdJǡ/żwvJ5æ/ T8;rZkv,-;ݔVdwQow_Ft2&ci~hꂿոxS<3lnRfP])E Ue~n)loq}u$q&֡UGc#Th!1V9⹭H~#/R‡A7L2OFa2.{ %9{zw 쒡-ډ@bQqcx] aQSE3vGNb gM<2q7x _r! Z;'ÐlƙͽxY.j:l(FBFQ`]e]fC~N#I=Hm*oڎ?~x؁*'\fL4ߤp81թ&90'do+ 0]1&` b1(@ב yYz5 IHozKj.h 8}?9G>\d9^ml`57{^6Ga1'm0Akxpŧ m͇08~r:7DeW蓣Cbj׾ܵ\NB*W[# aZ5hW"#" D[8<b;(*[wbNZ=I^L1 b[ Fxن$@b1f\5=D"J?F*|T_|c؂^ˠ!$R,KZm276+k%#ܻ FeGA`ppȯodv|IZ1K%ۋ!h0xx )H m˰!yg`Dy ugۖ@`iu?"NO?/?9)'Zxʩkf/'٪6 84Me|ǮFx7 RN`[LnNo+MnK.&uf/v1eps:`C*`œﻁڦd͓(rذ2HI.U|nB¾ٴf`R֕|pq\II#'9)#,οC  z&da१ˍJ8k}v:Vv2Oi,O//`rNTy5G1q"@iG},@p'h3* =v< (%Fo# >X G2aHlgQT4j҄uglܵ1']$X-5"e[cu&:jsK0|=UwTL-gClޕKv!kء.}j_bq]Dֆt pP츛˅dE剄 %M)> $KB"zz-axr;&!Αsʕ?ij9T@`Q*2WvrrqJ;x%*vV48-Y\q/(d_O3AQ3'x3YJn"\¶Scҫ S}EH(A ڢ»<9ED7ՠuhAڷpn(䐅8{YFj|z"#:N| 4 r|?숄 l? ")y> ,ܺr"3@%WWKd t'&?P+4b/>(ٮbgfčn SM3r/]ٓԁ:7FáٺauC"aIP>iw 1[Jz9PaYR|3>;K=ӣ:蘨U$`ъJuNA$c3Ѡz?g9y+<#qI!\?ȗX- |_0.e ~KoT 1\K{:rBYTYS;{թwm_m#}LLKq$fJ?7봶4z~*/OSgTN plWqQWRBXQ[r ᾉݚ)jyWٙ,xoS;[ɨ:#s-.> ,&=?.v?P3m2­0gI>ޱƊ[OD.`H/-T.:Vs*Tqp~9sA v&\`dbJsltރ&t\>|lN?IzW @i%(YRs- 2!~%RpAy˷j/|GV[#)׶ HYhHQ)}?cX<#zB{0DX8Iھ撾޵07EBM^,$5f)P;CrqclҖ@/,v@A<`L4ⶡ/jVOX \=5(GlVP/Jh0ܠZ_qKQAE 6f'#7Ndz<~\rJh#/ʇ}AsƎhK{of~:Vw3=?S8^5nJ} VCpe") >*L6 l`AGVng‡lBo}q_٢F/~}5NK&ZWۯhubL[59 ^ Q&ΰ=5x L.ijY^cV p =$gݽN=.8KQba7R󋻴ii0u%[;|W1Xcjqa+ ƚ &m"~xIڪ "Is%}i,@3BEuZ _8F`Ӂ|10lSFvP'PήĆXz[X^#t.U(qմ3iX],ىvh4 3mM#F e"qƍ}oϡ}ְͯCtr<:H [U*SVHq=BK`A5X4ZRVFዦ*@F+axHS:@ʬi }F.fs\ŭFu[PcfIhX=!|vt!i(0\=5ufMASRݳtne] F18:T3k\H)UfL2GVXkHCHt? )S1iO䩛#tQl,Mr@c0&!8bs+EIe@'HSwIeR(Hf{VBuSAG>xQyv-c˰r5 MS^AvX5xoF1m8ub`  M>9~,X(3eGɭ&6gzڊm $s`ıu8ލx5c="Wr[T4g4mbmd.rXW=7wO hKX9.lGn\> <Wzb`҄.&]Yu*a` Zpk9Īࠇ85$isW̅ ch&m pF~P6Փ>w(؟a‹2Hc>/EQ Hu96]omw>K4HN4MIs|4 .t8@ e 'pfSL֜[-c.1~0v2.2Z/CɕuD@8A[ q}^4o|^I|0#)V>`g]|rf<ũqVCDU# _jq5+;P><ɟT +/GJ򎄺\AxDsl$H4qGqE%0Li`:o=n ѽC1AvV2gB`~!2;=݂)!,E9vsƌR쥯'иFϻߩYi'ExTeSfUJm<`&X (#Lx1N:} a)|I jR:toNB.`^ʹ:, o)~Y _Oxɢ'$X7ǧ44$6SqV.Qrl'I6Pºl潝/W3=7rVtDS|u>p2+ǫs Y iM@rjȿu̫L%4?Hp IjyIDݥe..gQܻfU_Zu|u+x&PeǓqNh^ F5AQ .@g%VI._PxK&L?6?|rQL] Zԭ |`/p]cGXH_k4~qae59g5twíoF*Xe#x=3s)@GkM!'B"W+cַ"'Lp-Ի6HwʷoRw]%!\~~Eme 8d5dܖ[س~\? ! x4VOBW gtBB DfΨ/6Z)TUozd:T_1QnaXG1F!/U.ZS8QC Ҵ"\R 15kJ5a*vkgwY,vƹ??SoY%\p! jCPpT!P|$8%z"LG9|?k] vFo!$|O;0w~@JմERмj3.o|e2S~ʥ (' ͢!Dọȴz~=D0ħ ZiWA+gnxcpkwPƥ&F7$H .)8ΏrY5箻mjn>OSc5#Q$Z|g .()Gg }80q_7SX++/ 4b#QE$U1C9 o7^'d2jB!\W (:1W!!/3o$(/ߠ8莻Cc̫7N \Q`/Bd 3=xߍ/H<dGNB;Oѕ(J)7լJRJ[vQB.0_}5(2.3s|sB\=$rhK%[tw߹Mږ n—`!UvJRj3C% 0*/mڊ7p^kTJ`(e>VJ9=B_`1\s%mFUTf"ڳQ؅([4m?LH9LcU5G"SɰFduꮥkA= o"//d SCu4efhl |1w$>SKݪ1?z{PVr,%j+9Gf dE'SMLDcq5^^zF ޢ+Khgwէ;*72*(2YiynJ<팝00gd[׵Dut7?_O9҅-aUQ{XHEË3wHᖖM`욱o(u8PJ6 w,u.RD]&;0SKr4AIYg?D eP ,o!t_Gɍ(7%OC @A*'DvqMR<}h7s ?_$Bz{%l^\R͢@.{g'h; =~[z^Umw\tW% l&9~y݌V#&#4샭/y" o[E;O R@(++pǂ uCN&MT׏! \ &-Έ|PQ2y~{B\,<}lp5|]:_Eޮi(s{) j>Orr!Ͼhv79cP} }m/VfF4 mvFh]i^t#ux`U\禐{t I]7t4D }`mA7mIR{T9Ӎ ƻ$}qo{ynn,.BśW #Uˆ5'{vJP>ߠ.n(O;唞/ v93P>9՜ihUSkނnpZ6@Y ;$;cm( JBTi ih&oM[<*6]ӯD#gwӏA~3zם T6#,i?D# h;R 2dCo-4E9DTf:#'i\A4Ac%ra{|GUjW=c`t/Pt;Gr9[{%4YGSp wpjAu,(Mr6:3qS,(F2$r-n{']z10Nu>J᷼d8=b;KRx 8*2=(cM2'L_^vB4B$x'FF,׵ :kۭ٪ڮs}_Np ze *@N7Pf<,и$j2X-<~Kԙپ\&PK;?Y2Ey!_ITYs)u[H5QsX hHa- ގ}{XdI/H~q?*hkwmf3;zd]e\qe!ǩY([)L5.J Apoc`s_k3AZh}m^~3h2Z=xəNq׮ I^ez^]z&,?^%=EJ`g|*ٚ"Ho?'-aICu[:PJ`&XA_^b1dR(aO*uK>F>t! W%wH-@NՊeX 8|ZЧ)G?d'6ݥj>>^R~/2YǽzC/pr5AWOif[Sv<:GY#%ą?"I!E]jS:UH-D{䠺gǍanV:̑G%m84G5 LLDǼ%9oUKÈ t?}|JN aI\@.н.2@zbuc-֥=A-?r0\%JbؔHԼ%|ZY﫵#̆:A t\5-p B+w*&*+w;KH&~(Fo(PHuyOPD!֍KotB!`5OfǁNn6@t8j,U@8&AɬiQ삼}Bkuin̔!4U1ԂcT1 %۬{sV`# lB m٤z9hW- d ,ND4*xu3aBK~dDYo!o|&M|ŤrJ^W2|~Y/'s?n֒/WRub;X0j-kӵ6To[գ'kN&ehԸے[-g @Bg>y uZ Ka@Zi5+?ה\ T km-]grT6j6D~:V>e+ Q!k7*D-]zA=Pqr([aikb?$q-z 5R9+c_c%c_ ໣D[naPN 6B0hU lܝ{=Szۭ$BKұb KA'֋`߉"=AS},q%AAZ!ZfQw KGqQq>U7&xTA]v2 | KWI$_*BXQ!q!TL\ ;yZ%Cǖl \~iDG=t!},{FZ_ YBGq8DȚ'ɰE\QEJFDi[fl@堻]\pϐ)i\~L /lH:W&MET4sjg zUP,QdwZ1e3'cb.NQ^uҞ<=KAg4&Lh9zecrB>h/v#@rD 8- ǗmOAk$7oe,+q*L?ki5\MꑛDsWu;T$r26+PMmB`8b1|B@yK{,s@MB`s5a H}MN8 '%:0*ۻd cMfkocn.:3<V>ϕd㙘r=oX懕Sg!HQϯfkTVGq7Gq%a } u_cFMyL/S939X(EYCso1Oi"10Mx&g=d;&`5 |R=Ցy~x;|3Z6~}SZow⋑pQdB2A-ty۴d{?eht4& viWJoAsC4xl+{O |LNH'=Oի$T.[̀i vՔ@x ,=@Dj(uA2|Κ͋)gM0_It$ŃGGudI~!GهOY,A_O{IK *, f@;aIe/`g)&0Þw}!39cbOh f״"fB &F5􅌧f*ŢoZý ,vzAt6᪊ .qLgtDE!I5xNKUbZjF!kԁV >acDt6R:l$ iJB^^LsIj8̈"&aŭ~NQ]1Q>dy!t7 <8o_.&[$ayoqP,\tt6 twk zj8!pzܤlYFt[[""{ sXtSC oV T?tb_Hah>}[ 켟pz058 Bhm {ab"̷(%;A׾M> N=>d-dDJW#nd>pϺdzFYS1Bg/j\¿+R/. ;$0n/:NԺ|9?>+A^Gz8V6968dz~]APИ.Nx{1ɂ9(9ŎuMrImONB/`QELр=Y)$TB;{F6}Xjk$c"Oϭ$")–3߽B( qjު413עг"gOT.;-օ7R7(j8kJF@mY!,XffgPU:XQ2ߊ .пסΎeֲET:ԙ.)mP(?|lReW> 2?6S4A N Hx_{5́ŭ?˱w[HgRUnm_/6W!ZBni?uQ\֏I,ʏ?kx3Wܹ#</ćÐ $;oEd]R{=jYSm˱<y9cb`9pKȷNگet0P6a)B^"(cTol%&݆5<2 ]drY6E3rn0H]PjZ=w( QO%Xo<֦۬z 3DAD2͵;zdax?u6sUޱSc9l b0l+!eb;JR`fflAN"`"!]4(d,; nMX[DFrFd?W5t/o2Q:cv%CG3PSHd+ʆ^&X&LZa=Gk`w݊?~2iVkW~ҁ&ҟ3A{~Rq g;I' .euR'3/}vf.7:Zk[/95!)14T)'ڻ`UG;?̠y#V=bkKգaVowH"B=J_*(oG _|r⃘U7%N~ hg#[lK@RsL>ɮ/-hWk).=-g <Φ/CZv7ۇ @q@U6^^{ /]aZN a+0҇dMzeaHKYVte_6, 8C@Ĉ &I88Uq7 gɇ9mF wP L )ʿU Mr0oy+k;=R ,8u,ebectG_^fO+j(^PzBQtdMdϞѓ&XCU8&j jMvoq ӳrremD.rTqyڦ!t%v-'@5N$?7RK~E#ɗixxAj -;I K-,& UrPf<1m]z]Ozs4q"$-6pfD@m̒Iب|\B0`8\G8Yo+I?j5:8Ast>؍qg2҅_T#+;&(Jv%@Ȧչ9MKDⲼBi RpS4A,d}-A($}J=*)InsnSb݅ M,)9`xeow>?IlN*O{0(VI,(:F W"lF ]"ͯ [蠭`ݚf*+8xcAiUS1jEf*[@Yʵ"[I6D=(/AJ:\/q&Hl3":>U}y- dA4\^Id\0P KFK͵tgZtp{ pFD\agrECw* RZr"#ZCGWr`{AXGxUG!:$sB{`ڵň~iJaXҔpv /BCvqFҭoҦw5W쵡4l7==Ř}<bVb-0@^$9UC5u  QOoH9|zc'‹g=!>B;~N݋gJOc\dy L +۱gYZ90b109ba07423f2d5230c3a0db84685c0321c6e40f50a8fd984ed9a922d06f59b224a37ab44e72f22bcd6063cd7c324f2284abc570dba194e7411ba3