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 3|Lt ]]LLL_Basis_Reduction:threads=2elapsed=469.782cpu=848.452gc=45.536factor=1.817zXZִF! m']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dޢ__rݼ^8Z7M*MC!=sy=Q\-ד4>9q焈"ɝ6j 5g Y7$aqfu)'WΖO%G[KᥛNLMfse/{o< ّ;erXFE۸p6&-ɒ4}F d,O%{ @nNLS2L%/ faCSh%:W1lt 3 LLL_Basis_Reduction  C5/Ig۔xFf/,k6'a5^';ɺs|a$Td+sxUڼeb7Y4јq5?<D5;v?5wWl-\9:o: uМg V]|6@)Ƶ&eJ7۵xtyc!X6^dÿ̅X̩R*#AhsyPwVoGiM;/TmVaqtma(o7~J@}2ݳhI!Z6Hҵ7?ÛJ'wN[+7@$D;`kQޝP~+n'n{,2h2.oYir`n l HmJvGe  N`t8x 03 avBtH0 iՊ_}Kٸw9|hjEzŪW[i1xG J 1̏N# ҋ#㟓1;@۩Hqہdye$ȷw?9;jO?(8xn:z卢-Zҩ̗/ \uE [+K! ˙5/Y,_C pLH$Zw hgyusRٌS!LդwѠ ~LUcS{rNBct(@N8N/k(#iG+PZEz;3=NbYsF.`VĬINî+ TQrVdzKzX $k|mٳF7:666O~_uH6TMC#>m_Jg? .J@Q30 Vz:ȂK<,QV#G,Umog0LѸRjy>;r SǘEX%nwZ1MTW#rQEYЩTXWN Z鶰34d5?->_P/@CэyH!{,,1'0i])ނ2C\ íp MN &l T81>Ǎkk2DKh%r|dBd7>B"hǬ_KGk~{>M4fC=,`ӳ W*Z gȧ1/9]wJ7BNM5fo@aWW5y Df|'7#Fv~?V3q!oH̱҃wM߬Lu|GK ݑ"}ts ?v""a"DW~, 9DK`LO"Jj/zl `y:) !aGߧD{ OnbIwp? ~ 08n5g" sY}=5T4O͒&J%촴$/Y /3 nC@дɁ|&%XDqh.MwIbDsuoglQ ÁPE*A$L3s>]$.>z 6boQtƛz*]$x0\;~i(90N>MM_Wc+yϺUl;`LkѦ50TL8Y 2#+׋М>0}a^Nm_ +1(`"zyV\ (gT$ (G4VxI@JtW/@R=+jzym6ؔrנfXa&*ᖿʵ{67%*4dyP{TQDҨL `G ׫G OR KEm-]LET TU+ @] !d =%Dr 5QhJfy,ydQD(ЫUӺX$;A#8}SYjEc;PRk|!ѥ6xBe> >GWkB 8sqeBÄ9# Uŧ^qP{Iz!g/Lsp9uuiᾓ(s?]S=t2ڼt%ɆlHifehs;ljXʌ$l\8NR>ÊJs^T{J_07ҦjzwsN:P8yN6A%̛ױ D#Tԕd9q([ZOu͞{8g2C6)%>!ZV5* ko`%M zj.Ѥg,u_@3JX8ADE`!)y@}98h Z0j<IAM-GBCyhd}$MRͼiz$Eo hD( zt$mamv b4]D[.nOf(0f# = ŀb~"Lg0oD|l"|Ȩ);804<G(V\w\uh'l)PJYbg`(ua&.K1o<3A$qI<#d2EoN'%`b?C9dZR('fcOǮ̗|`@3o<@zEAdL8k)o scCZdt=xӡ:*/P[j{ӷbr*qL\>%^, U0&X0g8-3 tXÉȮYFY -D{P5oB[}{ 8$1q!Z5O"OX%WV NXQx8/PSC٘MZrSY 1 F}j 3:Lrc>4|j{nWj *5DqmNy0sE9Y " Egн6bOoh4́.!3IIHAuJbgك7hŐ2m6}'~\Ot]O6mcZ_Q]``Fyca1Som>DsrwQemb!.+ԠHڡ%׻cB}'M㬅;Bs(j.@ȅ| n 3^~NؔJF,3]޼8( P.-^lMEuRW4nR˿[j/w -e~5/7z=&wBΑr?XqS->V{DIS hm䓼,G`GlS .b?h!<=b?QhC=SzJX= T@B@ϊD@o LyDaZy9Aػ#hs85BZXw<?A=T+HҚšot:*dPksXA+k}Weҳʤ ^j:k5Q?`5Ȉ9+xQfJU_+|WІ'<c~O+\[s9DCvym m,Eʊ;Uɵ$ hy>ԟ[$ #]_IŻ2#ŏMoeاwy_GS{vlVNƜ׾wVOpp\$㬆[u肎yT#Su 2/N&?0B+ v-BoHv&> ӞgЋMY76$V $MO3ui%)|/4lb^k#WNw8̅i,XG5:9,u5$ir=+Yriґ4^=7a~xj"Gעo=sr%y7 I[?\:.5-=kFy!q_$1XB7{-RS"e!فz-wFW\@$d;.g,b5?F0̻ gJ8g]b5[;_mTWJXe44`”F'2Ver ?lVaY3o%'[ `<̝@zEHCЏ*Gj#%cTr&-R]*x dwڿ< U.7bt㨾oh?`Jry_%8HTg0Sg88]2@3˦K=o֥>t6PC杆v4BWd3n]x֦-tCAc}UOhvmwj-*)>|x:l#3%&" X#q ,*7hIm-]3mf5ρI:/Ţ샞XlF(:9tzk=$<3M^ph(ë<ƀbGs[t=+Cv^zc~~#1qP#.$E$T^뻐AdwAaNUrN li@dm(zaDU@pav.'rq!>/u >8ʡg.Y3NI1(siWH<3o,3pkD"]=@!Ur}$vS? s>vpmTccN6UWp6meM !LhXp^&"w֏u!HI^QӋjnXq{[sA\ap-L3]'26S#Wy{ .Rlg! 2h@,zP>&,8e{: tj3M`NUTqm< %:jSVEQ\Qrjگ_LXUXOA O+o;H![TlM'O NZySKq;j *i0OImxCt2t(B?LLG#^ߒO4jQ+"R[ͨ pAUAmlt.0M=K3w=.H͌nHbݎ?gKRLB?S|UZP>~bX fQ,#77Q޳b9|LC?I v.\ 8P_γyplW1aXfv{*ÿh2BeEӤy'D -XBvLR->\m*c{?yߌ1ЌKF-^%)t p [Y&͈ةE\]m.mnҢ8 ''] `<}beW%q%16 t{Yt̄MSy;R=ճ1u,s„cfc",T>Ux"~Jo7vk`ŁMԱmv2dP^Ry~Dh &xM?00|?7E|w.C:5@uy":K#?N&ݳ#nVؚ2[op!1`N=UW3rmb!p.sT}hwcuȞ k\6q[|B+_y=qbԎ)'-1& s_o^Œ͕ߋiQ%=`F~Im1+y 5S",|.ߝcuf,-$L5Sb Iε9?fB,p4_wn׳{ԇȑ΄-Qd`rxV7V+L]jŰkp/SP@AyTg ʜy7NFLTvO_ρώb-v6,Z^+O=$= ѺWAͼ,e7aqG A?U7B}c,$ȜǺWN&|K-adk[ _fŒBn7h0mDO5@wQi"RxHfLemElss@݊&J@ئ1ajL0)ذmHN7SFx)RY ųt [B sdJRM> xG$|J:bmfPGLUj($+<؉+zÑ]IPZ=}8 ˪G4!d껈f,Զ~Nՠ "<@=@ڝŞa`'qxj4z,8BU$zeDDLȀF! ' u xcc>g( u@FANSH,k\](lw>3 SuزG3V8lXJ(ӛ  HDʵ;GN~G0e4r_PG=n&d 5?U76'1Eey$A0:-|d<~!/WXJ,a4 T5R_QC5),`ʐI7bo7;9;p.rY"H  !yA3J=y ~\"H*TrƁnD;_z'FAxDv3^n2K@T~_ճd8B;ǖ ćvǮc/bxfV,AWjZopMbA$g$|z F@EF[Z/3:) !wkEԚ? B64RDܚ_:s:EmsHz2ͻ\ZYױr;%j/!uxe{f{r>k{NwT! }3V@xB=6? Y͚x-d0*?:^/u%ΐi1!R'vX䆹RSEeKFptc[*M |.GKM6aJ딤݈0bu:2Hkc?a U6XWŇ>˲(ġJ?28_`:1j rF*0w6tl@II Y_:FQ1 VҢ O'u|V ڠW9i ud6^T XF˩&f݁/0ۧ撬현>dg[6@U )JĂբ~%Q`.\B}ŏBVDJW2fB^6;[f=LA_Y"HOxZX}K9^zn3Yϑ#dǀjfTK"GXp&嬌`7#ujS^&IIT c%y7$2*OH-'bB7 h7zmV#D^LV: y3~* *HE*(=P&H1_R`޷Q'D &Է0 LRmBo'Da}KƩU~k+Q<|21?y} ? M&~Vd3Xm1=WO;QQ6B|;<~2Ĩ= I1wՍmE^I3E2ċr1f=YRNc2oD-i1M.SMAaɬFE X'Og~XLm(|a3gH(CWRȚ6rg m=%y~Ϲ4rV+9=ixQuu|QsbZ`"cv@ 4%Ax56]n~i=A#-7|Ϟ4-np/{^ѬU']kM@Ҋul?2n] ܞ(xw˱n/sKpJgSs(2NI&|x{H[kGygBfzu%p Bwda(uvζ%Ts9t_Ѽd?$R1{) #9aWH᳢ k5\q&7tRn7Z~#z3G欏m 3zq*AB)au7,m Cez ׄMGͦ˿K?﮷ #ܢ;)g1o<|3q=ym%5(YFcetuYMɈ^czOܤ0@տu*;uGLxg0I`GP+]gcV_e`h6'/OF-#[TA*K9#{BQ!_Sp4t$ aǯgoen+Czb>d7I х6lu 8XjIUx˷6 Sx[R]@¡#|ܓUΕȸ#!?9w40,6Dig6mʯ`g&( jD4JJZ>-?K wIݵH}_SnZBֹLsJ_bR5 ;1Dc+fGEc~j0š0Kat ]d=C\32ݝ3otE ;H[GsϫWkR;qhIg:hy&P0:YB3K&D,%|N8l퓏"LB &* 3 ʠ&ތ.C<i2a:iKgx+u7?brGkeU?hW *{G3|oi{?v[4%BBźC2o %ZN_UPdt MM+7I!.q%r^vW>/ esN>ñ\ѯ=TT`?͛%EV b6_v is^S]slrXEο.H a@*4 *!~/>μ@BЪq~IƩ r3ȭɢ1/_Q/ԇيH3"[,Wxd#J@h2y[ ۡ0٢9Pĉ7Ǹ>Ϙ/m8`HcSKZYTJ!i-\H^oQ< * N[ 0E~T'<`"ϛ@7}-N99ݛpa?#pf'hT>: p!Z gdacMz>wWY !* ^jbmğf8]H jI&"I_R]mنɦQ5ul#r%w:r]gZqf<i\0  wաDp ƨ]?RiS a$۔4gu^e8p8Ĵ[¡b5ux_c ag1j˳yy6=AiW7ݺC{W=JF*&b2}Yƾm&˞Ɨ#>-= Έ)G@<S*Mat-,><".7Z#S obQJyzPHA ^7{ dU v:W]3(,t5ߓ`rgW`S†Н1׶H"0!iN@U>^U,U3WتAiUK#ӛY)&+0wf_燪/|ڽGD)Lp_rCG*'[FL|9Y~EedՒ m:u f\oi*)j%]ECVpFəe +=M2h }|(IQheZC2oǩo]"Zp@J\g2fuTvBͮf[ lW< ;OGV&CP:UT(\a+&Kp\J-0%j|M3GlL0 ͅ |uhKbbg)Tv*TmH n([ 7 RsW ÉZhi}$&g ЋV/^۪EEgvqO'8zLܺçW@,JXF,Y I(ֽ-0)#PBŶA35kݕxɊT>KFgZ$TBAG_W"ׂ!DZC(BQ2Y^"*XֲӖ1V(+49-ك^T9 s5=$ }zvv=DaWPGA:N|g B\--eo ӜZ#a) U@k!O0/1l5I3 oYuÓ]qW?5a޳,6/0=+٫, rv E8]S\2l!>$㴕,mĭCVsHwtǞ+CvFnmqhj*Cƾj_Vd 5ت4/ȫ%"ay"uP_SxZ'Ue|O}bۥPJ&͏c\S7{}-Yɚp\w2D\RѦ\:l| '];vN8&rǥ9Ǧ|oR)S9BǶ_H† %6j5nDRZ7mAɪd5-MVX~1wݲ\^g(^ d]̓?Tϱb갵ԙH6&՗(7~uRj/]Q՚ 3"N9I;> 0FB`dJGĩ3nVPd:&atZeOeMwfh&(íSHG!+mWJa鈣i̺Ʌn(ߨN) JʇK>LFY1E`bPI9g:R8Sceht[esVM2òCwlfG?qb qkIл0B^yq0jTɸ;-:)\Z*_ ,HuK_ʹOn;to\Epsin,St} 8O47lDNvI(*Kp޳1b\vhܰډޓY1bzM1|:v<-Hy?YIsg]&Q=oT|q vq3N@lUU1߰ 2]8fKt OIo o:iyrZS%g"!:+ih[=:[:ZYkDWEY8gVƩD2ӳ4aIcc>U"m*4,DBMw]++),uh{jH3 d̮ܮ0}.Ն<ԥĵ5`dқQh3[n{OSy(QQ#2.8\|QM869t"&V@4yB&؝ZrwH^ A\h LGrg2sWh?Ǟcs>0:M,3ۊ>4Wuz}"1Kt7pEF'tBTq'9ӓ$53-n9O q= f’ IC`9gr'bOvc- nzm Rz`]Rciy#-:$ϔxAG#>b+ [2m+4`_?Ax!EzPֺ<[:ȍ]yUJ{x`ѳUCU\dac{Y5Tv[2 Xcy6ɦ7q6\(17=UwЩp ~'8N6|)Lpj3pEoRm~t%&a ODѺsC<וS tg6&,IBƢ3C|sW\e:܀A& k_VڋK>U砂YcĂ{- du!Ӳln5 7[U Gz5MH }MQB)Cn*IcAes/3 gbNc4CCWl(8<3 ueqhooW6zRYCT䝏s^h?_v\'-YHToPnJ9 DLLWT>NVMb8s0W[v-E8Vty$:jy1H:!4e *c _OQ}Ox: !"1#Y{{螹ɢգf^Š=5h<fkkiQ1[SgH$i_"pA bCtjA>aZ 2dSE*C:ѝI=p(AkCkb6Z6(I:u'F}aƗ_W ɸG-..v` O YP6[VZ00dYу-2TNlm^ {kd@Dq{YI&[I3-Zv(*<`{<)ՋUWk\ŏ] ܘLmE`e\_nNET]0jnD9fd*||t.C4-HHHPג@b+_sin 0j TBU(ÀŔRg@[:~iVz9GǻGQ_hH,N;5OXĀÛ0b3ua(m-pކzShQI})C`k᫑:?T= ׸̽(M0D'ISFXWwaHDc.4l/#+E~NH?5-T c3'L p? I;("+ EV*8S ,6,.XuoU4ZMUo&'zg:z0>@$v7"Gbi`3#^IQ+<[ ~:-ۘs-f@R)EI&o!XD ܀Ѝr@R@zwTdm|+ļ~*.wm!o,ZZە憸1#.FfAЦ 6W4m|#>cqA\-jm$vm~fUy5Ѭs0* ^681d3#. p!;)wxa^ɚ_\!fjs1ЖpJJ@Fpp rRo]?+q ] d+Q~J%$eVMN+6g:sf H?}.P\J|x|Q]vVA`Gh>t&~2">Jy xE Y^M.NDdo ~ֳ`x"mT0 "g*}rN%"!' iD$&K_0~`nzցV9ش$Bbq_IcJ}@ ;kP9Vf\Ӿ[Z>4xK ?8!+7e6n"1Du N5}h,mOۖ,7C[N O@0nH}C ~*`LEBZ]MV%Fʎ{2|Vnڡ@-_)+Co"n T>gw'gDPj=?R(82Wir1^ εowa%Jo`iPH͟ wa@?G;qN-:-R\PVU{RJ^bVICb|Y XUõ78.uc܈y ̕%ua;I_rIZTC܀B¨e78M̪ 9ײ_߮l?O75wm"@?ͯ g{9c).QIx\AVt3Sm67 ,EtCu۷&oٶmv>UX׈m8<>8t&- 9?P%T+T~u#%I-յ(hmOl2Ed?b"ʶ-Z&3A4t|qoN{T.A]N?[KRS;nq KܤClf > ( uC#xw ko9Ɇ5+5/b})F5e~m!."/Amd/@@ra[SaHzф(Gtف(UE'6U2r5"?O*ѨzCk̓sYX-? M%( H-D$O~g;5݋Pw~sІ Of >ޏt|m0j:)^Y0U$TH8x&Y,ā '!*:-^9ht|]xC$n(G1scy ^(\[8Vִ{am?l}k)iI,%o؃6*|VYmm:Ғ'N}nMӂӉeApWsKt'0 Эaa3mOa޹޳Y-dŋAsGQ`nHK@. }t8OfxN1})K}!R_øoǿd.8.)Wo7\^U;K#h[H7爵 6I!a$Qcs/ִKNpi5Yw([ c8:p' GNݲ{t0sV2 DQ.6+ l{zx!zm\%Ξ^Ϻ+(1H{v*ŀ\ $BXUA3q 0r✲=AAEO?Aly[fq*r~X}f@b$7 :19=dR3sh8b{Yh]*,KtbeCmu/|r[;@xLc8M mٿB'U},cn֝ +`-EsHWm[s{o6&Ka\7(~^}'Xr%Z+Ⱦoad{#]ܷ.|d:쓻mB |3;ݟzC4ߎY@Htlin)"9ŏheO {^|x|a2~'`Uʖd"CHCIMbEEJ^sb *w k|\O2;k͌%6w]ITlLS(d7BħS^񅗯ث-&ר ٝ*B^7Rj[85Eq}MG!q`R{/#g2*(^(r(! +!܀d !7kKx533CDmRCurZX ,ҕײc{A:kuf ^WUdfѱ!Νp@xFn2l+gK4L4N3H(C#7eS{ ¦)Hȧ|Fi!<36>I<ܳDNNם`cr9|OXJkE*&HkB; nG$wkD`~a4OYU h U=3oqkWrႥ 3NMP3z)\\zLc']Iyv .͘GK IO"i_VИtŜO(q`~tpj@A1ZHtbS=H,iYl6NJ? {(<6LeUa x́'BtL^y ' k52^:v ^H`"Llgv݆xKAa&uf  1j$qF1nDAdq"\ B)rtoܟ Ք[2uar]sE+P$" AC#ht$=i5'įirDF9{]f|FaB^q`Ulq0Ut3o >@CI3_Gs?aa$vז^i]r`GӁ~zg2Q?՟,G_p`c7AsHi m k f?ѫ6-=kxwihσe. ͈,4%׵yp1,ÊZ$$#}xעu#yȦ`0D7*(Hiȏ;vv3)r,ـ@.i;'F#З+f52 R栅3mC.a>ėoX0saC,O}{C3="u6'sdRYrx2oA1]UB*))xHd gӏ[FfIyEdo/9[V86@Ub2%>?UYۀ"Tβ$-  Wge􈆽 MzoL!4ڧT1{Dͱ.4/Gъj($pԇ$ -}'q=rv 9i#װ7.I3JF}'uW> u{DN%eNPPk֣aXd˴ Jk[9~Z1O %a[xݐ&KWaH%<3:8Ml1wM8):XKsl4dD݅Pe|Z7#jb/@t_ѽ-x~K9ј~((ledBIS w>[XMRf u%^TI0s~r@T@ v6T"鴇kw]lk9t5FWi1h, #BLWpy:1L]9eR X/0ݦ|z0q)VbNIX zU$1PO!;<|6,S#{GzR%JKbrȿVJ13q t.-5P!v'ƷFfY ƺQA }[,%P"KfJm}S&z?&.pP \ a] vÙhrUo(%)02<"pN:){ug0kT|TXW"LP-6;f Lh0ڗO4{~603[MEn'IK)/M/<KN+G/"wPT(Hj]I=Mi0Β'%{Ex$م㔹vja0jhE3uڈz§ݺ9)[1d1[ (P_8E}wƌP'6?pxnx oeNZ.F` 4=6D^{B 5N3"Bƈ>C|֝N8t.ߪNT 'kA=IQOD蘠1'D]-Y':ldvJf9r-Q,:=4iO9BzIԾ5j,Y(+4G&qU I %G5dk-?Gaj'-Y?2ZRyD-s}#,틩`N!{)GtѵBw@-^ [@>%Ÿt'`f_3bVJUYfD/-\K\gNLX MoĽVUOGM=X;p]@s*X纭Ӧc\zx-o <㕚)S"dRܺP}k~B{Wax]W7Ywnsйq .pΔHTOQMC>Pӳg{U MG {8"S܆WS+ UN-#L ,NG ҋNoCƦ$4 Ps}EV⧬VţDnziqªO( ɉg6Ɍ7}߆#Ԕ#*1C\H&w J{Q>"}{ XFwQ;Qq%sGzA"KuJB\31{y]Z@sɐX6a6hֹrQpz*pJ]ER,00 /ht}nT1t򠞚; :CmM9pO(Y&xqڤkQv J!.iE D8\4ˑ+~_(wRQ1 ǘor'o_6O }g;^8 S0weNUQӆ߯$Q\2ܳe4Mm~C8%˵CL&FEk!F[Fv{Dy Z,²*7`'6rCEO);%$lZx&Bhhx}w+O[P`Kv"˭?zͲԾAU{͉ ڟW@+D):νqOolMY @Ѯʰ')Τ/TIv W6}N!;Mfo` Cn\ߞ痮8wc*<_E˜+mg^\Jb4+._{w.B~ OySs8d30FoUXKݷJ;#6~\A$2|a{ɋ#+ZtgquxB)')ghڜ4wm5(YpnwINm xmiԛ4t?S ҽr :*\]I%E˛8bά_MYELM{:Ϳ ~c: Ma}@\؆%&x,_C 1xJ{a<>-'C ,vs+}.U}1R"Gkm8޸H%Ml,y'ZO# u}Tb&,5V~BϭAx}[5,x]fNq_O*@$F6?tL;&S:ݩaw˭SNWR0Ce%AȲlc9·{COׅ:ue#yc)aO0NީDzMai`6I4$[|vLKhz. 7qbR-׳EE%OՅk6{:# 2{ ){_L ¿ A?nh:)\\\zql vLҿN\&Tk L,)b o WCr-mX!ӗ(x 2_2&pٝԊA?)*#ʝ{7ث`uFܡTcfb(c2,xVCRpg[r{ 1.  -1HY>nV}Ǡ =Il =1ZJ &+B.14wP+/b>;PYT鯮jڅp RDu4ӹƒC_R 5Vi[Ÿ.P,d'(WDEcR#K5s0[}O?c^-`zK!-`;@>R+9S"**ͩVqfwLm*gذp{C*f¶IKl3 cz !\vn>+ɫlA0Аb}%R - &BKOڲ&9#4$ n#ny/.8&*8;/Zd $ *ͤiSAOA{1*mI4d5˷(1 iX E.e2B-#7bR5MIo{5+!"%u# \=tC.a(85Mcڭ]mD+8}xS 5[2ڎ] i˦M+m;0'],uBvPp!YiH8w?AȞ.< f<9qaL%~d${p`s6dXg-^w8dH4cˢ\llBE0yzvRhLhT bҜزhӽ<^,EzSR+fLv1fyd< Wft.Ǩ4\ (G>Lẅ́aQ~98@->۳үkv,;*>ln.,K] iT'W@| 4x"\Vb|"M". RWY&p{ )xm+AQ<}TK"?wf:L $0" 'Sԍoǭ@Ҧ M5Qa  s>xr4q0U.x>dpai끯g\{D !;w˫  t8كU&i~zq}lZ:I&CQ7%;,չϤ9&N KgR2 7 a7SS(E8PZ{M gIȊRPNtbϣLf?AzrwPbZ~FMԭVvT"gi{@%xt~8iJB=--U 5fNx.j(dM"e}_nO+O|;=oPgjERVJ,AF\ѨG1-j "q-ha*0/1}e1Hd1 XhۨL k.Jm.DW<uv[z@xi٦+f:)"Jӥ\Y&?hȎ)?>b:y]4eZyY:xR#5)a,x*>1.DGŏ.=X]VBĔ_L2T}<cQ)!a9e Y3.JWxyf=ѓٶ5Kj^4R_#T4–Vu:!o렁5ި1COƢM|qx)RkpfϾv4٣,/uR9.cT'{N\+6js{C]`5HG{/|ٻNCwƔ]?]FH#gOZ]{q%NdIt!f,7xug _Xє1:xTBg:86=Z".'3y T1GFTMd-j_bX9't:ĴHV#n"q0pfNҦ!*sx3KoT?|dgeQkaq~hꕮͺyf:phǘ趰R#Qc# F;@uq9juT+64g1vc.!;qij?j=dZ#|w@%9~9huxڛwHXXnEyf#a2|j{yi`*o xr%Ck' k \5_c)Bf(eo3dUVoS천EY B1DcaaPZt5= F\QdDFw8@)m+57:}-tX=iQjž>OzT:SfSM. I+qXވK*ͮzʺDN{tCN,3E:De-5ZIΣ~ԧc솖ݲyw>jW=k֙A <Gv܍˦ߡ0h7D};&xGUe;q\&Qabi4[huέ=cX/$k0)׻`w߸$*W4COl򙌥nOM o2"~ D^8Ԅ;+<`s}Q44z~/+t$I&~W}g@x,>Pq s`qYs>V$vZ,d_vgKϢ^ %08&34DN;Gi⎆ߎtOZ 8 Of\@?ED YU5AҰ}z}9?{U C$s;lK Z j Nf7ܕI+ ϋlpH'cԋ$K!bЀ#J7-J.Bއ״ :%Pa\6v:!QGYxf| #cP}>5 hJ, 1!'s[ʶDEյYssw :$6CP|aLzYpO))L-"H@ R'QiYBdɪEf.7<1djC猟JÁK,-A ?O?6az]Ev3͐e1K}K|t*[HZ]CxJ}.lƂ59Q8K;_X Y 3bw_EBOҹ齿BaP4 xK 4?_b`et"m³hm*`l:/3b$MS,`Qߞ6GOu59oݢ|{"#7 ^zD1S7:/cwew)wc{ɳW]-ƣc.߭e1(2: kG4ߘEv捪 봿:Ie@Eyf]L eXlsBX7 *ńddJOϵeOU9)sT;ƺ0vGrG̾bªv7^nncYbP\M,8\\{TCT]WuT*Ɩי)DuZʬ:^GZդ N;>hTƂ=]uM~rɕn$bЬ9vqw|G_^n)BnZRҚg8YN/R}rc"S.1NwUUi bҾzm`ph'ᅬg|6Z zH7MlXށg1J&0ܖ[u_UA2`8o I2ZPgc2?Uj@^}΍.g9qVT&䔰jb \v{yhIaYMRk8z@_f# 'hH@pBEIز\%xM0"Cpiv' ƆVg@lҿa/2 s#"˃QBK&&e\ ׆_'. M#tTDBǺ'U{ԥi&6+z (pgA|l9ښҤ7> 7 M M@#Eٚnd]Jtn-)MK-4YSh&@>)sK6+%o6r̂:^}Po(5LR%R<hQق<={julpv/OLj[$ zQ_ulW[e8 d@DL8y's('RѼjޯ~Z&(6@y="ƭ|ETfRܭf/h.4tأ{As@TݢgSjO ?*RK0Gf(h =h)bxEХ?66,%q>>{GO膋_^x_ ٬x97o/FϊǬ71; d{;%L(K(v 3;tM e糿WJ1gM&h6\8Wp_L%vqps`|E"ıgYZ587f4702c9c0716a77ecca2ce3afb6b1b1aafc82665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 2c14b850dbaddb3cbcd9316fdf1c82c4311ef3cc 1a171b05fb8b50afacd29c067dba05d842c71534 7096e1244b9940843f1a0bb0bb590fc802030a25 d784b212bcf075662793a5ff0742f54bcc1cfc95 1b39ed647d340ff51289cf2967a56dab2377d8bc 2bce3989b0ace6ab8c45f5e0917b625cec929366 d3d2fc5ebb296f39708d06421873aa1942641b914d32961dde8e2d1c2f7aebd8af53f9680249497a