Skip to content

(Mono-)Transiting planet

The way in which the Keplerian function is parameterized in kima is most useful for RV detection, but can in some cases become a bottleneck.

One such case is when a planet is observed to transit only one or two times, the so-called mono-transits or duo-transits. Here, the orbital period is uncertain but the time of transit is known relatively well, and so the standard parameterization in \(P, K, e, M_0, \omega\) — which is used for the known_object as well — is not ideal.

Note

The (old) work-around of using the Gaussian_from_Tc prior for M0 will not help in cases like this.

To allow for this corner case, a transiting_planet mode has been added. This is much alike the known_object, except that the Keplerian is parameterized directly in terms of \(P, K, e, \omega, T_c\). In this way, independent priors can be assigned to these parameters.

Let's see an example.

Simulating a dataset

First, we get some standard imports out of the way

import numpy as np
import matplotlib.pyplot as plt
import kima

We'll create a function to generate a simple RV dataset containing a planet. We define the time of periastron and then calculate the time of conjunction from it. To make things interesting, we remove a few data points so that the orbit is slightly harder to constrain.

def create_data():
    np.random.seed(43) #(1)!

    # random times and uncertainties
    t = np.sort(np.random.uniform(0, 100, 57))
    err = np.random.uniform(0.1, 0.3, t.size)

    # define orbital parameters
    P, K, e, w = 30, 2, 0.6, 0.1
    Tp = 15
    M0_epoch = t[0] + np.ptp(t) / 2 #(2)!
    M0 = 2 * np.pi * (M0_epoch - Tp) / P
    f = np.pi / 2 - w
    E = 2 * np.arctan(np.tan(f / 2) * np.sqrt((1 - e) / (1 + e)))
    # calculate the time of conjunction
    Tc = Tp + P / (2 * np.pi) * (E - e * np.sin(E))

    # calculate Keplerian signal and add white noise
    v = kima.keplerian(t, P, K, e, w, M0, M0_epoch)  
    v = v + np.random.normal(loc=0.0, scale=0.05, size=t.size)

    # remove some points to make things interesting
    t = t[v < 1]
    err = err[v < 1]
    v = v[v < 1]

    return (t, v, err), P, K, Tp, e, w, M0, M0_epoch, Tc
  1. so you can reproduce the same dataset
  2. use the mid time of the observations as the epoch
(t, v, err), P, K, Tp, e, w, M0, M0_epoch, Tc = create_data()

Let's plot the data together with the true Keplerian model

def plot_data_and_truth():
    tt = np.linspace(t[0], t[-1], 1000)
    vv = kima.keplerian(tt, P, K, e, w, M0, M0_epoch)

    fig, ax = plt.subplots()
    ax.errorbar(t, v, err, fmt='o', label='data')
    ax.plot(tt, vv, color='g', label='true Keplerian')
    ax.legend()
    ax.set(xlabel='Time [days]', ylabel='RV [m/s]')
    return fig

plot_data_and_truth()

A simple fit

Let's now fit these data, assuming only that we know there is one Keplerian signal

from kima import RVData, RVmodel, distributions
def simple_model():
    data = RVData(t, v, err) #(1)!

    model = RVmodel(fix=True, npmax=1, data=data) #(2)!
    model.Jprior = distributions.Fixed(0.0) #(3)!
    return model

model1 = simple_model()
  1. read data from the simulated arrays
  2. create the model with one Keplerian
  3. since we didn't simulate any jitter, let's just assume it's zero

Run the model for a few thousand steps

kima.run(model1, steps=5000, num_threads=8, progress_bar=True)
# Seeding random number generators. First seed = 1777118690.
# Generating 8 particles from the prior...done.
# Sampling...


[                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%1%2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%3%4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%5%6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%7%8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%9%10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%11%12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%13%14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%15%16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%17%18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%19%20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%21%22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%23%24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%25%26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%27%28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%29%30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%31%32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%33%34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%35%36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%37%38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%39%40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%41%42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%43%44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%45%46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%47%48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%49%50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%51%52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%53%54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%55%56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%57%58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%59%60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%61%62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%63%64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%65%66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%67%68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%69%70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%71%72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%73%74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%75%76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%77%78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%79%80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%81%82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%83%84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%85%86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%87%88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%89%90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%91%92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%93%94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%95%96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%97%98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%99%100%#] 100%


# Took 63.433 seconds

and now load the results

res1 = kima.load_results(model1)
Loading files took 0.09 seconds
log(Z) = 13.49
Information = 17.27 nats
BMD = 6.75
Effective sample size = 1224.4

Plotting a few posterior samples together with the data already shows that we didn't recover the true Keplerian signal very well

def plot_samples_and_truth(res):
    fig = res.plot_random_samples(legend=False, isolate_transiting_planet=False)
    tt = np.linspace(t[0], t[-1], 1000)
    vv = kima.keplerian(tt, P, K, e, w, M0, M0_epoch)
    fig.axes[0].plot(tt, vv, color='g')
    return fig

plot_samples_and_truth(res1)

and indeed the posteriors for the orbital parameters show that, while the period was recovered, the semi-amplitude and eccentricity are a bit off from the true values

def plot_corner(res, true_values, **kwargs):
    fig, axs = res.corner_planet_parameters(true_values=true_values, **kwargs)
    fig, axs = fig[0], axs[0] #(1)!
    return fig
  1. corner_planet_parameters returns a list of Figures and Axes
  2. adjust the axis limits slightly
plot_corner(res1, true_values=[P, K, e, M0 - 2*np.pi, w])

Assuming \(T_c\) is known

In our convoluted example, we do have information about the time of conjunction \(T_c\). If we assume we don't know the orbital period, then we are basically in a similar situation to a mono-transit or a duo-transit.

Let's fit the data again with a model that uses one transiting planet, allowing us to assign a prior to \(T_c\) directly.

def new_model():
    data = RVData(t, v, err)

    model = RVmodel(fix=True, npmax=0, data=data) #(1)!
    model.Jprior = distributions.Fixed(0.0)

    model.set_transiting_planet(1)
    model.TR_Pprior = [distributions.LogUniform(1.0, data.get_timespan())] #(2)!
    model.TR_Kprior = [distributions.Uniform(0.0, 5 * data.get_RV_span())]
    model.TR_eprior = [distributions.Uniform(0, 1)]
    model.TR_wprior = [distributions.UniformAngle()]
    model.TR_Tcprior = [distributions.Gaussian(Tc, 0.001)] #(3)!

    return model

model2 = new_model()
  1. now there's only one transiting planet, so npmax=0
  2. broad priors for the period and other parameters
  3. assume the time of transit is known precisely

Let's run the model again

kima.run(model2, steps=5000, num_threads=8, progress_bar=True)
# Seeding random number generators. First seed = 1777118856.
# Generating 8 particles from the prior...done.
# Sampling...


[                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%                                                  ] 0%1%2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%#                                                 ] 2%3%4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%#                                                ] 4%5%6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%#                                               ] 6%7%8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%#                                              ] 8%9%10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%#                                             ] 10%11%12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%#                                            ] 12%13%14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%#                                           ] 14%15%16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%#                                          ] 16%17%18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%#                                         ] 18%19%20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%#                                        ] 20%21%22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%#                                       ] 22%23%24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%#                                      ] 24%25%26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%#                                     ] 26%27%28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%#                                    ] 28%29%30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%#                                   ] 30%31%32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%#                                  ] 32%33%34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%#                                 ] 34%35%36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%#                                ] 36%37%38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%#                               ] 38%39%40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%#                              ] 40%41%42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%#                             ] 42%43%44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%#                            ] 44%45%46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%#                           ] 46%47%48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%#                          ] 48%49%50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%#                         ] 50%51%52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%#                        ] 52%53%54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%#                       ] 54%55%56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%#                      ] 56%57%58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%#                     ] 58%59%60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%#                    ] 60%61%62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%#                   ] 62%63%64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%#                  ] 64%65%66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%#                 ] 66%67%68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%#                ] 68%69%70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%#               ] 70%71%72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%#              ] 72%73%74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%#             ] 74%75%76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%#            ] 76%77%78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%#           ] 78%79%80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%#          ] 80%81%82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%#         ] 82%83%84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%#        ] 84%85%86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%#       ] 86%87%88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%#      ] 88%89%90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%#     ] 90%91%92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%#    ] 92%93%94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%#   ] 94%95%96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%#  ] 96%97%98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%# ] 98%99%100%#] 100%


# Took 77.217 seconds
res2 = kima.load_results(model2)
Loading files took 0.09 seconds
log(Z) = 13.16
Information = 18.42 nats
BMD = 6.39
Effective sample size = 880.9

and now the true Keplerian signal is much better recovered

plot_samples_and_truth(res2)

The posteriors for the orbital parameters (of the transiting planet) show that just by setting a prior on \(T_c\), we are now able to recover the true values of the semi-amplitude and eccentricity

plot_corner(res2, include_transiting_planet=True,
            true_values=[P, K, e, Tc, w])

def plot_comparison():
    fig, axs = plt.subplots(1, 3, constrained_layout=True, figsize=(10, 4))

    axs[0].axvline(P, color='k', lw=2, label='true value')
    axs[1].axvline(K, color='k', lw=2, label='true value')
    axs[2].axvline(e, color='k', lw=2, label='true value')

    kw = dict(density=True, histtype='step')

    for r in [res1, res2]:
        if hasattr(r, 'TR') and r.TR:
            axs[0].hist(r.TRpars[:, 0], **kw, label='transiting planet')
            axs[1].hist(r.TRpars[:, 1], **kw, label='transiting planet')
            axs[2].hist(r.TRpars[:, 3], **kw, label='transiting planet')
        else:
            axs[0].hist(r.posteriors.P.ravel(), **kw, label='normal Keplerian')
            axs[1].hist(r.posteriors.K.ravel(), **kw, label='normal Keplerian')
            axs[2].hist(r.posteriors.e.ravel(), **kw, label='normal Keplerian')

    axs[0].set(xlabel='P [days]', ylabel='posterior')
    axs[1].set(xlabel='K [m/s]', ylabel='posterior')
    axs[2].set(xlabel='e', ylabel='posterior')
    fig.legend(*axs[0].get_legend_handles_labels(), 
                  ncols=3, loc='right', bbox_to_anchor=[1, 1.04])
    return fig


plot_comparison()


🚧 marimo setup

import marimo as mo