Impartial Culture

import sympy
import numpy as np
from actinvoting import *

m = 3

culture = CultureImpartial(m=m)
session = WorkSession(culture=culture, c=m-1)

Runtimes

%%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'
298 μs ± 10.8 μs per loop (mean ± std. dev. of 7 runs, 1,000 loops each)

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

run_time_str='15s'

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

run_time_str='4s'

Plot

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

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

Loading IC_self.m=3_c=2_hash(ns)=-7142264137129868933_equiv.pkl

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

Loading IC_self.m=3_c=2_hash(ns)=-7142264137129868933_n_samples=10000_mc.pkl

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

Loading IC_self.m=3_c=2_hash(ns)=-7142264137129868933_exact.pkl

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=False, xmax=.4, legend_loc='lower right', y_label=r"$\mathbb{P}(3 \text{ is CW})$", file_name='ic_3.tex', verbose=False
)