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  P Px%x Ld ]m Prpu_Maxflow:threads=4elapsed=149.698cpu=289.660gc=8.0127zXZִF! ?]ŗXiɟDYK<; FcFE%ߐgRT:neuδV0Gf0%[} 1U%;C)_:Ps1/0z4 xh&,Q_ZlNGUYaY 6nW[S{q_fVF Uu ڥbu{&M`I!쩃ŎM@ 4 i*mL c( wۂE0HUBIBd<§9A]6+3b^ۍo5dX(9_97s!B;Xb &̯@RTxC,oQp&8[9Uͮ[zMh $I=&_:C6̬fg4Hnw5ݨIJ,w{bp.]ݛNMܦ55OAہ)9@tlGro'o % Prpu_Maxflow  @kc% Ag]>O-WwUd>I0 eYs ѪР*ג=j^+j79Im!X/=".V"\4IkKJ:mw9X-ɶFym]|vss1&Wxn8pY0C8DQbrz ǫ3+S> ue $kvG)ŰNٔ-AWs3g  V %!Þ99+#3ڗ"Wl%?Ev erq0hgW$V+9diPozldј6 ncSW!uA@`@#b5j<_KuM:ym0L }bAl%?;OK_v;kcƯ,J~E"g% TTU8J(ntE{3҅²9eB^N )Z$=aqzXn9kQA5(`Xoܵ05a g@ ,GI[#@<NLsx*˒ 5Ĉyob[8T}NKĶg GK}\MŪ}(O 5urGwA6DM;pj\hLpƢ&@ZˣdKWsj1T%,:IΌwT(6*zM԰;cL7tnI6-~ |w_0DصIZ$ɣc?v\ YTOtR=(\q$οΎ (𙥵\%"^.L2~_?Qܳ1g cHLla@P Nv;#ІOD==2ݜ w@t.hkF<(PNU}&471%_/C{P u X -pd~X 7[ѧO #v2n x4Q&c2YyNSjzK;9~o)3,b%/*  նIaq'*rVD´R8%~Dy]k^C7Q).2FF&wC]Pu*~)^Id ^6,l12>uən}S3-Uc7vTV]X>6ynxRC+#cH+5̆b]Z.Nm ڗ͡ڥ\h+A*ގoU?zFFҤ a1-G;_&PzSSZCjrX"zs;Y_"KqmUj7+*RU+_?7lp`]9Ae0^!'il)uZx94ح# B.ȧ$磖GhܥSqrﮈhA` ocg[w_jvvT) 2^.3{S`69n4vMh20,"a6[.>{ ?6ĝ ㇲKlIVLT 'vJ^֛Ɋ v*[é)J Z‡c!eANilO3tmS@|.6Ҏ"St#3u;RmNȊIXڴ UF6 XROH$s4ߚ;' H6HDiFzdC%l+l* a-*MX| EONF*7M11 jfYjϾ'$ET-ԆJY $m[{}w_H;Um`[6_H/藳> O VY#5K/b\;jR7|)8cG{ڄ&Y8YbPOM8㺚x>쪚 EYGgqLo7vk>ς>)eAFc٣CTZٛuoӑ[wZI܅H|!/ ӂhyR)wtwm̱x_OآQBc#3W5T;i @lZe&-oF0jWy8`` سޟ]w`&+]߇jpdrnX7ho6Ճ$9p/'yYYjR |j$o AzKyjY\/K()}6?,іr9;o/Eb$Ӏ3<{"{2d9RKL",@3tleQ30G0ۿ*4p{wV~)je3洌X~얅h,l]V-&Q@y콗+x`kX„2**]9Q])@)u!K=c C&~)6 2@-D-Y~+UX--Q=")zO(ȕTVPNMѴYD4ƊZFap0\Fq۵df# FS4>C% Ǘ̶gK%(W$XEV񝿄 RUͯķF6*mJNLN洠GЌ@Fߟ>76M|ouXVpűnUC $SWuK_L7u[[H~'z Xnѧ FX|1ɦ 2nJX^כ"c / BtrIT{Vd[χNi'¼Im(l&ա ,swţS;͚[sSNOKW6ZHw@&/Eq01- 'a Tqqvt[w:JTf#O=HU' :Um8*?IfC>WiKLW!}U\Yӹ/B7IWQHɀ#+rw%!,upUuB%"R`Zì(kd=ka8ʌ_V~ ({j_$ӴYU<4=. Oxu!J kNAB;%.p&ˀaƮK.0;Ŭ mL/Bca) 0pCPȹ<$5kyqd)P32EهӦsZv.׮MkBC@4muvrZNf9.\]Q%(]|iwM*~ά3įq٠ͭVA|8v a~roWab{I$Vx0W)U)c!UY.3KGG m&#|Mtzil)$t['D(l\sK~0JJZ<_*9oT<(F 5NH52$겠b1Н6u2L8r<3g]~Il^<3a7!KծW-rp$+C'ۉ'^Z=33"Xj}'3/=Ÿ}dׇsF`"l$h*T$yZ> kܷ:b+IύQy;Z jPQ-$,eǍD$$*}*ᑳNYRli![)< /YxT4B?ލ|.p羫kFƝo77F&EN4E`|R]D;pƵ ޘksiPW<@f=wQA@!ɂq$٠E\ݎ;le="0(O2WW@˧?i )e&yi8t8z+B}jiuxE=[ʚ s;vpc>WÙQ&^2/)'Je I^_ڶ#+?`Xg+nئ #.?] C74+ptL[s2]QfCp9EmxoOx\0KzbB\*4:6'KT Y$W[A3E2Sڷyc_G1FݗVJⶠr#><ŜkWk^T9Ak2Ғ> ;6~(zJ8+mˤDU$o9ra>ZDJL`DՁ6Ɣ!ؾ',D|*k c劂ʱs]13 O:gd岌(Aq*~  :~G ̈vFO5 K# z2ZE:w #&qDZa\5xvgd#E˼tZ_a`iA=GHl#D0ǺsD߸95d2ȋ(c߁j\,lD s政P=?esdwo{oq~>)/7CƏ5/x+1E:k9tsɹ=L>sx|@f ab˾m9ҝ:hݘS0Z,0>'ƴ7ٙh̋Pxh3RwI OdM},Gd%4e㷊0Zm.zmI5iD!C8~ܚ2ة z:E$YV1* 1Oɐ&%[o.刋cB6ן~l K]>b<,CHCHQ6VqS +nm0 oP}d)lr\>2 +Xi%O HYAnr{ZANÅ%2ywfwGv2ܱD1z,5=S͈̉ѿKn"Ǽľ < UF!sgou?: ι@2p܌_?|' `Ԝx4ɥ82*{~tA-~炓KzGbm^dbEr>1֙Ar>'L9b9Ý='iGVf\*@Ǫ&ݶS;#C讈nV md!nX0vh[%Loܕj7}o굅B[9OPUJ,`#@EiiMXHL>rEjaD-Vn*jUc*IKê"e°*Aq`CksKK͜P"յ{#8*Z{68tf~K5qN[NMVlBJqoV>~oB颋im>Jl G0ґ$o\rn~!K I.A_II zsۏJe Ñ1,+ {LN Փc/tyZ%`M_dQ01A&u^^bDywtHѣPeF5Foy 0l 3{|@~(!,Ty T2KGs~2əA*# 64#{ SgOps)2>Wr2.8Qz/;-X$ɓm<#@ ї~&h0vA@5un ܯ~9-A#hӰRo~1pRzo]oÝuwLH5k8`4]c7?SXswbضH2YEq@D>!wif]:x[K Ro$JvK} BSU2vȷ#ػ+fK5UCitK9pgp),,:|_R2hQ1_WP2/IF+wC6dɠJ%[M'f}ot+ SmWKbQIbYVESx\Y{Ɠo"F5n4 #2&RiP,4 uTǸ0a9:Sf/C8_uȖ|1/#ڣ n)) y3 wRWB_l%6e)jklƉD|Mz;9?y AMmou#ZOWvkeCMd;z|d~_%J6}o=soa@ZcPrvis0]R]r~;gKgDut"sWvbM1w*^51 84_4LPFizfb4޲Rru(/i!SENӕr'Pp[bu0"T_z; q- 7K΃/"tViZEJ_VK0*W aP ŔM,GfLFdr~γr+LbDŽ}`՘G*ZaorIGO rxWlCEg;e O*W&GvQkQvCeZti[)\^0PD@']"Y6bP͎9Eԩ+K``U;eo//V !Qdbec}Ǣ[O䕋>aN^kTMUsŢ'#vDO7teD5y?9m c(Cˋu y7 >$+!iƚ5:G|KY^1ws3]Z*/i5 .Af:s*fEazHizDQYŖT5,g0.S*O?BbK Ufp_yq(A4;c|x `7hBzv8Eсϲ na'kC;', Hr!3Wr|IU =ئףSy)Ǒ:N&ɠVGzW!)%Bh1>g!NieSl=.p{sz/*~Z9k CR|,C͆]C+C), Ĝ;Xl(IX['-GbɤӘ)4MZ!q #Vz)lGYo@2t9L0șIcwd*˩yE=6^IK0s(\f}}Som,0@c2 fAė`$tZ;&"X6pW emP#m'(ȚJg{X[ebzLAVv Eނ{#9@*YVfw?d:s:UJZDBe"tITA3̟3XzwH%0KyC_H  5RĬҊ9? zb6uaGm2@q Ǻk"*\tijdXU`v%Bg^p{۷$KZ'Rj](bmPpBR\WIL}4uz\kk*Tt#zdl9:c~18]@>F^|_NF ^H3%@\14'X.pi 02%mjs!O3Tv>I>Ʋ&h > ݸ _zxA7P%ܔZYR@B>5KwQ87bd.5ȁpbDN;5'ʠ^Ǟ#@ii0Ą)Ƥ'ܬG>Skױ|Kpoh!ι]eƚqbW::Ԃz8ycT#A,DNZڨ:b̦G~K3Y .M7ږA[ N.a|aXQ/B3}JFΪZE񣚾{"r3Q&=%ں98)Lj@ G # {69ǹ`ExL}tvy>ɟ YP%._"NUc4Pz$PiF$Vn) 䶵),~<*HHʀ,exV@Yo!)y@UjpUQG)ַ:?:gVj\cI{.aY#3 U(ͷ¯رu)J¼V7B_Hni: Uʎ&n-[X nB*cdXo$^HN&s9gP|Qk^5bʑx*'Z 9 TgR33$7QLS>=ʂR չ M&e+ Of}²;a7|,>Kg&=$^:A3a0OBb R4ѐm*cw 8v2qQ[@fKc%4/Gxoj!'ʔfU5s'uǤ!A9F!2G U_Y%1,aHpg H zUbCC1}01hU>^$t"($7"SDv-N&M_,; ͣ;hZ;! .\@%oć Yg>~k‚E;P92J7H]9G^c:O[Fƨ)wDv'S%v?`1~ 4jr_c^ F&,FaU%}\7Pt T;dO_QEi ZʚoIo)1{9>Vf}^:ls,+=Щ)Eg+$_4czfG[zS!, 9k zaDEӶ0sm=uqm?i[qʫb&fq\B #bw}fw2i3ޏca3~ř땇/@Zy`WۉeV $UcEK} 6}1 W1fQ90Dg#)@S7qѓD(S[rm cYt S7<5X3D.'QC<mUuso' ?~*nV J1ٍlqu\[hˠ9ym,h #[si8Nv~4l#54Ȼ*a? 5͉)Z$EމkKI1vWZH_Ro,-4  {d+/ P&n"bP~LN _wa| mO,YEk&nG2 owfKLhHr׌PIluDχ"ѿ(a,lyρ8]{e=V\[I{mi06Ibv l]NpxQ۰~5~*Ϻ[kwtp_:Z͝/78H6.XWϽA?G$^sL7ӣbs/ fzk9m}\m[I6?S4zR}Z j 6vS)/w'"{k~墳YAPOupx7WLcT<|qnӈ ,rpX~#9UhD !+7ln%A j( hO f_ʪ_?v擳I=tu(_r9 RR-Ȟ+=$WI[KАv2S _唏䅘Ck~ev+{^%ҒM==- 58 ҟn2`i^N,Mo8R6 <'ZlPgE:[d'*'d]Cτ]%[ u/<<+g1]*a?:w@ 1p)l;.4jk赺q"nc9CM TތoRs2Q p֍wS:g{ Fy[w~ nޅvYaļ>ٰ ѴyLa)HuK`K}L8 m75_O- s9qzz|qNLL>;ߌsk<m[wT-L "5,QmMP賓9(76Jg7Gh -F{cfiŘ~< wWyD ? txz2#TTZkOIBDM!AeBe $9+qQ*CjG>?]u/_q8\cM6r2Dcԩr *bt2XpMsmD}[/hXPS>uDvjUd M]FDչ5I.wqxh jGXv:- e`4#O>աV4&/ )&wI-Nr=8ŕoOۼtC-uaay~")~^"cn |7kC{_ā\FQ{cEx!DW|MiFuTE7}]gL#ӂ5+"~Ӫ՚{)g;zJ!ΖC^B|M{2cړr CK& btO>QO_4A ̿RLUyu$/No*A߀aC=,;e[3a}$<*ˣr}AMR `5OYucb/&%LAXluA˘e݊ߡj7i(Gfߚ3CGZ^L2;i \u |_v8&B6Tu㊯.dsDYvkM_K2a,4!L~74aP`-I\N/9@Qx[jJp1ۏca6 e?lYWk{FҚUI58t6;Y$cQ-c|{A]?R•RD,A'^]Y;~b82IE= DaKab;l/ on MF12)[Au?>|jOb<ݑA ۿ_;Ǵqq95 NfDJϖ6GۭͧjK TeJLrjoJՄv$x]q>N19MQRf=0Inu8EH! PpF:3mWdGO]UwOM\/ Bf~)UV(+i"X6j!rY0n^R7H(WbjC8s W_[2Զ̏qbni.Rk(N潛㵕0~R;>۪ kƗ]< Ĕį NϡHM/:͐r`%W:3$| nP7 J*d[kx#y9o&;`-o\aiċ>}~>q'U)I$m83qAe"շ`dU8 /!L뱗fW_h;]H Ε7Hr16@lvYoQT75fkcM=`4󿥧(Nw ̧dB= 1.ɦ)7<ף Iňm!!8r&|lI/s'-a˵(7U%$@gUi0 F?Lm;/Jk\k$U?kJ&KfK-tEA@<> )gG?(@PAHxB* l R Tf8WӨGȁ.-~4cPw~$K"D8V%n>& Lyu浾J@NǩUhO`?U{$&ݸj*eP/H+|0<3c<89WLχ=j]3b^ =ZyoAn-y8{b/=;!\B .(b%ۇ$|"|Wzlt13(]bzQ5`,# S@(<f+bHx"yoBKHއ(EQZ+G̀ܶ Lٗza qPŨ䔦=yUqB- >>i쒅zwS !II'+7dLji4RV^6>lA!X:1M3V4 }ɶLV>vmy`~g \j Sx挄LLx [NJPϏgk8j5.ΑI pU֕xL.%ϛG$mj<յvܣ+6tόױNU`AGN?d$DҍB]^FFZB 9\ֆf MַWٙ >y/oO]/=Ah䥲!kR߻2<e&^-6.6x5W1FG;Yͨ_Q3hӀ5 m,;tQͥJ&M +}|jM ?=9 J1!WH6xƱL@%3,W8d1P8 NR̀+-cp5 kI _㘁_BD 'H&1! 3h٬$|MV܅L^֊.If%,GΝ 'v[r"(,\mO 0I)6{t C J;uDSl7QFA ΍ӟ5-wJ `/do;RCzVr!_x> zWC0zo[ [ -jȥ`aX%#plFJ3S .r# .Cjz"8w߭٫ [g#>݆0;şBg H2K)Q4Iz w&Rv?ٍJIV+YvYɌrW\/# &BUYI\ @C{aսHgw3aX]QYA Jv1z}YOM(zTqrf64Gz߷mFWPTLBV\C0.6C 庑QWMu&s}tʄ"Oj7PH4D!ˢ2fSQ ]KL`@ s:ֺ2 f7sU'[TZF=8/uy(vU~O纫W˟r]DYi&f^ooT tM笐b\=-(*䠽:{M)rP @hsڃ&u٨9d8\>yuá-Z,(TT5.ȤxR*CIOO8ޱ_1p%Eh%g#ԨIۇNpWuج 8gMfnUC5Op^ƚ #K>ӕfv)E/<vo5O//)4rBlL pڐ I{p4MY-e6ߑ`bd T XD<y$Mm?L7B*|{(UJ^Hq =}D3=oF!e*`h_h!*<V0ˣt4rVF m(FOS~VN@Cͳj^)'c ^}( +|-j= mX9(!;AX塉UaΠ @)%ڤfBzĘ#-roթ (.'DQC\`ip"0ÁOv^X1_RnS!2\VUs_V=Dyy؄O/ ]v36D13"-5Dܱyz~{ Gx4ƴP8a&+}_ 9a74,Rd'Inc]Y>cfU- 9l+GW0DaʡSGx5`9"y 38{K:nGmΩ|R@IxX* p` !/z}vlcXIS?*nJ_uXEG<| LyElJz(?z5bI?h(ͱmron|KxШ^Yu lXw w0bs6nU~U}Es[ۆ=,‹hEalaSWd4oY{vKl{. Bs<*K"R؉NƱĵG Pu Y/ܖsJ+OhU> tvj ,VGf=TH5c(ia-_'ع8f*3W=qW%ޅQLV'YwiSd#p9_O]ļ ;7̋J_G4(= ]<Ͻ{èD`kiuiNmL,/$o+ZJ-OSj4 vM-3|ZДEsٓ iEc?w= !5O^r-#Uy%GJ*-i-~pVZg"D1WN6Y gs[K}L]6P{j~?e[~ L drt0Sl5ו؃7m~zϱ293+tHNGX{ӟ)Er@ZVnjۇTzKGc"ź3>򙎟O+Ij`&ե9A34Ѩ,s:]`RIf Zo:l4!d3',?kh"2k&T8G +3QwE7zDر }E j[MDc~Smc )6_٘N.쨸Q_bYZ0'5A@PW~;wY.ϏvceI7l@D۱Y^Zۊ xVCy:@$,sBct =c1peqFН8{L;l3_ YsP u%]?2 ИNaLP։[zmtT +-|A /OooW~Ґ;C|ƴ@/鼸~$!}Ls91"@4Tn^zRGq ]./-L3xTjGVY!r`'C5M!׊V\Ps^AEY/+(1_\dFjM'*ϙwfRy,{gDt? P4̙0AI˦Zp~v=m_Egzg9PK(+$eO@ i*TЯ'<_/@YR<_)iͬv|Y)?f.[@Kmݖ ii`RA6`:w*c …=Rc,^@9ʵ0DJȵtҶ9y{_j]ǥTx LS x$;i/)D+B4U+p_r R,4ؖZyo/P-&8'>UMG6:+Gf0ApG,)HřEέ/An9&ZR-cްc$!H+U|ma!^zԂMf+B^@2\.Ig0 Hr)U~~c.%eK+7<%ܹ?nNNw1-p!7vNA\ނ] TDг'zh4؝J(1 /1Z)%2ȑ68c.Xf)2 u,Ȏ-]hn0D4ئdUd!uؕFhӷfW4%jcďRi#/AGfw v6>e} TY\ŏS~(Z4灋!84cՖ YkbLU\:irȉ?A' .μE(KݾW!jުծVĕSeWߝǴ{rgڀ"MP&!w=-gp +H9vG:E};îgsMhVDW1o.uv;q3)fM1#\ފH $;E[r6F1 u"v!,*uf0+'O:=rUfbnG$=oxm.3nu}$09|\)RM(`ǝmoz4.@vp'+5bQ%[ :6RȄkiQ̠zv]ȧ& 6)B p"Euqr5M>XRTϘ ޺|M-|?}'ibZz;'3yNr"Xh!7 bvWB1I/hv4tIEfG#jukQ_,xND\>;[z]ݸUcѨðA}n~ĝ -}8G:inQ@ Ŀ˱\+6Dgu7n羖9A[  ulR8ew ui֪v%&hn b#@*uo0%ccS{-t$`ew/eq0e2>4(7@",j&[u;1cKopc[xNdyseJjM,~hPpl;3E|&T]kT!Nj^qC P@mhzešO}wϦggK_$e=1)7--nsSp25yp`O['ՆaYqW:QoOv?ysMoۙHS04e5Xe=ӏJ$5T'h{h}- 6i~h6ia.c*.#yYOi3k|'/'rCZ|[{VG@p#W\F9_ R?e >vJ6y/Qݬ_Bg[|AWsi[bLfd=[Ί+Rg',9OZ-F 5;ҩUXye0Lbυ$c8rRJ#% 6IyeYjֲx z 7\?.BcS1lśJhLo1th9 tӬTdMgjQ_]C~ᷙPeЪDDDQB Z1yP&2&zA/F-qK6lܭCs޼KW!i1G+C32D6%XWHH|WGC:Kï.}4K.<(ElM Y'L۵h~wlZ2KWֺ5!T$)f!e!B%,p4b}g XJ%54 ~Fd) [@<:t珸ƕsheW&83[  ]M 1ywSɬ遳\w LK]QPTd[f nh!]YzCx :?ok֥cq#M.YG#-z{ 0Rg< ~K{/ =h@1z,vJn+\XId#r;%KrR,} ]q{/:NbRw O{iJy9}XX#[4fSM_@JАzZ+m&i4ۃ*_ LmQ,Grh""uDv Bmy<ƒk!;G-&2T29D;N(qۊu}[8^ H ahG^Kg^oٌnlW F6~9<܀dX޲;[bԛH8\-7 >aa_ /_=9AJ,Q{ Ӓ(>i2\-2源ڽ"!`mmMHx o6E\ O ,3be^flNe==%ea kjVt< FmP(-7TS dߥcLlv,p$Qy]Ir5q8.Ze;PKJŰ!U%fZ-d9h :Ec`91І=k6[5co=z/HB"ơEKBħLNR\t\!ZvVl ԈPCw1 JI=<.{[ГsV'18 KBxr ^v $2&kr#RP\6ent g=A.w~AUӬeW]p$p㤽,Ć)+\C: :+lMrř4a >.ѤXܬ&*L')kVM7lyFO)և lA'x0H+@~ rvGҶMбe X d똰t\ӛv[rTT9(Ξ*CK-\C7i%}kry8qr18 K_6q8W D[7]ֻAedÓx-J'oőe{6heU>MߘJnZL[eȏaȽGĞ]zGz)lQ(lp=(>5ll(d/b%.BEa C%u "Y$%5Ij2ǨT Z +J$Ƙ7H:y/w1)g_U?bhX>rnGəm SUb0M[R:N @N^o{p1ЈVtCHr,aE(A+ڵQ+ۃgVrt3QFqS<7 ^&t{ܻVХ]6EnstpBӡ2`E3jK$ 7zrf(}SFֹСZl2ӊġn.ѓ/}6g=Ile-N$9L˸"-o s +Q/)i -KF0؀nS xmާd#ęu׬fdWqJ.lM:ImrR~3>Ygo7؏R cN+#)}Za2ˑܥOsjrh. QϚIme$wኯ?Q2) `pdwv2yM-0 SʩKq 0ڛ/UA2dtȞ6 %|#xpvͺMN%LH1Ly)y4qk$(i*[?(t&GolS[ ~4>&,0wߥ14&5")4Z 3k9ʥl9G_lE wk%2iK,i6Ә11 .a/-U;# wS¨`彨H$FIl0$P3 ؅^ըm{5_?qY1wJyXVeFO^i2<"==rz?pW`Q??aI׺#R5"|NptL$7t2ngȆ YmZB3MhS!ʎpْ0,(L}sc5lfgA^O.b ~'0Qv/U|(<02쎷\ !_f8xZ~89ѼI/Tt7L6BqM@H\/-tlN/+' 惲VJ4_ks 9dnQC!I.e#g)Kr_F nA =5k98v83[v?O;dv=|"=*? O 7]}`UkN;?.ý_KjѱXqhP7ZdnEq2E4Qem-+./(m^ [hoqrP(fӓ{^EK B$1)޼2@je\nֹ JWf w^ZnG5XDGdVM?꭫]^yY5"hvGb9& T@+YiGF\U+XNZ#e~4>R0e` w== Ә0*%m"#„{5k'(^l~4mK 1r EvEx6<:1C]o2.¦ԾH@,CHO1zJAM+ZRfe,HQtI`C r*Gr_! gW3dUIck-ކZ_.lFDa#hgyhDy*܈!}{ 12769v B^YJ7ޔTS<C:߼iMM Da:&Yd;_P _t9 漟Ub# n6A#=p2Na#>!b+Xf@p'0SDmߠ ]X64`%9`#q aΛ!**Y9[)/Sam$ڲU|K4!ZN(&mУ҉泻xb8f;SYcT^JSjN|,bϭXȽ >(P|gR+|A$L^Im,[HN=96pppc:؛/>7樚Ptc2NhOY\ykcjЛJY Ig7? \ o$ z+' kq)P_ӊtuA͎fL'H )(tQ9.rN#Q1% .ZF/ŀ6BPTЅ'b4ObS3 \A,3vxaX3sޭZ?leR؀&J#u[+Fe,həͳ꣠i]D Q91{ Ͷ`v mѝ~OND!T&)JVqFϱ7G+*q1H`iM&ywVB`*PEmeI*4mvWSNAPϔQWf EV![-Zؘy?[w5~jb3}d6J\Z2O1VCF[|d'l|&Y#m`A‡y9-'ޕzŊ!5hB f$hrK}Eb}M)_-/eaR`H[Pӭصry.䊋GD^ۙ&fsddWr%c-}!z+Y{`WMƬ DQӸ綯<퓳||1=u"R24'p` y;d8.!!L59,[׆e=쟍 ,:LS]UMfQˊ8CyK C }b:Gqtl~F>!Ƽ.`ޟ&xOliRvK^+E) :ais8\Z1nr|us ,C<ؿ=w92zu(`}h9US@w6O?(b- l_WuNW[\JTyx29>+NgG@g6]_do17;LQ%90/m.7D駪eDi\5g'/h!QcVD S 0pԎBXVN1^nGZʈTmi=q}鍅Pb{ ők]lUP& _E{-ӊȖF5|:sγkL6:C Met{U[-Pň`ɢc`˩COj׈|sz7;1#둁Gݙ>osD4~~x Eqw[.y},_||JՒ|E5U B*\!߿t/?ûҘ|)9,UX eCU'Du}Y;~((8*uR9E +ܗ1e#Ƞr`bzw.D0-R}HzBv~&fD 8A:^$@uہ59+bamצ]Rסg~H.>~ APz#?[y(;ce?ypv7I h7՟ft}6mD&lC5Iܛ68PDCh$Ty&z7禬VIr̡p^n|U@j֭\豖OZ$+Cex_^EC)i2TRՊlu!Gl8C4ʀT悡Y%M eJWD.26ͧaj9@,DA mRN j4IQπ=mL "d+昷\ W7݀]1%wp%ϟ2"W=%WB'tQ\"TCxcq:t.kZk'Awֶ|w@w $nAb&VQܟo m Y`)sfz@ ڊgH _+AcƱ>wܮLr^̬ Ӥ&Q 7u[7#pCx _[4ĶJq:tc*WFf&sEi1į<Έ8% *{PlViBW[L{&UɘGϾRyh$52k3/|zj}{`zy2ݸߩF; (0k]>o x"0l)9D>XOtk]2}Q42J`[ZwWk@(̺5y ^q8aIv_ԂAOHsSǀ@ Ni@ш%Dܹ$ ֣rYO7'5;1͊l>7֊~W2!ռC%[R& t9a-X0lJ6lJ0?QP bnPUB%aDw/&6GJSF *pI: k2ڽ>>d"q(ro4_(Վpx|m(bW;3w%(MKf-1(z):1} ޹z̬R|?+B2>Qf$Oϭ}K((v 94T qzx2Hǁ t~ Nf@ GlVfP-k?o T4&8--'H:l«;qGu?+K9^+2'u0Jgx3Jgj)'lfY?kV춯nd&%b,/ ?y2{h˼C֏Υ0 Ì̜9ǐ|]=vWiɯEψ6}#exfC2 x:vqm`6MgRnL&4RdvO^qg%XG2HZϛaM|CZWdN' 3Yҗ0݂4%`|P}Lȅ'tpGcUWb 00 |agkQ*b=#y$ōРpQ䶛<+xߦEm;#EǦmoZ"q rDPR}hR>Þ.􃉵&/aӋ(ZT_&jd]}&a`T7eGJg!J`tq+^|Q ˪+Z&7x e \[cG ~s#Ь֪%jaebPn+/Ɣ^*Y˰|66{󢀡Nճ iF+`3X xxyLrG%?⽺lm*g-$a Jr?VsqO B }y6_ uZZKƼȓO(m]w8V%@b/FMd fk\M?dSZ)<g7\t -zӗC1K~ϋ@!<E::lO7%?`T7jy2**HE`ӃFr-4̂,@j>^+mAUۄy whp^o^[2ox!NDŽ[M%LbaˇQY8҃Y^;d8;\-) 'KQ@.I,= /h<waBڤ,1ݪ48BUK4 ~Hsa"x{6~GK$Eظul \,b 0.s!TsGLHs//^XnpI6!,eQ'{q=DҜf/>+ÉI*?twx5Ֆ 0$4N ӲtVؠ諐w:#Lyr3eRPWq3`G= *NGEWSo , ]Dx推F0gV0En/ݗSS 5ٟUcJ8  5`9i*մ*paHsM +M"vxW]er!?g"\>y4Ifٌ28()S&N\gAƁ2uԅ{s1_bH^(җXLȘְG#*.9-cL I1]\K,َAOWfuIi"3!LIS#R,#17p!aV`M1mB]ƹbLxuٹ%*l}ԽeY2 JQ~5,x7$z5>ob2s=zvzC P/̨3ݷd!-6>z_׽FuGdYyrSh R#`O>ۣM7wy#@Is?#usb kGk߼\Gڍv Ϧ= .^,]D0V҂j6z1X x~|w3hq4=$jG/0޿ }KrN\Y4\'s(KoVs CG9'ܳzrxBGh^C , WC7[a?q*rv/i/ ƵpyC~_3$4,Ub{w:o+ Wݻw E1Jxu6Fh8>wKe:YGg"K8]å8lU8%tK-P/7xE& ^-çǔDJdSd-J [s⫧A+Wlse]>|`%|γldch,ϷɢnkEWI:䖙_SFrw+L>1}-Ap[XMXQ`۶U1YgYZ7zXZִF!  ]ŗXiɟ˕CNྚ܁@nG`eOA 挸`HS|1[0u9C=w/:ׂzExB\ ʀHP4d)ʍ Qs ɽGQ%+ k.U{սROjW@h5EEcQoB 4XBqB~IB4þ%[%$$f]0WC}2W6(f#l4/xC,,w\yh %^)MgYZ7zXZִF! S#l]ŗXi%L&$Oo$IR:j8]v/jzwxxyw;pN $6H,J"ݥdҢ*.Tc)t  -CRT LZ7/9RΛ͆bI?at8IPTp ^r5|:)>x4ޕ>kͺ|:uVX>R<;=Ry<:#=$ta%GWU('b#T][ofm)&cl,\/FWWq2،}m!clDMM\=##B0w,oPK,'Kj\F/Ӥ " ݵ~VpqaW!cYzrQMC˝qrU'3G$TNBkpw0M.G|U!RpXP~#ԋ#I Eo}҉@^#Yk8OLSz"y: nCDRC[2'G)d/f;>3Sds"fw{Hv!NvOY4*u@g35iR]N"hf%`1B=ir=_rfLi{o^ ~`L;[ X,v2Q' %24ފ*[Ry<2D^ IQ]nWxbR)*uR`ah:;ߢHζ097v՝IC;3j^0˟#qRߖI``NWzq;α>w<0sĶ2Ja߸XzW{>xlSwX8پ5]&n;lAlcM3,V-nÙҭ0c[DE5&pԨAU#n}_/U w|tMfC8ZtK%m&ή&#ڟroyaE,8}FI˗0̇j 3y2cMNS{߄ax~^"Эe{a;dOPt9>=h<+i|$s! 80r붠jw9_tu`VheܶEMEfXLu%`S96!~7HEf$ۯH=Qp+#Ie]${vm!#] 1&.IS!$ffDܻK% [9WeϹxSMQouF U^PMa:U(@^:)2g%矙[Xm'cmp;Vuj, IѪgl_hl&Gًe2X:\Ahأ`U/0N ;3ޮ*I]NYy( "Hf+!(\.YdOa1g܃,Bgbbޫ*ԹH0J0a-'r2v+pomW{Qegy߈fJ;eOW?-(6@^jK(6! \)'E&Gtr5_q| ԣ"a2QDU8ǜFBQSߜ/nxÙ0^Rd7nwoH&00Wg h(Pp,$((8f}BxqT1Eo B1PtdK+8WЋYw>6[zWpu61ޭ )xJԽ󒢂WJ)<54 RDJ^` q;0̃Q[| M7~iId6!ёzH2y x];$c*T=UGU&}bY,R~A?qPv; x6A)Ey:RC[,To0ɫg9uWZg %AG#3R4<Vj*h~5U;xO 8pm1'tsQ*vorāyzkslB7g.l.,yo)pDoD/{g+1`~3rb^Q̦jչFk4tΆ>[;" i9?;ԕbhB[_{Q|)N1&bėnVv!(V˟ Y68 "ג}:%IG4GeꄞuSqXeЋ{Uo6C[,p6 ߒI} Nϔ>'C7&a~ Deu7\|7je/QNm;5ʅ]X +{I'ac_<~bi. &^0ÁiNqkx*{qQ&jK1#Ӆ1lD#ѡ,tkh_4|F^tg|mt孿7|M)"At3}/c˛M ȃoww]{Q1WB-}h Q4ot3Z/-.00ʫzf-Ph8Rv?D۔t~ER΍3ejcӢ~ -jH۶teI~ 0:%MDZiΤFRKJa\cx:j,BN?$Z9Er6S]&ZZĽ)H0;Whڗ[ k@+f w"օ.)zӹdٲ|˘~R ˒p;қdG("KX24kz%>b*s˫#"?=`\aoXS>#;df2~yv(_,>;9z>Aiߧ*K?T~Dy.^ ~ ͳ ]QMmZx$+4h WCsсsH`LJ|as ٦ʄj`(`ī( ña#KZ' ݵ%Mܡb62-jV2. q|0b؍Tp!ea2̕9"L *;rz}5Nd˼nͿl;)c xHtZ UPWt ^fXI0vc=G}\u9ʦ'艧*smb(*Č/jX}I>/&[yC* ũ-_e\`j W*dLz7iqVsF|ZA G=GMot7_l={Vz#"2QɁ#!"ÇUTi[̡Fcr2ԣq WlUmpF؞W>HVȞu1ةF _HҜg%'!%Js&s,*he1[1MB'Pԟ8TAv,ݮ!f/e;cF_vw쟖H{7ٺj^.2  t<3*˗τa`(t.\,9S7qZ+ׁߵqZ Vƹ:*3ͮo'2m"\UkvbȰT@aag7alrd!¶XzArchIvf}⵫"4 ^>G1,?6Z(&J*4->xo').> h0V3jpRGvaee8S~P:?͕h@ڸ);s軪6Xn–8:Y)lJLyNWKFd/Ğo%q-ZfclwZ&Ui)߽L!tY{_"`=\G1fY|,]gNP(ttX;[{]\?c 瞈\c#tT5K-$\e#)4 ON2+Ra s{- rt䱕h~X394l,˿lXY"@6+4k ӍG q0"F o KFqL'%@>p?, jjۡ ^/ê[&hv/gON5DE\LҞsDݢW¢"u0BxȆ# .h "V!l  X0ܻFT>G:=0bxŴE' "t0?{$P4gsJӖB{ud#e 9d]1|B]9E0U~EdU,`y>?bȡ$T;Z"1