SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 h!Lt ]]]HOL-Proofs:threads=6elapsed=621.160cpu=1498.364gc=279.116factor=2.417zXZִF! n]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXxM^ݥƙaL~ۛ?&ُ UTuʕ bI\X/FiZV^[N9Sj{a: *kW9!6iS"5A= IdiFK&b%%Ts` vw"o#R$蒎hlg6xe+tN4K5_5"MK\Soc[jCTry zj "wkր=+\ڒ=<'4*a,W^/ZR的;Ձ#A<+6l '۞$6 ]wDk xFuuP@Fg0!~Bug0q@{FcQS(gy1HxOߩ Ø>n²8 [uwg=#QۂjCUuѰ!&RF WH{!0s\J޺-w]%ϢuZEY׃mڳ ㈒og}bS_1_Llxđ`ӵk?M"h0h-bO"/0%06/z䍷grnT;A }Xm_qnpK|@*m̥z&uZ!?PP{MWm]!ƻ##Xy "g>Օ} ي8AqV :vOx2-rt'𺨪ް6Nd,Yk% ]bysvvdKU ֋ J u_g`ۖ&BESJws晱€QD|#Q^m6^Mĉ|<[iJksq>Pc٤q>S4I`|I'2 b@(KBCO ¨ƁF6ŗ ^v5m$$=؟_mۉ zf,a7˾GΨbᓷ> ˄`^Ûi2'ܦ!!,N~ei+M6YA rtA'b] u '%׶ȲBln\ɻՍ8%X!".~!|k{2Gʗ$~N'Hm%~W-x%sD*Tt MeObPt92k;Gn& J* ^LړAtoVdPqT(٭RV tȧVQ1Vw_7#qύX'c HY#g~ u9EfOtdUk^`nϊU|+s6WIJew/+^UjKNMт?Y'lU xh!Aԡj.).,º(Tgns~y'ݝ{x·&'g9dը/RSV8\ Ѥ-b{-jY_>q^z<Ѝ<1 X؁r ayl Gj|$㌥=Ov1D.jٓd! ˶Ћq=Б~ xȑn6T\(hVTZ/}={ErMv::P68QkXs篢؞X!  ! HOL-Proofs  "Ƣ"i$43=5߽q9-կZU!flȧQY8eg8CWRB|)ք jL| dPR/xbUs˿NoFBsp.f9 T urA(K:Fq2 \@L*Ү2HFQ\e奘2oW*30Lf ?By)J/a4o|iMn)+ۯ4W?0hvkR \fyH,J9V.!295mB9x8Οl>XfUCԕ0}p3oIU oPBU!̵Q$:g#3-`z@%$bF5.]vG+8Lu @d%7g8jy BFFOXuzZ\1>Fw".+b4}c .2x1GfweX[l &ϫ'plg C&\5+}tBK3u/(y%:&1t9s;."^0s~v=2=P͐\ s/+q1%؉ zPdcUܠǽzwΛlU9= ȷ:6=alt^~L7"u:/A!옠o $r0E&D)ǿ0[sAx/-ETzf9-MN_Ћgy!N<@sΕmDQc^3ѵzf -=aG%:g*Kk,t<?/~>1QU g(#x:S9qevS&h9KnӹBCt%`Z RԶ1)K;b]3mA\oYD@(Ðbp贾=$.J"IV\l[e[~} RN{7:_Wl\:HW8B~pTJ>p$[ -)ERNR[Zb>̴h(DGhXڣWS$(]~2Ʀmҩg@Q/i(?x)λ.9=G:]j"j~U )t[JR@TAXӅAUkPZR\D);,Cл3 cpw*XVbQTͩ<`*:^zf @"Cnk. Q. 5=ދD+Bb2t=׀UԶ*{}[2֜jǵb󯚞j%h`{ldUYy(TBW̴ɷ_=O.es\0ojBpNpjmјkˣ ;rdǫ=qjĤ5?ZӿgnraDc,ꃢ8SZ>dzRcqqFʵն oEΜ֑FQOGNRo9 Zܘj`A0:0K&di?5,c!{Kj"P.=갠?'{޷Ds:p&92f&K2T*W"Z@` 5ev/t&fȳЏi"f 8j\xM W"/lJ`SdR 'Iλ~a 6@밆0 hV[$2AJ@G+CG(=VGI u8W ]Jl#:4;jg;}*XAEuBE4]tCuUXxӷ л#HBQyK9`mʨ!*Ip:)y\0H[#̴;+Nl⾼䭺\sZqEQK]Qbc{Yp :.j_Rgs܍d9;^Q"aOb诳KxDs/Lv𻥄hʇ O謪)ٍFv^Qy^:WBNe+Eİp-0vPr<jD* /]@RK[Mq ĔpW5hOe8j$ZF5oY7/}Ei 3ŋQZY7A>~p#s.xSuajD]2~!,7}4O2r,A0"fbv!<~3;sU?x1Df% =DAjv l Vpta&&Zː7)N K $ c}w uTfF~BUd*mjSrgȲ%8 c0>Ī # 'rO A}a&L w\Y lMd$sFZ{5 y⩶_GvNxuy 6( FM"q Ĵ"-Q58{*݁{B: RDGO\qYZ^9OM,?AdPnj*u"텔M.]"ͽՖCm9c[b[]_Ut`O+(3I x VCdD|V^% :ǩ2ePDa(KDBg]`oQg@,Tߤv x%-VK$˂% Fx(ܖR薤=ZygD4owi%ΐ^z1Ł#VmΞW([O5"Y:SLML{E!s6ݷ"{|GVج~M;!P"JPR[BT,/  ?qz`H@ gjTqc5Waf](S hكdb[`~o7%:ڮ H5 VhbA*|Si5g WP)3|]7~VMX6E#,t npݿJ0p<;":Su0szu WH1Rr~}l0IN a n&#FuU .0Jn=?$¸5{uu3CQ+kf?5Ò] cH(56qFFI~ͳNJ Iib5N]WʘkT2ޘ߼΂Ki7](oi#yC(e!h}h>-e/愠:=;d.M-l՞7QF%. 2pS!7,KYET} Hq,~0/R)T]!9=u ?/Z**[lՌ/M1Z%cNl<_a&kQS3r't0"#.?tuc2e>N"w gE0Ƹ"|B1 D4%CI+\|Wm鉴/LP@lU"ςR~|HJ]6V7i,S }EVk<i!0"g@EsbCҿM_+b F<>#[i3/=GdgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!B0%mHR>mNW}v%NN={T4%%@搠hpxo#7*oQh<?wOm4ֱj\OP[>#4B$:giMىXcfK lB. >4Ll[?<*#,(-y͛X-u{5(tṑt9OзCzw`.ʮYq#H~$s5U{vUAK2khE Vr@n"i},y yw; DGN$nYoK 9օWpgd# Sjs^')3.&-E[DQ1rTLY$ XV2NG.YFZIuiT,B1_ ,wT߬fjmr/VgM͊_NOcͫi7ojtQpi/2q|_Y 7N.ؓO+]}~oKQ8&i6Z׷cΦhsUQ`y4sS\bCPYRcyȝu'[ͳy@,6cf.6+%x fV輚BOGW^? %3Y1~JG"u8U ϮP¿y!v3|1@ϧO5<0jxf,N #2 i9M͟6a]Iiol;OhMD RT]/O1Sh䙕N.[uԻp_NvcdU U[^3$\c-Fp½H&~3S aJDw OE6FuݏMU%9Bض`̩N gBu1tS( NkW3Oňk)^Bup/TUm77;.v'`O\JdkLT "ϔpXAy7S=$כ}#-dl*4?׉[^<1 , iUR\, \OZAss}7[!?Fފ^P^WDٽ~E%.?js=H5.f0JQںϺ -[ۼH5֩YF)  7*?dp g["K5.bճ$p`f υȑߑvJ)CtfS2wjioBhY&Wd$b%t%J'Oɇսe&{`4l 2.g'gYZ7zXZִF! GYw]ŗXi%>`OqfHELYLSj m' ?wnйw%:0e9HJvw1 ŲM:l*ߟ#;QPJ\E(;ϲ>7Ձ ehqLGTߑoqIޝZǤ HCHPb[`땚ORߚk(0mI]Ųݜ.ur{'ez:GhVtճH^ 0&8n`dLs<w=ׇ)ylnrpl2 6?6T AoҐh9$Ͷwp2 ))'t,p_dBOiڜeEK jQ5UaMa:#Yw:,deΩ\;'#ې]A/P|0G#rY >W=!|n_˦DmPVDQTcmpDA<~kgጯ3v8>FT <6:%ևo/{C|>$=f3ZF=cߝw'1OfI(p@q8Vrиn.?ov\Em~ĮP)4" 7V6DU[9d口@){Y"e z)6 3!w6 IT"r(Po7&(UE^yMDGnS&@z=QjK2iuQ;+pcqGhV܋t+^Xa;κ/*xPb_;),zxG+RD>5QgP8)׷M _ߺD658~yqd9$0 ]ȬRD' FM :mQX90(@xئ]j+y˖^rM_aU pds;.rw ym;rz(H@wɷEe P>y/b>$)l6qRd8T{]F%~tWpl08P0IT+}:ORp( ׃V]Qq F~C˟H3)VtCq zJ6qډZ G1;|v5;I!)1Мך'.5`Zcj7cc:Ƭ1r^ u *"3 )e#Dg((ݫ4[w<~q6@*EgxpuI7 ÖΨnP̯^ Lg_=Q^TNcQ !H-[uMb#s@WSgsUsÿ4=N.):s?7=tSHr]1 Te3NjPۙfelJGbC4#̞b;6uۡ!Ql)T?{?{ۡ 4 ]S`=焦r"SxUsK)HgY5ED$˘ =d dX%~1 QaTdA_1A%3:A9&'ZK(\/#T}z&K^ E?dm1܅d>Η"wtְIH$KDQ$rA ?!jы13NkQ]fL45_+>_3Tɽ8脶,EQdw(}N4&(EML! KuF|uFV^BذZ x(l%ۛ"xŪ\wT~4ęyX\*kzy1]~Iz3 ugTW'Ϳ.[AА*Mul\XrM'2}D;$\7jl2" EiI2ꪖb?.[~s FSnljo;t`zy6j?.rÝ]_UwY;Lz\(NHELGlƷhtmUE Xȵe ݿ[JD iS5}+#Z$Ft:ԧ ݪϚ`@>1 H Zq\s omc=  PPqSv[ b'!o8S齻 W^NEA3=1k2z_D'.CEPNQ_;)G{&*-g7KLr?{*}١u|d;f42TF1{OȜf!Y=/ܜ{2E^K&-.n˞g_XRLJߪC,RD.!e-20|p0R|#zujۛރ[[̊3ʁF+xqK;oRDؚ| \1Eȗ&%V-{fGCCMZz}x%=gûUD&N 1@5Q0iU$z;0EuvDq[ !͎)Y#̣Lx oJRfN:n֝V ŧ{J'J`{gewEz^sXZq^EzO B{'plq S:5_\A(eznwjͭ>P05ڽ ubCohK嚢*zx:17Q AڢIӆ?DQq ebu[vXW&tWJw$b!pa2l]OGY9X7cU!C}nriz{4R8[?"IڹB)0|-;+ӐK^ R7ҐJ]U(x/ LFrNsN9ae;v?+5xRzyG[>h# 랑̈l!8\MMh]ՔMegPW|ZaY.ǓKH"PT8KJ3 qk}əgo N1}+kV*b3^Tnp:|Jj&ŌGsoPD(+_\O%+[>i @M19=,w/ۅ'HW´pqwHB[Epi MT!*8"rߦaj[[_$ZQ"6fdIҐ>*R.b,j,98[8j)Va8Kz<5Η4F8Mk.`'3x[!E}/QX`c(2ChmP37T 8:W,Rlϧ; , .zPPJ $cG/bdVB0Vxgсyar y-ϙd`w0 m*;&ĨiXs.s[usa`z3k+0hofA]@ݓ$l j/Dzǯ#\,7c 2u5iR\gj 3̨ܪE_TYF4aW2*!*N-~c@"C(WKO"%k%˚g HR덫>L5K? Ep6W鿻&K8Es3d2nq͵QvlJ'^۰6]P^ MG[CS‹gQg0x\vnK-*p2jq\wJP'uZ'{.$!v陖 .ϊ$ if}/y)$&upc3: JByJ=v+Zi`W sV'LKRҀuLBT;m$px$rhc ŏ!Û/031C Yk}Nk8(1KM1!?VMC=6y $_ _veh_ %=߈ܣ?D,g厎EK䍧gX4oaRN鱘BuVVB^sC@P!IB,u!֎f*P(V'3ޕHeJ  !dܠ8H׎ %֎.A0GBn#ok5fGm-Z![(Qpq&ՊIo(lR~ ֌t+}ˑxep< f# y2+~\ H$ұxlAqv&&%2uR6w/YES&gVz3Ws8D`+rܬ=C yA6˂?>pE0҆ ⫹zBiή#Ev͛M0)*:еtyho\ fxQs,\FvXkW ]P>hxT;SIsXR~{h)\A,pr|%A/1Ov#d0ChA#x>کqƳ5!}G+J-lQ -km{u|sū;`j ,D@C׽КnSֻ h|چBkkp!⑳| w6V589\QF3m~O_䀶UMRn}4mM5騈fF@yФ3)C74*ZċU P/LϖYQ3@珗Buj=t .a#?gݘI{ɽn9<@@\yrs&jű\|M~+襠dЊQ/:4Czi3m eÚjjoAQWQb\)+W/87w fxܟ#œa<4:$*x3Hb`{8y~>2Q-%LCk*Ńz!0W6> Qa+{(7w`çE8]e *ρi:͏ ?,mYb[I,|ʥh36gHcTo4I~zd$RED1sobsV-lAwUi˝U6XT3Qk !d}2LU:!K._['S]HyI<a<=&]xQȄ8aR~;tkE1]Y)ɥâ*mX]Ed 6$^5`דdo+j`|@Ϡc܇0L蕅=65 PA0Hwd̎,$q}bQVo8]fޚO/SO#ʎBd:՜]Gr-/f`?mׇuP"n)-L Ӻx; 9v*RL>cH&Y!B!{2Uؔ^)gѰUOkG]D7nU'Ql[[}.-_kDqW#DZm-.|mFkUt#{CvkXp`{)"jyq\[gAݫs+C)%AdS02UWG)^:&i=yy߇i {I5=Ezb  i0,b[PF\%ƹEX+$SbE]|L-e%)"m=wKsă_ b3Xq7wJ>yd{Ӵ`!GhI =,[oU֔v!_Dn =`5nutT,<wf,7Aæ\KKP$M~l>儁=4)v(A/eYFr[t*4 ˆ?BFҦE$² } ٿr}I(7cH9t yZtS#s׃Ymou0MI`& @`$8ðW^ZoC{ٺ#!cF/-E,F,qŻKKMm؄q]6it7 vQ[EZZJ0=ӬX:45eZ=a*As` G`aiMH|TsOI~8&^u;DE~B/Y:5T Y/~D/8mÛAd#Xzs 44_r9C З+N0ǵ[wgYD6A}Mqg84T!;%mkZA+* nSGySCKr1lGGUqmM*yjW'#L_ >WВW*0u$Csma)] QZĊŰ]tO #1LsдJW;% fxR[{NrRwtnTe~-C\3EtDw( *Yn7'9oj "žܒsWG5SWǂ"8ٽ_Dȱ_w yi DK<`S8V.ӱn@$$ר.iy墏>́.N-z?d7p񨳧!ɽ g .a)PMC{i5r8F5弯}gQ&ۻ?M0 Mщi|U$=q@De.սYyHmwg FXI^NNb)˕ g AΈh!%!a@22+D< dq‹2[SU'^{Wb艒ӥo+%'9L *ËG '_Jv^Ymk07wJ.SGv*u09wR/׀EGAR$XК;@I8.q3I"\!>gp#\;n?AU=M#,{83q6}XlFSVe$Ma$o^iYGgbƼ SP0iT75THd8%2[ڄQJ010>b:-w$lzҞϹ,-sMzrސm՗s &ISoo >L^o!d^Cffy# T1CUjx𳔡8g Dn}zb2ǽ`]2I(/2Z11Ib`YMA pćkͧH]yuR撔#PU.2^dŒҴɉuV/_[Z BO(gn_YK6Q$G.ԞLvVߕI6"--r^DMJ:bjp=EIJ7o6/sew(,uJ7Q`"x +Z`@sSV,cWO#Yȵ):x(bipĦB۰}s\訟ΑJL侄s=/+8e09xa0qn-MGpsl)/㡰~!'}4L\ױizDp(_Eu9udv޻3ݎEw+{<[4iX)i%@6J"pPRɦΩ :ȊP/zP*n ^+4$K~( a(trSdgnZ_|ԽW7~jonHĻ' N :AUN}%ʛNcاG{η=ٜ/\ Ŝ[JqJrd(ӓpK뀲 }5V|iSX͆qxQtw+#<"])(C>J_)d\hM^#P*A+Ǭ:3iۧ&A ͔݉=6**tNnhcgO1yK8 ~R76>udTGG| PX*b`fڞG0flp'D&bf-lBN!*sKKӚ6 "JlבbhqrQI7tc%0`Er37".!$".SBEQRp}VV&0i*?Jo\VX"A9b uYJX kZA^3o ^iȦdlM^$R.OhKÊ!\_o5M`'|gn2Zڸ~K/̠`] N9wk6Z1jptq{uP,WeGvִAVPw΁ ;M`J%<PNS'lwCcVZ頣SQVEbB4;0;[DLΧ`UAol*VxrFkflc&MhRk#"N>[3ϸ]Ak& D!eۈxJ,hUdj}!]ۦFdAh$_J~v4MayXlO"GR38Uu,yѰ]a АCZmrBCI$f|I&&b[%_G> rdbY%9`Fi% 1<}=ԛP ()5Ѱ#;V-mAEbBQ;K[˯;!9@\ڈ#A-!|$1)Oi]SρUW #E#)8ӱHw&qU6I6Z ">b ԃ%~&n!8?ֱڍ#]ػ%jϐJѶՑ \w2_Lq' u)qNjLܗ.=x_7] m1tvff޾Hή8QjK` dS2904iH?ğmlU@>B*F40DesR9kΒ,z\$bR.2e(vl0\eG{'h3 's{tgu>n,4ME해x$ 20*OA*GnQBc1@jYʀMۙC;ZtvCUdY-"W-f6YFL`YLo>>1b;q1BT@,.$qp^-ԿED'!8B3e>3rUGqFT[ u:cWX~WF'/貇OtY (@Nu$l ۱݊/$TystLζK "ʠVm_ku fK1 Y[q;}z w ysѮ6 tE5YF$#q]Mx~^9_DWgPxIS܅>p.:0i`sRA_耢wrVs|v'!ͽƊa'.>t98X(^ya|*8]̩۪?@1 w=\eLwfTҨ5ʲ_Nd3 'R#s"ݠjs) VӉ%S=GD-Lԭ.4[,Bd&5r(ͯ[@7 מd Az}'nݿ'(x1}>H<ʵn2 ȯ-[Y凿pF$_E3P1d9.C|`dOd#2õ+iAΓ#vm2,wc ${f3I82zC4zG5֕EdpR:BĤ^2$ÒpҬB!NKoVU}2cyAuGH+/VOobprX99aì|NNm{xE[?nbp##!ylGOYE%{(4⃬6kШk&DY4"6mZ¶D,#T:b1r;ۓ)\RYŨ @655CW#Xb\qg%3%z2d6Ov9Ϸc·Cw92~Lo2w؂5+ps鮺~t R އk{uUp6'`@$БDqf5{K9aT-cVZYTM&U|3F$]L̈́TѺZ^ IAb5g܃,IgױeMS͹x0 +T]9xSʘ0m ཁV[ZE6Ty'؝&=%e9?urnh_-/tT) ַU5I+چːl/&.-L՛+s\hXbh[Y©OB>)k\P+IdE0'-A,,^wdjpF.y Ḿ}on!VLnCN ]MXV|~Xp:Mr.q`yAQ= 2m7?-JئmZ452>2 wb{x1RA|꧲; 1Έ|F-g:vP~)3SGbR,YٻkryYDLQF%zY= +WI[JH}'zBF@Qƺ9n }}3 RGSb:ME8T5)Ϗ*$km;`iTNݛl}Ro{Υ"S̲ˡ4ф${#gH:vccuAW hğL\mU͸TnSg"([7RN#;?c8y^GN(0zξ`(w; M? D˅m@jHGoQo.v5 gK-|^xՈ:A91*);DͺC`ԃ@*c2*ҳ~m!RAe u6~ܤt(|4(9|k6) UxD҇BMzې$&S|dCA|;'n+IJ+=Pbvʵ"yyI.ŒZ~Cs,X U9IX*(eZJȯw'kOӨ܎Ы/֡NU]lBYX͠Uԇihlxlf3FIьPwt C9fk9Ҫxs#է|to~t++@\2_TC=g0m4}H,$,vF~3E EE1kUlK0[)ّdUMh![en Z"d{5W $&`SY0OGGVZTEAעxwH& x4_2c~gѽnȞ͠$ʋ )Ǹv޲0WC3WJ=zI+z47RPK?n|:qx}ƞ~xdv)tCK֮/g2IY%u̝2n8`1? '#t_w?XHlh=B?-Uhena0pGv2>b[v̏ةG w$Շ2Y G`a^%T"WNd; 3"V-'E:tkmoǝJl2ե܁&C9_S qi:LW\ ~z5K 6RT]XQJ-  s2÷<քwq%^XL?͊Vt4*0 %_cD-<\@֪=aM@n;karS"h &je1*9Nцx5vɗn IbߑZ{6z'\c嫄|^ئX]G`1g X e~Wq=]S%lה wkTJf[$Lz:8{E.6lbh[YTj0CiB #bRl LG߅;3 mYhə$^JVB¬e|>b|++7Ws"2,?:A럐%h be65cOyAͿ0'Da>@S+b,Ga9Km[ddr6_!@J%t=ȫ̸ ߾h[FJLj|vs.wsG+P1 O p6qɍAd1?p W/Id8og A߳P:ۙﴯN^jN'|0?>;E^cÌ5KȻ/`-Zn5%$S;ƅڠX+ ڪDbQmmZ$Tm㙺DNz_)׀4##LL8F="V.VۯhKS8;i4.,1uu_CF]g9+aO_Ppe4}bE5- +uvvs (T=nZn; B#xWIuݰWb ְ_sH~FM"m}2Gn[yTD?lc GɯV߇$qnKqFTl!&ܓ6=P[$79`_҉5̭w2SЂFBqIe23OYR:9pqBpa}sݜ sͤg?teJ^ӯa/)$ATN*pcA l$P^3 M3=J秔-#D8h|m*ewk7hOZÇO*J $ċE˜47siu)o٫0;qu#l) uS8Q }HzkYgE!", K/Y8*Jrr $ NٔP@U }XpZיciUe HQDp‚M:??/)vJ0L)ks`o>:;bKoV:EIfWZX$j7_~ @sF _|V/Ó0o'KJn܈8T^s/z|L .:r@ f>MfA!Já!0`utaz˾ ޺E1XiI$`_!*T"U&ήR꠻́.}SɭBg5nz)pr.;kPM~ؠPnCP~6SYl6İhR/ayV%t oSTcfZ|{7Ly5bdr#K7_ ыH6) y"c}b>'Qf^KkH@)){e7C"OzΙvwVs4Pb;O=xy 5!w\z8ԊLMH8ꗹ䍶|Mc]17MbQ}ok$_3٠ r+_ò/97R@5c qN@DŽ}Dʵ&p уjVȭE w->OpU@&Zbx4ll^ʉO-B/.4MMbZ-I wE,.qwny[m:.c$n^S E!ՍC)Ti9gOf*wv׃A?C`4V^ݵ4Vr)Vl@J( }M x| Pԡ7ڌzĺ`3Ip1raEYTUN,^\no0jІH,"5^$sR9BP(ti>{QAv\*# dR~G萅ʋ!  Z-Z_vV HJm1^6?T6z>٠Lb\hMV< A,~Vu1gֵ K"2t KB!L4?_Q&M‘4i [жhVv*b?ݼFV:%bܑ2eQfKժ|6b ?Aa nyCeAFIjlN%+IdSLrVki7NdyTEݚ$C wW&euwHV֨E4;4]f_7'σv|UH5uSV'v8b=d0򲤱c7Xq('qlS{Er:;ϱAÚ_'L߬*3?bb,Yp7-\bFh3orGav8194o)a5nJb2,bF='9QYBESoIehwX٧ڣ.G+c8[4ب[ mhO̤NVWpc2E^пapBMd;CGErRe!nkVf7y^B(2xTya݂4WK_iC fl <1 Q.ZL/R]} T/s\"jfi_\dRA %Evx=wQ8w0ф`*S3)+l=҉~K5o;Aj PbZt6¿AJ1mB?Kc?>/1B .ruqt [N|NO%r;Չ7Չ {":DdlwlޱzUOǏx@ UšVh}>\M!sȫJ@Ɍm쌂Ӻ3ǎPkU{rpFÎ3^sRaQEk*F`g-l1 QUnWsz1Ki˝sfsND6imƨH/C Lێ-:x1R\H>[ְ?zp.-}['1:|gw;)6 <~/rC0|7~8_[ͿiM(ff+lPnbIġo}>N>wRK\ĺO>b:L [F+Q" br| Zjp [Ekqo9j& ]3/Pr&a"2u%7\`{fDp@r` aרI adի0ν#UyV<+ =zHd{t,6~]TǷv (V-69TV*!TGpY" c9Nr _g YR[SYN5}p!w4 nO߸$mo>uRV:czf;[K쏓(Q鶪!u|s̩$Yʄ'r Ĭ9u7]_?\,H)@g0 _sA34q 7CnAQ9ܛ}:@KKJÇe hŬ>% A l-,02c&Ō'όT;eS(KEMgm 4[r&IhH65r ) MJG`gol~cl^I߰~ %VC*?T`ƹWMaƋ.=Οy"WzKkK`Ұ LBWޚUMūsI%A`cIMBdBb/W7*f[DCD f_C/m0y.̚0ꁴ6.k<ޯOP||EA{Ֆ[2'F6X ݮw4/+RL:zm_ze^|WkUf22w=c2++N.{s[D/,oNQ^Z,! %~ A+! oS$IT2 نis(C%IdzL KA::zR09%H [ |X\`3xJKLө˼iF:%)XFSě>\`N %rT‭ bMՒsd? ^H L^F6[ R6\ZI׍NMi#>S*=vt f~gI G@'Ӆ֋rAoH4MD< ICc=Ҵ|); ? ǃF ᴌfXd$Z  8L7gdQ2Wۨn7kMPq#X xE>(D}‹GP[ϸwj^ ƫ 9sɛad5).CMɢ@}+ ;i߸$Szy71-޽[ךƓ(/^GN $%OLH!(Y% qqitu$]?yN%.YϘ{ڍ4'|4(GfJԆxS `)l6r54e}u[6W7 >j<I,P?%\tq|WSk/ZEZFuYBm' ,ӟAoTR  %^`K-VC9:vD5dci(}ڞOx(#ek#BUp^Ug&=*Rqn[Gy&Y}d?PgzN΄REͧ3/i8T;Ma N?r)Xpi%p- dk]29QPK'av+/\/l.6]qm¶S,͵i |H2qsً '^Je`t<4c^3B&j3;c[+`Q#e5O*jjZٽ~zW+C3 ߖYHH6?JOd]x&B/ vEnm@{aE,ŝG0FȆ53A@? $G;Bj{^c4\NAbB'm? !oƱj E -^}l{Р w =,uڛ"7k?V|}G w gǐxIcn&.."B:+^4,{x 0I{4^Z@9kmVR5:^`χ, :8nTӟ>n6bn8cS.=CԂ enr}PWRo.}g(g3 T<'A(ͤ 3|[  A@nܮj<54WjXСKx͡hvAWǑR-΅%fZ.:Zr Fa kYkRQnҮؚlLps8YԸ (DxT~YFȣqtC]s02۫Y&QXkVZ/7m(KFbvxjS bLr]%"Nl8sYIyoYYC@mٕJÏN}Am7cTl2R?Q{'zay} Xw%Hx6mQeZF%&ѓ渲B#K蟟oH>+ ZbZ~f\z7ùM WcJSW̦Jֿj"SMޫ"d! ieRVLc|  '5ی=}?}_ nCn/:Js{%pFI-hbP)(a-AEū?uP,o " ^G T/U$4hJ6\Ύ !`c")_Wew.pעW7d B$`L:)%BJ X4iT coܒ#9L!C 0aSwwnjj6RZ{f#?a((lMRc)*뢾֠ Qg{C eKYm_ؠ skٞϷo;]eṳnBzfL ϗz~%a U~>QF:~Mۄ;3  I}}člA ?^O ˠUs{97ibN#L7|kBk$,21:8w ħ`фӆoӪu G\ȩY})AI#l3_;㺴4lHD0(Zr%sLiAj$61K8.M{H SAiNJ2256:8C~HW4]ȇ 8;ds Q{g6.i(;Viu}%AX؋VsaE{o,۳7G,XuEClbz{ GX?)?ion"U%\b-p0V|uTz3-᭵SZ;pZWܛƒ&x@&O2%dW aMG}A?&䣫ǿ18$sյO Ż1{"9|Lߍhg^\Aߜ [,w͏ \oRߋYN;P, .ୣ -%#U]= $HN~0( !YŒ` D[󓝢9toGTE c`u}ыRPz 4eC?Ew';bJû6^&fjfo*m䎺) t H𙦺)4O]M[CၣbbNʙIci*X: Rf6gv ̝AV){1[o!r21kUa3C=oEB.I%z{q88#AygOsW]Fd rtBI+LpģHi}8yR2N|}yL ;grgܷON:O=.ޤ^4A8M}LRnYЦ؞ԠZT'jer?cPϢA.щ]"|>Ac Cy4d~ު%cݕHbuu9}`P6PЭ}[OƌpuVkv_MVNeVɭURTҵ?t eaT7DӜߐI;v~,Az?IB1>9E }-jǚ KFܿCrb}4%V"a Z ]q8~:˪`𑫒r~iKOF+s`ժf}ޣ.볼K5QKηo*xp<;ّE-½s*A u0t7&.Uk+IH,)^up8*gU)JL :7kr-&jL_f9to?8NZP w0G߬u{`{f0&05mL͇e;[ۯRJ}GkXE֥ݲ2Z6R>cn`@`+ͩ!o\ ŕ ":#d օw-Lj _m>)mG^tFʆ# jϱe!EJz|mgs??N8iz@2Z9 fC@TE%nBuibP!j=o$k}&1ppͤ=SVX/;2rQy`̧.yC?߾`_wzL'#~?tASoFфObI._qYG}xqqЌ#$=)ز o zoY[eeT!(eh/p@kafAʩdƳD 3}^+v:) +-{i@/WziZ٬mXv@q1 S.MUuF 5B:2"MΡ$\%" &;GtLy4C^J5WzO(P?m.O}#UL4n ek*ŒoHλM]i%s&GFzd|X)G!U&C[-EUƨ=눈粙ꓐc(u|ZWg{s̯?ɂ!x0ka&]=K3d2 '##]Os%*@1 @/6gпS YC)­<9B߳SJ%mZN24ձ/IZ`huZ M(B]"ɐYLM1zk$Cf6]Vpf\BgDˌ+?:Qhz:HD- דYqZxP})lxHra5qW9 )E`I @GaҵK +5L%^j}s|2xZ:Keڎ)sgYZc5f41889b2eac9f00551e64fce87555377baaccff6e8c467571f6b6fd723f058bfc31d74652304b2aca3859343f5f947a795af2bb2c9ae4ca1eef340