SQLite format 3@ .0:  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 ttP%Td ]/]HOL-Analysis:threads=6elapsed=359.366cpu=1866.568gc=97.504factor=5.197zXZִF! *X{]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB '+qVMɊdpzyCűڝ}VQw 28C40N2%^<<Ɍyz'[gV2k\}3R[?sLC\?ꓖxxcu~_ΈDoimQ f <~Z|l My[l`cW >29RHYWVP^u^X[Cv@bs?-/& NȂ^QE!Uh2w..(;N KS hu.v|l.Lךu>G: @c̥W} c[CLg,&2v?xD؄e'FzO8' {.ꑩ:űVEU aʎ[QЕ0,Cvݴiyb3g ;\ex?&^?+Y);ՔsP*K螶ǠUa!h sHuesRJsT Z,sI,iYI4\B/Kjg}ԭ؏΃Z%73 >*} ũhhV/g~g? çvՋm6 &LJ\BQvg4mJ]AmG6UȔG\l)N˳4 t( ҃炙6-WyW}]S2dTfldl ;;%!2Un.N )C(?WhP QcLiꝔQ$ݑ\!-% [g8:[ªrҾ4 eu $}18؝ZU;(8K4Z}kVl4Tz_-ZPib86^x w:bP{ ,^zzs%GzF  #*Ĝr+Ӄ3E>RM[},䪡%VG&Wr?qVI B(l&.л i͗ f|2L)*Əg[6 wjZuv<9d=SsN3~+fyj]uy&,6Q[TG*hW# d"()8K$[V,㢪"*lYJ&w9Ls-L7E@ח(]*bX`GANY~ͣēd[>` rryCWQdDDlmRcKuư|SP#+ Jk xAOT%$1I9L'TbO#[Lw0l^`H.('P5h 5w&:zV%$)V|o;j>Fb^naFS@SiM'ſX'pHƟ Tef69NWd]0.2B=[`a/]X/~lEFF^Wroe9%UPre,A$TmGqnwQS-lR*lM}isx\:n8ꗘ֩? WߦK)q)krObscIb`ɧ0 Ywe?iќÏIGVE{Kp\4LBT[FoyClkT0AY3^7Y$\_ֲ/>}b{xZEXy]S3%VFxj9[MQfzwxo{(YGi2u[D6ETУ+-xi&a>/Q$ݛ7)/C~o{(GN 7Іx8=V,#3rk9Z+X0%uitDe` n0i 6Ac10^"K ȫkZM ˱rd?~hgilR,;\G@ؽwb:ֻ~%d`7"؛07TN%mm~Oc C}[1IYG1;ĥM_=Qce.X@!)o14ܷk]L՞ƍR=)G{ ._N&&SHȰv\cw>fzJz,D*ZzM8)QouFnWX퀔 CllT\\]P7ԬHTv_3y'vX{ L:շ`zws\+B(yo7נ쬤E$q~9w 4<{7Y 6{OU㚴\c9p0[ +)A|hb}Fqmm.!!c""Ifౚjei]eܼ[l9h[T9*@~h'dm䒢OGxv05ZJ{Nz h|ynWECq(@w7."Ց8Z+ &Tr*WʼnՏʄ&캔 ֦f~Qqv0}J.D^2թe!txïi(Par^d8># w eWw0z?k~iм &~( -<>Vh+v5h[fʣg 2%(} % HOL-Analysis  *MwS\U0.y-}, !'R8團`Dc2tzH,\xr2ڊw/h& KOD u){?w "|թr17hVwb =6,㫎­^I\$gLΈwl p(qY2~D4ɥHoɿiz am.KRȴFW| biip&Rskh8SF[\*R]a*w0ׄ%Rm":I.KZ .,/q$[{N.t/uz}::%Pє:K73zzӎ ĭ eT'iɜ0~ԍI5sD*KQM0N3/U99݉m|H""[|)yJH^ɡja5SGPGnr> rUҟډ^uq(A}!azѺdJa1p:~>P$9*m 44 hpӻE6-QGKVy%.P9V "LPEQyTdS BzOm]Pu /\Ve%Ol8=nuPm܈rl P=_/K :l?0*"b\#:y#"Hi!R=~eS$2^W\}2#6!\vj/}1r.UF!lpͯx_2,X _:ĢPqĆ{z<57j3aͷwj#9iɲ .abbPږ|hN:%A_kz+: "!x-kH2|ŧ_+Em @o$0gTM>"|Ԁ3Ϟn:h<荴27uJfGA ۺA̽`hLMDqs?nfڝ(_@.A Ѐh ]kth^aY*. ߐ*gqzVkj/P&I߸Q&_=Z-v-G?(rpI3'̰VUXQ|v54:Kd {c6(dkB4=FhKmyC-MWeŢ'[[_Lڪ #N{|L$ҢJ2?F_  ;'a*d#" /7,3W,$i[,`Xk")ú?g.^F1E ]F,Z[@9g6qJ1G4.Llc`GA$LcTh5W?m^*ovP)M_U@!/Ot8AB+S{+<7|<gEm̊D \퇙`z8֊J!^8 rs$X 9{Ìf v+=z'r}{\/uBh#¿l6%UU/VMCHj?i omJ o`ۑ0J@\ Zw#ªD?̀1ֵo;\-Z >GդEqNBv3.pDo=)AR"F yFNY[io,O=P N тQ_H.-KH q%牖B+i'uC)7q/9%?;G*v~K)'gV]oH M `X+fp 9b:3>&_i1,YY V|CSҺ_ =|tr[rl˞vFO޺?thx;5Z$^ұsr7rG41% @#X@512ol\~ۏT حbrM(,>>@j  b=$/BMi_,41(yFmeH2遲:iWcj7+ {Y /`2-Wt dU)dEf~bz eU !C ,֛ sj y/QFLѹ?1߶FO᳽ l;б,k۫2+-o걤{S=Q _00 YW>)p)rՇ}€@8w(ñ;1l\U`.5[w,k"4xEbOж2@|:j򬚶4 fvV =BVp_'ek[58|A,s?)Be3}.87Ǵwev.l0`4d{ߤ~q'4r).aG)VpXGZm{uc9߈ZALPڬ Ox7G!fǞ4iI"?aY)g-QC4''>q#:2OIqkΠ\Ry]piױ0J7ggbpS6G8*OYoUd\vm3<ػDtHqNslP3?}W,.#H~L D~{wL߀ZSP$28aG`QPU}RM9Y~cE/@CR-cC,5ǂ!Xf\j( ן(n&jQ:b9/﫶Frzs'`ĴLq*˓% Yaa,θsMN^m{ː{zFpRFTz|%(f ĬKEa8H_ ̈́uLbȫ$)1w̲Ug_hƙy"/.!Ù{)g-y6|E .c_5$jL@&61v_x1ѹVgqn֬Pseg.bѺ-Bk.[ jo҈DؗKuHz;(9"\xR#D`e3{nP1jwFcFՙru qh Ř^#H$ci0PhxPnvL;Ippx?s [hX2\*FuHDz&Zk4A6]HjI(8Quؚ)# on3~PX̹k\JYo߂q{?FSPVp( l!7ͷgytV_4?S'^[)tNb:]!W4%cq\ZX siSWY "Ov3ϥс\>ZsRT\i9b~Srxac59+7_LsPNdBݠO@ .dKJwSFx0pwzqf^QrLC"])(DPLhcwQ@1^+hh3z5fVJ߮|1 zlmAX {Nz"Y 2#=i^`k%ng$zd'4}s.k' 蝥Q4_T]k*\va fˁQr!"աC%(/t7 jn6Gxu3 ֜^Ÿ4rymvILD[ޫشrKdKzM-3\ĝ" bh~yPCtQNcV2$ga^ f=I<IuPZeJ Eϥ^>)˙R;58 Mn$B*4NQ*) | jD27:O=λzu9׳v]tCLm'TYqt|Trv( gph`jwϾ彪"(Z!y)2Т<>EZ;^GbN g˝'Z3Kڟ)D (bF3]_XaEJg M@'X晬^}bGnT-&=L'f> wo|H?yk<`>ļJK$Gr!8! CV(!{'DE1[΃ Ks_3!diy􄒣jDg; ݹn=4UP('d)&1)&s^;193~*+ڝ=.EtW%saD,ǡp $cƩ'm/60G˜v#-lj!\z*j@wSmq3شmf9I]2 yXj@$3e?'YôwX (hכwF W.SX0ҥJ [N6E7MUWKVi@pCJ ZjQK譯`2w9ȶ& &66I)2!'bHCM[<4Zo϶潃r fLX=b|ӷqOU صB\:5 j &4Ap%~$Ί3rl0:6@k#u^8fQPCQtBq8zd/P ,",S1 @^4y#+Hu%uQNb'9L-ʪM1Quz8#kzt$_W-lm4jv*-ߘ],ǥI$Y*.fBbD9;/J:6wۋz"2t2Rhu]qɚm {9$&J[~g~lg@!ѿ"ْR'{5]G0O,)Q;I^a41">  @v ua9`5 *1}H qsQ.x8?a7 6ȵD"3ꗓ$ Sq/q2;i-\4" xz=|rx(Z78;3?/߸vI<*=`:9Dj]EOo(@-P+):ݶuVVo@p;DgPaHՠFlT7fS+A5v7E{\2jܵD 0E踛AxXᕆ=Љi$e4`==J 5X9U[~2,_wlrŏ"22g[{݅1vGB79w Z**4oMmHu#[J@]jRt#ċ签U y3q*Ϟ5?.X3jA2Z=%N3d[\JhINlv2fa+{xC!u3\J Ҟ6=7] nL I=}5^d@ L&KD*k,{[_ojY!:%Dw@!!~#Ņ$e| kNgUgS cVp}8L4 MQ~IpksC˃BVl:[$/[ЬH=]'*x ,uSE?n4xZ>%i;ob!S{Ȗ 'YJ CMOf46 6fW۩`T\0Imn8I *H nl#P&8soӾEQ]Cp+I YYƺQ׎o:\iB;ovȚz\:smIڗ4gS0.> x0 tr_# ׆\ۥg5汚~ҍ2>vz[N:2B[NZ'%8㧠7iw|BúOq]uQ[ >xsA+cY ',ZMǂZYs7H5d2EϽ #:eBG07d^W6:dUQ[(Ë]z8o$GP&§]*]#INqv)҄31p6̂t"W K[{U=1=ٞ *aR7{L+Ű59$>Uf9)t l|$<M\3% |E)!7`;w( _ -XVĔd0L$yVWsj],Tzo|mh0:DQO='k,*$CW2d(Qɟe? }^~g HKDRs uoe*yĆh؛x=solY cXP?#cm{` X</UV7ys\$X@bOp樅 @[Ϙ13!cs}S+K( 5- z\XTd-FAG> wl$lr~0zjԓ\9gK>pv&((6.qRYocrٸ,= 5&'7Ѳ5U?J~ M_a%.3ȉw %x! 6!y {Yfz^ׁ$&a D4R!Ӯ i+QsYA R;Lq}L?( }^>046ҏ8;8e,m[N?]Oz'f"&м (_"cȰDi▂F}' kNGI8`Cݥa%Qadk ,U7]1?l#Q˃=i5' m ,e$ /4:=yR?ׄ]b:ka7NíLZRջvk@(,VnmEup 6D1; hw*Dx [/I[؏кp#wl.GMPZq@,4up+E7\W2I$y9E4 8͠%{9Hesu(TU7|^L%2]O0nG*,+$0 ր3)Fi @ ,o6@o<>Ǘ ״Vi?lNN0h>+mʐb%\Lci<qt4]jA@&]$t Rt<W6_R˗mThe{6 dċgwR/?'--H)5)Rv`03cJ|EKnkGtT.v^$qsO.ZHXbԱt&?DΑC=MĊ{0y_Q^d9O1.1 E2{OnRײt\a^[\'P{y 3IKF(@*!6ST 4(J AGrBdl_ IM$; pE Qf$~8٭1c:aƧ~!FD2W1n"s|MO^*Z >Q\~2J =O~F.y/* vBWnF|Z);) YA'ۡsKvWۈLC~^n~"t-yӧe5sKWvcSȭ\!!AH)^F s͖m3*!^y|8E S0nb ~ȝU<wc/bZo"Q$#loEvG6rf%y *&r }1Cіs~ZƦZ'“{!=WWn4myi.Xl4F{R(pd^Ĩ8QnRniMk;'Xjy 6-; tձ2gm$;Vh[d푛bgIbCT㛉[܁[Fϐkb7X_Qӯi J ڄ%)Տ*|F]˭N~2a@*Xv<),@#61Wv"Ërfz{UҏFxIfIpkg>Vd,4w(P"-`FNџ^ܔSfW&l\O38i6$͋9˦_Ieİ'g2ty[{[g: sڜVJ [Zph" ;6ܣD=3BF0H}̏V;x_ ($Kͯ=a}ƃ#;bRмrf [U@#?&H8Oͣ;P6e=r; <-Ҏ@9p䡘Tਛ0.'yrI#?Ps"_cɧOg4T%ԮUwIF'C0 g$mAwUpJt618">Sy>#)>Yeb_X~< 6um<$̲L[Y]l>7:i$69s_TNۂ NǔE'§rZ kg0y>_T^{3a,WQ23Y&#-Dj ɝwPQq (cEis ZŒ+ p4C+)>o]" 2lRfݼh$IՇuÞm]|0MAeHi55>m7 osT)HC-`u3MXRBOƾCl uDru)έ'Gg+ق^{'CJdߑ\l^}e8!vy mHp|%h}a]"r3H+*R Q46c)ȥI 1̸C Nb)K$C"v{K)i`/ NŒ< 5]HU;Ը @T<.LIEl]@-{Ce.)*5h^z4‡,)J3ʖ H1o{LUM)ʺ&[pٔ"1&\.;5kCTPI-T g4֙2>˦urEHYIwep SiMaIӢ4KhY)3ݮ !SNH3NP9RpT g+|LĦE"ܦi2xqzf{=0~Z3r{]3?19`EWPa+j1q|H l@ rNTBgTu"tJ;?@ڥρFX3l.KaR_( .t|,K+ YUe=+!V@T䷟Oi˙UA"wۖ1[r$U ҔVpe8.kcΩ˓C,v#IT'=^%D>Wy9=&IO-Ž%YDb6;5e r܉[=¢8*­}nZsx,z`Iw[𯔌[E徚R8d YDH8fSw. ůqhW~4k$hX<gR]lc7n-" rcyR-?3_tՓ*>x8|LI|.)M4u`jw◚;Tz ,m4R~𜅤af5[Es|rAmZ:lԎ.QebZϣ)?׉|۞t"MDZؕszƍ\+H5`fm[ZuiiBUo/51τM J^MyvzH>=Tcz**hm}~&G@mtAnمsQ0G_jbnbYDK[)V.7zk/" }H܌>MAl,|*W.ծqKه%"X-qbĚvu~h_/{ $wRO4KRB%x !W8Tdkx--eO_"dxYV%ꌩyG0G؉BY:D忞C;dh.L؉I^4a=)81eN~L-p[࿊V)sֶȥQdU@G6sf~g۱`:uvͪWc#XrRWdJk: PI46HW՛?UU%e.6pm ܎X&ffc7:15#Ωwb4&s0J+ l?]v\jg.ȵq Ab:Gl-W@3FBrQda;.$+1ְ\e56`Mܥbc9'Wėbޓ~}Ü}#uR}h7}L&*>r HbA8*c9?3SA8drw%OSKu,͹ C'2K 1- LR>0t$9!7&|G s,Zb 3%grP-bթ<Ӻфn\pS\spwJAmNk1eQ 2  hC55sgO?A*uSy5ވR( Igx6$2IAe]4(+k(e KK|BֺlI|[pyhf6&aaGK ANd (Zݣ)Ϳ"Rkx1Y1i[)=נ&џoQMEb(z _T iM021,eh^f`Dhjմ"Lj~i:&-REX/+l`}'⽈Mv\* c IpanILpY;̶_XUC(:,7~uRtkmE\]\ FEa\, $״dܦ<p^An6޹{oq)jhԙ-J@$ ĸbhN7c$,FEC]TuRi ]ad"?oAS0p`ɝh{$J+ώ]Y:|O l-\ dNF礘ˁo4-RE3sE(F[hi!\X53䞠l.H$/URZȡUcBtsx s.; ]JhS牊Ϝ.Y\NڽI!W{%4BM65u,:1)% _HC E,Č:$Cv"[ա"GVB:sšiGAҶSkyc_*RJ|wӮY<1Fyt=1Y0G&XOU} |l#I62C]Zޣi/Z߱EnɚE t^<ί(2d\0cuMb"pO-wSG/&Ab69EԪTnr1n '}u3X0Q (C) TPfM7"*a8٭̰c=VQ7y}zcW=s7T 5пTk ;CGJƝ%5 +8n,:N8U?&k1-jp>C:m5]jw2n*b9/st6\ۧH'* N` YX,$}[F\KPE?I(mڑ4yZ|ʿǪ ì⧕6+"NW5ԃ^yVʹ?T_#q16l)F=j+*)=J|E2 .?Fi wMM .1:G K6kհBvT):6f5U #%,)n+˛Lb(m=Kaۗ7qQV{W$JG= ''' l'-)<%M쮗Q xKr{ >^L|1-t^O CHFM燛"m "^. ]o~\ *dmOXV6Ҡu <> ZvUȉlj7dRItimP0 *@ "qO#ZLn={7kMߔd @To?dKXwM~d U2qS=R߰M|Ƴ`KӔa {KNmITxB<IX{TU[[x#6lIDQ&|$P\?~ֱ^D1V5;@Yb>`4JGZkKaVj'3'[q/N=@W_cmBuKx_XBă/Eq%I`}?`P4'Uui(I7nݰk@h\)!`t!ȭngYZ7zXZִF! (# !]ŗXiɟ1˦r!cHkMeBd4>-BS"r5T 1A,PnTħwriЕHh 0o gYlKHQJ)Фc 6EŹ͹`98FQos󇴰^WH"J*oaӄ|i*?;0xiZӯ?V'{6V mjQ}\oA|"s]O'YNČM.Qn~,]2-0V/NF;LodJE݃΍9d^D*_}F~OOA7mZMas. 6{s[xaոrf0?*^=2Ǐˈ(`Ryt,~[T3@tDl !aF"bPo]jԊ ]BhMg[ѳ*fMs0[T 1?4 cK>Y  =鍃@yO-=,Bn{[g4.!R1>w?u s~ϻ`Ϧ83"׻6_ӎRy㦘VZ~}p@R>#~ZP-O_/g3/a$T"$ AK<w! *Ĵ"D!KN0"d-#+G^\cၗ`4َ9*1׫rJUnzqj;.;i-S`SV$Q4, s$yejk*!>[3O9~=c2hҌЫT)},rhfY=+٘u1̀&g~\eV6򈨅GR qMl2^$!Aq=g9Q$; Ah4ANRq!./ha> K΄0URkKfin@O/^_9PvѱgYZ7zXZִF! {]ŗXi%GP;?E=4Xj.WQ6/  j}eɘQ7+XVI[F@0@U@`9^w{.BbZ8^5RPot\2bx8I_Xͅ氢4$ohdYBbCGTnB#K%9Gإ"/ )lvM(l:I4:O]L02o_9p2fbPȼh4ptx[mIjT0+%vCNڧ“hJ%Rbj՗IȑICw3 ~PGMFP-KA^Z7KQpvǫDiQ| zveSzѳ7%J](_mB>)L1Э6}H8]YWL I{(:'enɝIt~6l<6-&q-QYXV ՝ܷXe)7`a,GImﷵ6J$eG\T*G\}'hgwЁ/Fa:Y1- MS˒`y1,Hrb %ҙu0㏿J:fosAyMV_ACx$2Md5baQe?'1SrTF'k63Iq)9ve6#] = t~w<7[`1+ׄ M#L11X^V?3p @a~# I^^~[ˆOt=[ fj|\VxoǾ+u/=ֻ ȉOk8ԹZgQ'hܞVv;RdKiqI2TUJs]ˎZ%Ŀ?%?p.d\357bXuߛJ#TzE@*R7 .ZgF6uqPAIL-ډԠ)Bg57ar336D9 6Dj%g_2pJBlR$Q':l8/"(gz[TO#kE}۩N̟Y78w.%,/>Q7YW@VEaBn}WFDXb Ui 0YiX`:-Ih@Qj"~lPW2e ImGͿC,q= >V)F͹J-QVHRc x܍G`w\c NTM;P1ɹbcc* ##Rlmk9uw~Ŵ 1s[\'3w ,{"wR>AOERjP!*1U+[ 58ӡ'܍sq9m䅇8qVOAb(w:=]L/7-} 3p"qe [O-%'z/|6:ٙ:yai/K ]/+%YSP}&VwZs[O bHbG䨟yV[=gZ O@2W@, vOW# 4*ngJ.2%Nِ `.@(cSZa3HKN Q]c9nhե;s/A25j薋Fcǒw6r.̑nOi]J=ZNS6ҟnfiUaOjB~V6`?;h9Pm8肁- L-O@U&*]' %R[ѱV*%nA0Toh(ĝVH~b~>o9%ߟ;R;hI;Wn|Ui]YC>BwKaL^ g,+dr(f?VB0)ۚ*?7csRbr%3 MUqA-iSsCr& EI^8u^=|ȓԳ?.U"Y)aM% ]AI:=nxr5zaޗR۵z*)[6<)I-g1Nyr[T~l]iY&\\^Gԋ9+SIX57:gEGLuJy Q_||xP< M^-ZJQ c`r1DV=I¬>U)kE |2Q3:*OF:l_tNd+8Y?ܧ3"x)q|3X`_J[W[9Ɉ XĂ~ UDbt)q(AW5 Zwe=$\8Aow>bƊ yAt2b搨c `CR+OfgCWX# 悋u#OgzkV鶋qM,O<+B[i;/DԂP>%d/fzђٴC3$H㽺EP&xS &iX2^e˶ +6XTc{+u/^Tbk jTFdBRUg0j+Rz&RETJ}\gmg|\@3?*ϡH{(?YQt}TЀU\Ԯ '-]ڝ!RǦ` 91F{7!R?׳_/r_zN%wNK5/A3ʏҩ\*LZ# ^4R^KX;y@Oh@̌9gPd;3~0 Qkhƃ8EQ|)e%n" }eR&'$,5aJjRM,HƚzQc!{/ вk׈G``(H+O*4/鯑ټ#;<׌O7ڊΝ%T!-^ t."m4!AAnf% ?% 1-t!?ݩ€+Oay克)麋ΆD$y@SFN)[GFywpS (ejBEeMLGCu'C"!VbUKDRTgĠ)w}Z@=79j6~讝BV$%'3߻n^6z 3 IiT#թp觻~ bN۽H{+4LRü+t ې[&oiJLXnt uMY; uDŬEaudz%n(МgKrI(C!~ϗAٖ^-cw&k' =yh h51I`!.D̒F4J9rd>N37r&Ae1 M) CmsՐls~FJq+A?[ī!Qw] WIf6͆j!N8|6a; }/uq إ4l° ,,e+,w6\{ɾ} }oݪ~Bo7Tdļ A@erC@"f&XJ|1/*E8~^&Yכ y54FSPsmF 2*ESŻ[-K6))V?UAkzQN|߮/,7'}É6aҦTe@#ur GӋ5˂]1αhR^=A Frxe̥*^xC,fkb@f~G9\=F '[~Ԍާ8;`LI;mQQ`O!4?͒uB?%ox2yQ@5cil/ *$ sTDՐԤ<} pEhQqxƈ{PjvlR$R3.7Muʶ<(g :lӌSzKia^uBr]P]X>Β$g-,\={ϗ䁪H)PT؝݄?OOy.F' tʥ zPV;F 0S0Iin- F|_Hcxqqҵ}D'5b}1|Ymӹճ>#?]2<ΎT:;" hg]6wG +&;ءu?!{3ǎ/2,GL'oR=0|GPZN9ܶBg7BC@s_ncL#h;-(bEVoe'$vɑzjlDCp1tbzp1аCz1?xtD3v15z*6k3 1/3Fz F* \y@ȵXw0/1߱$}{t ,Бv>v*x GUfG~TφdꑱŴ2Vymf$sf,Tr'?9CiN*4xYTZna|UVFe_#>:,(+$geCL??"eˣdf9ݞ1v~8hL7F`-n)ΕpfGxCi̗n/mܷigY^**Sd[C}"JCa4L3dD>1mubWO{1ҐyfofrYCcg.6 a ]_81@?w4%C4|aÊNo ]{O()if񆂉YN]\P:ݕ\_׮$Y.2JB-&I60R45 ƝHV9 6o_Յ5Ofܾ2I4_@s?Ms nJA~$ge5q`KҲ A Vc1"[ ],uWZu]LϩN@2E]ݸY0Ky;*kB G3|:^l4vYWrո*&K@,zW%Kڧ\mS|g).9|d?39f^O{av 8pѾ F> 5 E;.53ƴNʮH\+`ڢb~B:OJ C5~w2,,RC7`#0LF}lO 'Aqy0_ud ܆\=N;U:[p߲mva\)DE19Ӗѕ 1FNy}}4tĿ =_J{k{-8:TOP*gYJ B!&Aي4G#gJ~p\>KZl7ޗyoJCd6k5`ղDO]Ls] `%g#Q:6ޣPe5]7+koi><-}"ySB6y3ަFx/Np zGYw#o!#ih򨍾*^S.GM[fS޳l (]ޱ4@]jid鱡s*kwe 5s4J"qL_}6U'Iϧ4_1s骓7VC`%5˄QAā9uZT+0ǘ*i>+U zѽq.q8x;}p_^M'0p`gf5QlŘzM~hcN\RjwUI5Pհ[@'259~jrs)ֈcPqw+ vh1OU=szB}yyzfuz} 2bυB.<sz"Iz(Yc#1"1F;szyIX1 ٣{j7?-Nv;0▌戛m3/T !#-^0˹0&_o8=tn(M8=B,{ǃS։yF)HW;s\;kmW4lo)odJ3J@<%bzwoT&t Kc z+~bn{-MF3XT+'s,K,y%ҭ0d>^xv?]ܬ* M(,xXN>QW0)Kx C%\kpBl.hf2K 6~C/0s9AVԫr7)C5)+otb$6".Z,XirȘOFY?_cB "㗻iv P(e>%TC k릇B3.vjxԕc$=Xa\pVz5ys,ܷLՠ I@Lęhgbp- ?FyJQ.AqCZg>&o9Rj4B/$97UCg94 q!}#Zt!~ *k uA7 Cy*/hT:j\QJG9 !+_2qHIP:ĕt?;u?I i.ƶEy4$.z@<Ǔ)u#Uʕ`=uМn{--^Ki)vSىU5*IF[0i+VgΰZЃ?'|\1%D,pAl{d$LA|ؼjh.>)0-,R3\ZDUy53 ٭b@1rEe3z)U!_2]3rc;IYӚD;quJ,cGfL,; tyu}h9}BE!?{Q:PrrU.2fqZRPdQjN{"HG1 rawH9b*p~ۣqO7r0u"D(iu!.jh)RƊIN fe4!4Ȓ#/F5e=uvn<5Dd>~&f|0jJ`dCX ->F[Sa쨼.`@3|b0M!Q_BN>ZPxl$N^PƉXhMp1ssBaاmZ1CKgbe~/=!&¢IzOEP-M9:v`4ڽ"bv6up8޼FO,ܣAd!zb!3H *yȤcc4 pP& pj t;D qZh/g&LaBZo5,!$~{$]qcf\fgV[ KrzJąg'o#<787[(6j h2[Z21#ʣHEt֎7M[.vΝZ.ډ)o6fa9}38%W%25&d˱_HGę&]AuF ͱh[ҿ W\u9-QS8ϽmX|BXUWuF0k x# # :`#3gkSQXfȬt列#<*?ĞM>˧rnǶxCYkog=$9ITieؙ} sQW UY"5AlFoy}S2xj V+!FRWsCO8\:]]Ҹ ;.Lb?y{ }C~n|`*Dσ$ ѵPa6ڄ$zqq8ԘPo; =AzvaS}JUD' ˘W(,xβː~]8:Y3fPГ bn R㗌ΟSyRDOނwW>˕w41]ɔtevpqMS=Ӄ xuZ { ;"1} NfΈPs5*aiU%_021 ذԆ*~.Cms8u%Ycg~^l{ʁrDRDT c /t, 1B6{^*NmnՖ#iJ,^DټR/6xUdT)lsmxvoNWA'k1)dcoeB}Z?„+\A+ȩ OG2.M]LPv䐏7H|@$W4Ϯ5,*tEz>wf06`ل)_iFf&[1V0N_fPδMonnem^нCW$UTE_HBTv@s@&y5Hf2xfGheQmҫkHt@9Ft :s7 QU͵߉V=k)p3JA.H;P}_%@۵ /Fh.,ȕY_]~9b'Jjh#SBio`cg4!EGH%sF*DT1ayDZW_ PXnyqj\&W\3je$z%\I'Fy'oks]邘~S̺%;)_}J#,R(O!C H 7&ZH1*Kq8>gbB(Hi "|"|EoDNpL櫽TYKJbO< 7H\ CES2ryPı/_yNS٤uWbk0u56TWm␭xD~2mbC_[>Z)G⦘<.L|FaI=z>Tї^uSW.a|&rɠBxW7%adx!*>[79:w1"HYr7;+<P)y,#P=%6 & E +L//3['KIieج-(RE'AUVņFwsk\?>.VQM!B QacE3*lCDv -L9id8YS M=tN=ES 5]: &` PehH)p )wϺOyf"gR}+:T>9W^O-$ٮ ۴" J8F[㖘fj!: dIN{4KXrPneivońt˛a^0z!td'{|h6>9||qR#0lN-̪%o]`Sdf<?)=)4U<=50P;*HM*8S֘=l}?mKX/wnbز%zNî7ҵ?]\߯9 yTUJ߻r0꺐~Gqr(]mK9+vT޳H3fo[tYXtexwAq-W{/Y,6]|Ґ!LSĦUj/7wdA-ܼ#' ~"e#"BAc821s~,*y\_D/O)i1aHͨNf$!>ւ̒<od(fq_Y,?+bqCёukʚwmCl/MmM #2pۭx@RWx[!krH_j_ Қqb3oBI?*I!;Bb~P Sg`KoOp9˨^mssXRY<~ 8{c§LtC%0Y ԤR4g ҋ裊+JlVs14Q@UH1TA*\K@|cɟ9N™OѺH1zꏓā7;MP;qn+ʪ>CFݣxIs .T ӎ/ⶤع.uo`1{nrMebÃ}6i6#d{a 'P7u|iA<™Kk%#iT,yd=(3 U] &s^4~f5^/kk-vq^ pT'vZtmt[{G'ICrj֨p9RpmPI}Ks>;NTI ޗ澪O/#VpPW ft2At>0ULRCK9 p+Vtgg*Yc^3};T ^ym^1NUq]ZU%'t1jN R^RJOP ݗ9,,5Z>m 7+ƻ}M9iǮstJ5әA+ԜZS7YȏbrkU0gX+Rl xio 8*~Bl/̿M&!6r`X)ߣ?/=0/FLPEqXbqB C^a#|B@wLӴG3h~%W-Ajh]c;M*g aĚo?Dz-Hx I <(M|]wHZ*EɧzZQBNfZؕw0_hQ1Ĝ̇لܑEY ߜ=J\!u\dySD>rl̒lWokA jh@yU*91JKc,YU)T TF `|S:`4i#R6y '甑` :x8¾`F.A9 ې׊s7O /)5Edd5gn񦘍! M I_6gl=_JkL2_"OT<0;+1M8 xpfzm2ip\0n, -d /plȍoȄ>]8G)^qlPN5B1Cb4]PGѱoI2'6Y54pk~6@k1kfZd qjc{H_wRsY6'F;-FT;kBxW1Z6C .“P4@6GaK&{}/kb lX!0Z任Dn[Rs}v^ϸ0இ]~Auo]jO)t4#iښYd@gTxvX]N ]Aw &s3iqG*BO4~ɻ%w`V̸rtsV.(&x|\G4iRg2noǐID:f]~?ΰhzwm)U^lg{O;E;:u0{բ`sB"^j3?e2 4gB.)=BG"Mˍ᰼@.;KӏLJaڵ@eoJ*]F=6`BKs1z{NIs[^not&1>.sm>栵yzWag"2PUiqT'z9,䡗%0w>*},>jbfur'3jp+t([ gu۠5zl!1SQ`L5BfƉGxt 8IJ*ЬMt~O ܶvA}FuMZ\zlE R30!Вw}a";lzH`:V{l\>GUc=NowIVYS /Xc sU?`.BvhIA}w:+\ȝm8\𪑯y*MN)*_6(CS >"ĉkN*TF,*b86s<,nY;kwoJQ9E"Ɖ/3rL15/*Ft @12]L Ұ r$ pXͬATS[cgsn]BcSʺ(!J5 XhJ2q?DXKACyD3Xc"y 5f%Zha(WRGjZk4 @f/tZ/eLHCh/шp$ƺ R!66s?{DLe7ږW$̚> YYrZXe7<>g('Wi_To6ִN̈́;/ǩt A%g Wophq"OUrN@pr4,f:0AxIteu4N^xG9MgDo ꒀ:Η}!a} n+JT{YeY䨡rTw'sߑ 𕛣bHͪ< %[*㝜b$q% ]i:ۚ0'LoDCI9 xe7*_?q,[r%1=䴐2K6 Ww#5mhۡ5Hkc6oMߋJ:WVjmМ-<\* GձU}6d(;˅EݷGB\*B tH@ Ց&)7gD)G4/:b6YhОEc}bV~o>q~(6r`!]Qs1 %oCO$Cg 0n*pf9X섢`gت^4"ڬf;oβ~a"T,N4e,`~m zOX0zr̜M1K< ,gH/ڳ~$Q0Ŭ殌yg ŀL2O_H6L Q*#q}\NY75{ZvX#]'x:%5YsVZs V;X5n,hKjsJDZkm WE|j|9ұ3QZ5T三bդM(WbBT{bJ$iScF<ǒew&$Bkçʝ{q۹&L0&D_&~.ͅ9u*EƢ +m L/֫FS_U)d*ZzLT +FqbpXViҏ_tl=N2κ}.t OB$?C^x5GcP،|xv0u"343<%@nfN%mq5To,"BRVMHk82iH|U b.,2#ITku,%F]40o9p\VU>Ņ© nu!;J9'ԉoDxkiԯWb i;4HTyF4`Z}m`IU4 T.*KyGɞ .<܏&cZ+ٌEFq*8~$&2T5I:O޻)uY9_}~VVj`.0ϱYS;ތ]1nĥĆ6jԫ`O ~ wh -fv^ 9uF*wHq1fXRo..P}FkhJm76jj&241I|\P}hbȎ@ď\Ubrpv"=ؔrń)[t ߃+OYMĿPT^ڎ XcjGdؖ[51E%"o8@6T`=dBi)i|m&r-io#4mt­'ӫ 'L&FCi!|ZIT5^>p_wf A1zhZc5pZ/ iƞ챇L>L|D+M&Ifh>cs CaE8*?1 Ѣ RLhhoվ;@ DVܬMu#`.pf´8$ɐ3Z_۪v*Woy0@3M2#ːXƿdxWp2dKa/7N훣$[CIhF! ?M\"(δjGв3PkapKaEhIhϥe5<=a !jW;0 G+z)P2U?Z2j;vjTKTN; <+X(G 6P8=5F<֚U|LWol?h-Z/LE|7M.' _Y(Ix^SS z.0}[Cc%@iKE$<,D\K3ecm{¯LXPQ?Af"4%wpTĶw_6p$9|"̎|-|.~bg>Mû' Je"ñ&|@uq4Bx LG M$xI)W~ \qrN(ׂr$PiĽ?/G<{X@mpgھ7sͪ(\zwyq(}yu$s?aKW!hv%ڲ&&:)MOH͝h!rhjY jmً]†0fT*OG&g"W5GNa^9I@m27lJyO,T 621X+ 1k?R~6,^ P΅uk5{4 X[%f{B j_H,Ш蕐ST% CIAZnA&xmZ{jۧi,fXoҺ:F/+Pgc:|T;?篖_B(릔 yAmS#1p@]6I w[$ofOLg alQqQa VA-Q+"Iw:)]t ]^v 6; 9dG.3>&c7aYR0y}=uRω옆񼜠^$؃,ѥ{S ?`Ux|B V<8ḦU3vN5$չ>k d6_V&/} e A\N V\[+x{/adjd1Rݯ$s'+hl^jqVj{֟Uw/ 됤1gݱlCikO/\-LT 2s+-gz7)ܭ?+^u8 |9GGX9 l1RPM6(!0Д͙G<7wfT7YF7jS&GS >ʙ`An2'cCL`P@A#&I8׾ؚz3ˆ Q 8f~,wv&zsi.X|OG (=e~r*ʋc'6WSip3nN,J /L$8V}w^%o=E(9Yi @6˜/gAܫ#&?Vd8X!2SJ̼Q:̒hsO;|[%34S"0~ŎcQwMu4\nqƑyT'åx/f/^3 ih%|9҂ㄈ 1=5Ӌ P/hy⮕HqEzmS+81S7soMJ?h?D3׽c>POK8 &\h2Vkmc2wɒG!Zİ.^X}KLtTc- ^ <7nFtRjr:=@j¡b {#Q0A[Mp48A8&9~3u*:siUyHTNߖ/WZ 8i4T7.8s QFvWv4OY߬gv040IU_gͣNˆ̻`dͮ7e%7~+O[Oh\kÒ66vH x#~zvtXrkKV坈y[#0~LhRޙsgjߪ*+ƣ3wI7M$u%np|5WU~6Ѻ']ǽXvJ~%ΰu*i&MQ#k00^$ "0H*&c@jpTެHY5{SH\KB'5ɋ.D?)E8Rjpl E0µHԴt JX$=ɖIÈN3m٠w)<[a0c8dd:=%䔠 I,*(I,{$ 빸&͗^-G/Cڀ03˩C懆y,zb}-*(4@:asZPߐ.Qo\jš{Sv E؝"2Gk݈IM4M||dd6ܴpPD=G#b($ƪ-äR(ӠRM52G*TxJ֧`g@\?wj+: c蘰HTK)XIl=${XGn@})5nb!G_芎4,G{;z9QD\q" ,a )Xr4qDΉM|7scq "$ xjkOIkS8%S.![&/6NvښUMAeՏÖ/z19*S8 Rlr޺75i?L"EhUhS),tT^ӨՊt2lOPjVAwsۙ_nyn~|ɰW@2s%%I3aYy % #)oܻE]A,F]s?מRƠ[ }f!؅V__uI שo[ej.U;}@yhcY W-GˉmG,#OS|F}9S5&/z Mk+㜊z,]ՎVBϜfѡT8:u-jY-sD\@]M(S}ţɦc>#bkJ{<.8F$FH=nX3EH. !$t6}PĴHhil(GDqUmNje #nǃД9(T{jdhSoϸ Wys+8Π,&D]ց+欌йە>.PZϳ qf]?3ڂf(opZtFW5743lo_7|هwVU Gv &4=CQZ>$ t PU%P_v1g3jyJf$j22n N7ց+7]m pSLy`oyoMM: ᅄT' ܬ:I;{|KQKLދd#FvF;.R$0Ú>45 e\xtνLz 4YgSZ/Y{t_/{8^^+\-&1V}ѫFhsٝr)n/ƘIvCW8KWwE+rf$&94V?8b*hp풯ei} R* !c99lF_>B'K iЮm]&ŁSM;ҷ)S-Vux[M6Zϰj{(w`?{>YF¹ׁ "hGҿ'L vE2ͪwǰuG/,׺zߤq!?_ s-ש~)#6UC6߉YҾk)&ߩ8۱MMVEk9i8.(؄dr~ԞiM_obwlm.Rh*K Kvg~'MV0JN Fal.Pe-{YBIK0x3Ƀt^5E5$EnY1S.t>Q#?cR(SDe]*Zwz1&`Qk<^P*|D|s'(/0z̺FSPxϧAzrJzi'#ç@e G4ul0={+v> 4k.uuxu0I_sgq3)O˿3̊QE]Ϸ;G/i .ͩGrks#|b;F-(%o- r*i,r`gC@4?~ʶt{i랇X %@(]Tm%ċL2^433]8}LI]ʤ38j[o(})rWSZvL6{<>?!^8sj0HTc1nih#Uh…eZ4qvHl!u[C)t+Px9/(u+4\tyÐ?'sۨA˗J)H%;~O$9eܫL-6 $RKw}[޳br#ۑ!.R.<ٞ*XQ2=ِw )3޵7CTS!7y6cy4`Ť:-\4+P04s/9e>Ga)%O{V$ƨ>`giz8\] $a icǷFxM>Ts iQJo5֥u-r*4?pͩg=`⏰4+{Bٶ|?r7T1;:ݤ3Vkb$E!LC70}G!@Yb$ 2'o8a-Vao7Wuwݷ 3Bd@Py6z{_~:6ޛ$:i %+qwyf ɩY'֮hJWs HtnwiqTeQŽ] XjNpGqO8n?@,_+q\-ZN__դ!v%Mˮ i`(jk1X;luw 7\oTCSó;#JT{d4OOڦ#X*U_5>ž!Wݲd.^z]ؔD0O.il5YTr%%<`L4^ExX夥:(nB5P;\ w(pݠ:`6GJ J>%i?odo,C4ZH I, e.K:enE3p|+$hGmobu5{V<#1_d`%l@(a69 *,MF8a %r$:}tG:xa+?SINg7j4&P/%/D7{}?Ե߻*4Υ͟m/c8PsB#TفydCЦ5ة 8`mr⭄^Zў ΢ۭ ]{x7gUh}Pa1[-Op/Җ.ν~ }n BjMg(Ug`;Y#iIM7<+=mٱ!/`QnU="Y͹|KmcB/~F<-$\<{ɶr"S0]NgRHϚ)\ۋS5:FT͸fx!Ӊn]PuoJ'Yo QJ&z[Yk95WȍQc^ #I`yR/U{,ȿ'BH\.sssB{EiC3-anWr|[r00//r$Z Ȁw|&u{}e.dN%[=$iP_mt{SQB#M?Qku2K5 \($.7;m=6U]^j|/A)YwvkGGNj&ynlW5L،l4 <=BEQXu|}찾7No ED )r"׉f;ˎĆjtCd8x 1PZF2-{`Gq;WlGZ&΢ht31Wv uS:*Mot !#˰+x8 <qb& 058.=P 7óQŪ"P #MW2Ur7 F Mmnma`րdy6M8eq ]2`2))^x8{cNYOgSE&Y aL;ZlM73?t4DbGOTq y͡g yYbcs4ۆ4hD;=&|iNt2"h b f$qʩ6#%7`ÊAElYGB;k;s4b_H{ԛ(3صϴxjci4,ྜྷR[wwp<KAhYFY7 BHl8E8>{o=ul!ĩ:Y*6R`tt5қDZj?|xC`0,”I6"3L!խIKG'!G~/zA'ܵt5zT=, ^GQ<:+ jX-4%sq(6XY^XO )b7 14Rq0e stĘϘ/ڂsoFƜt8ߊ]3v&/}F5 kAJYpӎv!:[NI6|_뽰KNTYYVϚ8ҹivsC;DPK4{d@ÞK55!S@ iG%`eunkcJLn VhU&,y҆Gޤ0-2v $`F@$ԇnN_*͇GF_Y8@1R[%qo=-!\U\.B{rC K:Z$ܠǯqr ~}|\+O`ڨNXrꚫb,d$l -0-sz@hUb8BCFrLXzƸdr9n%v/#BuAtE;"{D֊WlDLE GP p@lޛњ;=F Cߍ ]7*)n NnQA[ Jj[^d-bCy̨pfYU;3;$Jl :?|P"VgTO*u9nP~8K0Ժ >B}ɟgvU{w1Ylf9YGF Js1P]Ժb1M:NJ|c.FΗ+ÿDB62b IV\q[ NDMH5yGr,2U/,/ '=B>i' 3D(9H9bϧR|K jZhh.m{/{HSOGK?P B>5"Æ/n' ?pamZ?uk݇_,E}Ym!v?!MEۋ!nd{Mo<3[be` S0%upKz$s,cN/1ܩ Y'KTaIΎ& ~LK3/`W`]X% `Co_\I7jXL HDUP"{[1owF'4u|b^>deauzX)Ww[BylVqϔs^p_G13jNbasPB 2TJ/odPGt -ga yl'|18JLf8l?'$F`_J.gF҅(׌Ƅb£hbFFԑ踭DX!S? *&x\loF: ~I&c!ˇc д4$N}Y>)fzq4NرgYZd89cddb2821b76f4e5f0e76d53cf8433271a5816f3782e60e56b1de215ee686052f461bb18c61005 ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d3371c29cd9aaedb4aa25848509d0d6c991051bdf64