Mallows 3 last#

[1]:

from math import prod
import sympy
import numpy as np
from actinvoting import *

[2]:

m = 3
phi = sympy.Rational(50, 100)
rho = - np.log(float(phi))
rho

[2]:

np.float64(0.6931471805599453)

[3]:

culture = CultureMallows(m=m, phi=phi)
session = WorkSession(culture=culture, c=m-1)
rate = session.p_of_zeta / prod([session.zeta[j]**(1/2) for j in session.adversaries])
rate

[3]:

$\displaystyle 0.840802583309334$

Runtimes#

[4]:

%%timeit
equivalent_probas = equivalent_batch(session=session, ns=[100], n_jobs=1, force_recompute=True)

run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
run_time_str='0s'
354 μs ± 10.6 μs per loop (mean ± std. dev. of 7 runs, 1,000 loops each)

[5]:

exact_probas = exact_batch(session=session, ns=[100], n_jobs=1, force_recompute=True)

run_time_str='17s'

[6]:

monte_carlo_probas = monte_carlo_batch(session=session, ns=[100], n_samples=10000, n_jobs=1, force_recompute=True)

run_time_str='46s'

Plot#

[7]:

ns_equivalent_probas = list(range(2, 101))
ns_exact_probas = list(range(2, 101))
ns_monte_carlo_probas = list(range(2, 31))
n_samples = 10000
n_jobs = -1

[8]:

equivalent_probas = equivalent_batch(session=session, ns=ns_equivalent_probas, n_jobs=n_jobs)

Loading Mallows_m=3_phi=1_2_c=2_hash(ns)=-7142264137129868933_equiv.pkl

[9]:

monte_carlo_probas = monte_carlo_batch(session=session, ns=ns_monte_carlo_probas, n_samples=n_samples, n_jobs=n_jobs)

Loading Mallows_m=3_phi=1_2_c=2_ns=[2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22,_23,_24,_25,_26,_27,_28,_29,_30]_n_samples=10000_mc.pkl

[10]:

exact_probas = exact_batch(session=session, ns=ns_exact_probas, n_jobs=n_jobs)

Loading Mallows_m=3_phi=1_2_c=2_hash(ns)=-7142264137129868933_exact.pkl

[11]:

plot_simu_and_theo(
    equivalent_probas=equivalent_probas, monte_carlo_probas=monte_carlo_probas, exact_probas=exact_probas,
    ns_equivalent_probas=ns_equivalent_probas, ns_monte_carlo_probas=ns_monte_carlo_probas, ns_exact_probas=ns_exact_probas,
    log_scale=True, file_name='mallows_3_last.tex', y_label=r"$\mathbb{P}(3 \text{ is CW})$", verbose=False
)

../_images/notebooks_plot_mallows_3_last_13_0.png

[ ]: