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  +I|4 ] Irrational_Series_Erdos_Straus:threads=4elapsed=362.224cpu=1207.824gc=67.140factor=3.337zXZִF! h:]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1GA)-VzE2Yi ʇC jc=6[[s7ӛs>o@IQ1t3ٕޫ'7h@GzLίM)qp6:{+ :$a7! 3dž$R >hUrd눿:>y?pz%OD5,:?>w|M,50yxgNQh0n/Xӱ" NMsâɏa2d9 $6n$Av%GsP*sTulw?g);mT4eg[ <%"Qe7]J.P%sse6M[W̄l?%r·g<޳CT]/m ׌3doz'oH FRsJ%8S؉|Ma~=]/BMkd2*\RRϲa{$Xrw$3T:B:C B}^7Þ@*[΀._ˉR8ô'THl,BO/^ ; b?nw?>'1AGKF>د5n:1` 9%3쉌 )_} Iv~K ]fGpmPe-Nf"}'beۭ7xz j)ȿKm]@h=6k E"u6BŸ][08+h^/n˟`}xXvp [N5)ŀ@5hz zkx"MNz !I Irrational_Series_Erdos_Straus  _+],O~]_&+LI `qZ0~҂}\sw"CzoÎ%F͠l_;-wE /?gDD~ y>etѝRݩnJOu;b %nMYhWDiПQa4@MVdOA NF\DF }ۯpށT*xNvH;F:'| ,?ƶdEhJΑӽ'Ѷ/uk=ЍJ 4?\mi@60ȈaIzO΄>`45}?b4 5=qڇ *m\iA Όpa:Rh D Ww鴠Cd#,] ;BAB* QI<ef::#'a:(KMJ`~9o˸`)`l0:Q4/YyѦTl /4~/ FN:˝<'.*f ™Nコ lr7'_Kqud:=Ert1U:%Kط |r(}t/Q8ScWy'OOx_ߊF{c?.au'Axު N&rpM,S2=m5r05SA$~yـ擇8疩HyT8F-%x `- IT'ONaY`vƤ|Њ֩3`dz^! ze o]#._?:&P'/P$_a7DE͈\<Rz2@>?'&R1j ql_S~xj .Ã#RWdKFYEwΞV:]xӇ$V8rcZ/iB&=e#6ye ҂k8BѧHAm.c.zX5\t\<\4VAv*+rU)_c^ӎ y6nI9=;b(hm 7qQU b.;%Y \MՑ=]ġw=ŋ/ 9o*ox4##'K9OaԆ!8YۊׅS>̽E[pВ] WX-i 8TФ*aziA7/~o U! s$+!JSr"oR]iPVfRCq՟;=Ly}K~NtɈdVN.n4h\ }o2&=^4jjgAq{G(5l{/f׏?ÿ" b3M,0"+Ϲt쉹8;R1tDV?o@*6wP:Hn,xk8dIk#OsiؾuT=1b*oY\$]UfAw*6'{]pO}-F~ pXuOlv?c&lH޷?m2TX"FE7.QF  ڗqձMNp 0gߠx4=6X_2vi Yek.~zPDRa=n,%?QOiEdi6iN XxvgxuLnCU5҈m7~&l`栩ヲSq9uEϖlVTδyB dVLcK#wҍ,*ρ'O|r} ^C* ,*D/N2E5ڷ]":!Ztzdc c,3}5HʞߍΩh` +H_`PMELbˌ-G<D/yoCV1|ק +_vop;Z!4VknPH3< ` {NFn3r”5ƴ IHezbCS捴;EόȊ2"z^o^ ^0zȇC[YNB|e1 !cհA)`7Ę׍ `Z Nd!l#VID)(_1",V{cB #$Cm @FE7t&gqS$h,uM{E T;tC5)f6 5Fڷشw|bŕF/BTnl:B@̵,ӈshk죶޸IvJL[CReprs&" rQ8}l%a~i)5oVXPIa=3S]H[/R{l fE')5$V77Fv%TA`d6K[.)).Sir%Q@%X Y}y~\"15v&ow3u1qɦOw66>Mqڋ9(8eDvب{GmZak蟷ӆf,1V?N57DZQIĪâ9[r;%RdC~ =:am0bX=Ÿ 4B4yi"?_I|j?NZB9Db`V5$,d鐏PBmQ1v]&Y\q.%0U<1~dm i -TL~/ݴQ,w?D*򤤪q^$\ޯKϔWqlU!˟?+AKuBZW\k2&q'{L ]FEyo̵럟w/r[aO 0^-Znǹ7I$_f'/\z`-F<;d>ʒ8LVl?0xnG8|Ѽr76FOvKI![r3@pD:TvG$q !ܐCAcw{]$59'I1[5GR :5XX*Lˎl,_MW۩.A iVn\@ԙ:'+P# 천k7^ǭer絩m@}9p`:ALX@VM?PIڶpRqY`\Z{n&d&zB2yp-#ƨr"' !iG_bDvl?8vm&qBAzKM_qBJt>+vV&#-Z8aon"0>󚹦924N eȽ0 Fq}҂X@s}yRmZGÊPPpH& *>ts1'r@:`7S$c"haDIcd^1K4&Nc/MB& bZ8Q_Xjf4Y4 m-+Z2Q<!wSȖa% VVBȍk 8.FQS `Oap&^#饐#p샼9t,|(iaLc'U7O/oOriFb>JR0$ƭu#1VI y<,ڊ8I*}[8(ń'g_"ĝnp@uPоu|7pۥC/%ͻq$:<{{uŌշaNj\K4?#UUY7Dq|KN84獭?ˆqQ@+44v.|jWT-9{Pƚ4%@mX=³bO\D:DvД$ g&~d8_St)](2|鑼P\e8}t0O</8qy&F7 0fψ:Bv9o%ѲAf]qO0kY1M)n_[b7ü`StQ4S|ܚdl\XmXA]% $Y}7+'-|0(]w}1@!B\K9ij Q*"B8Qn_|!zL5زƿ]\~c9 ~1zt5 1IDzZp-Ur޸NTXip9 SF~piy+?xqif,-]0`wSpCم.@@ yح+_DTɻ'Ky?k. A1T3IFX9oy6i<нjsM>UpgM^[3 l}k׀{2ñMl%pN/O+EN#K:Cr7V0eaDcel!5s(A hكg}X xR$[h^8Ř/8aynfXDATɹ<䋁>4U,2J' 19ex:C".ܥ~KFV$kIy@зE'f_KVEy`uqu&aQUC,Tġ-3Y&շz5u \㞵a}MF_s.[ŜPtm8[S\@MJ#y0B;Cq)[ zs(|O./aZT?t[}oL^LSKHvXae#ӐœQ#NU W$1-WS}AbG񏬹?F;6GtqP 9ڔnVȪ~X.Y$³}Jo{J2^!@ jQ'? @wlQqr*(=v"t~rd-*`kتbkg/wiUX XW>'#t]LNj{h?l>f4SΨt2xōnjD)h5S͓i&N|Ҥn梡 䛨?gd(pY9_uoŠ3U:Kf7+X8VG*l%~Q"k,S7Լ7Ad)m{Y2;Cf-oKEשB02QnO[竸SR2줍N\QKVAZ3WUg*Aٸؗ-3KMh_;c\-<!Q-65=}+gwG7{ ^2}oGϙzO~8NȎ{? U& woU^ ,w3&v<-_rLE^8ՕѰ?Sk'm\Zcu6{Qv@Yz}=ͼFel7M`\\eax[!VeA4ze]EМ?PX??Ksa#Ůo=[TDŕ `5pNiE Y ~Ԁ->xFRZ6s\%s:gU]0\k{(>ëN"&7p㞭U ۽<^I\:4 ?{qW9xMMO?O w4@2sueerT4i%`sYW7dFsgD}Br{h]?srj zDق ;9^[ts~V+.M+mqѭs]jrSbÛ;tdLMlyІΎ٣'ME^eERye82'm$8 v( 2xW mA3Bg$ b3B?,:^bY3r5k0*ΐ ÄDw ^$~(p+sEb-<'d230vr]};mi$cJn'||U^VG.kbnERR'o0Kxԟ/?GBW0((1xv{52 سD|1o<٬  J۟W$C+ƤWFoqQh`0:VNoC\ frq~Щ._l2TѶMrc1EJ ։K /PɔCMigw4 »>g~s@JvqGdtj?QG o\ qէ<=x9,|W@~~\ȥ- ]CIDƔx (wEģmɍ n3_v]K+P&Y,$(OJƞfHUOVjK{q*m%+>b(& b%r?"D-0uȍ !ZƐ^vF#0 wQ^B9[R0<^m=` +T3l' ~fP%ba]k5Amq>kJ[ X.a<-HN>їey@}~p<+35A?Y}iCZCI%MZl KlpC\b98H 't,Z*;(>p8ApWX19^V_37J@ݜtɔ?P@ZNRk`D/mؤMNUxvpsIn׬ks9ap " F'u}%kќho$mɡ覿hk>qSҥ'om?Fq6+tvhmbszd7v> ;yfߟuA+^P0ׄ'Je9ܱ'u6ډ8;fщKrV W*<=16V~ @Dpl8:(]3xC]'ߖ K.iwe%zCh׎Tla}hxјׁ'bB{}% p8f̍^ rJRj  U]E"}QЉrn~φGeKB \ %nSVxˊe]|]RQ.KC IcџDIroB6`Mo\j.%]Ш`3 nڡ7)ȕOHA4&ɜ,ڕ<&l2J'[ͫ ]'q` c"ߑ_#=Xm|-} aUotMg˭\;O߿{f1* 1ob"$sš\xE"CT.p=c*ۥ# Grm1wL93;i|GW}#N<"GZaHv67 i>l/j}^`%'V7W.s7dS8{F@O='9xP)Q%=߭.T! w6He5[SN;';uQCo8J׻^c#p>61z_0^).qC2 | a[3PS*FRSpľ`|9>\95;ޤE.`c<>x(lcуkK`PU,B\ѐ~ThcMyj#H>.(C=95\yՅY mOchvǘ.KԿӎe`g{WՎn3QCWXڴ?..dW\0b(DeQwΆx&hSUy^ ƹph%2TYq Xvq.8ħt~ǻmԜxK'2Gu]rz7G(1)}31rP@A!9&wLĎ7 GV55O-C+oAq"EBnD1N7QQ4Qť)1^}S+N9|4G0l]LyKaV5iUic^k#?@OzdoV=Be$DYjTQo19]מo5?Ny)@>j{HGlgd&BؙKVmmKU۸!;eMRsğF5R 9d0! <= M qh^.Z/w)3k*qvrtXx͖17 qA/nx+50˱iWMu+ 9*aS>YU@&)8n݂Z?G>6/g۠1kDMT"RM?'4˿}!u`$'<*E¸(zh>';HΘv9·ITKmK%C1^+Jz] J"6uP=Sdȸ`) ~J*.B ]$7Qt (')px]<6N7 ȋod+!=(Qb-F\0$K5nh%rCl$әe 9\7ÞB)1uq5 K|,1b+~Գ>wS%4GxeuمΘ [WRs%Any$3V!uK>E`8ڠJ|`?RjJ Zt]&(PGwxHD'k{5QK^|+N,S3A28E# T/rYVew`Hai\ V^q!V+"C.éLfܳW}\5|tpfRtUFo#ߐo8Iuv6M;8赸hSN@Ml"*߰&4 tmgq-Uw|o,חX"&wf1 3UELbp[Wf3"HVڴ8si5q~DjFjFlذ,:5#%6x/F, jwQrS=<1kjJ)O $_ڻ8{;탢B22U1M;5ϩC@'0ոrk?W#cAlݡZ˽:ۻDžь$aAg_bfb2jRTji+%NlՆѢc塞)vErFZ#^q{w(1k`RFV2 Tf8{Ə]=L+3<.Ae=]\%OKhkKWBHT'eqJZOX_ žh>' SWn7pæ״k6icZ1f'57z_sJ)Qf$!v.'e{jjh k-siRTl=}`~FE>} RΆR[!mDwVQgJ$A[;L_fAwf3TW6i _ ݊+:PdumOV"Wqe'yj^'ECFp\qJxKyP$x=b:6H&Y\rR+-qR1c@yii&w@rxT<$NR@BF)(̒/6H2t05LxVJqZ1`@UYݻFZWaޗ~F]E(xG(t \ 7?iw亘#I J@MB.`Q j 9o~Ec߾L _̀eMtMdzKc,*Z* 6VPˏ;'2UqX5֨zlWp:JjP7f) b+h;Gd}l㇉'OKŽFZ6n Ѵ[LU&ʜl~Cl@^i=aZj.4 ^G25)| Oʡlʛ3oԄꡘ+,4a* & ka>K~Vcd9>ns7 '# hIU#92\!>D~/h <=;5K_GpSfӝHn0RBwFyaaYDQN._+ _w.(@%wʪ\Nj5q 9?g4Yg?@QKcێ,'&*) Be>,޷ۆ'PK< ċ 9{aL2Iszl 93?<29i؀Vq%w2yj;dۣm/ 3t M0$]3$\toHHN{KӷQui/ľLE+'E3q$!ll9}h6X+0E _ؠ7) ŶEuHʌMJQٛ#L hsGR}b"$TӒo6-<[f!-EeR2:?V ,vוY#z!@]7C􁩴H1pH #_A"_kVΝ0(v4 mf*6@do*=g~稻k*hP7,F=J `j~# 42Fw;߈]s6Jf O/w~\}G <# V Ivţ@TԉrQM+׹E j'Hπ&8t˧ B7s,\tigbOx/@w%=!pHCZFs8~[k!JNC?@ZtdLq)`o$^%Em"wI|~lKi!ΗLh'ɬ%]IчըCb`P} }I{(-yбB_4zȦE-{Ew&1TQײWC;"n?OM_d@t`[G_@ :)~wT/P $0@-s(o%5j߲#sV %\K+o9q9϶k{ڦVՎJ5[A$̤#ǥɕ\/\ ĕ8,vCkw p G~Oҿ%NCۭR oSvnkQ pR`YptWNN+uz$(޾-[KۃrP*7| $1݈F{P_`JPu$r^uZh$zϖ>'4X.+? ^GǮ[!?Yicl ^r D|)q95G$3Y!7K+i$ -?x<F׿_-vɍ.KߗH,A$jSh{|,qO{ =m&1x|;rM&]Fc֞E\&WA:a|84/гDSa2:h™@bHuȟFsҩjQ}guS?2łc ځ0FGX/a"#7yj@_sߺTA ̯ 9nŢEwNއ.x]WEI/v-t;hrx+JGNC%}oOYQ=j֦ɠǎ*>vQ$~J9 ݗ)Hۓ@ג*µgDp9ώ{^lR1|dCǡ`ohU2 nA洴(2hm<}*&[CyʮN,cn= $a͂M cmudM7M<5? 4d?cvyK=,+J04fI omf `peEonC+m!?D 8c~~gJC [1@>Erv7M qCA RV",LBhpkD"~ /$Ry!8Oq#H@i\vT6@ݬOvt܇~ i#V=&K#בV6wKH>lDž-WWٯ ؕأRp7HJ_s]sfY{]N8Ĥ&-A jߥXoZ,0Tv:2VQ l {$'3QtZKp$8;%[@sWT!NPb}M3Jhd%dQgR7SN*c+^1 vXFO8Y8gYZ7zXZִF! n]ŗXi%L MO/IƮ^˂XL6IU9: LJ׀D)'8 Ld~tUM@zzSGI1ʢIh>2۞_IX5/=. 2eȥMM6 \=yܝ;LXy(C4*z=m54wЩ/hidDXgÿbh:iZ,ACh$AFt7jnXl+R6CFyϹ9ۡ8By*%7W7imBA$ 'fly9RmX;s`@*5uAêīWm0->j ֗$w0J=ϧzЕsiDa*(M̑ ".,r5 {j XwkvA-$9p^jPLyy `q%m @9d@;5)4N 5^XчB puXϕ\gH7b?E ct$֓ 8JI-IJNCEh 8Iќn^IMu%.xM8''z}1*Rl~CAFUu[,ԏKyNb)rR(e!6Pv.bBᰪ#{#pLlI|B7J)w5m$Vv~>ؒ=j XlpDyGvx%@Y(^9O zk#֔,ەhXWfƋjS*IPNt\"$c͏;1Tx+̭], ovJ$y{쟶r߅ű]s|!V od:k"p z=coJkAB1w,[ۈ]!]܇O̿zu+ÿWux תzz; 2GDUp%wVrIQLeZwz< E:VCӄjJ-EʕQadI G/+ҟUB4,{ana齳&K2Q3R^i5@0)r3_~FzH &L0[XvhLgr1J#*X_* l ^9TfC5Ҭ5-BR!l LoR ImG:/(jfyڗvV-a92Jp.&㻖2Mdp.W\KEUrQP2AQ;gga.1Lsӳ=yYՌ֑RlAFC$caK yDuS4?k k}+ =tJM)ء" ـLZ22dwrPp:+=4G@vJ@DMϞ̾~k|BxdNq'(y *Cc GMGu 4KN;ۢO580zZ x]ӑ:Ѿ߳M;;qc {EװVrBcì;W;'E{ˁ4= ="pjrd?(-z̃^z~OR6=ny YVA]HAGCȼ& eQ jF/<$@0@ oP=}13;y4 .$ 6 ժQxPݮ\8,fh:~Ho)5B:ڽpᅥA \H`Sbc3޾@Eo!v6yg'ׁϒGtODR!:oZ>epo%П4fé2hǑAUf)s9~=ZG+M=3{Li-7HSpCph =`$ Tp/&(_γ<߾Q c=nDۢ_G|&1ƈ6J:$dӟ%,xp9_| L:]PYgUT.Oj붱 nEI}4HQ1!0סNM;YB.5m ^J_h\(XP鰱 \k3KTXoW UI߼"UHJ7!X[GRiJHq8s 唰%nRK}1tF9"q T7SݴwYfjm.z5e Y$5Q5kBjӹ`71d 3O=}AQ)V z_l8]miCߌ5#l&$]"EgUUy">ƿ¼;7 g벲v"Y6=Gj0۳W,LTMu8|l>˟Տe=VJ?ڰ-gTCML'Y;>e`ULͮ.kXuv ':D8ؼ 0½=y滸 FYOvZ 9B.PHvݼ3 D6oA5k釤?_ۉ.KF%~9q#d~-V:s` ZKڃ+eERf*W%Z\^QZ'S=z;c&Z* ͵C0˨bG'̽r\5ŧY 2Se pO$-)8qcǽ ~~z~3tKJ,鮷)+R.+}zHhEU"}LhF-w"њ8Y!|t<@qYo4Y^4fj%I7PgJDlQkN1w$]>ƆU82/ha /G P[Ÿ$$u3-br%72q[4^-Q!_ :N0d90諱C_0ߟe\q6%jEřSSL>Ok4gFJtC%/ff{&mC? E WI/^f /vr8Em&!ōO$ #HRj|]C+lZII #9) G-y0 N1Vӈ ra'p[Ɏ2 cy Clj[(f̙ go HX%ō:0L8a'5R{d`rV;7!{SL@8`UPʇiěΚ9rƤp?Ȣ6pvҸ7t|0,9z~,\8v8Q9ؘ#?KŒ'sV("%z(\^>  lFy.mfJ\-m+3 k +)3cAYB|9 P[!s+ (1'0‹amg ([@~%iK]oF:~(Ol W}D:`~rS qX5Nƍh@K-;qԝR?1/ o-P0PݔM,6]J5B˜DE&:H{m0zmI=:> :϶2X~]: ,񃦹m͸=!wn5'/zen{JAsj9ALJ1As@HA#Z/z@B6 rmu/.ʀK̞<6/^]$ߩ0=>bfҖ!9;4*9> z#&l pw.aX#.Y>w0|7y-4 'w/J $,"  GGN9XQ1=5cI5I:^Oid(*n3(2KB/z+i m (]@،!9 ]NrV~w`wBrD{ &"0QANd}Y!X{#>JmE@!G= ->Iz]LضI-8_ 1] z g$҃1u "yZw} sUx$Is݊>jGgꬤ|!oU(ۂ$?<^!-6eV}։ܦh#\zR6Ku6[JsrSry(joYrLTHMؼ!GFJ_[>ܸ&XGjе_,y~~l{;^вI| :j+vBـh*=5,>c>|3e&ٱE(5 py2a_= Yw-=Uw@QșV64#SG fҾrJC`bb]֌J9qig.Mw!-3tJ(,X8_Źoe@)@7Pfeu1Z:n*7^lձc`-K;Kd62}ʴ^)jtj<7StYd̦Dr)- =(ˆ/&( &*ԷS|5RLH9}:ٟE2>ȀݍX̞?< IT< ~"jeHIqʱ. 34uM2Dl_D)f4_2BBUFv+O" -`&sR o!osV& EyԍaRi0"2"E_C=7>ް9Ҥ6~qۧe-%sc]9.%6_JX`eN7kC(%%S-{^LU uosT4ZAe5ԥh SmNѥ?yITBNäJSo+2|^D oYl.AΣ2a3oMjǻ}K/\(浮rnlXYj[('o҃NߎlJG>Ku)ɂ'P9s'mSH3/J OQi:%W*mdHՂ1p3><]JwN9)U/q0zA{j=o6^8̴q&E,I+hD" |d')oUP۟nED1t/SAo_bj,D8SA9p񜠞;8IH9dmJ[M=pJ5[_I\\pa7u p71;\\G1.c}N#g۵\}dqe`.8TmZXP׳ yĝnW3Prz3Y-۴8-u5Y>a" qS0fH-n1Rd[Zmr,DXa~gHL<^+uAؓS̯A/KH? :&YOe=,GSiSVH(a/ꞗgآ a fxQGk,Qi:f 0Hk>OxAHMj)P_"PF VkZ2?{8Lͽ!CE]R&U0h@-F4V1 i;mw\N(YBg<‹Z&AjqD}*:!,"˰- fV!Z!q E=KM=FjVC)宛$tNô {@2~=\L>L|ISٯ#Hظ P0W B^#<305. SI(Jgd)BauwY5MV}2 $UN<4#]3"(TgN!H䮁d롩#9O2D'!/=g\M] /ކm@0KR3JY$9eFpW g `3k= Plys;*pA Qx:e .i\Ҍ VV0_-H;)sGF@sHO/|rstPBIS:ŀO9E$ \Ez٢_"A/n{Jtn|%'Ô-wVSʗJOMґ0b`RüAC [;,QwF C6Yv% qd"XsᝆmjdeVC|M_MvWm Fە(,4]ģi)^pX =h4kv13R3S/y~>6>PɏR`çY_eX$yC5*pCj9z8Rr;IKuaX<12tlvf !LQq.tD 35xs@-r#U(!5)Sd1 ~Xr #{8RTLUvJ 5[.38^ݔ@95}>f5!L-}yPYS"3FP }dqaecJ1SxyVe_y,NkȎ>ql'ϕHL}4k9jV@PnF0[`yppPYt-7U;2hy-`P 5[̝@iӭZo\͑T8meЈ Y>ؠ˜0'p/9;=g~ 1yn?=t}joU?5T}58sX4v[?R\ynRq/M`ssVʣz7Y$疵 nZH<:ÆwKc$Z!m *C\b49n@\iܒGΠ9׌Z'7eY_5x{i%qRu2>6q=aݖ\܌uT* 2$Z'RSzd_iU).LvڃO%Ɂ4ݾWxʺȽ }Rg1SQkMY>N+hI"KnQ(Hy 8V#B+2Fٌ:T&)hGvٓߝfd ͬ( KX/M* kdQ\y~;ŽE:"ڒI|)5pMv%*qwkѹ#= 99rB>搛e1u d?Ei>HMr@|',jQ]B{Ym [u!Xc`YolP| V ' !2FD4$ĘM⊸ܼ){#F*!= oa0ϥӁKidiC)BM8Uxbnlj5Xo9DSؔrz|;}s*J-pVs'q%z<۾ZVp)gjt@0JGߢ#Dʝ`[MB*sM*$xD$0О~A_h~SVJ^vDʜKkY% ႵB@FOp#)Dp`"JUq}QN&vL{iMGtW:PNRi6r2D6ָ-oʘ rswq13vQ?AёE;MPj9~Ak _ S5*'rd8ơ]ϞHR>W L`P>e0nZ$\Q>4(^N1Sw, ՟D_ J%1 $blSu{_&ˠxTYSE+Z OhiB(lP4eyu1Mm]:hA| GKKoI*!ml{<;y% P8eIwd/V8լ'$?`?ȟ@RȗE)mu`W/f%T]7ޕlkYшu6MY,Ӄȷj?nK)@Z0"P]}. ꞀG^-+%AM۟hb*Wóe1SB}KDL۾3T_oP#Jn9@ ݂7xz*h镖y@zf"s"&QEONmJpiˉA@İ: cXmu*"3. _^t$ߛ= \=ho.ێ!}'CX[D)׳ ;I44fZݽ(>n  @c` Nޢ"֒k<#;@,MlmsHH6;z?; ppq˜BmZ?VvɍM@o.ؽ0aOݑvY{r1JB"*9~qi8d?ǝC9Yeb';mW H|%M>0 TݛWA1M򼂴{ku{gI6Rq/փ-p̜^$j:Y#m~HFXP֣ń"\qJe$.-?P= 5a^Vw3C-$$)¡paA2"x6qJ Y2TTwl oISỶ{Rf p\?cQ^>=VcGw)~ 8'%nV1`SKx7|#K ǿt^ʅ 6_B>Q0^%t{'=NeD JDE<)"Jƛv$DsSrRBD$I$\hIRBbXÔMPO*]a(qm ܷE3`]W 6i˶3X vENᓐEO, w;pV5-/. tX <`RG"F``.Ƀesμ69mb 7o5Kx\N6.WFUtB04zI+cIjLV\9zJJwr`n>6IlP-%ᬋ5!e &K)\N⑌J݆Z@purNB.ik~bc?8k%˛??iٽ[QDQ(a5,@{I5 7ٟO햛?Q?eΆ%Kksѹ6炋SF#]v |.i W"g)6&K砝Ce!RQ=8NV%/ŝrU<~y>e؅=raJ:E\?#u.^L1Yb f4幐#/EH4BK-cM S #=;>eXp<29|+OچfdQsU\a\21Y0H =V瑐PLoU(zvܙ\F__-nTdȷE|tk$Ik6~->zfXkIHp'Ot \9٘CXtzH^Tpd.ǫۧ<ξVMl*tS Lp%v07؇^iFAwה^ ^J2&l'knLOA-ki&۵#}٤ Gfv؉Zv]Nμ.ܢp,_}Ӕ+%5r_ֻlpg4CIx@3d+ a׭n4iӖ74 7NW;BgTuDP^ͥMsA6f`ɝT%eU˝^~q(ʊY;҂Њ]$(~D xEz@^gR!-ԡ!EsyH{p(hU>?!SeQ?a{W Q`,朙:O`b??E%QBIHK=ǷN_ycԗJ M-z5_*h,s QL+o+՜df vl_q Zpזl722v%Mxpk4h- /; k 5Y;GцPYe쁂Ҁ ~w2FU"\4ċItlY h2's4*iS#/$2+*/=b3iUTLgQi~/Dx7ƒfV 8oycG{\v۵X45<t-C$ZnrS`2dYl&趚L灔|0J8O!귗*h5<5 pueq0ޠi슈u?>. lYHTL/(ZB"Xʶ,j I;$,F8'|X()K܄}|&n~&K+^rh}Zk ֻFQoν iH~aIp{MgN؈FdRu2qf萖)bhjBqb`3=qQ'h=CȟЌ}a1p"q⾱Q9dt/%2ڊ|`BTjB;&YSEv>_-g֌eo0+2aYB7ߜauHh+6-|JնF:cj%-WeW=G=i0qyGtbZ=L[e<`5va`"Pׇ^lSn7#yuԮUE .)1fon lW`YXs P"1-ZlѲ{oc2&tx7Po6= v5%8.&CL^9|JdOII(B.tqa f'KtM"[aͳb'[ҍ8{[4FfjDž[zG 'ޘnf4xt+с9A zaa\.1jBG2 ҵHқ(I4s%i uɄV*⫅42+dО*bf]k&"^ټ9P[P BRO*5lX5jͺ`3wWfh9! 삠='*y]x7c4D mà4v olNp= 2M |Sr) _+E (Л 3FTC){VJMe:GQߑ,XX#8#~5߆s4@#_epbTLǂEC/š΄>e~:lI72a@͕l@Ep'J%AErH2W)،G["FغFAޚ/FO,* >2ץ>7}$g_9.Ac@Γ"T!*M 7Od\/]-[~8*L|{Nj '֔X5s&goMf2; ʼUhzu"j/!_z4b1U5eÒoV5Wr(@oEʬ+tm~]mXсl F/ v!f$izP'8g{ =}ԀUZWWuխ{A`D[0 qs¨N6WlZкw._ v0a ^ `Hj6hM>*_DϥV>/AvctuGr2 `*B\]?Xf TacjnqHZig.6t#T>f9z?5AD0=tkSut䧩{98_ٜ r 9ZEu3& Y4EXtSC,w% m < )=̚fzyyDcebl2T+9\(1@# ?F%K?oܮ !@ݜ ?cBᛁ}ki _Mf?Xs?׍Mzc9O2l6WJqY3Ut_;L1s ^?xϖ4c>¶632|yXq̘,#0sq&h䪪 !8k\ ;[>/x.5m wu恡;zVK \cOQQJ=e=E˶֜@َ&;QЭoT-&$7ՅHh4;\, 7`̬%#f ǃ!0VUEJcm)KࢠhTB=c4v~;q=lLD٘Yv -,7Ȑ60h$,b#OFJBAIug࠼~BmР? B)(.m/:odgv̨?.Vrppζ$)4ŰT#DQ;5<{,UpTM(!I&zoM9) ŵ^&sأ,S5pdZtO[Sib ޏEshP3t-# d$*c*z2zYRs/0w*? Fa;3AvE>47jQGR#]j!׊*p&)#ƨ`#0Jpl|&O%mKXP\W9u:d.pAE  e&56>ytg~q!*~ҊAaԣ"ꘁO?<)gD*ISt!R<;Aڻ_Uޛ&s%*>;Euqj%dxOJ,dAW`+0/& %;ᝌ<Eɔs= pL:X0|?"I8ꛥ"r{4Rwqs>BVHo}' IjW/CdRy3'ˢAFEJIn&mI͞3)E=R=l261/+C=҉ |1{^=AnwhC`7d#`[`ͯV9"'m;{DI1DA?/߿5&^s *:p^#^{lpзebrx~rgv>|͈5i>ots^2|nY3`9o?_CJ3s%ۨR fWڪJ>{z\Jkp}Oy;5v~֎cu$~C:wQmn=Wgغ SbL3:^c,GfNwE>':䋵g+%^g%ۅk?Ck߀oM-oLL8(57x]TIbZPJ%UB"]@+[넾џ[ѱ,$ C=Pp>;4}wިD=`z # ONCLaOS2IqIdf ā"Y!@:k&0l37x3J-j3Vb;PRY`;X8\B-`xM 5$4?E~d!WԻ]$%Z}*Mg.HoobN1o,Q(eW `l&k#A 6xP|T8Bn:ut+ů>7}O&|m>ŀK(K}fHd(=\+jtR^uPSʯ}^5 jXʯa]^Ӈ7fGE`J̇gjG}˯ȼt$g-s_]v(U3p֧0| cԵ #ܤ qELpwUIFvK}Y\{VG]@Vf !j/bh䦩1AQO+&_'Ў\hR k,x#߁iԆl!{bO?:/T0 Keޘl佖$ B`Q/L%s$=@rI f &5· D?zR.ۋ _\LOF= ~ř\$=-VNnPUF}HX(AVf,hkC}n(]zRoJDWJM[j %XnL&jn/}a6+^AƒCѽ,½jmSKSv]]󒍞f J'y p%BUX;=au 1!w `O}1rd =Ot |u6e{~C{_jO`)_Ѓei*Z^N9sX Eoe^HH =_gO=aۿ~ja%GZUQɦ?EZ!i?fNKpW>ç]Q{/@&dd UN9\K*\e?35 n齇Y 9m 1`N&Z"whĥ=So@> H.'X`5Ђv\ 9=1~Λ:_<((lR:SVh%&.@ %urת )y) UXe Lzwd$jo #ȈBb5"\.x,̋a_ HZa6%п?tZFKFcdy8P_@=u#~2Oɞˡ|@&C?|CQl^_8/clU 9< ^laH ZzjPU)[w9R#1⿢/:̙F':>;iTؗep>vXyL@_w@8K(T3z]_dlwϹxAjo5+jf?2C+>c gR$ϣf߄뻘 _oqq'`țUc\n(8N**δnhO".-]0P6UhH|ȅ<=K4Nu˧ۂ Gz2* v9`\. 2tâArvVnsT`vwT;mcfbR|]TSWob`ӗف` gH+MVr1Eׂp6HHA)%K*fHP(LH_Bv=gab=KsB͵b)#_xĤT[2#QW|1hԮxfQSԷrIX˧gEPO7SABpQ{;=iEXh׷`o]ol9 _LTpDowBiǸ3܆UΡ٤Q[ڵ)my|&B8=mtI16j !r>PބO!l.Ig]XIp4& s"DeКCAx'"sQ\17_HEJQNL=^l/ LDv֭=v>Gft~3VPo19g$!t$לK#5j/fa:c6 y,c,y޵|@*qDL t=}әaF^D]? N5s챔ʪN~3OxVl)k YeYk"U 3{Q@LgY4P܋gXt!fSw,zh5b~L}?Ut\8+7csGQUHWsRuyYHRWۃ;-ɏi~P>4k ND˓#OB6]6 4 q?ŷF==!Q@:NoJ,AC~> V<9\ś"TwTk@ RrѶz`I|T/vM\m(ȓH5o@34 ?T2HEVG{^+A3l?ɫH赪 Q6(f #C$4i3vxtmm/#w80o4 zeWDleۖb{Gфw}OyRB%ϭqobI>ڞ`^ZWh .z6)K])II< 9uN ?"khML >jnJbFvkjF;۴asjh灾0^*Fm7^E=n% :鏸-`aa^ EmͨԺzǢdk;eKԈ<*Id^y@~Ic:)Sf^V\g ]_,UE/h07Kip֬p͢ b*:Rmq箔zq볃Nrhu Ap.}>ƌ_F3ƺaj߫y\ Ǣ|0mũ7s1Ven{I9̷2{VlTՁbx6sƾ+ZqݐZ<{o~XPCr@[atnLBƊ|J{^j(w.y7@<R;hQHwgMcQ^|4hxlW7R,=Խ~5̵eV٢52$GezH*ރ0BRcuԺ˙*kWKxbF&2)53H$nKf5$$ GZ0!ӼJ\Sr񭸷_q.^S.Z$<G~$>˱i谂 &h9#jY; \z*U̝cb9̤ CW i)\A#'_ފ*tZQSm(3dձމ_/VGKn-{Z"jۃ)E÷FV{bg-@ES3K&BBs?^K \yEE1 x6~P: $p²ى&08zeG1Q< >.ug$|<Vٰ9w};fGemXa%c࿹(mdqz,HmguTxI0U#)8D_؎B׭IK Ԫ/ZXy "5|iȌ;Z}Pp;Jewdx&8^ź ʫgV1C3cRUceḃi\lË" Pp?*Ɨ3,e{B˓W?R.FIS7C3P㌵K"ѣܱxx{rY4,#Pkr29 } V7)Lgc&ORn i҂5uy|ī)x4lDG9EI\7x%aO+HgO%C}S^{W$"9CAzUJθ^ t{--Px6pFºx=%m=KbK({?B#mfDޔm< 6ۜmzJ ,`]vZPd >4hH&]R_ ib-ʠkC V8j@83ܓ_~ɡZƠlf0'"Jr6HLٻ,_E`E0Ha.[ol<苰416W;/P?-XG!K3/J\>(z ͭvx|rPoi?j,IӮW*|aWH0Q&;O]'¾):Oa74Kظ=(9#4X_._㻊6Ouh0@h❘SSBo.[ML׽_1rXoˣ:9KhSV" 1#f HG<ԯem>u fE~@8-~]cQ9zq%&RPzVk n=,cT]l:q_x^&1֯z4f~+J>t߭A3"@]? 3|׳noIkrB t1jЙ dNm\g ۅ+-0ϜkNm]GUIr}h61Ui{QJeD1UDHlmG29Pan"0*b4ϧz_c-ʋV$iF#(~|<~\!B*tQ":P`!ԟb gVSaW$gG Y"Yhƛ{^1Bo@n?/s (+va| cS'ӫ& Դ6A3E;rYC !=3  /U ς Nt/kO-CfdMX|X9't|̽ H:1G*mV~,kA1g r1U<ƨdjf5O\7eDB A;P8QFxF̋RLrCrl!0~$hMخ]O+yE]vuɁ˼7wA>1T- m8?mߌH lN F4>e<8}+Xxd [ط!5a!s),L?KY!-IJ×7dY-(Kkc-|F-ڭdDk_ĚY&emFR|$M:H=\S]d$ٔB_4҈,X`Ɣ9㇝f7 \q{ z͙,ҏxXf0w =;^J,|#l!HD\lv T*&ZjSl.WQf6JNJ&)N4\A "h(oy<:Jfx"?|ιH&h|JP0ةoz/k8ÅTstN-FG/alrȴB4>0VDq+´N'57<,x"[c>%\^'\H[EFW%(>]g( ț~' |.n5\hh3AA{e DS͜umӮv$zr,L^T݃I""бò.rH0#=!%\=`9ckgYZa66d49c442c7a647ac59a03f72d2f7685130f354d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70