SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 hh5tT\| ]S Saturation_Framework:threads=4elapsed=19.808cpu=63.184gc=1.9127zXZִF! 舔$]ŗXiɟH!n?珫mKuyMNyϕ\Cx[dHRhv0s=]zذʘ y(3VHR Dg.5(𖷩@ Fiܶp(.d"h'9k-V 3\δM:51`j W`BeWhs7h̡ RGKAΒᣄ=8qgbvRځHoxq)!/;-19#Rww4nVlj'9'rq> OZxMmhuw-`,H 5 Saturation_Framework  D܌V:H]ċfש j:L+: @/hY)h{u6$C EZbMq<Ҋ$Ya$L7Ҹ*~C@0)$LTiӹRhK\3:ecO?"1xi*iݖvWY(ZK:aX/}CC c>:!NM+~E6rf>Z~loxlTYn tJg=f0wB=O*J]1m@rA̐ YrntD9079p)r^9[u]c(֝qCj@~th"f.ꬁ*On'^>ĩ (`+;- &hfMgW&n'ɉUqnRS5p',?bi8w|)8$.@  u2X/#diݐ'ad!FZ{8Hψ*}h Y컸w.ne/jOA) gNOs; ddֈ(Rh]m0ζ8 V ,Go̡6y8`yD`M{³]&՟C>E6摓T^rdJ#ahLJkΛ$?4i+ֲd {1<]2tpJO;E-sМD}uul U%Bݫ܅ѫ,9~mY4@.UbjM[,4a/öfڒ\ӽ8$umƃlX:NO3WHȼP>fpO]nùRKNPe5gDk}@6T|,xFC.^@at0wm?DMT$n1 I}mB.Cںqd,ij`?g)Axp7ZmHI#V Ǒ5s r#@@@eTTw-U/`UL´POvNeݛQj]o醣x3 f/j1 V-N9ѧ O<~LjLJU<ϥۭ|J?L]:sU Yz=Kycm'fyûȼLMژ$VXpe(ב7;v^'qB,z!|m72!,|5^TOfL[ 5|+χ*zP39).'Sqy~?b6=8zdE<R$Xꉙx*FחwV\ T%w󚁶#OCWگ5;@oȘ;Cq0.Q #qTg{ :7\3|l#zB<~lS{t6V3XWӺSM[50:2xR?66N>~ Hfnt6j-Z'j5 x%eF_q@Ib徦)#ToGv$;{qåGW1H0EQh#2VM6K%>r4;Jj+'$57Egmb ZyrP >"+~8vMM2FP~١B"Q)qmG_XLK,)DzCeHhЮ&JL:{,pdsDa %׎u)?*R<8 =rZw=JƶQ@xOYwX1HACJNtEf!޵0_reG(m!z#Z J{}s=Ǟ ha9o2КdE%KkjidnȒF%]0icؖR@Ôkm#G6 NO'=9r+{EMv@?=hOkoPK:=4U8'AΆ|T9_ٺwwsT%CSJH4ڥĘ#z0͗bv \yzuS\cyط'wJȅ~HCs'0-K׎'}}d^Yv6;$_IJP7NsGJ?5~>?!4Eo>YEtWaP~{DJgWJ l8߂"hCN冥k2Vk\ 6d0ژQOv3?.ympO/ AЃ-ID腺0EEC[U y̛d rn\K͒ת>^s i^E5v-,osb@g(Ern;і'? HvO;X&άD,W*&Sg9l'Ձ^Rth(~ٱ ) ;@;Z9"k_ G:+´Fq8:Ò`˲*Mug/ne˄29iŴ-.Rzo'bQ ]܈^ּlnZX q§'1BR_WB)|]|ΪЫோuEi1I1!t$vlet6tw뇀`7ԉ,arw3k!NpgXg,JJ&᲏ NSJ%2 SB>/E>#Ւ[1}m\3mCcT!5Ƶŕ2=kΨMK3v#ĆƝciG &>wC~PpYG.'*⡳VReR<)Vc0MWT"& <4mI!vnYֹdoiwTsb\0<~l bYw(/`6F8T'bМw@S8!a<暋 onri/F5E+hiQuGԂVcx c>r$[y[1pRBX,(ȪˆWuGטOI%8d3DEFQduxOQC 9I1pRңPjNٷ& #wF_>FA4S4{ #cB?D-5n8ɮ7%RjvmKj1#\zD"_ a^n"faJڃVc`J6et4 4wkׇHW&KI[۴/ A3xy8f/kHbGeg*|j V9 8_Kp,[F^K@&7cGF-ZOZf6u𠴨pnCkUҋPE 82xx75#zV l0b, tb_N· _ PEױ'6Vjvvw[oω` FuuTe}pПSЮ2c)$NkACDn#f>/D4 )ǁ.'`xvgc ./ %|­Gȸ>U&n*jIJuX?4^ Aylm}֫eNƝ,E6{pW̬3`QmGm/r<(Y ?J?fw֒p/#4XN '(N:0JNPj2[hƿ`6C?(yHo{IyE;x hEn"T-MmG++WB^:fw tA뗆W9%?!xT]uCSY-'z Vte?$\%!$ͤ$05(@]Ώi.ߘK.,Ɲ(O5,c4\dv d)jw$`:bsRk8rifޠX.B=lzP9Lr3l bQ\;¥ߗ pXy{MzY^D-:)OXHKnd!ƘOg^am;ǝ-9W, 6$BGCyPFa#ib!<9w36ݓuDU)e <9@dAIeH&o4 S΁L[Ҳ^5zXtge:_;j;.Cg]¹ݡC_ U#`݁ N7+ B_ӰXA>XCڏ<5:{f.ZȫnXԤpd><\N8$[6=?1 M(_H߭W"T.׊g&ԨdP]e= =`Ȕȫ~yhxrNKemŇ5 "`Fv$7P^[dPVیN2,Kw+o`j-cP|Ds#PBqP@P2ٹ}(]7\G3Q/gWi_?X 4)2i06|gx;uAO6l9g֜l0=(~E |-)R#Q< 4GQ"Yy_2Վ#RU 4'gU7w4;tQ2[h'Siiiߖ:K7U\<n>Ds9 щ,IzeX. o 'oHpcm—ţj{}X{T#綠Ic{jg>>U=p1X g9[%'pP%B59j7MS|u ^NVn'Sx^vA-\/M}fqfq & vip`/0C}1Ӂ_cڑ)}^9R5zW3 j. @PGN'ۈEGëMbUE=Mqs1C^Kkaڮ9 ^gwr<'Us&[m{?m0G"$oPN[l[l9ͦQu oᱤՍGܭ' -W0JZ!dEE eI}Ǒ5@;WPmuJ>]/q>_=T}8PoDzO^eMǒ]*њAɇx,ao~=Le?iy[N }+tsB Cv0+%x7+qEJ^ ~=%r-"wJ6DxWxw,kN>Tƺ*}A,AEDUHx355?y; hF6h_ŗ:hWɉqܛfGz9ٖ/;&pg$[*'u-AgY#^-_f^7^@i.X\$&k@[U]8!iS a3E *8BW:--(-TOlEh)qc%r|-sS~͢;r0# _ m9@G02!RQԍLs6a-ԋ|`L&ouh鬇dSBۺk:D8x$_tlWYx;c!Oc2DJ80*lm hյ͇%-%3spvkPAb`7iEULw+gZhlP1=lF ڼKlU'bށ|o!bQ&*c5`w_qFH(kہ HS vG_P_@]^RN?LE,wn/eP+3F25xgI[(av\i%(-RY4hRܮ+q\0o"R# Q[wpj.$6AʅWV |[ʒsZ"*X)8V~1Z_a5VeҨ KA #FϽka%lPt dq͚ff^AtHaX8*{L^ 0V1#MUsz`g9Κd9|7SJY޷>og.P/4y:'"b4\gî5Ѣ*(؈㡒=w!;{2eeQP>ŜFlFOx͚ N7)5' lE'{Yd/NN%tK7.+xjAQ `nGnTA)J%i %AhQ9$ii)@K!Abitj}C2o\ǦY+5j.bF$c~>;xvO_Sn<> feR;}xW(Ol$s ?X?j '-zS-ݚiL^ \3_LFp◯ΰ \&:΅`OP̩fm G1o2p>DUр*+ ]ٵf(AH鞝ݕ9 m eJ&ٽ[\nZ"PFA"?Wr{?#ȂgCP틼ڔNB}$ Z&Z6`,,: Ǔ *Do_0u"Ad.Jt%YI\wS *_8`~ N\Y[i ? ;s"ซ=1FJW -.(r}^ž&fOxECBb7 0>o\;nYb2\Гd.ȉFPT+QȽ&9E #KTne,5Sk)* [uccia$fܤ?bi\=ݮʹp`I<ߔ[%:I%X)P`J 5WpNr ϕC̷lfUhQ,xw/Ӆ&O3ș [=0X-t` HK0t7/4Bx=]7_Iҥۗ{?h3Lgp+,bxˢw=8+bϙ*r3^m`ieW!SX >92Tȫ?Z`"J֐u[:uKZC ЯtTEi~:&cfmx6lSטrbKOȴT"a #ț@w6iI},QQz'i ceaBmѥg9ɯ }.},0ָޅmv.)^yvPpjn/f[?6If"6ҧvL#,ڍ >lag 塗OhaU IGGK&a3OyevziY@G/)<> 5NBv*SMp 93 h9_>(no$_9G?%G+>=?o< (h bjK2.#TC"XBJb;'/y .,9a hXcىзވ" ~FFW-}6,\NtyI݈}Bjes0Qk=۪4`url\ d#?1#zvJgNtj k Ԩ߻É'@4&h3qd a+ȍ(LX ۥⷙ. cnK0.ӵzY9ֆ>8O]cQ| j7j#D޲w074P y.gI6Z'ehyٙ 9zQ^*S4)bX*I>P5B1) G%ՙ(Yt_B]isF">n2ٔ"n z>= ViDiY[_CMHR <(8!J[A~9*d~vxrBF@9 s)Ma.,v &lq;ۃa5OpFmg TrliNr*СI~7sU'o. G"O%h)~B>;QvwfV#zWL v+(TeF h8ǞWw!mbH ']萆oH&ؾSb-}t1HD6-U~({yb60Pu2uuI?V=ĵ`f@x$v$t8*7ߊw" Sj I1/nNSB9D$shIf]vW^+x%h ]$t"u+kLN$C؏ #/AfkkmOuu+;!6{v(9z:evGڟ| ABͩ)0%hg&:2Qq R(qU]%ؔj9d+<Y->—ț'322Ӽ XkO>gpIC-{9ڐ2)=獋A*q=0+=3B,F0&ΐL+@ɩJHQ%  %dzEl FRٝW3B'[ ˈ uMHx "E5 +|(8V,A~jTOR28IexFH=pg9L .{rH n αcmɮZ $sͶXdՖk~qCHdL"ЊV=":F*cEؒ#+CĆ bf*7-ףS" JqQ-wbT?DCPQܖsL:&5b߀xue^w2<ĒP7-vGb׌z#Mqk9t64!f\!d] s5sPl2;Ue;T'=LH.J|};~i/iax] ,)/y040W[M_'ݧF:0R3<p .@d$d,!&>:'Sw`$f:"cuVAEl>8Dc^Aҟcnq{̸G혘QpH2%k΀%+0I8ҦhQߠû 6-ID2ݣfu :_WAמuQ lsQoN-|I|uI:?ҨY9T}4@ڳ0T_sc`śNݥNh2jj<\1s*ꉜn_z8+Gz,F) ,ņж̰MdpRF|?7( IEdS+46Үw AfG謽47@ q|e :weרd4=d_(|a&o:Xqf!SGT*]d'BѬ;d: 9UveRM&Gu^ /[} Lc)GNl42$kTEu̿6`_FwQxH$Ҵ@}9ìj\>pC(M1V8m7$橧55ĪNgSN^2dk#wm u(}C(|+KfųZyөt}.AU&d5vP+N(JeRTwmЊ얉Q/d7 YWa}29/_4G{4̠N`O^2vP|ے7`6'P\Y @HʠX/V 3{-j^tCyGjQzTDt%ߺUgپ­'bMa/֐U{ڐm)/y:N!l^zWE!07 VI1rgƚ4=9,܇ Ji/E<92' W1+U'f舼 i{k6gl~璀-c!WAji0g^i Sv9YR%H,Nplm'JC S$ވo-?;u+{Pi?l ).+Pr-ut 5_ŋv#"j(0ɒ rS@ER$s(Lr u-~H4$'Al=P՚[W4NR y9 !)8pV$_lQMngN-3I.b+658b.\kZ%BxggӰlxwP01w;ә`sQJp߬,S}ESsX'}|{QG5 Zh؛T 8Qy=9N'pkO,?]Qc7,J~wT AYW[U-(I%YK$ჵL;*J ֿ,3OQ+,_fBnOnA(k 20lMQN (L krH$W h5|6FxZm;cKQ#`@%qY6~q~Ԫܚ*жr3w@Qb=!u̶vaMԁa[5j߬3$En"a0J))zg 6M;~ԛ!\ <2VYl_ыqҹ)4K냠fєY!oJ"ܢ߀ ئU$.?*5 JWi5xcVqyt}a/*0͙?Y1A]z7׆%X97^[zT9'Z@ jeߞh=-?LSZEVی: *ՀRW'%^*h/Dp$y%Kշ}]3ȶss%xu [x Z!/l}R.ؔÞNe\FE`5Ի0xЫ@]Wj"het̴^BK*)YHKi'V39 P^jqZgqPFRQ4om$[-I`cZ1ejC}'=v s`{PBA+(9<7a SL]ZP,#D}|B&R~zd~FƑŦˬ-/: qDۓj=4K+uݲ;QlTnM,v! "RR $AإCNQ*aP7kzJ;'[5=YE;*O)HrRM"nmndl٨GOzJRӋG H)h*OHW[ wfApZG86,t$V醋_W W]ӕGǝ:6!׋0h^IHL*xLzoˀ! kDF@[׶金Fa&u3VXYv;oS1eƓGqB/)h*kAA]$m)=9_Ws2) )Ƈu}P lQ{ C^{QGyM`7yLt|6(tG/}qS[w '<򃧧K,:2260 |Ex qGBPᯨ 29 V,N>V1d2? |X I)< w|jk~M5љ3h.0r+`0~Yv!fehz_}rp /(˗" 5kq5ӧX|o%M9s!V@G6s89$?#\QEG*_yeys@&}8*ȸ98#EQ5}[[߷ dH0Ob}<ұ.>׸>F:R, dH!,W2 J Kޔ o8Z:2q}0\azjt]tęYSdm͔bs eGgɠ4=5׎хT|Б:Y)axNpWM0{Pmv@rGQ1螭'9Bӟ_e+Ѡne;>3D~`&i:#㇍ô3%xb㡸2@&uD*C:ڹ7i/d.<헀'٣H(  vNf5`&J1C(}Qq F)oC:}@!F v ^ <HgO;$4yJfecxӴt}(IJCKm ݛ?<L/qkNqq&aol!TT%exr8^(UۧTņ*@JdUxZqqS$,c}eΎh~;ߓ~L4GßΨ &6ZSZ!nqh_գQjFn R0QJ`g i%R3$ojhcq՚%,u=d-EZz!xC sœدN bt5cC FQ#{*ƀhQxb\irV|bKS.!xD<2:Oڗ1+urҾ.K.4L[xTU8DTb.u"q*gU\WZH}\S5 ׵K8WINey4bi&>_U8ιu8o 7a֥)Yơi7[)Xؙ` X-bckP01X( _gIo=~JMݰrtw? \}P6Q(3isTTAczK{n#Nʡj׉ںiws.a nӇ ls#ika(:84aLRʙFʤH @T]u`k Zߤ?p'L0-~)l}Ӳn5 B(q/@X[I)cQuXq@7> dhH1nM "hb&(A4k4\No'A_pyZǣm'!ӊZLONeg!p!J>ɪ _u!%$ϱ@9-R 9CH/A^@(ii(`WLS:_Gߢ.5;}TvE-fTrYh6=c,B'D=ϸwΜT0*F{fd¶D+hOJ*3ܶ! ?t͍1k$N=' 'ۨY +ȟBE[q•*wONSe/׌Pb)(Ĭo(Kć3kXcܨH?Z`$`e﹬YS'@"w%rŴC_xcM/<8 tɨ陨0'*=[>t3D}`9s 6sb?<-/9uձFfm ?f768$d!N⨀ .?ƒ3Gowk`>/l=3nE5&nܴ\`89 2.TϢ>$b.k T -*@<)b>Ls7tڝV<ȼh_JUY+bC!ܮnPZ<6Ue "pBuٴz_(U'Xdg9lMev|}MDq'pD]%6jH"~^.1ﴨm'45J^Mz݃2tD >[cA߿/5@kJD*k 'L?<;38͉+-N=)rd^#@]4Okϙ~Fˏ ݀7Z=?E4_@|dY! I :KO8̨Nu'vrt{}Q{]'&j!X[9z31y$3>N!_Pg9J̍ w0pg<|+&DΥRP,p5_"vi6퇢{E>0W´d%;mN'mK^ҵ{B́,oK&ǿdhFJrUBN7|92vxYi?BVc̠ld’|k]%Œ Dqqb:zXbt=,gTSC-u[rsx5`iŠP ~u N!cОC AF'X&0Iu +ʂx)΁7Z`oB U:cDP a';@dWsEp1Ha5MCߚUvIc1!4#;XԮγ e/vOfN4,7QFaӣC~.~[}Xh1RsL(^xN)ߧ_eT4QNu@q8WJ a|13SEwFCn%?ߟt̨BohqyVvK^}Ԣtַp5יйeº*&D AZFk=ZJڽ :xd,ҍvMO2˟C6}AG$= pdAN!U޻1mn ɂϧ @Zpݏw}i&Llg:L?35Hu˺Xa N&W)ؘ0.'h,{ײjۯŒhKOH$hƑnW^#]ZM#+( -3alAV-* d(.˔~Z & n-dgZϹJ 1A5ֳP9SjTlme w;^1ڑ%d+QwE!FV3WbXh> ?t~@߆$/Kk`OeVȧc$iP-iz 1.&E쀀!Pp p~ַ`>QFXn%1U$@6g>\hDrĥB"1tulA4NH1*K#&FG}bA->Uc#[HQˏN8p٨EХ^H7پX!QoעVc6<*F:I$7D Tk9OFLe&b>(1ߢ>d @\ɘл=5x 2\1x-Yv4ЌG=-Vm3`q\vI%2b5Df$M2-%Y.ꗦ:Me^E2v#uGl0^|`BB]7J+Ĩ0{l$(J4naQ&-U򢯑-[*%)̘|AP?KHVQoj&3[KJWk)F+ի-] fث!>=.^YX$G+^%eGxd%x$*#h8=p@,sIh l2̅ȳ Ӕ)HMyKt.X ^71-V/&|,~1^0\FL0. Eo~qIntbqNn{Υ<2Wenx/v`N̂c-Zݏj&(dNkht~?ʼn:U*tBY0w1M5M* 1 +tf5wD,=c1l~yJګEfֆBF;A-=OPsD1tQ.,EdpR1𔥓ahsY~YƑq U⇏s?` Xh@=!Ԙ-/+n(D[MaQֲ Px}ZOw-40 HGnjI:p9}B{'\9iUo+"sk;hK0 1ԝf!Ts͔z/b% |C5ȂBeYR/%oi7o+EA`ԫ0lvCUdMڶGɽXDy E6!2EAG,֗WL!U P,Q Y Ƴǖ1T;pRR)F#.#Ly# #+"!1-o(G ?♕Cɶ A$Yy5==◝1&f$G[4~ 1&p=E-% #{ %-_{lŒT[ n8`%#Ai"=O0){PgVчݼhXbK[s~3L`g&kczd^[WW*+ ?c1 TrȾ5?_Obuc!mGRXb8k &Saf0r@H2֡Au 8 g5堒(<4Ł8GJv8hEaw莶U>bbʯ-Sm,O%Dv WW}iV (PJ$\OoB @T574~hE#u]en|*9@F2>Kt|sP2@f J"XbM7.$zNv*<{rf8P ]yL?ϵ̖33S A?Y~48CKw\[3K`Hy_9kBG魟; e*W+Nڳ;lxDQ?jPђ)Jid!UNҵ:*x,vZ|ƭʘ-rWT !CZtٍߥiNP*jI8\(,*f`UܙysKstQh+(FIղSv3H-Ő*&ol2㬯8gPQ(h|2#V"m;T>ZrK@}pιڟo3HR`BKˑCԏW<3#8]μp/& q䢟_2qIn26'h?όŌC̚ě"r6E l,,2YUwH|Yj̄R*2ds/MsT+2 %҆]!0Ca !~T׀PzK#"9q|QM$Qc>v rz%*KP43Z*Uz|82Je'e;d^gRnN jqM6Nzy:2qJInZeB 8bw,2! 8$q=±w;i%pf6Vs{@-!_e*6b CeR{llNd]ԫy`>N U8O#w2|/ ;n>; fTp9X.&I[s]6o qAiazFoF̗Fk`S0;7r=!olk`t(zB/hXpsE~Gnly#8"xMzś<.;J~tB{=ڇiQlp[.#PnG`,W9ntlxeSH;گօØZOrްGJqŔs jV5K 0;@j?Q#YE K3SsD&|ozH[ƪsC4t S0$dO\.ULR03P7\{d Jw,W1(D<8.6L`IxJb4,C0MS$iiQF^u~2QܔZ rThD@k*j=a(Ѝ+jTK髗ʩToJW-K#҃sqD8DFa?CbHp5(FiTUk'vf y[4>.`ۡC`"m8Ԓͅ/i׺_9X.(|ҙ> f>kKv3tCȴa-:ՙW?z7F#UI- wR\2Ax>#wuؙgVm(.: ]a`whB2T~'?`Păfd*"٣,s36ז]vѻ=/kZЕ/yY "e"IXz KI-*u=[:4/"1vJhdJc1Ɓ? w]fr*KTzCT84w_IfK]Nm^8źi΄C ER %IS_[(8xHkވ rA]/HHqZsac=WM{]`&ڪ<)wkӵHf~;nO~MCZ٧gj~PF5[= {2 ke*LX Xo'*G{wm>eWSkx}'pr]9(,Bn8("*2x̭ؾΙpHR%A(u jz >$Ƅ!/צrdEiC9~nnr<x,㐸(,v^NLGTDӚp+#bH!.;1%uI>^ܚN40x(_l/ ;;9RwӅ+p~|ؼNGzK< 7:߲;`dzccZ JzsO^(UcpRZ$ڢDB_}2x?4IQgz4@@OKQ~?;OC-`3AQFFWC]\*qnp8RͨT]DxR5=&~޻<!6k< >]0c7%ص_fSKߞ\7f~JfBr|Ѷg]Q1+i@˥課ttP>=ߦ![UQ6||YNCכ?(ލ8`2r:![8@b `!."x55ܮ#U6Z30A]Sj^mڭ.D$B6'of}&jF2v k`,}L\'2Aː9U@CN06V&`ʮMj>(FE]>hLC@0vW5CȺ9~`ּH1mo;2N~xy3 (! ؑS + UR?1I<-kӗ P:m(cJg~gBC",n#*( oFX?SÕZ.U, HRG^7ngQU..4|LAqPVC( a k ;;wi ttG")YR.{\PG O{+N &U.XjAYľ51UQS9Jy]a@J~h b0}1:5__QmdoԉQ JƘp$op!a%ILڊƦsCZyU\;u| Aj7dV&=fCJwN?<*o-pY.FR@@\'gyCƂ]f32;3dLkGPe^=^Yڃ]'Ez?OBgp QLD)RM+Va뇶\@yd]MCw)B3UGkʑxҩ(ʹnDy lVPqLyTRH=]<03yL񃆝 )ͩf%B_{U:*MBإ!)0RyUub !(WhNؚI W_&BqbGܱ^";jq\lwv xMtQˇ?SyvkQʳ+a`P}DGR@n S:$hu@-9Fbw62,`]#9фJ:.p| *N@aTs?EU͛-ٟ֍lZXp߆pʲ]Y&ڊ@5P}_JY WRgzKy K?Lٟ(ZZh~Otb}a:z%G?'LkޫڼBR+s.{#}riN xi3^ny8gt. ;vXx|*ʩowtsFV_B";KXH :j/%\,k?@sѻiM =}W|+\EΔZ2y|Q }chIGqmZ'|ڋ|Im TkeAtՙ7(LesgŲM˫ yL׃z~<-0Tt,ǜ=TI脔26&H L%BxJSh6P;V6?4>C>&Tfȯto0UA݂&+#>dj-F/ K`E"93O)`]2a^5UpWnbMUm=΀z/ NYOБJc5=:6jgyzUD_Fx\u>"FQ;8%w&*]|=k>xS ]O\qT}Ci* g5HcciX ?׷ ʍ=8Cv$X8 !æ Ղ@L {k lJ˺*߻|&w5[ _Ğh)a"pPԣZT;I,76F{.ǫ&Q':b&SЂ5t'ҔQ*َd{L0w`ۥV^rKwf~ho"h ^z6O*'OBr gO[or|ĉ1;^5cibXDg&Gչ5d!jɻh4&T4}?@"CٵKBR{:T tqSl?6q7>U{@o5/~Y*oՕ_Tʽza.#E^Uڿv9C"U~ro?P$--+--)W^*^Bu,*VAni1X n/YKhY V]Sy"KNpI4#$AۏF?Qr[|O}-L$W<ٯPufZL&NMJl)Ӥuk$XCp9D#1rޡDLFU7d[0|!8d/lTM9[ Y;(9N3ځO w,luřrG3vni'w$bGݕ~ tm-W%wօD\KP@$0jqzdn /ZN)t!_A7S9$>qa7Xf-bH5n'X{ 6[V(ЅOqxl[{9[):peN>@o١$6bʕS&ΣHț R?C`؈Wr@I}q&?Wr=n"s-G %N rQ&ޱ˚kΓ@܅o5~."u֨gݵ0?S|L V5ں(2\1cc^i턘`ONp*$3ȈUf٢Q5n f7:\~jgd@qg!? &9{0NOIzABɀ!N≒!ZH8\(SCbBY[ogڶ+^.#s9u GZU4F&'d8Rsꉯw(?Dť?,΃-@[ݙ2 kÇZnJ1)j5PJ0^&GJf]wD]$KTJ' yvai{< 9ԗ3ӅSUbakb@>2ڪPHpS˅."'i::-Mѣ-hnxԫPj r&iAC L$ԇpYoHv޶-3QWe~qw2u2x}d?퓄 `YϠ⩷iR<]T m2J(HXh{;Wc`'Dd]sMZVv_L74 ʠ w3!v(Wf1αٰWxZzQ~s觞ˎN+_=&oqay-nU:p}WNyxnZ!\B8V#ڰ Pa F$rWS# <Rygr =g*n?ӣ,I~&v804R C{$FXY?IS*s†V% Iuk?rra@XU>:wUDJ`@"/A:s_̺4T6u65+2><06K1וOਛ,7fy$g0fnfa4\-e+53[_YSNf:8_ܖ(96sh>ztAێbibAe/,ܻF8 r!x=j5 3) zS8pZl,U8/524nGf2 j/"f2 X]@وGIXSչf>ޝ< p@ilŵFC4O.>3)uӫs,DlzV A,"=NoPNt[đ0%ym|!-L \@Q%Ԯk^Q\1eOv+ ўiKllǑHs+~ w8}VD?g }A=^m^J( n!hcP\UOT~TA bzHv9+]4אdPQjit;5^7Q{O#ng>zv9M?(dY ƀsm[Y;)ekn>m,OrC?<t[%iN@zICK9:y0T%L3\ 4!UP~ǽ4mb]ɦk5;foI>$6B>,SɑB#5LxeX$)zHQ hvhV)Nwf:bSuiDKd+~LvH-kkb- tʹ+n`%qF ӌbcCrV}P({s8 ,JVC8Wr 疈}iP&S|^!*͡7$,S3 ײ5qݙuy/&:k<\Tzu69#xh;zRϱC/D_:KktcY5(0i4F[8N!t|W{>X .R]tJ= G*VsMIK/=Y%kO GBg֓#3c8tqkXrK`F嫘O L~hoQ~gŧI~pFwnO(޳L$ ?䙻(ZvbkGly'P m$" Zu|dVYn;77֤U)Gſ[KIfZ Dzdؖ0^8x}MBvK3VBQhIN 3t[q=@_"`rGI$*>kzywK 4>Fu+8+j%rGb eyʊަ:-A}̅#A$ H>|Vueǻ/LEW,?eSܙŅt MOw&!|߽0RiV-'c'ni^蝧 Ȥ6Iuj EVh%S:lX?E+J^$Ֆ?v9ke 3ȧߊ,bA .aVٴ r>09O':`m}֏oᏥX7x~X3W# l[k:ůN[Ƕ4 4_n_kKV>Ҋއ ʾWtuX ,c{ j$(h>*FfQ0o#~mEPB0C/"tX3V|$yUz`fÇp[懳T֚F|֊ HRG94j몔SGݨdp6<8bϘٯ)Ȯ@w6)VrjDQ; ?ݨL[)e.7U[L`VJ Kn`qԈP"w#C ?""`*TiǫH2=$$)qX );oi6)IN{CT޵!j0to :XNXT | |4dQ_OXf1jf 3"XRrYz{aH`Fi*hĽ- &?DžVT#jsV YCݙMGQ2[O -Thʔn+)\bGsē̺\{i,uL4]kӉ«-k18 |y%Vөt eq793L cаeԔ oE\5C4eP P'MC֧WP(hدu\}&h5B s^lJ$ @{ݜ`NTKU:ܳ=QEӼƮ8?*$ 57q(q+]F% ` fxxO%pF,#qΗlSnRÈYG4r) hr&a6\T+F2D)HM ەϷ7a ;+]@aE hZC)tΞ`qWU䀖aC4/ײC筝d 8 Y͓Z7[0{~遥R4 }~ŵK Y97kve|DD^'T{R6nDtjB"gYZ7zXZִF! g]ŗXiɟ㶵fL4i=J|92ms;ә_t6eŤod#% o^F ӽ\)ǔ(@(^2T\1Vᗋ?q.`uT,9޿( 0=--rW|UTH;M10QY˝kY^mDw*3 ob%+I\^Kf ۺf,LMی $-zK"C*cI/ٮ&o%!8>%dkG1ё+C.P!\k] m1Hm\}Rʧv&gwFAgYZ7zXZִF! s+]ŗXi%L&ʷQw;$WRl;tu[?b0Epz[-8K*485JK4^yrh~fC (ﻙK}jXUcn3Ԅ.40Y3E U/Y^=dG.LM mVq ~N2@`)"ȨᡂVIfo~>P7J*u>!䷚7)6ڽgR}E<)3C$;Z Lf4Ё}hll1H% >U"A#@j\61<:$p n Bs{C8!Aiђ/ӹn G} ,4> M6'"qJdZ*$a'-V9*$y^tBYpxE`@O.Wm:rTH{& VQne%w+Dxy)7(Q$tvg? )*|9 T-\xHlmr?fvD/ı!LO!K3=\xz5e}'ٌ FY&#%-uAGJDDJ0^;^!Ӣ̅)|2RZ grAzf7\s yUm!4}. g|fWr\{4C9~7UV^fSKs1^z7R.'#8!3S?V .g$JL5:֘rw2O d/ EN{P]Y tey&'.6,y9b9O v1p4T'X1l_0d%Xdr;g֏$I}ϡd>G/rl`CZ|㟍sK, 2 { q9::)#?UGf; u'9b5$'[5~?g aQtlI5%G#31m) }pwDzʽ w{xwt>Gj㰢H?kJgšuo*uÿ5q/GFq5lt;_#7i~. .xxy#y݉( WhØP"Ӡ<p<ΧC;'KQ"eTt}G|XlH 8X꽛=qqSGWj*tg>=+;c{L>@l6*3*"[\`22t]z ZiҎÜ։yc1/jJ4*K*XU_Sm )Z5`CCɞzg7bjqY=Sm?W^f&T8xδ9+%&.{JH;,6wN|T}vY0u 35voUc\]6&dVZs A"0VeV3/9+$r:MoEv\ wKrh@{?nszZA#Up|>..8"@6΀o3\lML%~f![,I -2:gYZ4b6d916cd6a016766cfd9252ef46bfa9bb6544ec9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 4f050c8f038f5a1b4f489589efb7554243253ea9