预测特定区域每周的流感发病率一直是重要的问题。传染病专家及全球安全专家均认为,传染病对人类福祉构成了重大危害。尤以流感为甚,它每年攻击全世界的易感人群,造成数百人死亡,其中大多数是幼儿和老年人。从公共卫生和国家安全的角度,根据特定季节的流感发展规律开展精准的预测模型至关重要。无论是对于预测流感,还是对于帮助研究人员探索传染病如何传播的通用理论,流感预测模型都是有用的。

案例研究:发生在大都市的流感疫情

我们将分析从2004年到2013年法国各行政区域的每周流感报告得到的数据集,来预测法兰西岛大区的流感发病率。

1.探索和清洗数据

我们从熟悉原始数据开始,先以表格形式来查看数据。

flu = fread('french_flu.csv')
flu[,flu.rate:=as.numeric(TauxGrippe)]
head(flu)

我们同时做一些基本的质量检查工作,比如查找感兴趣的变量中是否有NA值。虽然我们不知道NA值从何而来,但仍需要留意它。

# 计算flu.rate列中缺失值所占的百分比
nrow(flu[is.na(flu.rate)]) / nrow(flu)
# 识别哪些地区在flu.rate数据中存在缺失值
unique(flu[is.na(flu.rate)]$region_name)

上述代码的作用是: 1.计算flu.rate列中缺失值所占的百分比 2.在数据框flu中找出flu.rate列有缺失值的那些行,并提取这些行中的region_name列,然后返回这些region_name值中的唯一值。这通常用于识别哪些地区在flu.rate数据中存在缺失值。

总体来看,NA数据点的占比不是很高。此外,我们感兴趣的区域(法兰西岛大区)不存在NA值。

我们再执行一些数据清洗操作,从时间戳字段中分别获取周和年部分(时间戳字段目前是字符格式,不是数字格式或时间戳格式)

flu[,year := as.numeric(substr(week,1,4))]
flu[,wk := as.numeric(substr(week,5,6))]

我们添加了一个Date类型的字段,这样就可以在绘图时更好地设置时间轴,而不是讲数据视为没有时间戳。

flu[,date:=as.Date(paste0(as.character(flu$week),"1"),"%Y%U%u")]
警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2009 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid警告: (0-based) yday 368 in year 2004 is invalid

然后,我们查看与法兰西岛大区相关的数据,并按日期排序。

# 我们仅关注法兰西岛大区
paris.flu = flu[region_name == "ILE-DE-FRANCE"]
paris.flu = paris.flu[order(date,decreasing = FALSE)]

paris.flu[,.(week,date,flu.rate)]

如果留意行数,你也许会感到吃惊。如果说一年有52周,我们有10年的数据,为什么会有522行?我们原本期望得到520行(52×10=520)。此外,为什么会有两个NA日期?如果再看看原始数据,你就会得到答案。2004年和2009年似乎都有第53周。每隔几年就有一个53周而非52周的年份,这不是错误,而是公历系统的一部分。

我们首先要检查数据采样是完整且规律的,并确保每年有相同数量的数据点。

paris.flu[,.N,year]

我们可以看到,数据符合预期,也就是说,每年(除了刚才讨论的那两年)有52周,且每周有10个数据点(第53周除外)

现在我们已经考虑了数据的时间戳,接下来要检查时间序列的实际值(到目前为止,我们只考虑过时间索引)。是否存在某种趋势或季节性?让我们找找看。

paris.flu[,plot(date,flu.rate,
                type = "l",xlab = "Date",ylab="Flu rate"
                )]
NULL

透过简单的折线图,可以清楚地看出存在明显的季节性。虽然上图展示了明显的季节性成分,却没有显示出在季节性之外存在时间偏移。

季节性行为使第53周的情况变得复杂。如果我们想拟合一个季节性模型,就需要根据一年中的周数来定义季节性,并且季节长度不可变(第3章讨论过,这是区分周期和季节的依据)。尽管我们可以设想一些解决第53周问题的创造性方案,但本例将做简单处理,即清除这些数据。

paris.flu <- paris.flu[week != 53]

2.拟合季节性差分自回归移动平均模型

由于数据具有很强的季节性,我们首先考虑对数据拟合一个季节性差分自回归移动平均(SARIMA)模型。在本例中,由于数据每周采样一次,因此数据的周期是52.我们想选择一个简洁的模型,这是因为我们的时间序列不是特别长,只有520个数据点。

这个例子很好地说明,如果过于依赖自动化方法拟合模型,那我们将误入歧途。举例来说,我们可能首先考虑是否对数据进行差分,因此可以绘制流感发病率的自相关函数图和差分后的时间序列的自相关函数图,如下所示:

acf(paris.flu$flu.rate)

acf(diff(paris.flu$flu.rate,52))

流感发病率和差分后的时间序列的自相关函数图。我们只关注有限范围的滞后值。

如果我们粗心一些,可能会庆幸自己通过一次差分就解决了这个时间序列的平稳性问题。但这一点儿也说不通。这是每周的数据,并且我们观察到数据具有很强的季节性。为什么我们在自相关函数图中无法看到这一点?这是因为我们使用了acf()函数的默认参数。这些参数没有为我们展示足够远的滞后距离来让我们观察到季节性影响,而已知季节性开始于滞后值52(一年)。让我们用一个足够大的窗口来重新执行acf(),如下所示。

acf(paris.flu$flu.rate,lag.max = 104)

acf(diff(paris.flu$flu.rate,52),lag.max = 104)

流感发病率和差分后的时间序列的自相关函数图。现在我们扩大了滞后值范围。

这让我们对时间序列的自相关性有了更真实的了解。正如我们所看到的,在不同的滞后值处存在很强的自相关性。对于生活在四季变换的世界中的我们来说,这张图才是合理的。而流感发病率与临近的几周有很强的相关性,也就是与测量时间接近的几周。

考虑到季节性,流感发病率与滞后值为52或104的时间周期也有很强的相关性,这表示每年的季节性。不过,流感发病率也与滞后量为中间值的时间周期(比如半年,即26周)有相当强的关系,因为这种滞后还与季节差异和可预测的天气变化有关。举例来说,我们知道在半年内流感发病率可能会有很大的变化。如果早些时候流感发病率很高,现在应该很低,且反之亦然,这同样是由于季节性。

然后我们查看差分序列。我们可以看到,大量的时间序列自相关性已经被削弱。不过,在取值范围内仍然存在明显的自相关性,不仅是52或104(一年或两年),中间值也是如此。

尽管我们可能想继续差分,但需要记住,现实世界的数据永远不可能完全拟合季节性差分自回归移动平均模型。但我们要寻求最合理的方法来对数据建模,可以考虑根据季节性进行差分,或者采取不同的策略,指定某个时间范围进行差分。如下所示:

plot(diff(diff(paris.flu$flu.rate,52),52))

plot(diff(diff(paris.flu$flu.rate,52),1))

以两种方式对时间序列进行差分,以了解数据的季节性行为。

虽然两个结果都不理想,但相比之下,后者(季节性差分又再进行一阶差分)更令人满意。

关于拟合的决定或参数的选择是一个判断问题,与应用测试的问题类似。我们对清楚观察到的季节性赋予权重,但也不要使模型过于复杂或难懂。因此,在SARIMA(p,d,q),(P,D,Q)模型中,我们将分别采用d=1和D=1。然后,我们为标准ARIMA参数p和q选择AR参数和MA参数。使用以下代码,我们来进行标准可视化。如下所示:

par(mfrow=c(2,1))
acf (diff(diff(paris.flu$flu.rate,52),1),lag.max = 104)
pacf (diff(diff(paris.flu$flu.rate,52),1),lag.max = 104)

我们选择的差分序列的部分自相关函数图。

我们的数据集规模有限,如果使用太简单的模型就容易出错。PACF模型表明AR(2)模型是合适的,因此我们简单地将数据建模为SARIMA(2,1,0),(0,1,0) *********上面这步是怎么得到的?**********

我们想知道,如果不断地让模型拟合新数据(大多数为现实世界构建的模型正是如此),那么这个模型的性能会如何。也就是说,如果我们在几年前就开始对流感数据建模,每周只用当时可用的数据建模,那么模型的效果会怎样?我们通过前向滚动拟合和评估的过程来回答这个问题。

LS0tDQp0aXRsZTogIuesrDEz56ugIOa1geaEn+mihOa1iyINCm91dHB1dDogaHRtbF9ub3RlYm9vayANCi0tLQ0KDQrpooTmtYvnibnlrprljLrln5/mr4/lkajnmoTmtYHmhJ/lj5Hnl4XnjofkuIDnm7TmmK/ph43opoHnmoTpl67popjjgILkvKDmn5Pnl4XkuJPlrrblj4rlhajnkIPlronlhajkuJPlrrblnYforqTkuLrvvIzkvKDmn5Pnl4Xlr7nkurrnsbvnpo/npYnmnoTmiJDkuobph43lpKfljbHlrrPjgILlsKTku6XmtYHmhJ/kuLrnlJrvvIzlroPmr4/lubTmlLvlh7vlhajkuJbnlYznmoTmmJPmhJ/kurrnvqTvvIzpgKDmiJDmlbDnmb7kurrmrbvkuqHvvIzlhbbkuK3lpKflpJrmlbDmmK/lubzlhL/lkozogIHlubTkurrjgILku47lhazlhbHljavnlJ/lkozlm73lrrblronlhajnmoTop5LluqbvvIzmoLnmja7nibnlrprlraPoioLnmoTmtYHmhJ/lj5HlsZXop4TlvovlvIDlsZXnsr7lh4bnmoTpooTmtYvmqKHlnovoh7PlhbPph43opoHjgILml6DorrrmmK/lr7nkuo7pooTmtYvmtYHmhJ/vvIzov5jmmK/lr7nkuo7luK7liqnnoJTnqbbkurrlkZjmjqLntKLkvKDmn5Pnl4XlpoLkvZXkvKDmkq3nmoTpgJrnlKjnkIborrrvvIzmtYHmhJ/pooTmtYvmqKHlnovpg73mmK/mnInnlKjnmoTjgIINCg0KIyMg5qGI5L6L56CU56m277ya5Y+R55Sf5Zyo5aSn6YO95biC55qE5rWB5oSf55ar5oOFDQoNCuaIkeS7rOWwhuWIhuaekOS7jjIwMDTlubTliLAyMDEz5bm05rOV5Zu95ZCE6KGM5pS/5Yy65Z+f55qE5q+P5ZGo5rWB5oSf5oql5ZGK5b6X5Yiw55qE5pWw5o2u6ZuG77yM5p2l6aKE5rWL5rOV5YWw6KW/5bKb5aSn5Yy655qE5rWB5oSf5Y+R55eF546H44CCDQoNCiMjIyAxLuaOoue0ouWSjOa4hea0l+aVsOaNrg0KDQrmiJHku6zku47nhp/mgonljp/lp4vmlbDmja7lvIDlp4vvvIzlhYjku6XooajmoLzlvaLlvI/mnaXmn6XnnIvmlbDmja7jgIINCg0KYGBge3J9DQpmbHUgPSBmcmVhZCgnZnJlbmNoX2ZsdS5jc3YnKQ0KZmx1WyxmbHUucmF0ZTo9YXMubnVtZXJpYyhUYXV4R3JpcHBlKV0NCmhlYWQoZmx1KQ0KYGBgDQoNCuaIkeS7rOWQjOaXtuWBmuS4gOS6m+WfuuacrOeahOi0qOmHj+ajgOafpeW3peS9nO+8jOavlOWmguafpeaJvuaEn+WFtOi2o+eahOWPmOmHj+S4reaYr+WQpuaciU5B5YC844CC6Jm954S25oiR5Lus5LiN55+l6YGTTkHlgLzku47kvZXogIzmnaXvvIzkvYbku43pnIDopoHnlZnmhI/lroPjgIINCg0KYGBge3J9DQojIOiuoeeul2ZsdS5yYXRl5YiX5Lit57y65aSx5YC85omA5Y2g55qE55m+5YiG5q+UDQpucm93KGZsdVtpcy5uYShmbHUucmF0ZSldKSAvIG5yb3coZmx1KQ0KIyDor4bliKvlk6rkupvlnLDljLrlnKhmbHUucmF0ZeaVsOaNruS4reWtmOWcqOe8uuWkseWAvA0KdW5pcXVlKGZsdVtpcy5uYShmbHUucmF0ZSldJHJlZ2lvbl9uYW1lKQ0KYGBgDQoNCuS4iui/sOS7o+eggeeahOS9nOeUqOaYr++8mg0KMS7orqHnrpdmbHUucmF0ZeWIl+S4ree8uuWkseWAvOaJgOWNoOeahOeZvuWIhuavlCANCjIu5Zyo5pWw5o2u5qGGZmx15Lit5om+5Ye6Zmx1LnJhdGXliJfmnInnvLrlpLHlgLznmoTpgqPkupvooYzvvIzlubbmj5Dlj5bov5nkupvooYzkuK3nmoRyZWdpb25fbmFtZeWIl++8jOeEtuWQjui/lOWbnui/meS6m3JlZ2lvbl9uYW1l5YC85Lit55qE5ZSv5LiA5YC844CC6L+Z6YCa5bi455So5LqO6K+G5Yir5ZOq5Lqb5Zyw5Yy65ZyoZmx1LnJhdGXmlbDmja7kuK3lrZjlnKjnvLrlpLHlgLzjgIINCg0K5oC75L2T5p2l55yL77yMTkHmlbDmja7ngrnnmoTljaDmr5TkuI3mmK/lvojpq5jjgILmraTlpJbvvIzmiJHku6zmhJ/lhbTotqPnmoTljLrln5/vvIjms5XlhbDopb/lspvlpKfljLrvvInkuI3lrZjlnKhOQeWAvOOAgg0KDQrmiJHku6zlho3miafooYzkuIDkupvmlbDmja7muIXmtJfmk43kvZzvvIzku47ml7bpl7TmiLPlrZfmrrXkuK3liIbliKvojrflj5blkajlkozlubTpg6jliIbvvIjml7bpl7TmiLPlrZfmrrXnm67liY3mmK/lrZfnrKbmoLzlvI/vvIzkuI3mmK/mlbDlrZfmoLzlvI/miJbml7bpl7TmiLPmoLzlvI/vvIkNCmBgYHtyfQ0KZmx1Wyx5ZWFyIDo9IGFzLm51bWVyaWMoc3Vic3RyKHdlZWssMSw0KSldDQpmbHVbLHdrIDo9IGFzLm51bWVyaWMoc3Vic3RyKHdlZWssNSw2KSldDQpgYGANCuaIkeS7rOa3u+WKoOS6huS4gOS4qkRhdGXnsbvlnovnmoTlrZfmrrXvvIzov5nmoLflsLHlj6/ku6XlnKjnu5jlm77ml7bmm7Tlpb3lnLDorr7nva7ml7bpl7TovbTvvIzogIzkuI3mmK/orrLmlbDmja7op4bkuLrmsqHmnInml7bpl7TmiLPjgIINCmBgYHtyfQ0KZmx1WyxkYXRlOj1hcy5EYXRlKHBhc3RlMChhcy5jaGFyYWN0ZXIoZmx1JHdlZWspLCIxIiksIiVZJVUldSIpXQ0KYGBgDQoNCueEtuWQju+8jOaIkeS7rOafpeeci+S4juazleWFsOilv+Wym+Wkp+WMuuebuOWFs+eahOaVsOaNru+8jOW5tuaMieaXpeacn+aOkuW6j+OAgg0KYGBge3J9DQojIOaIkeS7rOS7heWFs+azqOazleWFsOilv+Wym+Wkp+WMug0KcGFyaXMuZmx1ID0gZmx1W3JlZ2lvbl9uYW1lID09ICJJTEUtREUtRlJBTkNFIl0NCnBhcmlzLmZsdSA9IHBhcmlzLmZsdVtvcmRlcihkYXRlLGRlY3JlYXNpbmcgPSBGQUxTRSldDQoNCnBhcmlzLmZsdVssLih3ZWVrLGRhdGUsZmx1LnJhdGUpXQ0KYGBgDQoNCuWmguaenOeVmeaEj+ihjOaVsO+8jOS9oOS5n+iuuOS8muaEn+WIsOWQg+aDiuOAguWmguaenOivtOS4gOW5tOaciTUy5ZGo77yM5oiR5Lus5pyJMTDlubTnmoTmlbDmja7vvIzkuLrku4DkuYjkvJrmnIk1MjLooYzvvJ/miJHku6zljp/mnKzmnJ/mnJvlvpfliLA1MjDooYzvvIg1MsOXMTA9NTIw77yJ44CC5q2k5aSW77yM5Li65LuA5LmI5Lya5pyJ5Lik5LiqTkHml6XmnJ/vvJ/lpoLmnpzlho3nnIvnnIvljp/lp4vmlbDmja7vvIzkvaDlsLHkvJrlvpfliLDnrZTmoYjjgIIyMDA05bm05ZKMMjAwOeW5tOS8vOS5jumDveacieesrDUz5ZGo44CC5q+P6ZqU5Yeg5bm05bCx5pyJ5LiA5LiqNTPlkajogIzpnZ41MuWRqOeahOW5tOS7ve+8jOi/meS4jeaYr+mUmeivr++8jOiAjOaYr+WFrOWOhuezu+e7n+eahOS4gOmDqOWIhuOAgg0KDQrmiJHku6zpppblhYjopoHmo4Dmn6XmlbDmja7ph4fmoLfmmK/lrozmlbTkuJTop4TlvovnmoTvvIzlubbnoa7kv53mr4/lubTmnInnm7jlkIzmlbDph4/nmoTmlbDmja7ngrnjgIINCg0KYGBge3J9DQojIOagueaNrnllYXLliJfov5vooYzliIbnu4TvvIzlubborqHnrpfmr4/nu4TnmoTooYzmlbDvvIjljbPmr4/kuKrlubTku73kuK3mnInlpJrlsJHooYzmlbDmja7vvInjgIINCnBhcmlzLmZsdVssLk4seWVhcl0NCmBgYA0KDQpgYGB7cn0NCnBhcmlzLmZsdVssLk4sd2tdDQpgYGANCg0K5oiR5Lus5Y+v5Lul55yL5Yiw77yM5pWw5o2u56ym5ZCI6aKE5pyf77yM5Lmf5bCx5piv6K+077yM5q+P5bm077yI6Zmk5LqG5Yia5omN6K6o6K6655qE6YKj5Lik5bm077yJ5pyJNTLlkajvvIzkuJTmr4/lkajmnIkxMOS4quaVsOaNrueCue+8iOesrDUz5ZGo6Zmk5aSW77yJDQoNCueOsOWcqOaIkeS7rOW3sue7j+iAg+iZkeS6huaVsOaNrueahOaXtumXtOaIs++8jOaOpeS4i+adpeimgeajgOafpeaXtumXtOW6j+WIl+eahOWunumZheWAvO+8iOWIsOebruWJjeS4uuatou+8jOaIkeS7rOWPquiAg+iZkei/h+aXtumXtOe0ouW8le+8ieOAguaYr+WQpuWtmOWcqOafkOenjei2i+WKv+aIluWto+iKguaAp++8n+iuqeaIkeS7rOaJvuaJvueci+OAgg0KYGBge3J9DQpwYXJpcy5mbHVbLCBwbG90KGRhdGUsIGZsdS5yYXRlLA0KICAgICAgICAgICAgICAgICB0eXBlID0gImwiLCAgICMg5oyH5a6a5Zu+55qE57G75Z6L5Li65oqY57q/5Zu+DQogICAgICAgICAgICAgICAgIHhsYWIgPSAiRGF0ZSIsICMg6K6+572u5qiq6L205qCH562+5Li6ICJEYXRlIg0KICAgICAgICAgICAgICAgICB5bGFiID0gIkZsdSByYXRlIiAjIOiuvue9rue6tei9tOagh+etvuS4uiAiRmx1IHJhdGUiDQopXQ0KDQpgYGANCumAj+i/h+eugOWNleeahOaKmOe6v+Wbvu+8jOWPr+S7pea4healmuWcsOeci+WHuuWtmOWcqOaYjuaYvueahOWto+iKguaAp+OAguiZveeEtuS4iuWbvuWxleekuuS6huaYjuaYvueahOWto+iKguaAp+aIkOWIhu+8jOWNtOayoeacieaYvuekuuWHuuWcqOWto+iKguaAp+S5i+WkluWtmOWcqOaXtumXtOWBj+enu+OAgg0KDQrlraPoioLmgKfooYzkuLrkvb/nrKw1M+WRqOeahOaDheWGteWPmOW+l+WkjeadguOAguWmguaenOaIkeS7rOaDs+aLn+WQiOS4gOS4quWto+iKguaAp+aooeWei++8jOWwsemcgOimgeagueaNruS4gOW5tOS4reeahOWRqOaVsOadpeWumuS5ieWto+iKguaAp++8jOW5tuS4lOWto+iKgumVv+W6puS4jeWPr+WPmO+8iOesrDPnq6Dorqjorrrov4fvvIzov5nmmK/ljLrliIblkajmnJ/lkozlraPoioLnmoTkvp3mja7vvInjgILlsL3nrqHmiJHku6zlj6/ku6Xorr7mg7PkuIDkupvop6PlhrPnrKw1M+WRqOmXrumimOeahOWIm+mAoOaAp+aWueahiO+8jOS9huacrOS+i+WwhuWBmueugOWNleWkhOeQhu+8jOWNs+a4hemZpOi/meS6m+aVsOaNruOAgg0KDQpgYGB7cn0NCnBhcmlzLmZsdSA8LSBwYXJpcy5mbHVbd2VlayAhPSA1M10NCmBgYA0KDQojIyMgMi7mi5/lkIjlraPoioLmgKflt67liIboh6rlm57lvZLnp7vliqjlubPlnYfmqKHlnosNCueUseS6juaVsOaNruWFt+acieW+iOW8uueahOWto+iKguaAp++8jOaIkeS7rOmmluWFiOiAg+iZkeWvueaVsOaNruaLn+WQiOS4gOS4quWto+iKguaAp+W3ruWIhuiHquWbnuW9kuenu+WKqOW5s+Wdh++8iFNBUklNQe+8ieaooeWei+OAguWcqOacrOS+i+S4re+8jOeUseS6juaVsOaNruavj+WRqOmHh+agt+S4gOasoe+8jOWboOatpOaVsOaNrueahOWRqOacn+aYrzUyLuaIkeS7rOaDs+mAieaLqeS4gOS4queugOa0geeahOaooeWei++8jOi/meaYr+WboOS4uuaIkeS7rOeahOaXtumXtOW6j+WIl+S4jeaYr+eJueWIq+mVv++8jOWPquaciTUyMOS4quaVsOaNrueCueOAgg0KDQrov5nkuKrkvovlrZDlvojlpb3lnLDor7TmmI7vvIzlpoLmnpzov4fkuo7kvp3otZboh6rliqjljJbmlrnms5Xmi5/lkIjmqKHlnovvvIzpgqPmiJHku6zlsIbor6/lhaXmrafpgJTjgILkuL7kvovmnaXor7TvvIzmiJHku6zlj6/og73pppblhYjogIPomZHmmK/lkKblr7nmlbDmja7ov5vooYzlt67liIbvvIzlm6DmraTlj6/ku6Xnu5jliLbmtYHmhJ/lj5Hnl4XnjofnmoToh6rnm7jlhbPlh73mlbDlm77lkozlt67liIblkI7nmoTml7bpl7Tluo/liJfnmoToh6rnm7jlhbPlh73mlbDlm77vvIzlpoLkuIvmiYDnpLrvvJoNCmBgYHtyfQ0KYWNmKHBhcmlzLmZsdSRmbHUucmF0ZSkNCmFjZihkaWZmKHBhcmlzLmZsdSRmbHUucmF0ZSw1MikpDQpgYGANCua1geaEn+WPkeeXheeOh+WSjOW3ruWIhuWQjueahOaXtumXtOW6j+WIl+eahOiHquebuOWFs+WHveaVsOWbvuOAguaIkeS7rOWPquWFs+azqOaciemZkOiMg+WbtOeahOa7nuWQjuWAvOOAgg0KDQrlpoLmnpzmiJHku6znspflv4PkuIDkupvvvIzlj6/og73kvJrluoblubjoh6rlt7HpgJrov4fkuIDmrKHlt67liIblsLHop6PlhrPkuobov5nkuKrml7bpl7Tluo/liJfnmoTlubPnqLPmgKfpl67popjjgILkvYbov5nkuIDngrnlhL/kuZ/or7TkuI3pgJrjgILov5nmmK/mr4/lkajnmoTmlbDmja7vvIzlubbkuJTmiJHku6zop4Llr5/liLDmlbDmja7lhbfmnInlvojlvLrnmoTlraPoioLmgKfjgILkuLrku4DkuYjmiJHku6zlnKjoh6rnm7jlhbPlh73mlbDlm77kuK3ml6Dms5XnnIvliLDov5nkuIDngrnvvJ/ov5nmmK/lm6DkuLrmiJHku6zkvb/nlKjkuoZhY2YoKeWHveaVsOeahOm7mOiupOWPguaVsOOAgui/meS6m+WPguaVsOayoeacieS4uuaIkeS7rOWxleekuui2s+Wkn+i/nOeahOa7nuWQjui3neemu+adpeiuqeaIkeS7rOinguWvn+WIsOWto+iKguaAp+W9seWTje+8jOiAjOW3suefpeWto+iKguaAp+W8gOWni+S6jua7nuWQjuWAvDUy77yI5LiA5bm077yJ44CC6K6p5oiR5Lus55So5LiA5Liq6Laz5aSf5aSn55qE56qX5Y+j5p2l6YeN5paw5omn6KGMYWNmKCnvvIzlpoLkuIvmiYDnpLrjgIINCmBgYHtyfQ0KYWNmKHBhcmlzLmZsdSRmbHUucmF0ZSxsYWcubWF4ID0gMTA0KQ0KYWNmKGRpZmYocGFyaXMuZmx1JGZsdS5yYXRlLDUyKSxsYWcubWF4ID0gMTA0KQ0KYGBgDQrmtYHmhJ/lj5Hnl4Xnjoflkozlt67liIblkI7nmoTml7bpl7Tluo/liJfnmoToh6rnm7jlhbPlh73mlbDlm77jgILnjrDlnKjmiJHku6zmianlpKfkuobmu57lkI7lgLzojIPlm7TjgIINCg0K6L+Z6K6p5oiR5Lus5a+55pe26Ze05bqP5YiX55qE6Ieq55u45YWz5oCn5pyJ5LqG5pu055yf5a6e55qE5LqG6Kej44CC5q2j5aaC5oiR5Lus5omA55yL5Yiw55qE77yM5Zyo5LiN5ZCM55qE5rue5ZCO5YC85aSE5a2Y5Zyo5b6I5by655qE6Ieq55u45YWz5oCn44CC5a+55LqO55Sf5rS75Zyo5Zub5a2j5Y+Y5o2i55qE5LiW55WM5Lit55qE5oiR5Lus5p2l6K+077yM6L+Z5byg5Zu+5omN5piv5ZCI55CG55qE44CC6ICM5rWB5oSf5Y+R55eF546H5LiO5Li06L+R55qE5Yeg5ZGo5pyJ5b6I5by655qE55u45YWz5oCn77yM5Lmf5bCx5piv5LiO5rWL6YeP5pe26Ze05o6l6L+R55qE5Yeg5ZGo44CCDQoNCuiAg+iZkeWIsOWto+iKguaAp++8jOa1geaEn+WPkeeXheeOh+S4jua7nuWQjuWAvOS4ujUy5oiWMTA055qE5pe26Ze05ZGo5pyf5Lmf5pyJ5b6I5by655qE55u45YWz5oCn77yM6L+Z6KGo56S65q+P5bm055qE5a2j6IqC5oCn44CC5LiN6L+H77yM5rWB5oSf5Y+R55eF546H5Lmf5LiO5rue5ZCO6YeP5Li65Lit6Ze05YC855qE5pe26Ze05ZGo5pyf77yI5q+U5aaC5Y2K5bm077yM5Y2zMjblkajvvInmnInnm7jlvZPlvLrnmoTlhbPns7vvvIzlm6DkuLrov5nnp43mu57lkI7ov5jkuI7lraPoioLlt67lvILlkozlj6/pooTmtYvnmoTlpKnmsJTlj5jljJbmnInlhbPjgILkuL7kvovmnaXor7TvvIzmiJHku6znn6XpgZPlnKjljYrlubTlhoXmtYHmhJ/lj5Hnl4Xnjoflj6/og73kvJrmnInlvojlpKfnmoTlj5jljJbjgILlpoLmnpzml6nkupvml7blgJnmtYHmhJ/lj5Hnl4Xnjoflvojpq5jvvIznjrDlnKjlupTor6XlvojkvY7vvIzkuJTlj43kuYvkuqbnhLbvvIzov5nlkIzmoLfmmK/nlLHkuo7lraPoioLmgKfjgIINCg0K54S25ZCO5oiR5Lus5p+l55yL5beu5YiG5bqP5YiX44CC5oiR5Lus5Y+v5Lul55yL5Yiw77yM5aSn6YeP55qE5pe26Ze05bqP5YiX6Ieq55u45YWz5oCn5bey57uP6KKr5YmK5byx44CC5LiN6L+H77yM5Zyo5Y+W5YC86IyD5Zu05YaF5LuN54S25a2Y5Zyo5piO5pi+55qE6Ieq55u45YWz5oCn77yM5LiN5LuF5pivNTLmiJYxMDTvvIjkuIDlubTmiJbkuKTlubTvvInvvIzkuK3pl7TlgLzkuZ/mmK/lpoLmraTjgIINCg0K5bC9566h5oiR5Lus5Y+v6IO95oOz57un57ut5beu5YiG77yM5L2G6ZyA6KaB6K6w5L2P77yM546w5a6e5LiW55WM55qE5pWw5o2u5rC46L+c5LiN5Y+v6IO95a6M5YWo5ouf5ZCI5a2j6IqC5oCn5beu5YiG6Ieq5Zue5b2S56e75Yqo5bmz5Z2H5qih5Z6L44CC5L2G5oiR5Lus6KaB5a+75rGC5pyA5ZCI55CG55qE5pa55rOV5p2l5a+55pWw5o2u5bu65qih77yM5Y+v5Lul6ICD6JmR5qC55o2u5a2j6IqC5oCn6L+b6KGM5beu5YiG77yM5oiW6ICF6YeH5Y+W5LiN5ZCM55qE562W55Wl77yM5oyH5a6a5p+Q5Liq5pe26Ze06IyD5Zu06L+b6KGM5beu5YiG44CC5aaC5LiL5omA56S677yaDQpgYGB7cn0NCnBsb3QoZGlmZihkaWZmKHBhcmlzLmZsdSRmbHUucmF0ZSw1MiksNTIpKQ0KcGxvdChkaWZmKGRpZmYocGFyaXMuZmx1JGZsdS5yYXRlLDUyKSwxKSkNCmBgYA0K5Lul5Lik56eN5pa55byP5a+55pe26Ze05bqP5YiX6L+b6KGM5beu5YiG77yM5Lul5LqG6Kej5pWw5o2u55qE5a2j6IqC5oCn6KGM5Li644CCDQoNCuiZveeEtuS4pOS4que7k+aenOmDveS4jeeQhuaDs++8jOS9huebuOavlOS5i+S4i++8jOWQjuiAhe+8iOWto+iKguaAp+W3ruWIhuWPiOWGjei/m+ihjOS4gOmYtuW3ruWIhu+8ieabtOS7pOS6uua7oeaEj+OAgg0KDQrlhbPkuo7mi5/lkIjnmoTlhrPlrprmiJblj4LmlbDnmoTpgInmi6nmmK/kuIDkuKrliKTmlq3pl67popjvvIzkuI7lupTnlKjmtYvor5XnmoTpl67popjnsbvkvLzjgILmiJHku6zlr7nmuIXmpZrop4Llr5/liLDnmoTlraPoioLmgKfotYvkuojmnYPph43vvIzkvYbkuZ/kuI3opoHkvb/mqKHlnovov4fkuo7lpI3mnYLmiJbpmr7mh4LjgILlm6DmraTvvIzlnKhTQVJJTUEocCxkLHEpLChQLEQsUSnmqKHlnovkuK3vvIzmiJHku6zlsIbliIbliKvph4fnlKhkPTHlkoxEPTHjgILnhLblkI7vvIzmiJHku6zkuLrmoIflh4ZBUklNQeWPguaVsHDlkoxx6YCJ5oupQVLlj4LmlbDlkoxNQeWPguaVsOOAguS9v+eUqOS7peS4i+S7o+egge+8jOaIkeS7rOadpei/m+ihjOagh+WHhuWPr+inhuWMluOAguWmguS4i+aJgOekuu+8mg0KDQpgYGB7cn0NCnBhcihtZnJvdz1jKDIsMSkpDQphY2YgKGRpZmYoZGlmZihwYXJpcy5mbHUkZmx1LnJhdGUsNTIpLDEpLGxhZy5tYXggPSAxMDQpDQpwYWNmIChkaWZmKGRpZmYocGFyaXMuZmx1JGZsdS5yYXRlLDUyKSwxKSxsYWcubWF4ID0gMTA0KQ0KYGBgDQrmiJHku6zpgInmi6nnmoTlt67liIbluo/liJfnmoTpg6jliIboh6rnm7jlhbPlh73mlbDlm77jgIINCg0K5oiR5Lus55qE5pWw5o2u6ZuG6KeE5qih5pyJ6ZmQ77yM5aaC5p6c5L2/55So5aSq566A5Y2V55qE5qih5Z6L5bCx5a655piT5Ye66ZSZ44CCUEFDRuaooeWei+ihqOaYjkFSKDIp5qih5Z6L5piv5ZCI6YCC55qE77yM5Zug5q2k5oiR5Lus566A5Y2V5Zyw5bCG5pWw5o2u5bu65qih5Li6U0FSSU1BKDIsMSwwKSwoMCwxLDApDQoqKioqKioqKirkuIrpnaLov5nmraXmmK/mgI7kuYjlvpfliLDnmoTvvJ8qKioqKioqKioqDQoNCuaIkeS7rOaDs+efpemBk++8jOWmguaenOS4jeaWreWcsOiuqeaooeWei+aLn+WQiOaWsOaVsOaNru+8iOWkp+WkmuaVsOS4uueOsOWunuS4lueVjOaehOW7uueahOaooeWei+ato+aYr+WmguatpO+8ie+8jOmCo+S5iOi/meS4quaooeWei+eahOaAp+iDveS8muWmguS9leOAguS5n+WwseaYr+ivtO+8jOWmguaenOaIkeS7rOWcqOWHoOW5tOWJjeWwseW8gOWni+Wvuea1geaEn+aVsOaNruW7uuaooe+8jOavj+WRqOWPqueUqOW9k+aXtuWPr+eUqOeahOaVsOaNruW7uuaooe+8jOmCo+S5iOaooeWei+eahOaViOaenOS8muaAjuagt++8n+aIkeS7rOmAmui/h+WJjeWQkea7muWKqOaLn+WQiOWSjOivhOS8sOeahOi/h+eoi+adpeWbnuetlOi/meS4qumXrumimOOAgg==