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 B1,$ ]/ Linear_Programming:threads=4elapsed=557.532cpu=1707.072gc=79.600factor=3.067zXZִF! NF]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5I B3Ŷ 2 a;ҫW*Zئ I_DpWgPOC`?!M(m"$y7C:σ>M X'ծĝ7Լy}3Lݾ.6A_ Õ'֍] @ OEc nSfu˘c.7Ёۺ}aV{C&V2j)L ,!vߌLqϔ'?S1vciyjL_Pko/ N[&4~cW GFױN.Gc|_.T"|`ydlY\cHJ8, uP|+< K(oK W䧛 TU`XNRy}nGW\ iĈl`b qԕ+hs4ޡ΃c&~@1*O> B[4~&T;u7F\S%yRO7wC>#\Tr" SI<&0U_3&2B&ϸ6gN~dÔE)?Ay{W)^+AYfQc*8‘Ida"?ux Mz#46iFђG]|y.^!V2M f_` jjP !N=i}pgdgG@%W&ҍ2`&#( fu#v,@,FB* @)=x (:o5Dnph瀻Sbee!(ܘ5rkhNkUy]?tE:,` 4ς ˣp h,Q/."(I #J2ϯ&Oz$ =O9{:հquv'CDR"dIgJ( Q0%..G>JLȾ>XXa+9N}tFZu|x!Uh;olV߆o7k@lnciC(r5Wك{or@^|iVٞ1dB+)47 LAeVN `i7=]AY?MFƵ_snICL2;K%8Rqc&ѭ*:g,,ratt7 2>ubƓĝֺy^s5ԃ4d|nV]M^elYPZ\ܻ\5.JrˎBIgzΥyiC\g]F?Hv(}Ɖ0"$1l|sL^s8fhz 9f;r|CLl&Uĥ(.8d;s]bxݡRxNxoZA(,ɯ!8@L},à,jtlY4a[iYcb}m}@@`^[Χp'ZP~cE(s|g82M3Q@?*-b7'E4m+14MӼ7 -ڬ=FCN3N"2 $#*md<?])(f6"XQwa hb)k{'en eoW^z`#[2=y46AnG{T!)~3Y9,e]@e̷g7TVWwN+g_-A%gERnOL0ގ&7 jAj3gtb&0]Ŋ "̳pKpcQ3M/C&QV<_SB{ Ϥmjǩ fjds-jlgо V~g?@?l&hp`'e%[65O-uZ4e՚#V. G!(rҸ1}0܋@uYC_駮dދ jI<;K0~).Wg "ZR{嶂Ǻ#)|zB&Ŋ-sxVފ\xcؑ;beyRWS<8!m1#vȒ! E8tHԉU洉9b^!EteiOa!"bo`|K4\J|1G,a?Nʦ&mCMB7_ 6t܊7}muHz=B_2A{@'_8%^Edrsdu{Q9L &uYnzwĠ) 7`n!D)][+fxהCG"<[:_j'Je%/[m`jQ7Ň:q=(B4ZtÒB $a.r[>Kms$8g}b=LX3 ]P%L(47#{cQ2N#5(' (r7bغ쐃skc; 6 0RGJؾ e&tŜ%|Hc Q JM֐Z#7zኲs.jD8q3J1`Ň*Pڷ^D5R5d%!H"mŁ!NSpc\nȐL:'u[s1Y7I~f ?Cx u}bZHC{M Nĵܝ jÚg>,_7ggAwzy 72,].Dw:=Y{ rU_Fʧ9Wu;][,JFZs a^>/ BN Lmb4@xxWz%D |jjd^Pb?aϲBx>DBzj|YjN&LNæ 4*e3әyZmAo9H[|F}%oD|Vgw u…𬱽XsG⥡mr']%Ұ;HEe4t* {)bB1~(Q(.mc 7;=XQ1:mldAI?nri&|,!sS'~,, f!Ԍ>1/҈tSW~}0]1TXlfNhǭ]vfsn?~)nT-Yӧ2o1Qo*x@vf<ʁM (ֱSP{seYc֮H5bJ4«;7hٔÂ6 zMO)'.Htܸl@+Sp<2#.v#LpTvY$qw%6~Ƶy(PޥPHZ˼mY'7LM܇5$Xh>,ȑHwa ;rpj:{u@vRly'knT՘԰øF"xeXlRR)C%brVCqu:hҒ@yK|o"Y.jbژtrZE&k -B3<`ݫS:aﶨ/t86@i ʅh"Y(v1S"-[yyh|cCcǝc׸tP0`ssh#耹D/ʚdžWxxt?zSr,o?4kgx_:V ԕ~#YڱLN q _/n2mROV\YO4Xԇ*Km\GllrS{t,&!^I՜h]ɱB$/"]nhRq*.`:ZXt8~O5eMhJnHGS"l5quw]"w50|Trl G(+\~qBaswO!s=G's9J F)25d!Kux+\E%3V56'iH`R\cŹ t]@i4\+I,v=";`^dkCyE'-)CAn'5+#D&su?CTݏAuk|)/7LU9FTTjA, G4G%f+#,vyW_gP"R(B7q&f%t^fHdNbkZP!WOs0kA#6/1W^aDb?-Ä)6L!U8혠ӖD Ke-%Jh2^=A,b<žf5B^0[^v5|x<ٚ)LtǮj?3%87 ]N)g-A\2-G9B~_FXb)XpU<S/3T>O}PpQ=wҨ0߻ ]㣮Qe 0L+W!gH,/"`=֜WgdwAԆS+59H) >r\UaGb"9Ã̎3L50ZxQ2 RIӃ f LHwCzbRJi'F cBAh6<ѯrgYi- (FkҾ)8D/~%,E,x[VA:.+^!t 3yd GER:pk=6}Lۊa6NA&} O5=>gbaX?jƮ}qcQIuSmϺ~*1(2a )+}g+"]XYQV|55,ڜ3>HqG)PlM2~H;۷{FLtߪ85vyptloBe?\37fQłǔUxqp73&iώl.:}[oS&Mc:8JK=8=GfD_ װP2XS3h}>/*%Wũ˳U-;~3mDn'!MƂ菦@{DM\#RX}&:>`Cmm)*R} R/A{þ3BC&bp‚&ElnK|D-MqbyVy d)i]WwcЏ7@A%?afԽ] N㤪 ՂBvȪWgeޚ~_ӱ3iQ YlBPd"- o{|ޤo]IYlOARjFB0<}Df<ß&zYc  "TQlޛ]*#GZ@9sМ. Nfݾ7c0jf*bQvT<6K#z$26aH1}BMzlRXPC V2Llw%ͪq5;W\=τ0>R>oH9%Q#NI3&s 򦊎Q_$'V(#:76&nb0yI ao Хk EDDy!Z^Ppx&sݲqQn9 N )T+eU$ V29R,#zV^K Y\!0aq,{72?i1McQD"yoKWG:/ 7%wǭ۞H73V}cJDwiUަ^>☕ fF0L;wJxQvOF-0­`jx7?KF}x^Gߴ: oq{'' LІĄ}Qf.q`.l=!Hk v3h!yWm@%NӢSZPmt6X!]i/˝B q.ݞ<ۤҋo$lQN܈+e9&"yP?ԩ33~p˖kĻuU9 //yx6PdvD;EQ OlM؜b+@?E6ֆ;J۠zdj-CpBxfYxh SܩLGtlYg3-@LCy 7PWLI!xJ42up7 m{e.0]QL(ZN SlK=e2:)uu} RsKotߎLggeΐ@uY|낪&.m 8k{@2Sp*[y,8~nU Kc*Kӯ&\o~tH,py^zN OY΂EϲcN:-Τ%~lC*%§mk⺩'R7H҃Ƨ,N@5,]Prm|1+k=œUşn[з| jW:Iqz9p&ۓdE5P\hU<,˭8`̃zEo!,K^uhFZ Y2TuFL{9ϩEʅM55XƇ_$v/X9M<_fvPQ/(J}Hm= \R낱PJ[,*xvÕZ wM>;wQz+&S?yI,%Vr~Wc(9jv\lg)&UFe Zũ(Qg}rOޟ5bNEN&Rv <쵭_d9³]G &y3SށP!8@aкV5M ^I`‹W4u6g`kæO)Wm7rG2eQ_z.Lme|;he8ܱCd^xXYƒ'OFF4j*}PG"1ƅ %Xg@%O7XD/>3=I^v,$4tsΔ2v {+"neYWy2UV5Ɨ`TUI^$CD_BH;-='ra 0 &ʭ.%kP`Nmx+(ϐĠ0vR&t"}{pD@?r$d6G%uz P ;:Ƽs+b 3R4ZGKo^aV fOZxV0INq:&xAtÝR$nøQ!u[#H[Զ ٭d'BlS%gd}-%&hu}T`p~~j/Ps1G~ATI7 nF[ 륧J_tw^ЈKmznDUBOLq|pՑ@(]i>ޝCiIhv=ΨW{хؕh{x%dC&"Lg)$rT^9Uf+P9坑َy&1Y1zs%C(P;!%`$M+mkh{02ؖ3$3`kᢌd0:YFڳE^N՛]bn]e\caGϯ}pbYGu>HֹL w}TrULUz>$$1LwҍbpyM*Q8U,*c G61ݿh\RXmd 3s/:5"nah5nM">{UxdF2NT2vqa~x&q-_Xo0o4q KC"!1 2Vsu_z(hv{UݺQNJǭv!cB,xg`o?Y&^H0ap wϡQg~c>Waaa\r\LK\ @*Coė5]Y]h2TV(Fȗ,%S 'f `Q(gze:[0&6u"$t$wrQ57K<94U⳻R (fc>PA/V"?+ao)K>#)Y, K$lmL5ZuWx;g!U|L*X @w #~6gX)AC7ާΚ67Aox|7%-,`wߙ_Otٴ=}n$z "RPC=({`D.R@7\7OoNdןBL1njE[{xR42lC9H᣼ ḟb2@ ! V rbLaBuHġ̡0IF%6=YIMKrٳ'_w)@FZv}V,= xItlϜ`|a 2w u[$J*nkzz},-e{++pPF1?pFCx H@hV  ⬃&eL~MX)}X[04U.1 K#kX}7?[t7p¬ 7,Q4|ƖNt-jj> f9Z\0hId9rٽ$m]Qф MzL\ HA'%=ap@)փ=PnQ%'FA?hWi6[B}Q T<+EOa)n*^C2dm^82hur7`U^ fńęNEYƒWv`=!~8 N^]A1KhʨGh |/N_bk *kwRAqd}/_>H X_1NUH?q~t-u\FL۬D@ uDW E)ߓp˰CT7vQ@|_tzZWVK4cfv]쳤5Hv!(W^»{r)V%&ʴpQYY45A1B.gBֹ,Wq:^#1'°?sp—\pZNs&)a`*6h.s5:'ϙ)$2UWn-tc?&K+0s^& 5Y=u(>Ĩ+ɴJ}*A8DinZ֔#3O+CzF<ʉ띷U=e|s@3Bu)FJ]. +S5o1gTKfY6.^SpV})џтgabj,Ui:ºT8'vcZתe /eH``f:& :7vLgZ|½$.x5hYK)VX4xА"y'g[r>HdaYvb"=kx=iwe#~08 wQTlg|"U* xV(M] 0  UNJ-߸(1yѧC˦XUl3ʪuB:chB"Vx#TΛ)M- GVKy'{SFv9y|%Ԅk> E1mbg$ݍ嵉zKtPFs\?/:X=y6X Y4ǂ> nakoB);E5KRR ?#eU`~]IMش|_NL^_F' r `w#rWϦ^xUWٺ^V7(G-&хhhd؛z>ݐiP9ĎKB6xbn2=SG's`.}oj7ЅdPB:5g@MXJgLӎgIm`u+lacgi5eA٫oÄcޅM+/FFDw-Ir;嘖rEtrE<6!w={Q~,,n%4m}*ںkHu{>ua(‹JW5]+BYо3R7Ips^D/M3i6qhEp-8~fsCu^~Jht\;(snl2 ;qf 8 uVNFԈ{{BdAOqg9hԲ\Na/ωˌ#[U,+\>@-ղT`ҕ:}ut^i{CjKFzGtR\}08:OcnV$qMӳ<2#&QmQuPRlZı^S Yֻ'k>h <-\Ԓۡ~ '" Rg*('\?ܲ;B_xpM\ުh!}i Ce9IRl!GG/1HBh)ZoB I}YXTqcUP͊3M[Y)m%l%gvyܗKǦyoWRTAf8f`]57n8ҳMf{OX+I)|g0W@SViz%i6+;Z\؟p1 6c8֚:MY[n'˾ _5TP)5 .KŌ>kƏ+Dz>ygcT׊8rɉErSe}pO6eJ?u㕭QIڻF!/r'1߁CVeEFJ{ J V 3@j*WĒmFv%ҁ18,q·hhm7ѼnأM^^L8u@#3n4Ȕpfn([۟$6L4r=DÇWddN \ ~~fM)>wX[~'NA71E׼C%a)8}`SᘋJ:o 8cT;U:Oφ F:gr== s"u.T{|VL(_個0:ڭSV_ \@|<9^j$W(*|_1jZ_%!ձnX{5EqaMd8->huqаwlp͊bhRDF~a3K*5 Wѓ]kψ[ 79s*Vm+C`|&JX#5vN5t A㝜v>~|6g L&PvAbĢ>7?gӖ 5ZuC*:6Օ ^ >}ݴxY=;7APrpI$ME3F=xm&\!Fz>.1-CXCOJV{{f{\0i}0WN@Jys֭arAWv0-Z^p,rqz[aNp¢ajX>7jNa'aht>`B$ԓrՇS]U{t%aE5VmC\ó܍f&5_&{Ǒ'ڛ:̴2_a|>#x7@ _Xg%,Dv+*2OK)VZ7tK;܈XH!t VӡT݂&yIN: q$_tAe D䯬@}Ёɷ\؈ߟg>E5vx(cbG茙aw4NI¬υ:=ZMdw飅ZEH+=]Lגk4352xG8]kԩZ|Cg76{;<[zav&l]H]zX&NΑÆ"Ϯ[CΏ82kJ>7ʶ>ޠ_"r6j`~ d9\~>B9$^1RfUǛ NxJcl yptpav]^+g {~/`e:)A8q&~d #-4PM NiD!f`$ZܢݍFF]>I2w뚐4N]ޓȡub2ܝIVYFTA-hxY=`#M#׍}HѴ>CD bfG>6wA gX ۨnm(ٛHuIf_yxYP;Dvr6:+>T=-0&PkTӋIyC`)#YÜ4Sl/ ҿ[2mY۝-gA=`ZTF#?{=;zG_ hoΟ dA : x(EW|cb:> Fz:ږdE,LEyo~աQ%?W'2rQQ!V[,K1^Hqa-wGMWi'xA&ݔGj^jC4MF  )͚EE82B: }5j&'/xu*č Z#eJΩݗ86ޤr5V~fbRDf^1_/VvN)xfK's[߬iR|afچ+PR~%zgH.b ɐr}Jjցrm+]6AucZ!hzebkjU,LnHF(3a_י DWRtF*4k-9y}k}x]*_$V:WZ ;{3-쀤FQ<(M^p9-!Zڥ$}}S'TxMe\wjUxK9HД?tVH>].^kL#yS& Oxl.Գ9cNҿS;is$9asq~6Bg+vČ TRd ׉bUy.`].2Y)u'w+i^BRusch(zӂ]*`فb\얭{ջu;dy#QW57ikflu˰D14;W?tsE ]FF hl@eZ]}t /L|f)|  {YNVI;` Pp~ZA"I.m*"W\H.?-&bßV85]ٖL5V$@U$<3.i@dLGda/ rMkUXxV@NҚ>psi5gЦaHflO31fFl@cpNj휼j L JtQS0c u"Q֤TT!KukgYZ7zXZִF! >>B]ŗXi%GbgvH՗^LzcJwS#\e!-HOOf7.@uX`fR957j4nU4vBt yOUD› (#~Ejq;$ i)L%xj3W[iD``%>5#55lɋDq$LuI56"~M\N9GX24q#4\dx9$DKSJ+5p-;ыLl($ bb*eݰR^ӽ&H/F%o"bof h)JldJxJ)A<}1ގID |P Diu;v1GSe#s[AN50S#Jyun'Zp*9/|OI>*@!pLL\Xe֜ʤ켱zѫ4 fHsV_ƚhk8RC/ 7 `u /ߗt"b>$%̈́γW[[@>!OS/+Z,ZXp^ۅmuE/IG}43dckU@dL*0? DHmW~yp*%{Y~pһOޓy+},zc&,S|Z&u1pB'Vn2tȭTT;o?ɶ_͟ J'XJGfan#+i<7ŕpc[qCiN76,(p}ӄGNֲ4DmA: j8J?l]{iOI€6<@KNo/:MMK d2&Gx SM!9=<ɯHv橫 M2 j1Ur :\Aǿe2( bJ'Frqo㖜2xtX] (&rOU`42NVn_}vbyR$5/*{w zvtǵĽh2T1鐌a>g6 Ma%OdQ8,>JY84 FqU;M6N8]P"NǫYF%č21Y@j(c+d8Hg. 9wp!tܣVv\qB=gNy%A IL06"k$þ2Ȭb CbYx+1i(*s6*lʚɈ(-c>F&e!3 P`E[.ԣ&ǁ #,Beq.-wpV/'fesjiQ :gOf95?)yz{ | m#흓Oa6Y g7p^iI g eGsPofk̨l EB\i|(]l*_NE傕 ٸ3^ҋNI^$cgē)3q{/'m Fil⑘ KuY .\oѥoAo>ٜ&^ } p7n'g=;>ozM-$ ,h@ ,N~Ҏ%tO.91x:\N0Y ip[^0_c.7*9[ q? 6 p R;܅gNzk֨șih=~[N_vО!Vwq6aWw"_ﶢ8 rhu^07vWEӯ, E[tq'J SݣfmFH!Z.^msؠUit-laF>L'w(XSBBfc疭6bTBqvz-%8ᘋ osp筘z\G<3vRc%IE  Vf>3DwâY3u|g n,&p`OmN/v1* ӹXPa >Z c l?h{;Ib ]yY9چGb% -qZߗٿi )iYQΑr<2QU^$71o7S)tLNG7Jb]$S79M 2E'Dwre{_GZa"ޮ>36O@ok(; 2ޚ *,dǑ=1s[1PCC~ZCܼ @Y[,RR+W*:X#> se.{_`=X]nj(Lc DE!vK{V*!y`2T9~d- TEVx*`c[º2%7߹!E{.@x Yci&@^{aXUG_.lFmjp r dvtE<{NQtȒ *d^V0c /ɕ?v0"n9F׉gV `hڋ΄"hjh4q"XM$(I hcTrR¢ֹ`/4U6wJz2Π%j+(@aKC4#] ?9DSkYGxFG3A.}fUxߜ R8j@oezkarEAnq?nb6F@)c8UDh㱗1Dx^`QX)x|*N]a+؍(۱e()ᒚA ׂX[;japsJ{ݮ20vS^8BR9"Ɛo $];҅Pۋnf́ECo"TX`r x'x3`ThkWS\ <^3Qt{l>/CԮoPĻX?w uϬ8n .PFތ I@g~EgJMj}ƽ8CJ#BSh84%G]J:'nf؍-:Lϲ#ެh9 =ZbJEniri8d.:,򅻾"|3 Ob>:Y;6+)6I#\~Hr0.Phq DEIOMߖJx䁮fm?U` |͠qK^o9In Xjlw.VXUsذ +Nd-_i{\Nxt6xQ,ki\mm>Kh#Jh\ZKh\^ oiRJ?iLrڟOZ :YM(*F;j; ˆI13_Ǫ:8b,t,T>%:"'%P|.'l%N }J-]-v pbzΛ ֛~j&xY'([) ![wk#_w,dpT}u)>u}c!P➝מ< '[iS' \ӎzYfUSJP,_nU2HL"d0HO*;@_01#~ˮVP\ KZ[1٦\O '~>|Is= 6 (FMQ?OyrGD$l!wWk/(c>GXPR]qIQ2Yj*! G9U݂OKvS6%:֐V}8lQB2, ela]֌g+AųڱGԻ ^ y Ӊ؋S!c. l7'ϘÍt>؋Bgru'_=eĉ5*»x6hiעXXъ*]efPPlxr9%~;FKp} xDx쓤=yHo_n](S~pB~k,з*Ix~\+R6]IFite0f94";-Q[h$pm7>TݻsgH4t} p-;xb<q~fS[rѭPDضP7bMm*$x~$n}Œ=g uz8^;LW+jt[jmV! si'd~\aGsгoj/wY м{ý3@of ԇs 2: 8A~VEn}]ٌ^1a±-Z9z"^6"1PׂN6w೬8CiI].VBJq˺Q[z%XU:%->PV "܉:I8E!IbS 8(:`0Y˭&h1Q n~L, & J 9Q&< qkYg 3UL|/mc?\HRpU /]7O\uF17X#h(tIYJROi#V FJ`T>vmn7DJgNy%Ā{B*+9(R mYNԡpoޔ?,ڟeck25?p^^!n-c%]%dTWg3mTODml4BG֫X)I+Ǒƴ_Eၰ* /kPvG1L,޽"r%v9CO?>bZ@ߍۊ21T2<'y '瘤W .0jVC7u$SwR_\>.%]ጏ!^פhC]b[.jX%mr\4 9JIlzN Qۯ>eY8DVƫ2DX5-uwlJ.yfOx"9VVe19KzOz?5h&n<窏L̈́C|P<Zhh#F>An ɋ-rL[=^D[?oWY!.*KòXDMA;qԶR6ZH!An_eәB)P>&Q\&| R~Ѷj@nۭ%M};5ai˚=h<Y8N+o"ߐ4\ ˾$uq [cGfO&D*S6iH Yvw&G\~~С/|P V #_8QJɦkJmK^ zcFi zZFJpTNYWc1%h=L>~ǎ"#sζdĶ^S lԢ$h# &a#ow}! F/센63ri"."k񔳍4+5!Q3W2mp@X}  1ڙMī|NB!לsc(m1.Gq ^iIIJ!dd]pBĺ )X-7 \o3h ]Cxĉm̀8aG-шշJy-3Hހvl,rC^\T[8iң@=rָr^.mn`z^sO^%ot'LI-5KR^!D5h:i^~k?fWU "=w_\Y;eF޶op KZsl=t4i3vUs񱎀ߡ\;%e;݋%XTX>43i _+̮RY9*򑔍*&8I_FY8;Ll_%G/C_} k״:P|4D5AǣPvܬʁ~˙b,!>x;`T0vfi@~sIɐ©3FUc-{,1K*g!Z&VӣuGCZK-JaQ?/NG|@1RX}.z;#}sT r$ i! z̛("oHC-Cm?PER&s'reLp~TPu -G˒C -À>ò!E; `~,Q8+ZyBB6\܋G(Œ1Η;ؐF)1kCwwxZמ摰76FhT!ZOz'&n##n,=M?s#~E=}Qr6X 0111(`X6!xvbNH#OXgRbX%ҧ ]48+pWk7ͭ;uq"[ڨ9â.Mוm%3܄GDó?RFL0(iNuP*`Pqݳ<=z(}zA(LWGwU !3gP"\& hE4qP4]=G'sa va+v x58:Q)X[ F69WǓ(e17"D8+7!z zߛ5av7͙m_Se 6To!Blyk^FBfmInoHf+_FjN& [-'R@m*\P@5EYB 4<&e5+dkh&K.w[`qD"42j-7琹_AߪN1B4P% +H\WM|Ii/:q*$$oW C@R?ç#:<0FùA_;g|\ܲc|%Lj&yb (ʥrTl|W'?]5'eF10v'/8wa_,X`."1+lڎ?5ϻ}ؚ*)BU[k+ao(A*/ DU>$-C܊5δ )La1O2,qjR\@fZ,~qϻR5ivO']א o,ġonIy;l "Iu_ gy8H6 C VyBzQ8CiLJ$8)yE=]^ meᚲs(6o ،x=smMu, .Rـ@=؅\HX=WJ>:.- "\;YrU_"&OP$֕)@+ en4𛑟5*Gr&4p$"mHzύKaՋ1'LpePM.lm@ `2}V젩.UN \\ rEW 8E|jqyt Ex³2\w9Yު\`rd}dy*W\I Ry$]D_H1ܒ,K v\ʫp*`-p@f[fs.PLFq' @n}+x -K͓V;xee'WtU[d25}1D7Uo2e2,I L\)Wװ{`mO?d+1Բ$A; bzJlJT`ιOM4%vBzu\|Iymot]jsފ';qLUivP8p*h>tס5 [~Sh|osا:M!8=0 $/ VlJ?K= mܓ Mp2_S1΅Ew =yK"2/Iu@ %@I/Ӡ.Is7=q`Jn$'TC}}~@Y/Z'*y=t0'B[ .(,M=;#|/7i]fe,:M3YKzsjjhE> {;8?vy"οn۽ܪTO  MmMbC8D6\;s],=i*O ~OɫQ  [+D\dS٧X,i5Cb퉔hn-Շ)_X{owl˘^l0 8 !*5)=?,:#|άpC♿:Wﺰ7 8d Fy ĀgˍfeAi[6Ẽo{\PQquރͫDx;-p 5i>N0წqNQy l'/K\Ֆ  Dt ϩ UҙV(,%C@6M*I:pPfo4E|LCz}RF٘aE%oFLqsPDI:էK,;Q(Ί2i6h?/Iqca%x,?IT+icv,| 5̲C+*:4ZOmW[;MMqQB((⓾W*n*lkOXBS4{J4$UpuAR<<$nک\ˈ*gWڹcp~ KYe3LwKkBH [Fvߧܶĺc29 p5kL$D6DUG_|t$F+ɾQczGTl%fI%f~)տ5[n@P'PFc%O҃ur&Tj/t^xt4Yd|#$#OXG'kJO(g3kZ%U#T+PwbkJJ+c[6w NrG BBHjzY }: z $nxϪ5I)nCxds~ZsG eTfWy)זOm64k{xJLǏ=S!r KnxWR!6evK Mq0ͳ湫VǙsޕkŁnXwY/|IM R(Rm#(*xq=R >)脸f|ՊIsCͶM S2\Q1z!WE 鍇և|U Tvv7LU3B3`.Sx7t/  J3f*6Ɉ:T]DŽ/Ϊܵ WgtZih.`_LR5_,K.G>ƴKN3 /ŏmCZb/щF6}5򗳨^/VTK@(xf2%K>օ˵jrch?ꅣм8\G5Я-6.8iW{{Q"DV77XW\ =tq%);,շђM|~]Jk37)މgd%䊖6XT';vv3* {̇sa9WWDcdO])En"oE_Mɾx( z7cvTf:EwʵĔLJqZXRd$p3snY" R -ƣԯ rB8yD1d*ߣ}Kv3 w,SǤq- o{1㞍 C<$/7ap5:!h*8]JZB]\ UYSmW5ά7a(uw#I:),EQ YM/nX?RoRA Aݍ^h=xu7oj]m`mQj׭X&ݰ wP0[įY՚$4|ƜPQxtXϵ {>P$!bLC=K xwBkY7,LCVCSuǏ2_7H,&9F1Ne0=zDŽKz՟$C$ɰ%cn,٥>/&!=ߺ%!$p8yz|5JwXc;.r &R >< ¿V΁h:DVw"!kyi1AR:(_uOsX(3X.z}$emQ}YyeJN 6ƹ(9)Dl1 ] >+@"XU-!:8ǽ^kMgJ5e"(U/"(CWw`uf>*&2r#EmX_m<5H:RElJ?QsGX}Of2×X@yke+ [x1WAOivyd"M+^)*NܽAn+BdtYjRe߁l~<3 <5.,~P]pln\slޯ܍Ν0pWa mF$ӊ"@,vcFJ]) tZW (b9̅=d4ljj2 VvTc%a|i08kBa1X,cdF^unthn4r}n8IcJ~2|늕혠0<[yx/5 UksKot8jR-PW@àmL5;vhۀH6O \ٷVNOn&$ҭPDbzvhj(:h?޼ f.43NY']K5pԁ~ [Y7h׏deR+ ӇSG$jy{ yLKOX_;:(l\Z×e*F8lP #L~!-ij}ds }6@f1uSj_V2rE Y L|ٝKH2PdJ`'aїfLX/b͔9u}[4|툢'qؘuBBIn-?gB9>hyuDVr DXE!ܮm&x@ga-uQߓC,?.-8[DUM>~, o5(2C߸ȍgnQ[,ϰI[ahiUBJ/E7]}*PDO5,_ rCk8Q,/CQV S-uL×˺vWWྱdpdh43Hy<eRR_ڭOQ V7!s&nEo"QYm*}LJx$viKc돇/`v ,me#2s'>|XS"F`Kh:3wߓe X'bM'J znㄙW:{iε~?(lj7Y$-٤:'Hؒb10GbaR\SWTm=w@HbQmQmG zs^O@%<QvErΆ {&CE$;u+ۅ֒oSl' ^-H+Ɔg/l<-[3,P AB0X^ grwFg+IHigǬa6.LcK9+M+J^ziં/"zA*2½vR5oL فo03#Ns9:<L;.d]J± 'ط| 5i$0w~u?ےHӸޥﷰn iЌn`P$ 37ָs7m|Ca?{yZ 4 \  :Ufݦ#L@Fd e dk mG:֋OAۣO1IvL7Z 0i!-O͂ـ0ҵB\Y7綗f 9Cۍ~6C}6|bg ܼ&Za HR浘1hicF* 8k6@ nr@Lb7=YZ.~:*6^*J=:&(pmZ9Ȇ6{ Q׵w=)u c]r?~c263(syl]JPGM*[{HG_>Q`㲺$'[SE!po]:hZs$ t HqОܺ oov4;﯍ ܽm+ mCݡ y`]~+|+78Rd%0B^| B“]oi1&ћ;LbⱰ!Fȃ6 :uPE m՟Dəq*,+*n`{TvF3}YW% ܚש:D@*(5$ɪyX|S-4Y"=7m1G񡛭iA>Y91bY̪@ $y/&D;Kkb\R%RYDh1*;.b`y5eJ@ۜ鮛BC+C:sf&-J cyU?C6#1eE(x M{ATB/m y=h7ss^t*yhhPg3ޠz#~u:o> Ja)DtAh"%|hٍD w tZ5~,G&tscs@&[(A^~^φ6% w`$ 6XlY7zICBFp Ԉ2he1>%/ɕ!U=7kwi=!܀0E`x֗7cà TQ AȢЎ-=* cd[:ˌ)2\=,׌٧lP59Ad=ЬvǞ6{ n }:P d]-)QV"tum]X1~<|4,wiYˆR+^eNf!3 [>w"4*IZېEh!xyŬZ9v~]1zzWA=Ȍ$"nvUb5PVJ{sq9SHԻmi;֮̏mM ľ ` .2kG_-C6bau9I?6SL Z<~O0w9D}l~fuw wbAl]˱j~"8TyX5:IWJ/!JVZЋ?\kJ]ہ|9U_ƺ0L%iH=[JqVOm@BzX$vbMzؽtif"=; c=(.'˚#qjZB]!V.Z8,hՑ 1 PQuzYNC)*ac߅  NJ.71if=|pG!Ab[δeTDG?Jqs$ -zgܩOۮ3,+7J /\cQB7wʮ4xڒ_; 7ZdVQ=M*VlK(GFiHl~noW/$!Y*n]J!v뙄ch#%#Oqcǖ憺l.~3!˒ ܂4f H]wdhv99_%`S7DЍ[/vCzwe."Z`x">KR#)m 95Jn$z?ZqHPL 1\-eW)?[r7y UXJa~29'ٌŦ#C12qc\0^xN* P~~\2C[bh*&IU!!&PښP'bVp{FI\v똇F.r{}A<36n}DoPVāRE<pDgͫv|4?{C"yTZ"!$" $ĥz" j(^Z湚/f|XSm$Im [8GMGZhUˆc7 럋!ǫ2L ,#S¼FCO|h:q!J&'Us>1[<4>;a,AzAω72\ݶ5NRiq衂JRw^+[5BVxtHk)rV%GIai{){00Id;z>;Û(W_;=0{SWn 6zw"(Ԙ?p~oô +慪>4/}W}4;(??zOҘF̍?Y=tLod lgt`PoK(^sf{e_iNRAҤ'>}?\/>6@yf/X\Ctp.bGppԜ84R#T wll9'H SlcbCjy? Jo8FCT O]@%aqB胋TM(N;VV|/?:(V[3[Ne& hy[g[5}_4U^1*ϋ,ֹ\a!=m 5 ~j?r_sg8-Տഷgr4g0dөcK0X3in;h|ʤwYea˛Y'DrHgg\ zް~itmws! ?+8Fs3+8jd> "9 ͬVmxnX{ Ydśm#{Y1cQxy v=iLEaU͜ o~[}.ٺ@zL% əNcV*G_U뉑"9Ё '8AH:d!2pک(fAGxƈBOƀFPUvNeVFr3[/+& }ϵ6It IҨ̦u^;g~a!/c7u%aӔtK; &n|[)|L2w̐'mͅVվbOfHܻܷ)%G0=-i,l'&8Xgf?y S aaPR;{p3c?L8>EsD)@_3tB yh;Npu;9591bf;CF2ҍp:˩P Ep9-pLA(Q ?[֢/- =JfڏjYCXCQ1@THrrjӈҵ1ܮ-^s#'d%f`T씒 C[h2TXׄ{ ۋ5׹% )*{L9/yXIV2֖){)ꭼrVrYA.NdL{"`M$ٽ4A#92g(\da:Ŏ\mq`T3߼Wgm|jx,w#շvK SJM>a{,^ڪ{}oo *ҍ8]?Fg/A7 ڤp땵5y+*MZ׍ZH({!}x'/g}790B^LP 0`ٱ5W_f\jB~t_3IRPW7`"Cnj} '$V] :%?=v}IyOd% W67ֽ)ÛuP]"Y?ƘxT%x믥Og:BWLC[ %/ח/J}h N9KvcwqL-:vS9;l;C= T6*$"1 MMB)LKQDURUMm;m]\"{1ɰ9@d\uOGIhؕ\ASע-jl nFvr6ˇ,?.sp:)vN#y4a"X!;4 :~9Tk"kՖ0ME#!E%a!uy+(N'hYK5jQ4P ΟUNkrcP\%)ޯ8sw4ux@Pdbd)e -iWt|^"7,N+D#Lihwй("Nf@K:П(T]Ԏ)UʆIiFoNLe},APtOB's(Kvn7R9zwt񥐩/a⽼387_҅x}õ7(Bdx%Bc}c]7Wv-1W*L ښT9*!$y|mao 8/# !?> seSp'WM-vx=Qn80 CY=qQ9jVO`q#.kj=o5B؎e^N/7^Q.'r=ǚ9%Ι]lymkD4T{ k{&{7ɥ[7V3`:,Z5}>`"X= 1;p'fUT%5 …!A]Z}V'Q%Vr{PFm'F"O|mrY(bY;2ZQ3]}! #z~RϜHXH29]{O\9އۭ%y x*F'J$*g a~kFf?){ך[d崍2rg (WD"uG @Dj)`f@n2^AҜrfJJqY~ZII9z@j 7L+t-H+ fò=Wr(94RgvhJK 9T?q^f 7fVEF7w^r&u$mLZ4{/K%\3v TQ[5՝j:V€{KadI"B_? iƩTUw x HhSmAy =ħVgy5V*0mrNni3 Gh*hؔ~$,{di$Bz[B!]efox|AfYET) HYNj7K3h&FF]"Jn_\VNOi/4 af8&Ux0|)@ݝ'zo׌?޶ I ͂yHoAz\3il쫪R ~FʠlH;c@3+Y ہIDK2Cupϲm: JǨPR֦y^ݔ\߇U.07hKk'/tj(N~[R|#;"rĢULsyT]cem^]G]-%/GC5bY\]=fQ\D#:mrsFtqpgFh68] OT8.Ymr+T9ih`uSP#W .@2( z xPc$>j0m6cw [KܮLE8<hN[1QݔFYx!M­({`5.`,e-w ՞Ga6`$4zruYM)@eѼ8PQFrgtG!NFCo̍ȶt(%yS ]be=l,Я9Ӥk- w FDTƈa'ؒ\X]UP[(}5(ٞAD HEf3HG Ro&lS;̃9q`L^8rDz\6?LEDP_k_z>>])LX1` -umGf2KefP?x<ë4sтl0 ji;D7!8|DbfE\ޙڛJQRGJ*BR&fזHh/;pIH#:Mz%#V>fY}erlk9[}.7L~_pä2y{_JJ^=RAA*pvka;?&#B.ǒ֤ 3lF͛Ό/$/ְ:$<3axu 6^.h,v;buݴjS3q cd/cl롦 uAN@5Hj@kZoU[?o J9e@ D6O9WϋeOV c*QD=EX;w@(<2BpI*9Luo+kHARkt/MaI0J &Ou%%0h.vˌ!"?AҪ4*j|sE}jWj:3rPڙuk&O}e6H6Є*aj>zg=XҒ79$9XeヘOSTyxkBegp?W&]\-3wϐn'dۭsAb v#,3^bggهCFRKt1ֶv x QtJ3=ZB佞𠘥O#E 7]s]Q)N3ZŪ$(d#hٜVN5u˳+r_R'θG!pUK{qd5xw3*rmik|@zX 8T? HYJq WkQM(*a.%dܢbT;r ݁?ږS4K*BS&&-=jwІRzDn^q,l]+6|@7,,`q/^2(!3Bo *(|j2X% 6NX, tVHĵ ?3X&Rgnm }R3ϡwF "gI " #ƒ G]zJV"c."rs* nPmW!^$j?COŷAVO(LǦKٌ֝s*:LZUbTI&6^ I:yq us3H!%`N9jIsR-%[[o1|%k\& 0/.wZۊ3,K"jF %3@٥Nu8E{¤B JV3%X̪X#NmȪq3`~h݀^t#41nX』 7N MMmpjv LxI1ԑ%ԱcʎRLha9Egv Lc:#\ΘNoGw-l\`y20/ݙ}L:PKD|W J;*.U&dAv䦽(AJ&tA O{LP `N(^Jd!8_*Hc΂$IOj&qofnqPn^Ѵuh?"@s= ]i}2.Y}z C-p\~`qbbxm3Z;ڏIMa ee3I ##ܰi L+Y /]_^b-e4ӕ[8Iه(Pu?sb̺hA5d0 H ft Zx_B2DE/Ř>ޒ_q/֙e\ZW}Xn }o{ZgX[Ifn1+Z7])"2,hs,dט{]C+0KI 9(dvSuD ]H} @ q)4L=vgKmªԆ^}WW@DmV ٢v2-2eFħ4~,`D]fC٧i:&8R~[.%PT"wMN-pN*J l^?t[iv,~@>``xIٕVh,K݊a2qN^L x–XOja:Nܝ(GJ.tpB09Jg$富mt CJSj&S,bO0nt7I=qjEwpL!i84B<]=5?v, '͗] ϩ+O9OMZn7{Z^vl\GdhKm]-x6'-ϮT y$&4?^n 1XKIߘE| v >Hzc|/㝫d6cigw]wldrb"=M$P^bvc%\W> ,wYIy" mwLm}R41d, q֝u )N'eP|SKQ<05o2(b]Ֆοdw%qN'p6 Io?M)wb~ j%ykE^47` +qE]i IZ-bhMK^l{+Hӫj.<˗CBcn7[G ̡9g1bd LBJx$9cW D[iitQY-/Ȏ_\tʴ[ZZEE0E}_Yo`bA4trP͠Z|LjD$B:vܐNZ~{Lx1#m0ִ)XuM"AQrUq)6`0bE/Q1z$oWmz}# TD]ǴxbD5K?~o>8ɋWHFe=Dⵔò ir$%lG3 {BR0jhULԘ(| D¿1~9. Nז4=$'_F?QTR=k XjmZA.tّ:Hֵ@zPٝN"ZR3m !:EGM['{=Ny=N rCˈ&jw+#y RE`fM}{ | ӥ/BNȧ9(: BMK\ZQQ8˂3J gPˆ 珞2@ ը4"\]!'IS (,^-_2(5I݅\12XSmXK(U`'􌓯M9&OtFhB-9 Y ~gwŷ>~H%}MwƵ$Mٓ>I, im~ k >e:{hG%aJ|UU"L=~RX:wcHfp R:u ٴRĤl ʯR\]~eUHN`c5*Qd o 8HOck ൿ7qP`s#snnMyT,Jo Z c:T$KJ![gKwg˾h P?4Dzk#~OL_%2cir meh0ųї^~UW.IxLj#k-I R;b u HCG0vࠥ+q~ncku_q"yյcPĎ}GP-6be5wTpdp[|HaOyU 9xOC忣 yDdP &B;[`>AWd +e\W9` Vy yv} $6ۊ\\.C-WҼ"6+7\O^xSpy9 9jJ5Qo:$F̂ jjX#:A|> ˞3xoijjWveA, >{kF+A=CB vVbtrfmDJ5鱈*{"9$8d7@K*KT =p{}^{ }9?EOk$Vj '=q׵-wbUX\]yY5U 7+7\3XXb3mgKv;6N+iVH*^ރ؜tC8 U@ȿn2i.Vω<^27NT˕_&ju5~=}=IbOΧ-+!+̠Պ!_IvRKPpEУ䘢[S9FfC^ɐ4]-KH|6ADyҖEG}L'Mk[<9̄pq9N~])*ZNġai!9rQTEfH)7!&ڛQ sg>qa =xv(/yhs=p%.OVe7F9PO.#fCx%m \KM* ^7CSGwf A7QT?mG,ağhL (NEnjXәA˃?">oxۓ$IgG0?⿇ zFw.%|S7z4aC;yHEEfuo)D+иʴ!9Xfrh jS[I (jd3ї3zݟG9`RlRPx/,,@:ZZ-f7VNֈ8^ aHU. =N?0ٖ/ f/QԼAΫaVs8TLRCA;Y##w[&M=?-p+Xp,CcoK(X+{Ʊ8ǵⱾ*g5~lETp;7UxJ1{Mg ,焢`E'(u4-:8p6XQ5B WBݞF Tg3VvZdpiSɢ}|Ƙj.sV͑x;ljd鸪~v_4/l֪D^ el׌(ΖXD0RHYcώMVf6 !0E@lyfB?.*RΪm}:&tKʑdNsws 4]>Y*nWI{GgYJhEe ݖ2♪G6a^41z|0xBPgRq7ok{*ג t|6տ{u^οP8dȿ ? ^1j(aAʨQ_&r_ReHƈj`<kRBܾ y$ڲz.AkH4"9cg\8kn v!;fj Fⵟ;Q;} YU$2x ⟙n/5yZ}FK(YHŗrli y_.?>L0TM'@B} Xrdc ;U9+lump Q ${۪E&"Ntw}6č 󱯝Aiʢ4ei6{ȳQ:[f)py<^yoٿX7(EQYy{G̉s@ }"+JޚAQ'GD豾| Z7k"8镙c \6ie7qRַbru>ⶰ[C!}Pˍ3TC%ZGc9l8^$0:,vo$oQ՝zI^&.%c{KY{3è|0 uskxj ˔y[splxٔ[M@XF >d9 Bx=%zF'{(0ꃿ!\/,WK/bBOAl>8ŕZKCܩڕ"( D6uh_Wi'An/ ۠O՟5 kN@I˾zmjEjV-<ť Yoݷ=!Siec[mËSko7lR5k`.M\L6RiKp(\0Ж m e2l"xoSz qlQɡ9f} pV/JI{}i5 o͝vo%j ¨W jN~dj'i^'F'ao!d[0~﹥I!蕕2L54'Y eU1=?s[O[#܉d ]jƬD2Wsyj;?l'ji$} rLHȧkDI|K2y(BNT?& a_kFtiSDO Rs?K.qP-43m,i.7M%ɹ|gS8o9)'di~rp후TͥۦjI"oαP\L| XVߺiL;˰zC"3ěG,oDx]艾mErPpfK>l@iK`~s[ kTgKd*~JXѲk|]l[-)ޚ(mK@7\Hgy}s?D5}bi2it%Mz ۓytX4 7ʏ 9B^%|Tv+ݧk .'DpMuQA\rI(>.%؍ }K1m"I?k3C=|>(leK2'Cu\k`eMDj!Xq(|nꑟvwaL6$5I!6,y2ݡۄ0 /̐mX{v.7J'uY$!QV?n]g K74d1T| ۯ:Bi{_ٱ͹;LV0CqюϽ0Wm =܁y @׭ {(lmҝ9pih=PJǦ5] $`ľOĒk8 80Q?/ZVkH11dc$wTzqFٿ{*a2[&<F\N͎z=O֚Y1pMfSVW9*1]]E &m9ڕ8SAӃh<iB5:5j \mXR?]0|E`HΟ=&)Zun}GD7o 4Q5*ˑ&"[*?>XiM.-#zubI3Snl+q!5 w?u9/N KNYE2!L; 9]LR=-`jbȴP$cqwn_Ĉ l N7iX\E7Q+"^ua9C4"q:$3e".+0N|Vd.ͪ\ {u^_-ͭn.eU<9'ƭ`~ӺhB|bzRU|=tG62:KHV-'pYR%\\Gmc;:+Cu^*=+!pFbc3{h[|`5V! r]J$Ѳc5g ?t5(vx>Fe35r 8#߃ֆX6s6Ay{]bHO ,Pc8E'lOWZvn:&}of~դ6c&JPrʔ h:q'hjKN(VqpR ˮ{^#)"ZR,۸d7W{R.YDݳຕQ۶^vyN]{29g%.ffCc0Xɥ^8X7=fLm ק(1y}}#[Q(6 .D;VrKLJn5qϞ_ T,XLsx$Bzk\ 3OqT߿`4۷o|4?^h+Lދ~] Ϙ4q4pT%Ojԏ"RΔ^6@óu71v"NUzF{ !2ػehWCa _{}"~Sq^6'jJ$@qJƺV`m+k0MCH$m7[$Tq |Kl[8%=eKTfC3 *?jdV ѲRI]_cQwΨิ`I{|yˤMpmrfnx%+ܥV #4+`9\HИ!,)wL..B`Xo7?-{>ࠀ2t@TW0?"ԞC_0mj-SXz?4Ӎ0Lm}ryU"c<Ɛ "jMk n^4߂y&3O}c򘑻!V;}7:RlMwبXS4iQtw2FFaaZ]n-7p;3|%"n_ϻ|I|e8$ʪpI?\bAckw4*٭aTs}X+vxj  }  ,(0N]9`;$fx%M \A]T(s&_xD_FaTR!#bsҟ$6 mtWJw_ DieILגb 7嶊ϡVG,[iifFW[sH4HbyoC#5FaMj {g-Gn{ó]oc=^J4 P>[۷EPUڲ|'9sp6@vޓ /9( Hs߁P]*KZۄ9֞9vT#߿ХhNKЖbU8_"]|6;1LP &2؉?7ltRRBϾՃ;`^ٮтjYISԨ $~ Ygd x 9}4;[ 3p뙣K :+R'*M':2b mzx-[hM˜OL& 5O)=pw!+{ ":EnUzzCbv 1W@@ܽW4@!DBllxNM:4Y_7;ȝgoUI㉵VvLݷc-$ E`܌UgfXX⻗Bi7= \4@QQJ*A[`6ү_VonDmm@H)etQsdѡRޕ># a{=NQxl靬 ^Q޾0LMgYZ639d43770a336b006fd957ba61c967c294805c021795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89