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 >1|\ ]/ Linear_Programming:threads=4elapsed=556.683cpu=1703.568gc=81.360factor=3.067zXZִF! E]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_۷p2}T79h(VT~Ek`Ygv1SAolg<[Ki7[~jۜ aS.01[*<3A\t2F uBZȡ)?V3Wkۓ BgGN8ȆL4-Y01sw I,Q4lU/kPW]eȹMYQCP.>.jtLI聜2dw=iR_X%) K(meޮLQ# Fc I0U8S+I^ ;l䛍U487YhMbDt0/a*jin]m<}y^˚'XU<{L_qURWfKϬ z-۸*R~;S }iߵL0#Ĭq.F_p'Zd#DcY0T)7~4n{UE>ݟAnȭ6XzFii%~(c4izZ&a?6GƒOnxk/ɐA*?ˋ8Q; b[BB2HUg ViXz .~25܊CtKW8!M ; sW"|gVtKEe'~Č2}\ΙR߹Sxz8 겖J/=op 5c"z9^#*rެG t(K7Pi|%eqpn}L㒷36Ϡ+=VKحr%5xE~ @CKX7;f4{phQ^]7ue鴄C>q*8d&8CE]??=(ſ(cyAE3 HaV#0kJMr[)JPJgcZ_/]W*-;dd,.w3v`&Sub\86.Y"3k_VxVܫ5Zmćls2%2oQR9g{%f#y4^b, CYu<_@m'| {ԭ#Ll] VP2-JR#}*-@ek"K}}ĭT&gRIt6 s"lpSR]2+>~L"|1뀌A^ ɰxa*Wۂ>^kNJߞb agB<aߵ)W6b44lĉP :-NY5R9 P9]|BQZ=ehdtwǫ |inB^-heW!,/`([j9&#t2_i&ϿfN&75}@k7U݀$^o Y좕oI8ofkܝ֡&n-\XLTfztd 1@ "E4[6S6"}FY^^ c`%-@'1t?ijTrѴ>>߇zq_^x2dĞ.@T4[O ɶb DRBo /Ҧ[-TZ3|r.I F4bza&M 8)՝Ԟ=]uM]=RnHHBG_ X4ڌZL]D-g`V9CT $#/~Nv2|Ͻhx2N j1g#'7+7EEZR aXm 70)qyeߒ^O0q{b U=ݞE>(].ľb(˹`/ɲ`שŁ;qS`{4KXX,_W9f)-TsblKFM ?N_ ЁV5zW{Lk}w[|&Rv hUOȻB(2.uC6FeеB~&+g析DʉPFswX+YT;;AlRɠ{m<W:Վ2:epcq&ԟjFp#[ t 2dj2 (N4zWm"%jtPJo n.17UvY[}!kо-׌O } |RC'&j/a2rOlGO%d/@utL)`mCbݕdUbYqnA~t* ƍ.֑>a.U;YB=t.<ΒTwB2Ni;Z>WURs W4]R 46W,ܿS;PZlo#)ƺZM8UF|R]O+z> 38^=DZ"o]2^ф]u(OPأCpr{_sLZnWWXv;f RF+h "1DE%^SV_Xr~qNvSaP IM^zf_aGi| 8AYMer.tG̓\aqPQÜ])W5lz`Px0?Rd) +v!e>q.;XoLBEНz3.AbsBhЛʁ4NUZY 'm絺=TNi'$!6&_f<ae(_b;GLK5.@QmSE17>lӍ<66='9@ %@ո^jtgGM4#9t^* :o;p6Z zf'=O+ #\0uHek5jgj \i?W@ V5Q]xut[9V((~4hŐ0~jtt#A(y"؅PXiJzv3VȒ95:[ ږV9%wVVс0X='4 G;w qjS $X?k<_Gb֧iLSeӜ *$'e K(#-YhЧo,`/9%sӥP hy7cdA PEasou"v_dSZ ]m+0.OC9QpVl |B+P/wk_kG-sx˕4O^3ΑK$hXeK9~—+QgbE ~6q`]B:u3 4P_&rς毥?md591#8{h5vL 9{_!%sM!NA5uKr+uN(ٿiOq>@yN=% ђ'a} q`1nP˒wڨ76#E; |Tu<"˪Ynp+;B:2征J2IZL$Je F4 ӗj :w*3⒆ڣ~P`+U ZzSE0GY;Xofz x>X74U30kCe}˜<,'feDnE+ ? (!SMI'iF?̌͑F$4#S(/RxaVx!Bfw>A=.J82 As[P{j`Gl]s_?Ry0;?iLyg-ÄK4RO$[bߌ<0Mht؀iIM10_BaI _:ӱ,ew_# ״m&oWxH>b+"no6?iFalo$,k,p@uh~r敔lC%N4Zi`nZᒣDeV{iXCԶyY:ڎG414&>!فX YN؛Lb"˿Gf ,0<;C<$n*\)4q`m4}!g3j\,`&-!l]_#u5yJ d#̐#6oZ&IGNE$04į6N\sJ6ӸмQ7/8mw#{A^X[/b:ʒ0G!QOot[RW!^&^UX8SaG:S=1df/2|BfeH$)CV߰z bN(v J 4\榖fqp鬘^l;OT.Rm|Ď4PpIZbJL;hH|&5Tġ~DE[ 3tqhȤ nku׏)5Xz+z'37Lh_<­G/ j~o bf$YsxI?e/f8iy6I; "Uf)^7|;btZQM\`IE26F(BBS ̌;CvbLN[XKq_Č ]#`v$xapQ򂴾 Q@ð_E"3zT +/,0$Lriq!^;8((VrImÑ =P?tcd RIyMijaH 9nX;9"iBWc+"YbQ+h5PZIxZ.'fstQP`ǩ30(%8.`S:#^\tp܋T3'.F'!vsHwM&C`g}W+VʬB 0Xjmxt J.TlBΩEY>oQha0͚Gx 狯ѮDCBv2/.r6ǐ:Nax5 7XӇ^̦׸\ꄒ/JoOj8T4N f I*Uf@^1`1_J;:FB54)]65X~XrU*Y9tDL6͚*=1Xswgq0{2=]Vc78EupVȩyA߂BlfۅbNʗU}z*T9C[r!IZBUw+SFjSD)D1o< ʐ-^~d8=ؐUҳ[>ɖa^ }LDT tO^?3֞ 1D/+h\uB"wԈg )[N0xf n)΀9캴ʃ Gnk*]dsPxLQ-ʝ,Oϯɺ{VM21<&!s("jUYdd[i^q+5fcuÑ\v^BBR}vp& (Bd(. ֤/,Рaݨ$g}Sby&p.q,-cK{2ֺā=R7X9i.9Ĺٳ>X1sLb1y*?G_9NFv$I/af(~U -e/ӟ>VJ V'r+fnXlo{{XȤ53绛AyqBmg`:1 N坊k+&NAA fy1Z^ .J5Co ¡)?8^X1xK_?)z-ҹ aX-͸ vH&0_ 9)JP32euʜj ӌ;klO;3rjRj`Rx Ç8l'%Y9ffGmҲ}NMrدd?YsX3 CRk#o^5Yu)Y/UosewpvВ34F&^dIۗ';-!`fv× CJټs S`8fbN=TtΤfuUXwZ `.|`^3q[o\]s6%+s&ْ,#f$>Qpb9~ȉ`oV&R ǭr%Uh&b P\GU}z,B%e nʀS=x 뮁b3ƫFQ"-̆&oO^0΀>w3&LM9[|m3)|sFZƝZQ_6REuLn֦#kI(-2]dn wbtq^qgvm 1+'ǽ8ج`EhQgQGB˄PP0B'Fx sVNt*u{?HOW|̴1| 1m $fF OܠB2kdXqt~H9C:hpNf)t*ZL:Usab;4 t-}dKA'CpsB1|/}hPyY7~<&_/QeaN!iF~¤8^ST`!ܞG_+X Lt<:G&癶73=mYMAu:Ms; 47׽+:N61'J n}ڃ,o"9 [بGgzudͪY3(iT@a|> ٖzdrza8H. l&wF570:88+="藀6G|)5 6QY"5S0y!SR[)Ԫ|:6o- ڴ]XoƯ*w!n<@ ᙠԡg|0`eo. w+AIz/=׵;ݙBK2g'bqON+DLx?(" D_c" 2zKUZ9 rbƔz 86nĎ%|})sJ(=ͷ`5$۲UՖ ^ա9K5Ҕn\Q!A%Q(fƉ6jтn.Bq}n3yuO\V&uXG% &Ef {^뇒!8H)aG͚G8+TGj MB؇/vȦ\"/׻ ϰ,Mfk<י"fKUi#u!֏}I*Y"po[ fu-)q3{ABd;oŒp2ag`.Dž} 8TzR(:.I /ޭ/?@r-k2(V*%e6ݝƢ-jҊf2-"+`Чi%)7K#ڨ #QEۼυ9eЁb1,@!?/굤O3P(XJYoY0S戚V"a*C;[X ʋX|Yc(!FĠ`8X2A,~C30%3KtߟrvpM}O!U)}.q~wXKVq?o s۪ v<vV3I5$E{Nț:*J(JB9=W!q;#,|!LyYˍ P/nC)ˆo%<ҨP)J~26uʋH4U8vf:H2e1(Y/Re>@ ySft͐{PtŸx9:Lnx јW*<v;o.<}q8+ndV4z;{E ;ҵm3)i oqoсhPD6JE3cL! edy @ c9IQsl&z\ҋ#z}]Ƅ>5I\q=͛ټ߸Xߙȱƕ HXnTŸ__of;Z /:#̯=^yNpIq>MĞջz9UԺ38K$Fȉeܨosos5ٔkC׾n/T;F6 ]@Zo]J%7¥tԇ8{ }PT(c?bXBUWy g$ڂJ ޲~N#]57w(`2U hJx fI=[q2^4wSqK7QoNk""1,Iv p ڲ9nV"t1y+t.. s;r]ae6^G&3z.@K{w.xX'UvR 9 O ؚf'2d݉H-~SJ^s1vUҝb0=TRi]-1 wQ`2z\en@l3DL==w+:.8&WK_BF؈( 5G Gg{k_2.|E$X/>X04NCUl#-5$&dF%7H>0U'oG%|%KX([FXt6X+>m텅>R_A(9F( =,`YmD3p t b5p[wuc>X8$Y| L)6"$ah-qiqj!+ހeAI#R"kf@oB$Q [alD,K=h-h>4Oi,i2h1)P ד bIm١ 2lݖ!]y{qbl۝:K:r(o⳴bGn> $N0ӱ ՛)=j=Pl8UZh}Zione?hxԝXH ;jnO\Oo)``+y^ 2D\էAlKy^RQy*螝iiCt\V̒/x󗶽݊ '[;^ctpr{SQ Z ?Abi i񼘗pU-0ot$9#vθ/MWPB _hLQ#Rt4q>C-A|ebP2Jb{k4{2{^ Zz}jjCߧ|.&]Ъg  J9)i|Q*us!#m)ezӬפ̲/ED5᰽zb'}jda%ÈY6KmqIH'yv*|0su+U̟AP%_Z6>-t% '5hUFAХ _Mt4WNBdX;8tg&B[GdmU8^Urƻv%W鵪FZ\Ȓi*pHN O? -Qݱ6%LA0׸)#_!7-In"٤?dL&~̇$ze ֒ B}b7qmz"|fӓjKZgDgHA%1pgJՒ_{g HdW-EeFީtr 'Ggxk-B@ŗ k"B)kwp+@s %L͔J2d G#S{ 0_M/tM\ ql:nDQdF#֏G"׬^cgRf}K$. BNyIR-"iz )B{s +UuC gl fL"xBO_[ m$7>YKřh{X]&>t#n=You&i%aj6M@ 9:fi4arg9&DwK=oJ<3f'PB?2M ם:x#nz/^\+Y"|{p # SڙzYr Zni~r řI變u#St$k_7?D~PI4 J@P's ]?PDvOHɹ \) c?Ug/MQS(x#IJwmfš3/M JhG0d-B&]>UN16Z5X ָB||p1lu(XlyDvO/#Lafq>s{'sx 0'\k^8& d>Ѫ5fIX7' iM)f8#qtÅ.' CdlּB Q[<̶CqQ"wT +?8pRեG}XUB4yyHJc]' Z|qPhL!skh$5"*'4wd="]S9鿉Di`߶ƺ sFY<2ڙL؋ۏ wgYZ7zXZִF! %]ŗXiɟט+-ǺژO OKa, HzV9e'EC=GZ%ɵJ"Hmtl=6`^0аp?:ou ҞqLh`T_ 9*vX"7qzh`Z{h= 2@/ɨ4-ם.O-: o40ѠԏTpw1pTPC{5%ľP${ipy N>`\ l%,j2VsX^1OLDQz™-$ n6oԺ%Wv b6&<KE1 CÎx;Bg8:qP.{`o蕠*4R$$ɺЀ=СjB~5Z*N_FYGQ3%LS=ď1$X*I-$0"p}65x0  = ] 'ꠣ\bKۖQxx2b%(~Cϭ0t#%c{I4EWS&yX:.Pi,u,Y1u ̜`5´hv;G΢\ZLങoh߹?vbㄈ)p_5wOKb,֛6-3HPnwNm[ۥ4u_+u%]a_521<.V DrwST('wvM2.C3L OQ*pwk}ݥXu+p;bc8qIxFS==r,T:. 3gH"46->9R*.Kh;bͱgYZ7zXZ ִF! /(]ŗXi%GKڈyoM!A^T"-Rh[{SчŚ֔ > %ɚs[oo&r0 zafj$8b.x"2u :aYK$!/CSJqO6 y4"KB,(>P<!2Tw bT .?S7鲍1ɧ19K0b{68(_cLu |5K18E肩&@2t_Ò0 *rMgblcA>KN0j؞ˢ룖F8niWd=7u폐܍/"[XnS9A_] )O9s7@^0lIWh Kܳ rA5i(_C6rzm"[/!i#r -UT`jޅYӑL1LoSb}`=Jx-u03јik-佻aijB>9=6q?YX "+kP4/,݅,l}5pt. *]Ȕq_qZKPuqCb3񜴲Խ7RCS ٸ?q\o2G4ːN4@^

Lݴ7aSAËƂV(y,8IšKקRh`FR*F>Fa'4e/X{ #tKk!ڡEhb;Ξ.aOkh4B-w~Μ Ǎ+Ŷ*l.[Պ'DVsl#Ҿh6R enuYzv?-8_.8L$C=h 6 vw'#~Y$1q_TDА8bEff1>=Q>ajKjIvG!{c d8 f )4R~d%Q;}n}މjZ2]5$'iy7(XQ/6NwJ [noИ畁MYTF@`t_J$mΤj-O==dچz(2Q C* @|RrpLlv@7k1U 8LOxF`Mx]\̆(YWcҩrݳ\ZRI@b= Ddw=o>m=[.><8F9I"סOAO1@*̈ |i&FCHَ!1`' 8IHDpP =e 2-5X4+ {Ŀb# I"ڞYՋl{eg}Be۷-!V 4|$uk9n># +efbѻ\M#3dEE-^A+T^?d)'o>ͽ+-Ol@?RVіvAonoGj-|^,?C+;"1#Z >V(@;Wgȣٷ+#I?chj߭SsФGFwh#&Z]&$zNy.{dfAw7c+416$F~ueZB.Km7mka.:H03Xކ/ V0g֯ţhzT3 b*ʜEȹp.7m;Ca:Ɏ՘Gy/m8FuP( 6lK_\tWu/$M0J{v_4q' H\ͣTeq.7րҹ.vytKkq*(!] )Jcc:H&{ ) GL%B[=] Ij_^PBFfSuf/,dVSb̵bMHٷ!#gSCP;G^JX/=aP SqO#β,Iʍۯez "zРnXoymzN%8^[Ӎ4Px&haFAwN#NuSٲUvkdYSL>T GƎ74MWjW=n~&,SFF:,B!x!f84&zo^.6Kh7· EѲ}xH`WV'5. xҿk,tubK'({M7VU] QQ%G;i_*Fkeey:kmZϫ`lp2.0aK= (7{1 t1Plj"TTqǟ"ۑD3Ϗ@d̻kޱ}?] ̷0/sWƱDMBsq{Ƨ8?˯z;DVOP(fW;R2X1}d }oUJFI,S cSث{_ݖ SCg+2c 9f@Km Md;A͝6qqUEXl4~;Pw]h. **_S]`T~=8sS%钫s_U1Z06@t/NqVS'?q%;}?f)Z/x6ŸeFJz̸Ʒcc`S.%=9`67>ɯU@Y:"t: F5RA#"{b.8OkӕLb[ķLY)Z6[D[ЙRWx [Er?[,S9p13S;Fc./B8Q$p~Qt_Vw}E =0/rӗɀeOIy? ; ʸR/!Z9gCvPlIY&W͈ m;@)SO g{)SC啾 9:6* ImTUajK/]Ч'?A 9i  4Y[>5|иu!5]Aa@L2oB$8Hq%"NÄ4db[o!hB''_6ukn=d"1|_,{ zb]3OUVD &Y#[^zf9 (Iy~?h2c֯ / ؖTҸ>NHr-s[_I6ۓW/5-o)iV v;t',iWR*ɽTYS?1Fa[tO7T֑HzP{И$5|BI@u؆)$Wdaؒ*j׿FvӾxLFaUf+4#"7o.suR)" #g<{;oĺs+nfzO{XiEm2"q֏r=o Y(PSqn4t;gV vduK7, [{R7H U* ;*&򩆿 S?0BĄ~n2Pp=$ʧ-<ĺLZ{»g1$e(ň OD'yc2(ќ!hL۹0ȥԁ. C`\Hn鰹DHؾU=+},:+݁{γ<妪2uJ>7Zf, Vdcπ5Sw =Gʈd3=44[Ю'+dM I=L'.>s6ܠGl)u0?3(,dO|ݵ:,xNNlH &<7h W1M7t}iB4=nz[}kOS? bkވT3w;>í{xkg@ʉlF-`DԝG>Kt nC`%~0W ԔLz;޵ zԄzb;w,ZDөE}1cY7Cwh^=]0KM]%y8:{=ʒ 8g?5g{k<~044\#:y#E INY"PJ~WLQ~TwĜCNǍ(* q9H~ciB|2S UJ c(*Bd_{4wL]&;Roǔ Y詁AuZ[iCh)1&*;P|Um?+v F#WfL .ƃYֺصDG $Ku)] FAfPUtƜ95_vnYNJ&0YgzyT`NSbdl%ND1j FTo%x ɢ᪟<0$yC8vZUƴwkZf]ǜ/ĝ#Rp:A$课hsIa~2S3 x>?mKKƖJچbˀPY{ )O7~3.tS+o+}U^ Sx-$a75E+{<=Vyb-8'Ӟǵ9d3Ps]k~P^ ڮ_{TX|^W OPд= 4}~9cId80Fucل N|tl03p"bWM T(k^wp,&+KnVPmN 3Zl]xaf-fpFD:1NSb-w=c;dh>S 5Ck ~A=ԙM,0j 3\BG2$u2yu1e8h [x`N1!g&zor!ވ84ʔp kgkAv24.S%-u7Nh\8ÚlgI 2lR lx ]/UynddG 1N@<+ #|}[weɒ+]xɼ5;_Q8+juP"KrZcO'c1yPC-/r]orW{kYZs~e]h|M)/ .8 0w).A|ky.iK ߃Ojl,6m1t!b`0GK?OP ^3c39P:c FG x95ʪ!O @%"3.NxmRxt˚+qmG`eWO0Uyi?J{FUK^CBžiy5u'!8 (LubpbE]sup!ꫭes%ӊ_u0oZI,RҫngSþ]q3 eV8U@?A~vqJ+43]]%/YPxOSCǮzЄUe(HL~I i24 <C[ 3Q.᭷Z-]pP\R7= "e7ib+;/w%@SCD+uAg+ x1hг^3y #iuWT<`.g$~OfL J TevZ@S0Q{?Ebר&x[Wps?EVtiö% ۾`@ iKs /P\cż0}+MSՎX:=y hܛILouP_'|1Iȁt9]X8\w9%pVv j&Dmzv{˧L$!:-OK4,I$ j/s8J!;ڍꈂoxH& @Hr(9 .pXOU?JB Opn1*(uE.m,9|XOؙpW.r>~%6 ˕<?Ħ_O IC3+U!MlZʝMm_Sݼ`!Nʬ$\{[P6"܏wezyWJS3>'N"Bӕ42E?M"A>SgХ1t0(h8C/'5%DU2[0X)AT6@)$^D\j1.W~10TÚ52k{ BMc&#t JN}jB ^,pgƭmSJY%LҤ%_KLeӒwӇCk.jڒ^)qs) >eb#d ~8(2̛wX XC@A25QbP̢W,VGzh,:uld~ e&@B'\k&$Xɋj .}n/E4fcQAZ_[!z"iUP1k5z V$Fep7M!y+E Dˢ*ߦ$4oiupy6LfsAbX~H"5a{8(:yV^xe:i@LDkQlO,JUL}-~YB摄&J`co /zل4!+Yo BC1dh"Oy u}u?'C#V;D駓 <Ӝ?G"j ̣bsL '1yx&c dQK(  ?dtI`|e"ӯsԷ ҄y7ZCog;Fۺ]Kz Η-cA@u]O瑁omScjM,ƇSGhc: %6i-/ВS4ٌatlWN2(OuQFxcuOXM'hW&MkN#Ͻ W7=m.ƾy^KөMdӻOBH67НL[&!L1;6Cr_.hH!Brj.:m2@Qyq([HF^ۀ B}1 bKe=0TsgZ(V&6F`QDPWX:=g6[\~TM3 S. ]-dJX%`w X+b-iL?#AbҔ;yLBw)FW.F|!~]$؋ۇ?{]šOb. 0ΚHI !ӑ F3egN8)~ĬWC8e}=\u>(٘C@drs#Q az$f:zK qy.Ĥ#!=[!/'3.\N}~̀U@RovQ*&F% #ύ9@-@OaJ'jN@ݬ{=.Hw=29FU`;۠6o<˝&""m ݽ wɔd=uci99!m#aw$' i1޲@dY-}F1WjS] #Ns+,Ly Z . b)z0y-mVoA5lWEmث=_ oW1YԞFqA[FI ?ڵ0Cza$r\\fe7}9#f>*\X2u9)%E/#qŢiuGmv0dGLx"CJ7wgW hMa |VSl>φc#n6cT(1BƱ9~hTI,^Ǭ\< 6Kb"JEPrţ !-IJ)ArȿemKPX5lbs!a>Yxy%t1|du^\tzY kCG!N΋:`x=nxq}_w7w\gifb ޭ|tYyzkID 79̸ɬzCC&-.z&YrU?~, !A`y^VLnJGUk UBJ—Q_b-jT+^sM:{LX,n"7#N9Ic2UĪZ%* m\&5XAAhZ X8fz@6,WZ%(\/g6)[ʌۨ0T(Ap*f3QE v^>Nuo(Mq5{)hkU4K$y1 ]p#uF߭4;D;?5Yhk Rl~0(MFl8'X)m`P?^J\ Ww̒F$e5: N&IPĹs":6de?h0EI, RJCM*U<1β Og6_"[Jn8J~$7o7:FƒҺZ`q,S5Vlͬ[ +yu顽kD1CM6&{J>b ϐl-,DkVi4,a+iSu䇪CB}d܊|PYqe{0%:×c㭵ӕ& uΙbrтdc+2 sU("X 'KUTr6SNed ]eM"";rWpp1Jp0c/)ƭl%((X~M=y|g#/>/c$Cv3KkpBbVÁ<Eb|Y<, 5)/>wI1JcG]Do2$㌓P3d/@ @z@CTF <;(ŝ:H#Ew9kfM~NA46S|ʑ`jHRmq7əWt~(I Gc tQv_W~I&x=Ûew„#Hi^E *UKAҖsICON =$Z7*@@]h]<]~b)9Q[Ib F*Kv(C Xjw87￱GDx:g$4r;_7?,j ]cz[$ZtA|P`MRpɱq>oD〖]ݏvEw]*TH9I24UnթReتy@fX܇> L$&Rရa+dGqh8wcR:iԑa=c<8F^<[ƘZ dRӜgf1`ĸYH J*<=kGV6ѥӸx,.FZN:NW$2%ΪhDj׏ &,u'=xK*Usj@,|yQu~B\ [k褷I`8]Tƶx>r~خ*V$ b^)e&t!||?(seC]fVgi÷>/_ܑXɼ7eXa,w+ G蕗EԔhb4cd#ͧ_%Ǽ.ΐ;e&E5yDHxI~hqe#ݞHCE[]6P7ݓU;yp!EZqݚG lu -He nR lg.[4]oķ M% ^>DC0⩰E=;󱴠~Qҹћ[NEѡ/3vćaC`+p/я#tt<0OEӂO&ArZ@[rJ%5bZ^ /Zq`k-yBƫ)_w4Lot\,!`:v VSxťu5ԍ5oUO$  cj$Ln^(ޗwmW_HY~,-Rd_/D@J\5 ?BgN[Y{+,8FM;I5-2Å96:U||\+rU.z-)U$&" UɔyuG1Oxu1laV7mp$.xn8a,/`F[ltWj9oj0HgW8wd~K J从t$P5=m@yIm{v^E1w+AMB=_CT+h2wZJܤ`J] ^ZP@;+38V[H(}i,/tQyA$7CSބ^rӁʜ,cf(CpXkiH~,ZRCsw>].$ . S͇Bd0ʃBs&0f!dP.Q-!e%gCsm'_nr O&%.5P2beɆ$n5$# әBd(Rzdxl^,y02o4Q_X`=1WTљy?hu;h,?vlڗ~ɫuZ dS(ҋ'vAͬ+Vي"_PiwbI_uwm e7Td *bw03:n]E90b(&AL@g[;Ă|(Β7/4;ZLjvsfӷs߀P/m[dfIm<PGLj(]=Yt%t‰ !G ] "bࢡ0 3iio YX$7?, ?ꗐ+w~:y@}氭oY(-%d5 x{r@|tL/ki޷jf*Igh<`^Ӣ1,ް(5gR" (,+Q‰8 K#)ۉT־ !2Q3y*w:^{[P1W Xzd+ppA*URm뛤n*Bi+ 6vl4lOZKp# cE(yLs`{)1?paͯ{7E^M,R.<ׯ2"ކFl;zAj%=V "fG$DPWuq30=gu^|Npe t(oSXfÈA0p66+GT|\WdJp(Et Ofk:)K Wׯֶ+J*pT6ډToOVY=[ lnCRYZJA9Ёujؔ3c.&%q2lٔ 3L܀#l,-iTX}e@U'w&$)TƢ բt3 (ߑ]ASa:j^oɉ3ff,9㊔W}Fd{"WcS_Aל|S 9F("v5ZT8BA҈;ӱ_!xC7sy6E%|霏G ׄ^_:Lg?z;Bd>bKALhEprߺI=8\Ic8QpDSEpWdžJ`;gv)D>ANA,\˸˼ ^ǫ;Mx| wC"k]5|жTcilb jK x(\`@2RWT.G$8Θ蹳(\ 0O. Pzw%3׬(1%Ii&3 onnZln{J881󒈝FϏYR:w$l^;iC钋x,c35Cw5&*ݶ7(@E4@JeuB~-&%{I%M!NEF,{)Y^5hLcY:0̴Y}{!hTq[7X}*w"5B _ϭvOw,ö/8t}zTFAuq~} ƶBCi,}HQSx| 9nN#* DvkfZ6UEjaTHٗYVx$?]>g߬Y#ZSw!'_OV o3eq"'ICv}~8=P=a}|&SjQۊv)lk>2BD؃jG㨠%z:`I8wFWoKeQHGF+HK3Ia7/QtM\ RroJkmg}A;fnˇ2M4r,788\*x*GKʚU=| \mK`I&T9K WtNinjሕ@]pcAN0j&8:k JЌ[1Eqb=]7>r]iH'V1+>C[/먭׭{H HrӀu t68ZRcFM`T M(+/*v寕mc9)*Q}&RN(r4/JTy\#}1g9Ӣzsy5pC.3.QZDַP wšY޴+[Gnȇ(+ ԙT tw~bϛk YQ L)}pѽr~Zb0R+qXX~Qn*ړY)f#d3wHSQCK2^C@$Xm#֯yo ²]aZԏ\Fq]J."e)@`~>'V_۩l.E.XlɗxJ\n*\d&(DAb@i;" @ t (Aӈ(".jZnt^k+(*+qaEqTC w2 ';liN_g@JY^>#w1X .t䷃>E E^B3(ϙgż\Sܚ0*( nymӸT/o_!?|A8IXXߗTP [(അLݕq0G۽~[c9Zp]s\H1]jra"{s07Ծd<^hg:/{Jc+a<(eբ<6),ALϪwІO L(-`JuP ʐWӄ$Q//h ΎB {}H ZX5g}L_ Gw՞]"pY6{]y%K}SeCN픣׬QJ m (nA;Ț */ v/P@ۦ=fIoOuQޛUit?+#P{Nd9ǃSldX m lLa::m/Y?šQU[K.EGŤԼfן@_'I7T2 'QrYޭ죘(<ڌaG1Oepk֫`x T×N#ʣH&r6P 9"qyӒ0vbo]VEi:6hr|~D@1y| o))/5o@G =V@ژtpx8J,3s=5vdϢm*j>E УH~&cˣH![Kp( wwCD. w[;_uwgAKZ|ċohE_w^L>b O&vŶlj6KէJ61V; vH9]\ ͔PeSGUj% nSQ7s^ k6aРi F7)"KK}@ >2&#~r{+#݊skI#q^”(da (|ͬ[׾p#}ܪJz*ژ]0mSn+VY`qpu8\ZC`CXW] A6WU6* Z&֬{)\c݇CQu0͟/_ozx+ X_<6DDtljkg46[4>ε=* _ jE;6*%niK/|f?<{εIE#*\˧T`E*/Xyq OY4͜YxO9J싱:ĊFFo@pP# Ke6_)w$VΆ'ROm]!-˹ߛlGq4>]t]3猕'S2,2=ir V}Q؏_n>GvϩptRypD])\J '܃j窪l ./q;}@bZ!Ӧ#HFpyw®jVuYDWl n؁>%ߌѩ J7ȝT ي^<W!5se9a׻an/\W#Gı_#$ W#m& ! 0E[5EPln2֡ DJ-8Hrp?SU?NXP`ݮu p Ax[#T_^R| _Rmȶc5NK|z90!,kᬦ6Lq>4o 1 R)dIfW0ڥtl%'u6bœ+-@ _īuTpM:r06Yp/MXɶإ^/Si756G_4KRࢴ z#djUyϩ]"=6tWOWYceV>%Tlm*x3(D,vo k 0fMkTʹ@ jl9 S$0pw "(splD)\4Ef(w" `[H?ì4?uG0ɸSA!u6uuYѐ 0ɛòJ+ 7mK6~Ggb{Cmڇu063"!Q8CŷM/tE) C" v&&^Vu$\t[a=hɅnCoǘ>W\KX{?GxXM3B8ӗ.5qV66!%Ld|`T`.AخBz{땳g%ty7j X@p8qztzk'E]"(z!RMX\䶞OVOvQWgDO;%Zc-&jX'# 7A],Tf=]5 5'Ldx 5a%;bZ֙dD}y1ĹqgΖ>S@d3絎kl! v"grd' џrvצIƯ^P=t%z 0;jƯCum\m*Ez9}7*7,u'FןE-=oW@A݃m`?=FcV+{GTe9/Q,94]([ ?Fb\7e6*| xʳr5Ld{d\ 0 6>#Ql"ݽnq?ƈi۸#^u@m!LJG=`IK[Gcfe0<:3桎>S%  @_ؑM}(9Ѳ" w8;~t g֊ШR[jgv_ ȧUȇcnf.cȔ(Z=+.G>%xW/wDP?}a:5X?]\+ ho}ܑG*°y-)@C$k ַjs'xԥ_&ƚS=~WצLre(k\k\fbQ?z4~p:vg[ =wUv-~O9586|Ry45k~ Lc -/vE^IqHti|P#,;91yofhmoߒRҊw?whLi=eƒP#5f2K)3ҸrDr4zzw@ ݷ !:]RKtl/Z <:ufA]lD] ,Ϳ,N3[1uƎlJ$ R \ёY07cr !-H\NvMȵk'iwb[2`՗f,3jk!tY+{aý@eww VvzH[aXl;̽hKQRk6CW4OC1(.wzx8os#jH&kȶzU'>>eXh"nQeFtƯ ;:_JR}u_I:Zޤ/︟"(f 3g04YN NoӮ~W=3 ߓGŽC2Ht̵/1ۊ?!QJIuB_:vwik;JJb0*&z_ ߁L@h7%N,(`:~d)B% TV2UTC(*h =Ffi1U6y8;^9F7+.@VTP gD~7BY}xW+it45@'J)f/_M#4䶐=*?P_sW}_<=u8J3WXd}-6Ǻzך #u8B 8XwuTr7So#jP4M #,>e.t*[ יKBy[z!'uYm+&x*\q1r*. UOnyQHKE ʞpBÔxڦ1BתzK?E= 닣!J=RV|}Yp2){^}dVbd:)CMel*iLuzS=%\q^86t(VocBkPO~V[^djR1!(o\=0R SHQo;t)dۃud3_5g:\` $ESKIHk>5{^VqcPҧU_t/uT&BQ\F.G孒0V݁XݑF"u//B_C:Z[vBՖF5m*-*`^ /V S8]A'y6. Go@i;Ӂָw!*1pXbpuUM Sm)NJocn7@@!ijͮc[T RujYⶐ5%2f pi!zvޠ\^3batJ 'J0fPm9po3@se;VL%jXEr>6Id\9j-p(^ᢵ:&?H՘1"vSg5tn}ˤ, ^7 6 @(<͚$'4qZMkfT6ZTst}M>dÎV#կ S.xU[Z JqzHWnG9ǜC8-wIp(dNdKenS }gv=Z&WdY7t5Bjl|r5ƯO=be1fqkDw(Z x1sÇU/,c+V.Xc+va4gX@zrcwZ4\$?羌 ah6Lm-]sg!RUbTc;9N 05QrrగܭZ@)3[0ϻJ"Vjsf_ >_!wT'}ǣKu 3!qi8|]2U-@*|h Ļxbr tn3n8 |^ѴW"߯=`.Xp;@j88|e.ӎs\RgL,+kg"6FkJA3fkW07bHZ_4@\ۏRJ5nWbn|Y9^Bϐ6o6yluu\R6U|`7J l|bƔ]d7k^ت?:My?OE&j jJ+Ҟv^v|I,GqMOfN?r]iBaqW^a>w2oT@=yYo& ͪ2CCf6sg1@`3kYɾbIdL䠘o 20 MaDwu,F1zڨG8X JB .m'ܼb+$.U6PXnQXb% "i\Ԧ ׀5EޒX->Hk58=*). s]l*,&+}(`Bf9 bU.h1.e ΔPoF;tג(9^1= _ 1$ݶ{#EpJ$`Z!TESПB:8E?eLm%{sdԂfLM7$\~g4=XGބ Q)sMuc2 T3WOF~Иp޿3TGq?j~aWX0FaԬ'5_rSl$3-/ąJe7³vHd|XF5Qߌ6Pz*g{>!Q1zoķ/o ,& Y)\IZMkA撢J S. >p÷s=S(tITOp|Z(7S 4aڛX.Jr^>~sD4fPlj-A=1Kki2`Y>}jP%2Ví))FaU֜@tM+=+n ®w4P\67$c c=Uc}Jͣ<:tZ'DjSvZKjq-x׬dJŗ$5!0M zCbЮdK4vx A`nuB]$}U.hܔH9)#E3' %Y"eh;Zm}DŽւ,h98ī~>{(=×QMvyAm"sę>6 ǢbE^;*O#5{8BC4/\,r]  ՍNXgWo:]4h~B T,8ـa:xR Dĸ՝tok\DZKg%}#t@) <֮8-kǫb~r.#UG?I7 j%!:"юN3^&I"~qw&~kASk0=kvXD/\'ʣCKuA*6 蔢|g_W :0#_=Vi>^ >:M(6kaʰ6,"6J'.xƣ@6uƾ1"^FcbbXДT}N&mR0o" iFZѠ<o}Z gX푽Z{7{fznӘVTi$e6R/?qfHPC~K F@ T0tULDBNB qeY^GK-oGчtU3Q ZHDyR>-u񼖏oپu4ė}5J ߱`ߧ7¢,2Fwƀ406adVOBie0zdsHϣF;sj3.Qb$Q0 nQ 叉}Y3 C ENxt'0zy[*/fU֘CNHMVg`7'ߠ*hW\>%ŀ~|'|a? HRϧ * zo/P;K5rͮMI?HIw(Qq-}S(ǯ4w|A&fEVXoD1yr}[XH0 [?paO^J,:V|L򧬱^)H.e Lt 먙/W1qΧŜlPad>3l%DJ@& Ӵ9a ;C 8 ~h Sژ-4 *AH="(#,$I2aCO(GcL˿}OC6nhpfxkk$aX7N(Mſu څKF^q_I,ƅhN7f:B@Pc1sR0Yu3Kc\oPtسT"n@BJAk "os#;3љ ',2.O5W1Z~%@h(m$pVt@A_yUvB6`S]j= \ clOa[./AKe/T #OEO4+h[|@gylڧC04lv:tY֮\tS} 0@IT&蔐DEK4 ~.R'\fڣCdhHhw-h؅,B? ȫt,O!m2/Pi~w9Cb @ rbX"_@.p1C{:Hehɧ`64؄lԨd# 1}NpU&;s;2 "[u0y*yȸ4,=Ѷ0@eN>=P:TSo 9Y6@$(󛋙@B~4'Ƕ9`mr*Z&bEm6sSեhT(mזYmV yѧU= # !_\*+nFSQ+u^$h-/,50K1X:,l,J {noɖ U'&a,h=}UJB,EW?*li| 8@5K#J..8)sw7N&gsSWbQpq?ٜbyhB^=TBgTu59r1s?NyoCg I5Ds 3 Bt!kzͮ0sn/\\v6f!SeN<8j ֲ. 呔flC1`byOAnp߸1ۮqW =|K9~C; PVmKNM'7]F=}l#BRa}$+`op3D] =%[1%x0(k=?b^k =³m#_eO%iu_כA!Igy3ۖKxb/A=uV5l&!=,%{u`ҹGu[@5dnq4wlC~.~6&6ٯH!0ZA2Ћ4/߫2\8ÐP nFҿH|鳖vbkwԊ,̂ZtE8 *>Q[Ƃjw1n*eDAߗNW"Q&JBqSu\6X**”5^&;=Bc~V.{* ~uZDW-vfwo?aubG= YԼ SӬ_Oix-114=P tetd KSDؐ)C.JR1|i4a)Ā7KNEL݈Y[xʙDRI[' q-sYlz ;,zP5XžA{*+[z^oV?Ț}WdOn }9?T[LyQ':ȴc/,MWZe;ثw<9k PGQ6MΪ-/XSH:#!C B|i^PjK{,M\ay YF1b;=Xݨ@=ψ<듚sq!~[ wݱ5e jKpיG.q"Qvk(PQ9_+jaHK[G iz 2n׫Lo,Qp3&Cx>O.oGr3|kkR -AS \\e 1/`~] 1iG(T3{h}@r3VE[Bif8ӏ9H&וڇ!*zJ7#8VO8es>D|(QXQɽgb-Ѵe>D~jki&aտlA3L"k{Tiv+Wԛ 5?@ݼIH7ܭ1K"r 9ʐ$CW hv=8CC>&\ ~77=P% O<o$g\jjƁ2vB[;ZmΡsId2YPvߘԃGuhzgH,oG)9N40EjԝH>BYAX  b 9~lv.˼oDz`̌uصt+Ľ"55 &ot`tvQkМ.Lӧ:ڊnFJ&ju~oӛ:~-#tAOYk_U)JRqG\O8z%g¥.>=+jz8{iK *kEjS"@Bؼ ΠceM+~.5P{-&"` U nM%Q~⾓n\Hr9 )/JVGN)o0sMϮ/~~O=amwQ'H#dWemX}f з'6uJ>PnA yWB݌9RG\;;c2܀͔Td!K ]3ږYف}Pha6 R/~[F+\'^EГ&F/2 ZyMP`p ["kpɘXʩC=hT9/>ЁH_6H t[٩3a.-zv*`L]݃pR  .0TEF w*H3P3p>((@M 1TtbdSDT pH4h@y .$MH,#qU3 fq< t8u mc*{5(GY;R>;qkmIB [Ӈ,UxAz.Aɟ(Զ#vؽglboMz^ :ra`Qri2^~DKm(-/RCٛbRmM@+.7xĩ.AWXo8̿E)Ĺo|)r[*;zGrsrz axױlehVFNP=z ]Ki6UhR륷OD X zFJF eQ-'&XwǛa7yhDNr](!RdW-FI*R2tujؐsF_:NӒ˲x[OvK l;kj^˥bQB9=Ұ0JHCDw+|+%ϼzFY@tNs>ʋ<7aN+A`L$ǮYIL1޲ƀA-:SCw^J"`$EOW41^xq 5{f?DO"sdNUBxqĄp_+Cʕeվk{+>\Nf0)"n1*h1\)Hi6  7Dfe{B|U*ŷ~s3x.tia6%qə o~3De ?ڈj_ )۴drpR~z8o*a-/ )tU˭(JG]?%ڗ``X ZW>m㙴IÌ'[TOlSsZOZC&M&D?"!Y 91kT0킊h޾7iΤ̣"nfєc #,zXZ>|6HF,!glZɝa岖"y 2}7&' [-1]ig4!rGUkDz5VV~S{\*J&(.Ђæ(G"~>ElzQ]ߦ~)`(@nA8g`w#]Jt^W[GEijrJT}}Nh.@^%ҽx3e~SNy<~_CiNX%iNƼKAHp.[!5ij'm ZG@MfAƣeC OL2`ݮg^OD;Gg ܇ 6% N]S9 \Qlr ߩc=\TR'I~f{Mw\\j;+ {K '95_{FcCkt4ЛyM٠F, \Ш*[]p3w,6lfR^R}n$+c-G ş+"G`rb2k.2)zq쉌k'N(IH2Ib鎝mj@Ze-H?ީ͉I Kc`<˩ݍ`꤅vpjXf {<&-\->dnd0> U zGs:~zEqk7sk,.X#:Wpb6D95ŷugk\[;[5]}WlMWYa,ZѣldeRCϾ0~ٟynWa@pξ˗Q.OژB;tW( ;>s ڱbع罜94(ƧυI03X4O _aE2 ;[7*y$_Ey/Vآ]b;\L݇9?n` 8#kGKFnaMf6Iui){m  <ǫ h~Sb:~('Js/3OuxxVn9/N9d^"@!I:o2ff1  Sq`|y.}Ս&i7ظY߸pWNt|>Wisl/<ݵ̵rv˛?nv˃xlyXLcdfŠ'Z\ Lbb&hO|z0Ů=te~#NtsKJwư{bgΨ_FuY^;01&V ;~= ^~?D~v5ɜyj:< w"z,yʓ,iGK)l5[&2@R۾F\@@PP|Z~>YZH)/rVTaX[qgQ%`Is`C]RG=Ϗ~G~e][$!uľ0ЦgYZ620b8ce9dfd6979108dcd2290c2daa33e69b69724b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2