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 ::1Dt4 ]/ Linear_Programming:threads=4elapsed=551.606cpu=1692.820gc=76.764factor=3.077zXZִF! E]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_㿬!*:22R_mjA(fH9f컰EYA>D*b'g3\2rOt|-ɏװN-;Rr,(`RR<\\[ ՚* `OgX˽_(,:He-B ^w]D[t:/ pV୕j-xx'g}o8L+hZ>VbL炚+zPBi}6yKGeabt1ʿcypAl^ {>Lϙ<[i Fϐ ̸T,,b]p]7_z#IXKdt&n#zȘ7诛X&o-ULRrG(%QJJ~5Ҙ~9Z/ rJC ?G݌C4xyFg!2[B|!{'[\f>C= :/_ ~_ЁI -Cqrտ5huv57})"c CzFovImm)6i2$mqMW%~" U=CimB(.Vs+NMy{CYZNUfKrL HӿŒ⯀"op1diZ!24>IXseoc|}LPJhvu](:).?թK+3˼i-Q9(Z$NYOs!3ȣh>A#iNNTrQ*a}0>L_Kljl_Wp55b!}2%) jRC_B1I؈jdnyc :cIJ,-=kNK59 <£Cg~8z~\ k38oowx`ཚ8*zi^2z l+F"w Ptj5*~3}S m&6ڜOSEn*Ӕ< 0֏,~.Ƃ mbK   h0#K99sv?G.4lwkEGEYxyE;Q6Mz|}37[AcG GAI.nfZM1"Lhȯ<}ٹ5l\5BHp8! f"d䉂c~bӯ:9T[[rX٘IJlמY ֞/ ",F]99P/ݍ]'?trhܢ trk]6oG%'ɧ2 ,"G֭S @6 nȕbtg!R|&aU? '؀$wRmupuX7ۃ|j\k1X qr?{ډ;\m*mt' œXWH@G394UOyZuzB?zV c&lK<_a9%I΢C P~4ӀdzJ=SeӨYԴÖ9.ܫ-(zA&d'ZEt׺K >h4 `m[a{,@ &ST鐭?\}c36 B6 iQ ˣeʡ2U 3nEKZ%]]|{$M0 U+xԼW7A `ZЗ6o !sDD)|$>NG5jX$I-g VH?f/ɑID*f1|X49V?BŽ!\I`#gӉĥww8VŝX4@eb j Ժ:Kֿ˦B?AcUEB wךQWn&;iڬSuΛ քHeC"&ٖ$b!ln#W" tFTtxw-FK䮇ҥ4 [\}ÂyJ}ܯ.BQpৰڸ? )pƳ:NI,Sh㬀K әch%ּi\*LfQ32pk$NrPD\ ^7a5 K8|r%/0Lϛnw0{OS^?N߂o!B#wPކ%U x*}0R_`u>&g1 /w㠧g5l pA A4lQqTxB I"8L3_} BGh/#Usw/x?[ m#ro5oGZ؂,&a4X0>VZ{;vM3Yk߉މ1o j 4^s[wXhJƉ6 惛;~MXhիDfpj'b~jv4 S:'߽dy扠~/+nV5)(y|[#lĜ@O(H&{PIP@ݼ\b/L5>Gȳ|T tbt*@y~qm+U9)׳AH(gE]lcU6:!Wިv 5\\% 31eW_ 1 Linear_Programming  Ej{_b9)g?k#NRO }[p ޣv|BLTD əP[>p5lut;͟+{fwՍEtN:O^q֨T7 cU, Y]z3Mz0 C !,z0v;ݍnĽwP"fPv~-ƒy$//ĴÏ@`¶ -&I=KېJ_}۫{Qn\!W{֘Qqn$tb#?UqJm#_9:n[!{c&kJ׳?3[rJp= #:բ`ͬygDAT)h)beU??y!O^a41>@7 ۹nrb^"GC v?D4 ;/4 ҙ_]-W]%Z}P>Cs][? sZG~0X/2*έ *-X|l܂<WWS˅?5TGڰN}&f67%Tb R0:a-kl5.EH!vh[+|-xَ(D缕 yB).*ח7zG#gͤL%PZJfwXbBT;Ňt?$sNWQ *?ULfHԒ>!R#}&" g>}N<]pZoUY`LTa9=s[{f[_%E/#ٍ8ga eR@m_@h͍4a/[}@ $ g$)j^Db?~9Lwx١N" R4ocϳ]t2\kJ:l6U%.*R/CtWS(u=#G;w ٌ(7#c$[!ČouX`%UGDR-F^vN. 7뤦@w韀]K GŬ2ĢN^^syjϸ#M daj= ؝2odk$(ul_4(Y[U'<6SWnƛ%ϒԑ4ӕ1e9 .@[W'G?aL !};;.U1{EhV'S$?kR, =?Ŀ+zf$,g,-RV00yS1zȞnY^nRMĆ}6xҜli17Q@Mo*S+-ȹִMTUM>jY\Ai+3u/Z+bz4EⵌU%cdu7^?;!;ۢW` [l ºB%CqDRup.7[vkKa*.Eݫ{J<=bhc[ZENB[shj!*< TS3gnŬYԃ;nc_za!HQbg,'&~R%i? }z)?J}uyb4}A=w/k6/Kze`MJc\ bMh~AU|)ˋ? :'wHM=Ꙟ:f`mh~A&+RؐcaVm8q0q|SJN;+,{6v8$fQ,eDo^ MoQLB6X!ub*~ v9)!8T~5b:9Izh{-9) q²+YS9#$-Һx_m! ll1iM{U71 MYRS# ]澖9N?o]3~V!8{+\C_GVZr6zx'>̥ 2dx//oo`d~~$>vGJ3Rr3;olfYYb@{֔7r[2T:oD?Pu=Jpx^Η(b)d;xNQa'r|K8va,P޽%!/qm5a Mcz6WŇp!mYR]!$p{cÆhKw"[̪ll% ?lV4_?4ۖ\HvGcE|oxDc#DJI|װM ®cJLd3 tpb3<5(nƀd}9?" 9QXv$.CV3cg'<59;'dsp0J8ʼ@,@xM* O&6`v‹_鮡'fؾ7`ee'a<|hTM,M7_I͐rI,*VZZb kЎN[#QLX%pi )z+%۸C@? iBCo QQE-ijiÝeqF I0k ۧN%'5ωVM KCW~f!LwV jא~iouц ĤwSƂ eW  韂u@5XJٟ]k@4 9LcC5'[g<ĘH=6k#q 0b&7֣svDC>ᒀu-iBH.]fZ>sŒm +X$W-q0!Uw tbSTL{*&Tw#f=+S[6&LJbr}=oͲ| 7.>{_w;-7j$FWdljм1yҠ=]vB79_/][I6:= tõڈvyq8 zyI(*_- /LoBxV9E}o_7 pl׿/(|SH%;kfHG1r`J $Tf23$-Oٽx3 B1 ;76c"*yr! #CWEϠvʄ8_S,+Cl5գ{r;P&,dm+L=^HS=bh(и{=؊Xk}LSSNtܺY\JfSusx_< IkvDԹPfg,!5ZҺ5>4-H?cz!m!M$JɹHή/l,U..b_ǵ"ƛ.a/*ZՅVC.q@ ϓbGzYu fcKI:C DdIe4 v4IO$V0:4y<'UjMWKc\EADF74kbpcLY nFb9=F8HLnlԉ4vv<7:wyQM+7|nݥĻj쨟M!u>f~*nv!hu!K2~6",oOgWE{.5^d۪` `vVdkOVj:":e[@|?ihـs֨h\![1śTE;SVbBџz$cVxoR'@?T?ҝ1hB ]8+D>/IB,|)/8 T #/=~`׸(ٽ3x>>fs&<\8q~<VؖcIb-ݶsr_E<}ٌ}@Ǯ44[lH- -U;81i슫O@+RJ%$%-߸Kk[ӬR8Ƭ3V3'c}KXpG]'CLTSh lzwp*MWVc}M*^ljQ^J;13ZȽbDJU2s>=Qp=mo6Jódoy~;@CQ_A֓0Jh&|8n6wvm6v HBl%w6JJlڢH?VCXZ,80 Mr|gu/)D0X<Vxy09:Us=kzetFgaǿɰ{Rٙ %Ae06Z:upHہУ[_$(G5J>9^!yŒf(a![|b W,зZ`h rtqmh<iqا+V įL;6>Xo ~=4Ϗ&Dfr!"KBlՔP8[NP:x240|`$Iҡh@{4U L5U&1[b! Q !6瑰z$-lA+sRA)dC))~f ocF;_9L=[Na N  $As@mYDX om*Px_t0V MJEq U0|%>swA?pp I*rЗG-$*U#WiV#rIaTO}i?F͎v] c#dZCXh(اy  v鷺\KGӓ^txB9Hc}Sa$0 _z tLL2\;vF%sav?e)_V}5Yu#=WHN4M sHGwMX`2秊}&H+UA=850N3 ׭Pc2ĠOAє3F}Zwbjޗqe~jEciM:ʫXqa[)^ <'8)imyBU uQ{j_ E2*Xڨ@hx&f^w0y{l^hOU};DDe*i3 /"%=,Hs=lb5uzi~nK^|/^ao *a?NCj%Miĺ{)$z >쓒ε˽Ytw=|)Ee r72~,r?Ǐ@|<)rɯ8cn1 3r78:!e" WXb.&?&भXn߹ۯ:B9;یYO CcwS02WfuQS/ۺ2oaU§ ZayGM\d 8ڗ9AK۸pD@yqP$P1;OFdc3G!6r\ScZ8tFao.ؤsV,UMQ/ IFOVw{8 sD37-2?ASv0 } lp\ 9 'gCEEѬ+/ 5 ŐA\;sZw!,8+ Ca~x"#=#H:nF]VU w $kSN=) 29ٷ)u73 ft.B?|3VNwPEUF< {k\Zs34\*V<0zYx ,"*7Ҁ}2oA78-0\.]yN!e\=gFIa*:6w#]@/(Hu,h;ΎrZo$i\;!n+̨H>+.R ^=1ӭq 5[1VեOnrvm ƈ8}3sUgIœ.&ïG42*RUF*.e.K[iJ:B~e eBUs^#qb)x~Jʆڭ>o (umڹֽ n~aEvjIO9eXX@4 r}0+#S׍ys܄-ef={VJ%}%N ؽ#_`k,䒫U=7\4nҺ9b 8pT]IK 8#>OuFZak\)ؓʹ4cypҎ5zfREp6GLE{iJ[6:׊0^8ߥI_=:vi+[ TL!)kgK(ɔ?<~֊ΰߌm7CC:11{"iŪʠ#ms:5(M}wJ4\E!Hn/~ó!ْZ8r#f v.Vv6 Ivyr1al(MM>p3p9 ,tkǁco4܃%kfX+֠{@f{r14COF#,w%;z埆|? /<9 Ž7|YRﶯqr(]",'b&a&Hx_Qd|q*c击2bUſ5=2\ݧ{rB7R#͟A Fi&bKTQ#hʞXH BҘF.~++FxwY FU#C/UoϧsONgo bw;f3h|!#"Vwè`3L+ho2%^L'Sʞ ln\ |[3Q5}K79#RBaMқB!Ht\ yM 8mIa*75o3I~s,[w-ena2)M+N&2b}!;uXpW,_X|!oSY{5p|)8ɔ L_@WSP6k4 @BmSߊD.o]lݠ։s1'bBAɕhj=: a`26G{1 Jǁ /JӴ#$UuOy7aªԥ %AmOz? "l\"҅[<<^3;29)W"OwH%.u@lf{w$zIo[%V7/ 6hJ@r2&?n5>l<4lcՀ߷F Чμ7ŝ:9G]/D m1HBLu-I ;/g$ɧ?̰o<kn"0C.AaTDo/l_N11MR@M=n(CARK)T<Gn6 ComfBۑ05هr@i0hc u"k`>έ%ZsH9^BKaq' 9q$ ۄzGAQ ^v0H.uofϟ|4[eE,TO/n:GYcj*pDϙ/=FP|Q)֚k(ݴ@oj?TSgM ЈZ.5Fjʘ9\-- Q82A8:!g3kLr6ϟzVNu=  /'*G){ qj$%.,~<8yeF%RSn"'5T]׬>iB_@98zJ5OgHX>߀WuBMTˍLZwe$Y ՛i-[p赬fU>{d :gh=&$<Е]dbXsqBDufLal:JLy fE,Tc[2-]zij=uU,Kr*H2a}J'ipEd~ 5jl=ILy#VCN֡s{qRIo'@^7hەo~Uڥ5*WC +d%P"  rK/vI*5EH [o3*㶧nA8;p3zŕd¾P"/4Τ}MǮ *. ל^8ˎ>PQQCW+'K/Jw`ǡݯP [f2{R=Nus u9MIĽ0=,[mEE(p0i))<CpiH*@Y:YEu|%rˍ_k08.J8JxlV'dCEɨu S'F-8@}m!$eFd]`IKQ LE9G͆wʼnrWIӌːWU6!d8onj.fmoW;e_Ç.EW0N LQ9*Ok2z"#bbLQ˦n"|mJ hx[WG=ApGz|r_S85rnY!!J=A(PJ{ħOszaSk0|M$H*0uCE5*pAit8/msm^+v<pzJ,dOT]Nkdo[)_BHnz,a+Ugcpc駞 UIV.j?2TuBmt9[ *~kRPO_c=l~,.H/\ƓkVG_*8Lt @=WsNp*Ŵm!r\C~FH?o7g:y-W= 6SyϓˑZlz*b Vyz I+reUתu)K~vwo XD%qHМN۫6ϻ R Z |]}l mdzJCƦ9JwNJ5mTm82#5R,1Aw%/,ZڛȞĤkf켊Wqa]Z=_}`[﮾$bdX!6/yxYUc %pr18x7}0x1;^;`Uq+HF& S*;2z`YX$\tT@_jBR63;8[s@3A? Ld|'~F[֠?3\1 *XqPK"m>ݽMI"uyaBsd=s"*Q́=!l|Nc-9!QB>&]1Q=4U#y |ҤGbEr<"Sӟ- _ApBWwP ES $c NNcqykYeb 68)$ZG"mX `{7gpS}v ɰ岧Wyp$K{pPU+`\5[íS8}vB]^QI< pځ_(t/YX!*U&{n.g#,ضޤ[Pww`J~C-2hNt]TS⇩!y t"Ь}({%Ac^Ŏ^ jşvDXOz,XFwP^O^[]ܩ7w$9XR{]> :S]!*N`a![Sbn_ K6ڮV&ݞ I}['l˦xT쥹\]Q;U))$?f5sG4*K)QZ"oL( 0* 8vQQqUFr:SH,!8=x}z)|z:]4z^1/qRV `Uf`HQ-9,6&%ZM@EY>TE2Rh5Y Y>iM+YeTDBpR:faeǗa`W rW׿.:0⋮lOY^DHm^-Kȉ5$4 ~YE^'pmǑ,"0 Fv\N_b_><L+]Ts~PN?x$3$TWx6Շ'{[\=S/$-=1O9E1*[szN:g6 RRےs7u&dq"OOWnΖWhr3hmҳ>uO7 mF/;K" "/ jl"bz{TyIwBBc * "P_(%;Q }4|"@ݕH7$Y+GNfbb&eD_̄u _ܾ -Ν]EPi!,= Ck!)2}>1V+L\ $4`mSRCBv -VS8{f%}?fpWCꜫc}γi c{)lQ=児A1mQݟZ,lm~qP|c,8 gPxͺi8HjW ˷T($Kb{g(Ug0BT v}ڄܒ3]̻Exbg4hٰ(D=DXƅ'~;!'$'8"?5Saoӻ"/w~{L|K.<_\IJN r)۫wadB 'k~j ʚR eTSGGї eoq<ެ 5T~jdΈa7oͣVZkN"1,Tf=W&.҄^v$x[bT꠻cTL'<kw$I*[kO 1<ʯ)ڿݹ9T]uqJ Uխ̬Hb56=[@/XR?p66yUxE:<$w]A5k\(Cۑ=8k [?CR0#<6z"x*~~ alMChzP{-xi?~r@@ S ڰA0+DL&A}`_s.t8XWv1u)Ƙ)=ӷ)DX>Z{kCǃRk/)y "lvYzw/ jluO5-mp ljjfM@2XMLi~,MocS p.} ,G7P3VNIQ'4 ,3;:_@ޤZx!o6dUF^7 'Ƞ҉_~U7Z3+ߘ(18 \!L]g00[,eA Nt*!:#&K/:%Pz v6K?RKzD 3k(安C)ʤHṝ&GPgE }:^-\sac|C܄)wT KSKqᮓw@yRk s@4\[*$!5z.^zE_7]!Iq)MJ#JgLW8{͜"qj6(p Osu 6YoتI":o&ԅwlSyi^TO MT2Qxy0mgʙOq>nTp&?TT *~>]ZҐ 7{)^@W 3`BGU ).qtH'.+=R˫M$VExNLG6z?(¨/ Θ?Vr0A۔Mz\.L>R0_bB`PEa:T} 7ɤ*n'x(v'?ҝsEte5g&Np^`ZrGgca|5py$P;/bFH]T&\U8>PvHx0_GtFp%.Jz9,xhs\v ' ԦnOX Ì6+R9c9f<9m}̾^3rC283Pti_l:F)P$t- ^. = A=4V[Q }Bt# ʰY|2ݿ.W+Xnʂe ؗ|y'3[uNW3 BARMXoT;X`u &0P}gSfޢWuhjyU_`7ژN$7uz?/G";{v&@Rm|޷[B<ƴvg&S}(D^7:Sh ~Q |A##NhtM.r6%I4L++hrLVc'}/>h<iy 0JTר_j1ҍ~g]?ΩzZ7Wt@q'C9i!xsgH L7Rdu ֟ő Z5Kgoa ܤEUͯn24*"_V*{Qd#M=,Z01>tx Ta0j%E¡ZCq>RяOy%^f]a)v"p>LtnR@2)ƭ7M-NyӴZ1o\41U[Ib%p!9B.vIy琣`2$E?$P6."H힖mp.>_‘_~}=J ]̬U jz"LʆVԙcy"ҞciU4D$^w n6[|;(HXVAy  Hjne _^nn6o];n iu>X lۼ;o9lKj#QC`Z:hR͇-1A직&+"?42$!aQ79W>MsZ0H2V\gXc WĶp!ɝѓۤ)LXKsUY2UZ=BՃ @7RL{fi7ܨ<MZ u1b"xQӰeB-֚Y&̓kdL)S͍U"k9&!xRbffdu'16z38[%NJ;dvwfF;cNɜ8y!Ҟw73N>T<0v2PKZtj3QaFcT x3 g&س޸z;zs Q1C8jtڊ QHoq9mb}KHx/>=cDCI[&˹2w\;Gp A^E td+)-h wͣΒe _HL-*dµpXe"E\hDS)%#I[iH_&K ܛleLH,mVS6Olxֺ?bt :M'wSRpyMSG9Aʢ >knU|b`[6{5Z GST@Xa•ݓ O%z G6r KIBN+#w_PW!QB(rƑ82PԎ " Rzޢ0Ǒ7Žv]M;J]]xfmv0#Z2ejhka&粤U2' ES'{XsREV~Z#3iDD} .V;pC@s#+ H2nv˺n)p u@EK3nV͵zG6(ޥ/mψ6) kNVmy0*Ѿ8sz [КI8~n˩~~ nH_0+cϼeD)\$0Fr"XUT[vãp?{~@n6?pBq9F-:(*V.pݒk X4Gy^|b5"SL53hm받fDLI ~l DFeڵxP@Kg oee6Ω\.J]# c$_~:P8%d!ne[/Ӎ\l3Jr^-Ce4JRa vh JqV}WSC2KΰlKס7Y<*րM,TUX?;܈lRiTs=]}'K݆gn2jNPimg_ DgN[-30-nVgs8zeʅ;88`/2cPJb#4lS쵬.}$Ѩ||2&:~*CbHUy:$DI+3d AWxF1ĉ޵flhSK\TSiO"fbbSJdpojN[:XKaBЖH~J<+obo29`AFi]BHSz}8µcǵR) Jqd]OdTqO@g8KZ梈?ﴛJ&I:&2k@I!z̓_){0 \51٥ nz1$O`.ma6Z6n"|ơbQY{Q:y+}|en]z~Am@ěm2Yj(0*K`vޡku>/֭7m X߄ $RM0p kyQy֘Zw;&IeP“2^Uef9FCv'3B/AFivB562^$/y'0?"@ⓏgY0{J ~S`„>{iƳEdB'"*H`؞c4лGy赒<ְӭ|Vޕ*S5FG-U"[G T4S зF5nXŮVXPqCשBUy?-<c׻FNpZ{w3DڕۑKY!( , J6AST]6=Z1^P.|`LcUuù#p[F\{KnHmZaclҙai4M]56qgcs.*4'[ifܬΘ# skz4_MFGK#Ny@͔0~XgGcAē&7" nηXï2PT|f'ahHY);8V4DPv^Ujj otCg?{W[t$#[ jx u, |cQFcRpzt7uá_J8=Y&Ħ[xc‘3J$^@%ܳYSIOA ^ls75 K~7j$8Jh) M8 +N!ICmm`ZpJJɀN% dhIHn+!!+|]27椼獅 l4Qwrgubnδ P|ߢDL#࿝-i|h /GAu۴1z& 7pbxs]Yq R s? i[Tk~]7mTԃD5״KwɰKXf(fP\[3@;FJژ[Л*bՀI6}Ҫ%8a6/o3h_)1GO/G SCK G=5(?4t`)}5n TBc5$a,0VJXZd7ND.[@8\ӈ*_'. P0ۘ96o:3{}:1Z~08̱" 0Qg뾥CꈮKUAs7vl%U 95ëFu4f׀LX(tE'El>XDADZ(7Y=a&eMmKxZLLҩdӼV7esv؂=!|OQI9Z kzqPr:L_f2v\S YHFp35[NFAy惋whΆ )^~u2RH=~8єb ~Ya|^kOkcQrf5i N령VZ=||'[]E\R؂K;-F|7\ ENP$cd0/#9$133z߸Q¶cm"bu'RX w~LP=<KucCӘT}N*{fS<3lհ' _g wUQZ@?:={ 8(^Jʤ(d =KNwnil/G0htst=9$&$ҋvy h/|KZg.l_*cB&XMͤ)_"S{:C5-~ {IMh֛,ŒO6^p^Fr!P{] YrM,#l;Pi9{)&{L_]9h/s-w}*3UtH .(:óJ2 0wtWjkzʖ{H*C]d[KRYqgsA+HCfMBE􈋛!0$1{} t|xʑGzo4KÈ3,7kMӭZ@ B~oo~x27-2Jʵ+Ғ62%l( z{\##>KI".sQg:e+%Qhl(/l h@22YN=YpslPWK%E5Ĭ ,j~hLjTnYپD3bJ+.G߿O荂r7G@ DK_=ӫ-eYhke0_SM xz^@@C 7-svk yĎ5d̛Cl,0P?p/So̝,IRGDn+l6iQQu78x{rvYS]z 7}@9 CţشK%iiA{'O*mO ֝#jOo1ÑTzE;iɃ U ]ݔʎ`0}r!(ߑ/:9.1a+FR:S-߷!`'xk}?(+vzsM sso%`,Pk? kZh3xrHPn]ȻExmt1тI7ViVst5_K%jﻊ%1&%pl|]!To BVg?¢O, lpihv/庒K)Yw.Gq5L5R! K2\M+ۙz[R8җ'F˶Bd-0p8]RS:vm0,< C$S򌳨-\mIr5~Y=%iI%Ts;eu1,us.;j/m1A3+JK^FYمR seem C.Yb8u!ߨ؂y'HZ =_a Pԡ ugi$c1WWfp"c;,nC\pޮt[uMP 1̢3C~dFJ>wn.dr~!qnE>%AO8'rJd c>)ߴ:1-*׎%a䊗[S/.!"W7z.;׵c7مs$?XőDR :Xl{IT9č|]!PZL_~<^}}^Xv-\4b!zY僤ʠA5C$c^|m1GIEZ8ٗӛ a+nG3l|VjyA^fYU؇km"_UW*p[.μWR@DŽwnbYrT͡Woy7zZݚtiqIs9FDcy:f,䏅="~4?}J 03̓{6#-^CodmCVag}3Y_Vk(C 9\o0z1$JMg#\}; :D%B~gFWTQYf$|E-z7Zfb X\bYp3ag/ 9}{-',&v$S U/6e( k].:2Bk=UbEl9(e^jaz$-šuxGj_D%^Bh +}6 ɺ?-/OT|j,F9)LŴ9Z̴#@3av'_kT[[FD2q{TQ^3EPFf&piw} 腷HVcTsO<)a3 ;O>%o |TpbΌh7s'Ԯ)rR*> %@Dl~/Wāed5@>T9쇑 5s"\-GR!juޱ؈`BYsMhŁ !sf g6e,Չ{ו&ʰr•h&`A3@kZ#}l٘>zFQxk`Gj3w$&ŎYKWKO )߳PPyh6"JQP=q:X3JtH(< PW[?Ͽ)!4X`_˶3N0s"p4<#3M'jpQq p>G(o4;WS-GX}I[e ZsR9J#MA&ΰgg S񞡘,3fp.)Z-T3y9'UrHCN`)Ȃ^!zOw\WN5d,_ת쒼, VB4 |Gً,l5y] ^t_0 ~K3V'=&{T|ʨkOHv΍{bnGZ3)yK}y.L;797V-?LJ~/x>"fDALy3X_nҴ_Ir6Ao B.F=\ڵaZu #L8jY* کH g |px{j rb~5x]R\0Av HwH$\NT?Ov$2KqgfTc6+r[WC݈PϏ3;/בjVFiPP$V?A3>"L3–'lLt- %ެ@#cҾk9})jHѫ ,ޞ\e\J C`ڣRvܦ ٭Anvu ߌE/р쑼=J®:be5#sPF ?t@W8ޘ)j5!Km(/v4@4 G}Z^"+wYSs~@rp'N%@, *02,xsa)wJf 6V4TKow -*CT#鋘\;dc8Qe6m6<(+D2 ߵ^1tDشSmErv|r s253~ kvM~J Ʊ`͹ɿB@BSe}s{;i([+M -=B{4ayH2VrO2b2OaOc5 StU_k[, ODw}j)U;_ȸ,IRnXkҶ78:>~.'f/;DZeA?&RyX,;̪)9.C;}ѼS3טcN}_K$?j_ HXkPEz Xu`5FȌIeQo Ftֿk>/)։_ϔu}X:ò4;Ce85e8o3Vz;9v8MxnqF/.*qYltTLr4|b#WJ"I)-0{0j wu\Rn"sLǖ:epT/xm##ᕐ)"Vr1"^לQk!:o4C;J_Z;{ѩT;z…Ԃ'OqA  u1yQc O$"/VХQ*P71^7H-=(X_2mոʣvHg2h2r`[\[TP}4H*kÇၞ^iY'֥N#A6ު)h*ϼi𨲿Օ? an|eԈ7TLH?3`˴Bu*Əݽ_w?q&vpIMMi%ԣWу7{N@Ѩ?"}`UeQm}%-")M*8։*hmPIݡϿ ukZW?&]|+@ Xjcd '5/'x?ťwE,uG}&1 /(<3RF M+[2!n c}"EҜCRV^_:BEawϠ `o8 !(?(6 wo \]aJ7#+Pi r'Rxћgu )y! Cq)?jnfx0Ix>bs.gC|c7ӳWIǑG/$Avt+ewUk9r63^2)F{ʣ>*ARΤ@9.. LjMgC4`f>?55n:奊8ie^z;Yh~ 1ei& {5ʒ.kQbHJ}+g&P`,;wltjLfR6G:(>h;AE%ZΨ6r/<. -7T0\!8CE >QCϨUd?sq~Ąl(+Y-3o%]r5:a*+vu“Yl -YXq I@H3lXnwJqkDVr HyLoɐ?B0'Nj J")RR9 a9cJ,Y1 3//Z6l#mz e_Ș,;<(k@B,{g!eݐY w; 6@\t T,1^W5iߜFݧ½:-w7Gmx؊뭼!#٤ȑ5]Y/٧FA ЭD/å%xc7hfzKTuX1'c8k -mS?-qOԽծ/' dB' HMf4ʠt8@ެ_oW; JzҫTZ!JI7qi{J<Bd=rl47[c&GH3͂J&B;zEa)RRN"`]vb1i>NݖCqn)b#IjY#]]Ç Q aA;wƏi lV0{3OPA/\r?Fg{=֕j슆Yg&c@XOgB!MPȞy 9b9 /wR*7'JWtFPνr`2ɝ[:+S~5֛/'kwsomS$Oϟ)$NK0` x+hCdv֋Һdx]`ALʲTRԗOqd-w!p2LuzR:?9;ղѸaOx/P/7@Y$J4sLMK?1S*o>_qK K,[)B{*x|hi 7bG0xqdV. &\UpCYtP$`y8̗(S`yq炅tS!|O4E0iyѧNQC||'鉐JYN<|WUcu;هcBhP.1'a.\{ȧf>mB| MRw`)\Lsf%1t'zɭA|L-L'CzIt(YҾ+j%*A HAJ$9~9RkK,:4gghɷ+u[p{5\gtsKX)J\qgݲ'(}eHJ4ϱT!/Ε,Ê5^?x, kٵ4 =wz`?^{ S% q4v'A.y^mu\Eb0oL!Kr c>i/3IejbSs#,}S^vX?sMb:v:TG6E`-$(A޹r?10o^1c'Ä쑯2I !Ad{FM 9 +ԌK%avVi׼]W`ڷ %ʤГ͵mg.,-ScΞo %K /\Őu-sS {6m/t;7]M H5R/#l55WnFi?BIZ-<=}dA.&^Ya }5rЗZÖ>'A _ 0`( jOUS4W=0#Yy%P{f"=rέ%D6A+KSRҢ'`}}Ͳ+1"YDՖ(Flq,G+2on* 5cP%jÌ̱,޲Aku[cmQsMoX& jS낣ZH$hbatxJ!x:;2ʃ4rLrtBbrWUfbdZ݌ 7ԙܘkݍ䕆,4iWiv/5<%$bd97 hZc+t#%ÔӀ\~sxks儵%z3KFѼIgSF$sdZj$Y{`N3=ފAA`EWMUH #odkQTq$qGGȠWf`m(ɶO$Hk'$ J]!p i(ꕨNU?K9`3Trapﰹl lGQ`#T<8qs儫G8eBs>ϗ\LN<iy˫h%6ɽydڐWB|B["ʞ!eb g;J%)m:6 fEwЌU>mo9ZUppt1=5 WB/ 'Vhڟ~yhO3fXg-(΍ߡsVZT$XQ4DB 3fx$[[.D4{+?jkg{Y70ej̘XSY5H h:z7uLo",ۼI?IS,q)(Sʒ ]7EqhsE Qj QGn Nti6'\ k1 3ᲕL=]Q;i#Y=KRF!P}Zʮ{6 $3Y͔K3 )|@ /͘Ρ8SEAbNv)ڤL|}x~Ra-=Z7#3u[>0]VXT_򃵉h]dl\ŖE%a ِLw#g3ל;4Ce^tT2nAݙpjS,5MӦ~=鏆GKu~/>(;6JeRzfl;v Q'bޫs?dw@(ΧMbqW=0}s"U*$rtsw?p'j}Ԣ7[ޚbƨEXZ3wsוPǖtY1J/{&B 0KՌAUMu9'Ηoܰ"vD:lDu&ZSM.$a/X JRjU~R5`{D?פ7k E ,;3JZJCk,;LtPa!"9_PހUҬL~(Ioג^.98Rlͧ!ns]4oF&e7n#D\ *3%b=n„3?,[ QwF|AD\;X-N?r U4LE>vQۆ'BҁZԾ#B WbY=<<(cvqlwar{2ҜfBG!נht4YυdJ`XRdJBxymR1 Vjl6sZޕ.3]5MfQ}t C rAm d|']ל>Szm'T VC3+y_/PtƦw Q[VܼP *){([ {*c'3O묣+(58\#1 Occ"oodolFW`>p9jCQ6v*ԯk' `ƃZ_!ͦ%DL N7Ôe!lBa]9DtC5(LsǷ{_emvmo |cA=( ʬ~x(ȧ?ve;!JT, :Gz3u[$m̐١/c!r˸|3 oo2zc- qM0qu;{FGZ W'w 9 Ζe~YWN+OaƱ%j;y;=8~& fAkYr( b0B+džb-\Ի萐7x]oSۙ0@4$Q̳|/hW`F1gRpD0Mnn9:CD:DP`F՜(ZۇYV S@vɷQO-QgcEı}dF ɋY:pȃV,TJ n''^D|*2x+)Ee,>/U#>xUJ+ZeEHNN0S/e+t: Ԉ|4[BWtrod0_ .9,KH,T3L3}P[3Lw/Lo*Px#8sw| >%Wz,} <]'eIVkm`k![F/ +Du5y'{ V؛ŝ:\JǥF"Hp#ܺ8IyJJA)o7&KaŦvC8$i5\ O@[B x^2L_{)g7NqVUnEy='~Y@|w-,ohǗӧ2oJFdO}{Đu#p4rBkI zk26}%vrXk?}L0ƪB Ji~=#z佇|Ik#]]ScqeoB](͜:A@0Y>pR:#Y'A\nt6#ũQdCh㦄w͑ O~=yA#zgQ T\k˄}GeC47ewOdIթPn>LdO0Dw{ۙNz蒾VѰ{6Tm&Et>Jye1Q3b~ouvh;ȭf*+ j8$MMoQjRu Mj)4tOɃmM-SU&C#nZ#1[ #+k)rZС`/nLe'Eh l!X#[CE ]^DE\Wa miUH!+/CɝM̹8iI~ӈ0H^iU@aT>NPK'5ؼ8G{W^rh[s`,9߄Ė gxO:OB8ȝF<PL]Qv n¦W!pB̓\EK_l`Gz wF0e, uly~xwRqq1΅ϲ6U.!kNHRWR53}&+oiNHX{*c|z9zpgVj_W%<P[-Y*섐aȟgl 9&pȆ#c)}$V!6l.p!s9];M 庙#nz7Q ſÇ hC`+'rL_5LJdB"'\O90*Tq488ȸF #e S28 C mH,r|aP)CT*:vLudTOPQH)`GD~ٍa]mfŜ0p 5f7 kgmvɬ3c\:CoS^hj$vZYA)  +4 5|^:}D ofK;.{e a.ړcaMu#L^r4 [ဥMNoq!'f_F+AВa yxk>JX&&iԏ}F^О-3Mwn6r]KdžU z}i"v쓰=1ͧ/v>mh?&^VNg?TCaۓtG}YۀђdOjG4''ٸ?fǏKv A:g46YtB eU;<3w;|Dq\;{ӈ.YKZ.לS |koÙP߃'ob }&@eEh&w[: mvY;$y'#< (CSpPX:?G"V,Atwsj!2Hݨ[^\ Fc= MKOXk[ń#л`8:+#!k*?W<^;3/_iU~ULmiG6bD0YUC"u.ulۼ+5MR@7w#l-{:E!2Kj9mܭI^x Q; |E4h-''?W>%!Xy_%CG! wbϽȾyC#o>Ѧ Wm^)~ zDsfQd{: <-:;=]D3&f"-qO> FEHMdG*U~v3-O`H`xhFȈWͺ\Ĕ`^E;Do#F:}D77i\pe?beI7fS5OLmQ).d&`+$[/@ab7wb~gߦ+0|܌9_w95g`%2sp-FL D!*bTp1~ǔFV?3!9%!gx WNڍ`XrMέO=l#7ƣp/^K3̲NFY Td<xe(4}riSgoGa ~ABU9❸jOwp+m)8v4:r t"~$rX:Z{[xB9S(dr6(`%\$J1pSێ &8jzC#Ja-|4 fg9yg Y0TbNG jc*JԻ6I0eEy)v``!Fv]ZpӻWǷrcD\llB!G\xީ9?Tn`$Y*`*9|󉁪<4Nb> `U[jAB5ǩ*hM;P8j5( ^B*m.փEĀݸ _il:U|~kdr톩E]XZ.M<ᬲ}e+?PlrYJrL=SHy\W5{eXx@f&-\ɮT@V宀M[ZQl3y^ h_ov@/Ҋ B_>TP_H~pl!ϭ561rA o*鍝@!D[Ӄ]o ASYʩ0/ܙǿ } co%NBnwj_FK Hjx$&B؂rFpp_oXBӿ~-OhZW a F!ksQ ?BYbrVUy|Wt6W,]W8>2_saA#'oN+.y@f P&@ȇMx\}sA5 t,$c;G̺nޱnee_ 醭wy68Q];֝T 1!gԐcr)RD/m%J! UiFheMz |ֱ&nCm,е>\Myh/~\ 9@b9 Ȭò*?5fO+h$4÷PFp'fgAni-yxB6sM.;h@[ 63uO8ֹƽV;u,[ ^.AF{!M =.X$TԕV)y옔ؓl)zTA'2DGj)gpuu0hPǹydw)yKv/V蛗.b#wk;;P}i_҅ƨz[Vςv(s$n3cVܥ@!vVOz2Qme䀶1zM_zHV.}^UzX߿2UP5Fl<= <3Op9'Ucש|:U 𽋒"n5l c&r<5`x C Gw>.)H`>e$d,>)=+ץkܞqMJT[DjNFh-yrr4W| I/^̉׫*Dr\ъcX!~Ҹh_bV4ضPS;y؉vapMƣ˘$鐪xjڐ#\(RoIµ݆XwɩL hV Eֻ}Fx}H;/iNըX|F{\{s> iB.։HQnG\p1w'x1@ɳQ,Dvz~_괶"ِ8sq ~<7bۤWGM=7P*Z\ LkГ7QL9 )+vђv 1"6~#M bԫMR;4D_^}M7eխ?wg]6K\h;Nr[UO^#.NQ'{OoCՈ :(࿼9Z+̩2pn޵o8؇mO=8އL{xmb$ֳHnECMd:vlH=VSE@^5Hف2KI.,@{|뜎='UU=nZSF|ص9p\3_E( Av<ޠqᘋQN(ܪ ;gz헴4y)tG9KWݹA7VSe"}?L _%V 5|jCX :WK 0䋗g$5oD Ec fpᕛdLF[6vޜi obTT!-ク#%$/s: Ct݌"5Wڹo0Pr-qL?i !hi֫.P<d HhBrs z&e se_-yVC쎗6Wqu])+~3 {>vx܉ 1D?X>l *D nQ{sG ϝ z>Ҧ 5XS'۶CZ'._4qIw\}NXPp l գ= !P|>)@bBYQ0A{_P> '* DfgG&hIK\tPĶoϥEٶYt+3M5ػ62r3(qġfi 6w(a|'rh.y%2)2ow4Lyԥ"Ox(OL4i>Ok5ױ--8K[qönvtf?MX4EDm+qde&MS Lk 9/+sC.WgnR tUں?HQ0# ac?IKc2[\傦:[[Oo=Ĺ^UlsԆ#:bIJFI sjDOP.IѿTVjpH[;qԗݔ21SD6lAS;xc~ScP.[0#ܱN~N [MD b~dvokx.,굎пt\ynӻ55AR{*rxj'Bs ԝXPs%D-/ѳ`Z>˧g"B%V9Eu㪸*wmKึ^xי8 iH )%2Fٿޟ5hNmgȍm^q!n4Tt(3 :JpQ@e|kXP8`#Ū_UvnQ +K~ݷp"Hͤ6[4uHt Vaf`2{5d2NGX$hFŵ:>QTXyBy w :Ujva[1¾m#{@BrtX@S)ⶦw qS*EK2u.LRHIE(~Dq_'`X <xRQM.Ik/7? 祧5G mBι_.w0sPѤ=[y=".`&|F[3UŊz< o}P%і :d=lZ@-L<yVFzfDJfdXWz!Swc̟*t]Re &qd[#uWpFbHKa&;RlMma0/q1rޞ h`/1gu*nر$Ok3kG  zw$ p%Ě:ָb\p_oTjH)[My(uFkOCO4:"+ePvu؏ZAn.ؼq.qLGIB+`W_5\R//:s ai,֠ݬ*ʰJ GRUC/2XG:eeulm8Ĺ&ay,g$Q>)-μ#1.r#| LɝF,lJoMUS L. HvIghgUɼ+>ִVlV)/57мo}fQ!`)L#ĵԄͮRN @?un#+]x(ΥƮg$ٵvuādp5  C1dn'|Ce"d1 Ш:X_iMx= RmDT)]I tv٦Ŧ~!}&p2տ\`ޘ%J!~ z|7@ _ߛfC<= {8ufyRs.#|-owJ^+QkQ6js̏Wi|分=_0M6T\-mCSK]]3 p^v¹2BP`uyԀGpRi .Gp5,eң]lyGv*{aLtЍ\O`Ι}[o^/J":Oaٶ+$ϜE33;RTOEݬyeEDL VCDMiݏrQLѾ.9^WM> 1FD+Hz|ݺ'\a!/Hɏ vȰ}p2%;a#M-KaZJOfqF,k^h=5IfڢJgM[D=LdEe?"fo\%+"!}ueU @7Ė?Ɇ .>19ll*),!hn󨾡|Bĩax0M8+P5z @O>Y7(/EB\>(!5jo=n!pGnݩ-PX$hڙzQod] rOOr4pNwl֚s "< f_,LX@O: \6p8~3zmˇdw⠡n0CQhΣ:ф 483 _v[X3'ȉ+iƴ/%9]Nŗe4Y@bK,A0`%hv K9;. Pў4x5~bP&@:auQ+ej*sF[3zߊgh4bNXWt6s-+(7H5° };d^ jqF-&M_*zVe /<JxA$/5tVٛp3`NR<'HӚa`BL'zoξW%%M?џ^k#usqgh#*92e"ȫ?M-TA'gttynOdmE bf C?7ʩbY%j|+z}8!}qR̯ZAx%B;l2Y6)!q,Rs實nGsvUow /0pazK>[K?\|B1oc s/<[nF6kRN}6i/ 9B)pOrǟ5qsn X["$Ɂs.<-rHIK'X֚Dz=E=Baރ[B6G7MM_]yit{#tSOgUȐLz*gw "@΍ZA6Q@B{@YSx GG6e9-3ljڗN6I6l p0V`z*U-SMըCA#x~%e_cn6*z4@зʑK=V8a/4Gh~ <_$Ǩťv[,?_N< ׬K)i5:R" ۻ"iAIڱInz?@2d=l/R9VT8j@ .I;u_ؒ^wVh= M~ϵ*]uW8+lQ# IEvimVeL"&ۼd-ߔBKE lyShAiKPMXU/JK{x4~\g`SZcBP qծ܂ o&YlaSvDA}J䰓g W*NY|5ieUµ'Yy- ^j4Շ0`gYZ4964675f92e0657b34f684eb1815efa917035ec91795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b