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! \ ]]]HOL-Proofs:threads=6elapsed=633.898cpu=1530.988gc=260.172factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ `PEۙ J_ 8ZtQdw[g#7y,1f˘&;WN%y` |$wp?bk(?f t֞ 0ȧE-y-5Ѓ{/)s+GLRuMlg񧛶Yԍ)h>3Nb_"g9 HFˍlYgcɡyz Ik8N{>||'z4̉\P&&Ufaar9}t&+::-@qw&^Mw@HwHDd }a8UIFV2!L1 )#{}7wҞ$f>:YOjT"2C[g83_d1M;⚮ !'407ԄL'yᕯfi"s9#N &L7 (!caU4sbG| ’ƀU4X ^# A&P.ȖpkWyc#_:;>ާY>y7|Diy?_ƗQ‰8h`:j2镎/3EK3eFPt SipG]^tYab p(y U 'B7HN6Wqt iw磧wDZֱP][5`) 9| u}ȿ# I'y" qr?պ0 !θ|03e^y[=dXh_@Lmh6AƇɱ3!8+De yI \O10/weU>fUG1oO5{OrzG$lv[L'l`pfʦ*_aT\mAFݟalIG_=Ҭ^$4dG}1e`< Vl q!'(w[_ Ugv`vC+HzҷtpnX?wXY,exPD@}NG#Y=dő-m/ʏщc 4>>rWnG~F8֘g:d Yp&>PЧKܼB\%;лl 8ʥ_Huf!n! GZY4jh'D GY7&ARCک:큐ÅP]ןtdabD^oSv%kR$Y۶Rg7+ѹgMuzuNgQ[+P뵱̦c9uQua6%؍p}E̥#Gi?1SnFykI̲MgkrKktƕEt).8Ȉ(x}W̘QC[ۙpGDOʽa$!fX0M)ѯ0`&=V?TG9`+" YfR36q>zJJ;IT?vv qYPgo{JZ>ύjTfgj|ak9=PcYďHؐiSBR9(OKE>^` bAy!4HNh軵gƔXz'KO ҇g_~+Y{;f 9l o2FP$9ί1ػ*sճr}f]&}4K[QT+7l D6cʾ QP A,dܣ)HX<`&CP44QZ@ YCcO )oWfy=; C&]cL}r831((T0d#kxZM ^< 2/޸ {:MJ?k\i p|ڄ8#O^DB!ϒ"yUPL4J_>J1MȊmgT,Jc/p=JRHW񻣀Q+T'`78+223Tw5p)ư""Bz+q ^aL<ZK!P/q{r1Xm2_DG\sf(nE~`,0"AX` U PN ('};;:$i4 ][ѾfVTs<4^j;jgхcRKi+ٓ5eAyh8 |\WUpIO% ߍ@3%ǯW|jzEޓj\~b{4nX( ip@ܵVʃ@ׂ¹ ݻA<9C;|席 8M,߷wBvwC4BH9^,^/RkyK7fkn@А=^lMRղz{Nn;It_) VǂtNs.S't/hR'nJ  ! HOL-Proofs  XŌ_^mos@pT.GJ^fg4Tk ZMyQd #;͓{ww̏֏76ccU2ޗ$[Q" f-Uw}ټny}v6.UGé Guu5y̋?b'|pZE d pi;kX`?iXw븣Ix?< &3Qt DyՎ24 e"6F;Mz}-}݃؍ȢcjG(.4xY[_C<H@M1UcK%6iI–gNkz(b\_͞MOE}FdE+/>?Le׋!koJK݃[ñ/5d0|{R8\†`s=fz.wLkM!dViB" gؠ6 ;c|R(^>Ez<'d>^4x& @Yg,a,C77S}A?܆o>,Whn &n.[d+7$$>reF{UrdhXv1:4:QSg (/AqaYrK,R5g,wY*VP[Kϔ(7~dmP4Uԝ){f ]ȝw|%YW1KTDP& XAJثܧݐ-#{vsr0&@h3-/!GRq ?q 4@. l8t ,6VOD'/ BQ!5R᝜A̯ |_=-)\uF֔,̥)*+:m8vraINͳdEe&y^wLKX+[3n!0Zs>9ʮ)(K}UT[|ݰLT0ۀؾǕ D{^A#l{Tb [X1'XL|J+tӈYutI5e)gI1U.m:U&Y1&int9與UeD_]K؃ӌW}P獢0-뵕>-'7y_nhblYVyNq.?3lH+uzV `ù6`R ż&LNN$Ћҵ|k2Bs 98E>nqED!h-nNŻS*P_ T!"3@A=o%.H&jr ]&3lV =2Ֆ@AqhFX<#3i5Ǻ?/ YYe* ֒3o W9hSFKv*/w56~deqGdk49'&,P]HRBDB>Ӭ O҄xs,R"_(k0cSpn+tS^lL_B(%'0]&:(칥8Z8nnsI.FuMQl0R :b=~AGm!/ZhĶ=,I9췤Y8|si쉗%j\:|L4ϕ"zRσ ¡繀bdzzMeHzy H _Lqr0išmԸz)Lk^l~<̧p Ѐm?@ R&䲝H8ܒ{3Kz⻔%F.1J= "q}1+X7mef熆 {xڌX j4בeyȨRMM Tfr]f͔`iD7%DK]%eB*qm,y4% E nd8I 72 6ާ-BY:>6<_TE \W#w,K,ksb ,ר[E =Pd$gs)SWTHG-hz= M׋fOL vby|*Y< h6.5r0Q{&CI~u7ǺRlna4KI|Iz7dUl ϸĩ9(Շ)0Xow^%IsOtШ%l7>#@޸dv.t:0ŭ[!fNr>4VV"z =!Rwp.\C(x=2m.jNƁcF8QGT\diTMF>IL;;&k— s7ά5l_$qhqOWs.fc%ه9=zB$,_ίN%5K3:chdFaB'ЋO T2R ҧv}}G\\m{\Ւb_?B@yoJЀ+bdGiѻ[.rpo_w|tuࠁ[ Y(jR|" @}jLA'ۃŰT_IWvx~*OŚh  轋K^*]x6`Tc/ELaFiMN/2 Xi'=5^=Q.%+ t\c9lzb eCL{r)S}q~7r~OP0nq(fE:}N1P)*Hʄmӧ EjW85Zz-7NYFpN#A&UV:r+cџ!| ;)"~ 6VMiks`Jy&&ꈃ?jQxZ<\;3-ۥu'=zSC`ӈho*YՒKuTOQ?5ٯpqkg pvӰ5C)>@B]繙 vL ^*~T112ْtzՊV;/QdKv wd2&ΞZB$އ+@e;pa_o3mS=P /^i&fwXy( 8&rV&kA>OӃVbhڷdbR("c77RGTW7{d8gYZ7zXZִF! n]ŗXiɟ29aoʼz[%U>EM!!B5^ ssŠGtl?zjY9`Zųʈb8<2\1@T$76չ :̱ZG`%?BeVC^ǻI2i,NBӯW ijHWQЙ-gkcsDN|rO^CY!~:J M^z^,ӕg{nK<{XQӏ 4i}$vΥ@#prDG֭aB #tQ(Ek)ם](즑BHWuʖE+8axG 0N-\]WuJ׆I~.?ts$P"*~8RE?J>b=h3 X9S^RJ!r"֦#d'W %335L Qà&4)8>E/- 'ci(ޏVV&";29gjYRqb<<ǃ.ȣv!tdE4J` tL{kKTTEéD+\b!wɹP9̃JhR #.<ڀwi Aڋ,jxUKU6o 5X ?sKrN YLYnhM"|Y8 s+QYGH̖@UtB$6* Jctgojˉ Aފ6de T4?s8 |^w'B^Hm"P{(ڻ3n¸ UGeT=7 ۚF.iǨ_+NBAt^ -_^=nJ̸?֐2YP,TC . G« '5x] @Ynup8:[E}4z>%0L79G@!.MK:B HXOx [`mzP_IsSV^bHmE'p"LC#Ƣig!5bCx`< RC1'93ziΉ!W`#L/ 530]} *NKmJ|ԟkAE\+6Acp Ԃt\GƀvU Ѵٌ жK-Ѥxd{_xRDrZDP`$-md[xZ كG1JDːX "w!&/ WZ| VSS#6 =]x+.F4nz{d'!"Tf?Me3p8nR(Rv ^'v  r5W׮OH7(OJ CQNɍm6ըgbP &ő&@{&k\| kjgՖ:hj1:N׽{]MtQV^I5g`u[$4Xq,:]_N/|gmeoELHTB2]_$42\PgYZ7zXZִF! Jx]ŗXi%@f1v}{>Ԕp36s./u^2S:Modʊ^G0GBoq,B54}%>ѩA0\B X^.?ykwg|EwBD+X01>:g>yID^1 ]@޹e!N.-j.zF`bm@ D }rSYeF,.~JNj;.UUlB@3hs0)E_-ʒ+ K, )F[ HeIh-Z0 &uERbd>[>&f_3xD[rvת Y$w *g&jPs;$iwz;gY7B8C.9G_9ƤM}U:})Mm?yo׶E~q=i{K͆eS:ԑqlva'HAj[t"\1A{1bդ';n825>OM ېbjrclNwɌůQdcۅKT\ź2Dz`oz؊%H: R}MFX ӊOH<ʡruq<+Uc) cb{Iks۬$!ngpTuCbv]~81^5Mq#TVQ~R)D'>c  .t"`=٣v yahAV}m[9U ooz\>bdM=OL&qq۸BG&4&-Eض2tdpC6VQv;3[TlM (p{i2߸773uX\}e,ڮ Hۋj- P?rLFCƚcxq;* RGj|C~b No&`Y\K }歰f.! Kв,VFl.ê%XWKIQȣ1f|I΍&1졲g*\|n}(/S}GW@5)El"H($Cb+V /:ckUqvB6׉cHt9&3(fʣBM J *!)'o$瘿 n\cz]v }MԦ LlK%g&-aNJ_\LĥNZ{LބAx`OrK -@9-MX:-A AeD#g·18 -dIj\1}Dܠ{NuC/(`B!Ԉ\z%l@iS/@[B@\{7ҸOm媟5(R9«Sl<1yQ;ÀѹGy_=4eA}I10\r]6H'f*r~!iz ,YɆ0;ީ^w[J“r7HuE*^&SB")! 󇐱ƃ J? l ":GkCp8bnᬋrX.\  qIOR#Eawf5̟ixE]< Y^"Y@['qCtgJmObI$Mxm`㎓R1qD8S(~ Jx"T@^* ?*DT0q7COUE,";Nc^;;D,v֝a%pIY`8m -vLP5 6:C7cZ%\`ΒJtUE2z?9XjdvwMV2# ̞_#!%p*g9v>㪞^(G~"ⳌE {ϘoUOe]`~QT1m-堠AWCP3X~.Q%isdUo"EoZ N7=M51SUe2߃+hm(fS[:{su.fv;d_^'J H!Y4Wz>zQ "b |3.z$։;}:'cR7T3AgfIl%nD"V*n.Fژ)}7WѮg1whpyb6Y!н+h@ӡv(o̸">le ֳlO  喤 =ׯ"i#uƵIw͙0Y~;&R^Wl $@c`t֕`Z+. WV^(yy]ZP|K$?:U~,«燺ncb0 ;#<4J,e,Ik:3[R6;z w(ƿؚ˔k"ܩU瑺‚ 0!_iWU,vLЄ^ &ykV4W{7aDGB)@7v]M$łCZ.ЛM:Aj*]:q>8i{WOlB3i5r\XAJz&ax+, q2P.P{p*"'L^!ɿ0j)uIȼ--;_uҢj'O E_mVU3XSt uzGps &b6^Kazw5PZN4 6#OSsqVW" J'9`~viO֢[  s6TFj_,A7Ƒ-&E)pfyPB9|e1찋&}Ɯ^ 0mkWI`yqlO" %r 17+ը$aCa0<~ӊh:=m,?#;rܺ3zK!rYI/,9*3Lߤ۴, dPTVSV+R:^+A PT G.`i0cw-Aߕ=gZ"97sGChh5>ǦGhl( y%hGmcd07&H,B&짗/ j 3"K$ibOy¬e[jETe3JfLm3UWYh`6G*d'6D]=;>-¨oTorMͪipP+ZGa&&`as̊ i3p)RaJ / +PWfyXw*$3N,98eϴ_ByscqVc/vT!_-ZR;ǧ+`GOXo̤ÿՇW<\c_kjA\=sɜцW ӗwaA981RԱ|efAzЬ孬5Ν2 HsKiK#7G"T\ſAHZӅ\M%bi- (p;V)~AJ\oo#ֶ'adTvi4s+#'q;kQ4 CCM[ X[LH{: $TKC-J j+NDny\`ե<_p:U6Dw.y^6sp .G"0"SRJ].ia|qX'izXs:znFQW=۔fBv;=Wt5rz7I@P4e>~EU(YG>aȁY`a }>lYSF|^bv?LY]5>\Ɨ~R>`v[BtSEQ8A}RZ~5ĕ2)oϬ@;幸xÜܭ}]RN' Sq)CoW4`mVW 5ҁLk\Mznp#6Wwy~5iGl3Y8w Vx f嫯UT*-?&,?޼d&B+!RNYE OEҏ3gvPVKb%5ޟ …A v եq/8\FZOr A6m1AD`GYl gS-ټS(c1zcGi}s]QF˞QS8M !^\&hW'dw-~ņH?#AKڕ,G4aQ]SD sצHZe2l'PZO\ݸ L~ׁt&(ōlt<=Z,5ag%UCK+뭐<納FS P>N&c1]*!<6N:tr[e:;et >Y{VAÜ2Pv~ay6V4#c;_ _xs:3=^_T~H \m"%Bd,gPϣ}U<7pG{`I4T؎ʟ7V.p]Oj坞+CK.X]tϓǛq 1GLokK,bA ?xߊYj $3q-(6HtI&~x$ HD,:mHU˔#Q7%Y /UoT_ VVE-ςWO96Jݑ9hs A,?Do|DExH}4p嗾\0X.ShIe.%0^O8ora2oN˓!`=?^!!1 TI^Ts ;:Lה笎\C!o*ߐ ݭVcmgl<}6燊,P"W˪kan(;WZC }U= }ưT~ nN6;yL0Cszn,W {Gfu*\IfF$\ZNtl6џPϑuʉc{rnc-VJ*yTiN)eQ'L^NWyk n ҵ TŸ~ t:<Z_N0Y(R%tO5hxrPEu#-?\Ms1zo=Ok 2h-u?);](l2ؿfKwUۃ~;D2jؾDMx<ߺ3Ϛ4d}D`IKnv^݇V Wf^&/ڙa*{deB4pprۂm_t OڈyreRR$]"&/bz1C'u":Y @ǨtD,Nް]xaBm8N>@!SMZL<̅S CڧTs=`gS<~I)Qߋ=ktB qc C"yk Y鳸֮ pVu6if.8 T/ȯR'" ƏU Gz#J;a0gU16[J(7p:uXeVFry&NEZ~ֹYFA22+&!hP p]+e*KEd-[g! k mڅppoN:TzGqO@UrD>ͪ daEU}](=?8<;Zi wllSl~!ܥW2 噦YUho.F9}S[t \v4-npb2 +ǯ~G&w('0гYiPz_&{vހ|.dv]<״E5[-9Kx%Guc]ugI2>j̃ n$%\Th-)" O@*jxqQjIfS2|?gsIڪ5}(L@C]d hӽ?Uf֯d 0ZpCwpD !44z3jR(V ̗=4.n͛ORB̛gRŷᔛ%IEpR*~ ^Z?Z{JG/[ ˨Znk (SIDZgB:6!1"ҭ #3[5p"G f3z/Br;tc]ڕ >Z}'%3P:ܗx-8Y7[y1z3Z90*uMJD #XX1N XkU%?AM/I.YbWBDT|U+g bY@|Z:6ĉlqaqY{N@ OF꺺0LAUO:5RIx#kffLIąu=KC̿Tb]'-Nǁޜ0nܣ'KwbuX~PlSLO,Ş+&vEvQ4p'0RcR8'y:ЯxfFxn ]`~Cڒ~?J*憶*yOݣ3hAd+ ty>@cYnN|`c=m똷G;ƦA@ `/ @Qi^:!9C~d F[{F!]ѥy)e=ac`:Mk̭I3$ք` ̄'o?aw ӕU Cwk(07LͭgƠ%8}١(YnHkAr.y{P0p t]?o-p@[V59'GC *͹7kKzja˳=`;WzE};'c5ˣq.kjaZ=l Smk?- aBt($+SHD_hNn*;1qCB?mV\ wmɟat[j|,Gf__v0bEIax [}RD.9 f Y$'"P0!0<\ 4m Ytf[mx BzcT `8Ti|= s#`|}xw]gI!,'ܗY'" Kdk뭗NA&aFoY8+;!/`r茛PG?oh ;'e$D QcC4t6(EHᣩQ9eq \ԂB9 !K8 Rb^(2m4È|V0*6WG<(-ny Xy4e؅1Xw [>otrv  \K4Rge6}0 V[`_ u?y ײ?aOԝOWu'! :)brh- S;h)KSrWﶰVsRc7Ez\nl<X߽gÞe|I"D kq1X 2+KT1~q;}l7޺ #t_Le 9"} .$[z*-= »F!dvQih_\fdGm9돭[| ;<]=TwB%ACDJJ!(ȀUVYp\Ekuk*$k+sSp$!Ld] y=.bY:{ }ЁKw.Q(̪Ѵ7>]]h2( ɭZ6AV)7EOd}L ,2Ј jTmh qR: Lir,m1u^?N!:F{> bcEnD7TLB k[*)odHD!؍/$q/|B_OZPf[3@l k` 79T pg`#^~~`+BaH5"_6#И7OpG-o?\t߸<$_9i?fL ጿjܚ,' &woyK@{ua,C D7D= }XP|&+ϝ Nc=|:Y]#CLR2#g++T0[|u 7@OsƄ=8 8gۻ08d8!mcfw({ycԵm" iİ,'vؑ Qn%5#E}Rɰ9WgbER?BRmCle$#uYMp|CªdUt30k/a\l{v[e>vv'>h7؏]bRWVv#AzVチ4Սp'j`}s!//WhJ])Ӻu0[;#JOgqշjTY{´<'/eOM"5g Orĥ6(iLvA\I A_5p˅S#xSĨs*ZqR2z>rG,S愹Un9TڈT镗aPwgihA$]}|%"^r^qP'؅w=$ZZӇI *4}YUt|C">2S9 L#W6mЮ?M!~ˏᛢJ3հj)=VY3eDte0~ihKsU]' Nh0]LZ~Auc+9NyXaduy;yf"pm!˧ީ$`za-Ӽ.]9PD4㋛gc=ɹ{̢c#ƿ!9w37`2Οo{ 7.m!4_TBPql#BYS%=UĜG1-v+ǜI1LS}\^eci2gU]3Yfb?hm0d w3A8հAӶ``|!`(X m-P&*K 6P'dI&y_w*X8D^_1h9(1$]m (y= [:V0q1R\m{<=buXwXw:7\Z^;:B}4hQJk:%m1_D7BOw-tpScz;t_Mw2R~}?P%|_}"N4cddm, YILJ2?Gw"q5T5\Rz;Som(wv%sC1(cP  5dwؼ@zّl¦3ҥOdo`~fVA5ߙb/"llZW$Hv/1}#T.'`76{U4U:]b86FW?Ib]‘|Z$nBk TQM4J)g6d 8%.h-m݇-nJN!U&~XWҐ;Zz7Ԅ2#Ӽ2)GY? 5:9xvV[m*`Uy &Wi*̿% 번=ƾns'|?p5lέs #;f^mM%{Sa5JؠQ^jiOU ȒS~ISvGNc-X$EaZ9`CgwP@CV[a-2d!P.`0$垱bF6R֋}ݛ\٪oo"Cgm3:je9c0B.XavN܍}?"jF*=]&o )׈@!Q_'} :>Dy9AL{pUrsa@sIϦ4ByyO 䍐z/zi2H\*- #oQs=A :O}HQmTt}Roh?ƋQb C^_u3rN!LF?p8貝8y?~T ,$PGChPYh.@aW"Rv~ץv\_p6s&SR6S:#-Q=7P_`0= ,` IFO)]µlbš<*̹^XvaVw>x #ۮ,\%FtPQ2"ҌWUh~LfI$>WPq\1nȇ::W8I 5Mk&g_\*DZ!ב3A5(d\2C¯E*@G!.)OE 1t 엘n2D*Uia ~FhUM=H*-Bpz؝߲ @]6r:JAZ4 1 ˞>{D\`ۀQ`3E)hq4}MLqީw5aX>b}|+!M!ܤka-=*7 &Ϡ'w౓൫p%9#uӼe3kTOزHXI@YNտҵn'gDډ4w> idL2hW#벧8Ub㠓[ں[qFr~A0MzK@f>)^p5l5*ڻHD:>Mו<aaհMl5;?׭;qϝ[E)_1tS>#W!=ZkV+b9rXxϤ6H3p " PA9Q3(+A9Q"*\. ,o 6"@ ȋG{G\l<<+6icov rV2ߕpb`Ŀg04){9=UMt&}Kr;Vbu'$/: WIP]٭|5G'c@ xk\&0]SG3*u7=ud >!E+]~BNrʁ69 CYBӨUvc-B\aH+Dn|f3.ΫneGKN%Z#O!⺥<>c gql ;|qpFD,):NLi AMSU(^GouΆtLw7ʷKx3>ΎttrPti7LSZx=;뉊{&L9ltX "ӑ< Q;' o*ev_?޾}ǿy5N:o+?6AT`-Xˆ瑘[TuHW3ߋs6ۍ)"v> q PDU mfF(M]RL !ۊJAꅰYqp.#o@ >*9|ࡃ]F}g#ӐEIY*8Z9o9ȭ-eD:^ɭK?ݱ5nZ)Rwc^afJͳ +F&C6i(yѐӻTi\d^\VL 4 ǧ%qwat@=ZLI>oSxkG&> ϧ ZhD*'.M\O?d`CdT8V JK #A%eTGvt'_}x#`7i"섐|t0Ae%F n/Rpd3)Qf 2d }(E_|0vF,TRv2!qc5Յh1Qr(</}[XVY^̹\%! ;/`R6C%oXS/Q59}FE(5-&Cr^ƶұ0oI0~H'| au(KXLx9eNEgLGˠ.*%+@I%sH¢.eJfZtի$``L8Dg2 h:ᲬٸQw -F JO jw HٹDbX~޹ BIFGKnVSjo`[F1kHJNs"fJKNqxqVz>ga8=%鄮mBx@9-AoT_Sb+ǒF>Ͼ$xN+WQs/>&6MD@CiɃ>߹VCbN/o;4bxcɑ0]|n60X. Dn+OX r2+k@`ʽE̚uGR}J4e-H(0ST%~xɜoN5pk>XGgI&dkk~2ַ 8]b\K-)"j(s"Ek̑2,3`ؾԴIߘt6Ok0 7v;X\δbnX pn?yk(i[ e=td-) h[M b}͹PX͖ *Ͼ>6}AŲEIgۻP9Qy]""v%$]l%B7۶Xdx|DQ{G-UL51~?ZxTa Lv]"ƗZXD/S&Yh`/\ӺxC`U!I1v(N&4!xkCEe#Z`] TJ礫+`eT YUgW fl$;iS3S\vF[2+4(SPeYʎ1xlae,]8(XB jglwdMEUi=Lӓ=mB抂RѰ;}a)+6Ԋe&h|"@UNJlDY6QwI=B]4. / Zbh H=9p\: W6H9"i\kpnDhkV3WLPjgC^NA%5eПnN.",۰)$rFA xT-3iC00}|Iri6,zN6dS|6;oIej.wG ɥAX>`6 c|}Ӌ&SEf^SN<CTR51jOWЈеA[sGFE ?JϷV%&<6eiP3ڜKe*$D@c9=8R/m K"^̕-PK (OLfwÖg&;0]f^+_hfŝ[뼶)-xga.䖄h#sSs 9r+Tk qkXC&zIGn3x?XQ w1/>8П`Jax|JuxS(Zɽo:yvVFfuR4ݣꨏ&M n.Oyr]hqאM EQ4bX [2~UfIUhzsH%5Y86_9}~ўD ezIUߧ £|m<M&v打 P-ה)mb8)Z; 7;*?e S5ibu\GolȈx8-}c " 6b%z(d,䉐(kTzY q'ܦ_(j.e;$4}_e ^LK*fE}/Q,N_X }>j0"kumgN]u^u6 lxFekh]FI &ިi[p4BFo䝟TTq9%D\tA$^b w^ziq'¨ޝZ?_E6~wrNXuvw3<'fğ[=0o眝MRgYs;i wbڪ*&2=c9;Jहzw$jEX|ezd~_LTkeH*|34k bgP~Li1T^e]kV<8+}E)8Wdt*&#lWdm 0"СN"h ҰXhѐx Q<+ʨЙ"h%ßfqȣm];7Xy@Mbc{Sx)}#&bBxL hAlZiQJ$f.5xN>B< CnV^夺bgWh<Əh4>tT-Zx*k1ICU3 K{f$k"zJheM{MI2j,BW_ H_C,Sq!,tV:zKJԑ?ɥφc:CHggQxA"ZvKo x2'`Fƴlyځz6 ϝi[̀q10HLP|Z5"㕗DO4;lxadhgѥ1uĺd->@,08Rla;,q0=۠$Z}dG HX3~i(j^RW+/RZ h_Xߴw(:G]$lQՉ|6."-Ө$( }gunBC7B d?j _:w4aP3QCn63T|pS9 V[[ow!Fp@=k6t+0nt=b9њ0i#d:N>9%{"cJOl/r杭@#C}>kWMb JY[IH[( 卿):m[jHdMBG2T970 .ĒTq.Q $Ǔ{ǎ(+yDU꜄gAx4=jM֎").tI ^j*Ϡ׿M11dx)r.`Mx O_@/7&0PxI ,cTX)7]} ByըLjkQؙ, 򪫒r#Mx[;7WۀKI}mfIKH>>A :kHCk.j5W)f<3O~:6~s@Qymi+_)-\͟ݝI.1ʮ!s_2?W=_* mkm$SGnrw+-?ՃhuAALf9٨rKY/Bo6_G$S?ُοy&|wN .ODS@/018p׶`ܲv $z] {<*hVPSJEv@I 7D"/X_!8l'5@axvsVS: m&cXCE.̆6<}rc ˎ^&YSL?+>Wdݢ6MN <ۭ%K3+q3CťBY=M OM]Ѷ *\6.* jV*hzi9%YrD"GiSQEr񣀍'?P OQ_Rڲ#;#8%eC}^+T`@qI9fTwY힫o?PA;bD; E7 7]Ъ.f #E&M ?4vb{FrHۋ!aLB$iT@=2$"3i).DZʶ b]R<maŝ-v't4li*ȥ #31.8!&ORbNJJԳm.'-ԍQ`ᠸ`=h' sx4:[,kO$R ~.O67QL> N7;w{npj:=qH%(f \XO ʨ%ᾐe墫-ju<8綩F?1 lr}F!2Z+'3_7[6OQt-Ų ɰG`\6 $Pzڥ'GT^Gy006\ |eѤI})  a52Є0a%w[\QP~)l9j3H( f`wi0cr)$a,϶^Of[ ej&2/_!&0j|9gu}FPq9R_a:} S۲Ukf>,7,Kk-+B=<1-l_?Jͻ^ę#fcb/L 9<_*]ظu=jWT 9 !ARr in}'C>wK:yTuQ*H=vRΗL|de62UUΔ5 ]_P]h~ˀ3f r\h&=U8:L=d鑔 9C/#eV&?] ɬHx\v,֟.وEDrh7CxU?Iď4;#Qs?N}NAH}"4.8b  *D/7k]o轲p#߽|Fv q1o3J2("BgnHv%c㥵ǣC4L에F ՝IKb ZDPw<21@$Mq"̣㏁5 R.n<д"j8?K|PASWɘuhI|5֧{@~J-D.rF3,>PLR'ᴸ9/1ju 4 ')Jɾ(}#ƒR g٣Xݐ7){Z צСYqO״D O|)8@c.>qS3)TaQkd(!uh Bj'MuAW51KpU$vzL>>y}&XNJ&Vdzԓ?Ⱟ:N^'.>Fۋeęjwy`rl*|+ ۏ$f_(9e'}aUO!O'@WUqhX4rs|ſG""f$t~SՀUYJ?Xm0>gp3M)*|X4 M!wWڥCʸX'yN;_nVM1SFc;,3rfЦllih_Gh'qqοb!WPƫi$\Q^Q2Ek_'"(P,x%3rm:M܈h[y?zu6$*֪ mwԲr8gW?NX7%7<$v잀1 Ҩ[=)vZ,lYBj~.U,,Ϸ8Ru"u 5#ps*1;ۘ.ӵzIoʢJ~2*YDu4J҉0yCX.N Ǟ IIt^u2lʰij>Vw1z "'!+6\7&~tڄ(;{7' E|3~M""}NBEb ƪdWY:U nTXiUHIr;:&qRu#i ѹZ%s+sC#*NYQ99Q"CI[xu~62ExIK2(Nд*3fDf#.G8>پ#ИKc4P }F{,۴3g %oV1iC4r\}ܖ+1 BߦhMԈ%$HqdMQӜa/5dVVa Juv-{Ìi1/Ũi_Ӕa7P}ΌA xz 1λg74hv\KAET9t*b6C8_4Y XbA/ST(&Skj#wILX"8G%썤s5mn @io>H/R{kkv9 m*nIUo3sx5LtJ@OX~ } uGt7bBR sP`>?g3Nw/M:@o/E߽*͙0;`A;u1 t #9qS$pTzb4Y\ـOvR2dj_-? rނ}-17RVhr5_Qd:Hya29=ݴvtKJK{ukŠ܇BQD}lFO9ɂAt$*HWjiN,ն$0c{Dn v'nK:4OjhqI)7Jual w" ;},T K(Kl_=42FLxQN:(Onk{={pڇ,`Ac5~/zkoGgʌ"8걲s~CO~`ƶ'x+|XT`Q!8>P9ά9&-s .>:ē|gCaN(D6qk g;PQ*IǸ^]8o⩺#]և%Xlns0lt|lq)\5H0OСƿ.;|ri|؉7tr!!VOުʶyH "zo6Vs)L`dgTrIϾk-ݞ&;%[8:O%9s$AmG܌nPn NnE7d5dﶾ!@VpWY̋+I# tSsAD3,HjhDCf(Q?ayl.}ߴeh)dK$O{Bڿ t' 1e<+(@ oYY2-Sx@:OYN PGop:%d(pٸ" 7h+3hrAjӀX 3KcFe| bJ"}4e\Sqd)Db^W]L9wk!_yEm{7* oYp_E|s7%EFo`yz`q,*/N -S_^v.[&I ^߯kY@ Oy_0<%}-EU2.b5?t~3 SYd}쁸'Z(TSxzA@)nF\$'kW4ϭ=,;617#9OM7n u)_'M$=ajxHE+'&LީkmD=;CFOʘJplCcºBaRH+|C>qGe4~{Hsƨ́iW.`s"8D;0Uٵ *"a$ic5~POȏQP'W(2<0<ܣ*kOuf= ICG1*LU0@ O|˷UiP>r bRF3YrнUH^-s3s$yRQsP Iq *iAދC}$7? YV@Vt{ؿzR~Fho}@KvD}u*gǻN|!/"WiW~Ë?|_2_pEk&g\2dZpUg+gQ@NwmwX;d|ADai$!>O~,Gm,tn(dr8 kJb(T@pJ|:T}>1}Ci*]0S5 D$ [:*UdqLd)=W(A~Q4i`2B^/ l  87~X Z0K}t c RQ[Z} 풞Db `}q:z'jUkRAnӈ,rLܖ%Ņdc5^{FnG",,uHWO>RG'ai3ңa *acAV[Q?@PcBrJ{1`.>2]QO`M )!{:BLuMR|+XRɒ<m[VKr愮g "Ґ]N g!(DL0it&c$jIEeӡo0'p+ p|AU{L"U?VPn m:;;2 T]imd}]&h 8aE9$~[q6VKR_z~`5:%5,U/JQgtx"Oi)BJ*)~/r&ExR2TFz׳N<{f>SDԂu . v:f'Υ+^ yZǧ4z@GjMuw'͓jo_@¸M|ޢlT@i jn"PK6tsDKQĚf Sљ~D(] Ki cm)BC߿W|d+k)K^tGKDN\hRTˆU>*Fi<}S)L'`JCx]9X[-ei+ ƫb&>AU6G[l_8 5ԿQCoKh$ȑ}$­\;-.߷&%]N/ZJ7B()36ˆŰd\ rbSvr`ܮT|U =Z#%;޲Q*#}Cu];锓LLcf/!NEPD&$XV[d95tp-8۱g :UΚbuUBW`b//=%2QM܏*GãB$o\a}k?7~$mF9"N3b F _Eer#&GQ!Ħ*h%SA!NՕmrV$,Pryܥ7+>t]TRIW)CwVt GER#p{)mwb?a)/f 4s$꣸KPi _yVbx۰,Mi@CK&ػ|׌v$dɸ< i<Ί z2KX;A-ގ[gRq` P}8t=(3Ivպb^A< hJ_}LȲfv.<9Ե«ֻ)1ePgBD}[ĩsN~>7:l*Om=Cd"`EV^И9]:~ϰ%,́tN^˪*ȔGgYZb25592c3a743a040038a05dfced9e3a5689b6c3c39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7c396825ee6c9b66dd7dd00bf0a4dddca895c6a22