Alchemical free energy calculations¶
Computing the free energy of inserting a Lennard-Jones particle in a Lennard-Jones fluid.
This tutorial is described in OpenMM 7 publication.
Basic concept¶
OpenMM’s custom forces—which allow the programmer to express a potential algebraically, potentially with multiple parameters that can be adjusted on the fly—allow a great deal of flexibility and simplicity in encoding potentials while still achieving high performance on GPUs. One common use of this facility is to convert standard interactions (such as Lennard-Jones potentials) into alchemically-modified potentials for the purposes of computing free energy differences. The alchemical free energy code YANK, for example, uses a variety of custom forces to represent alchemically-modified potentials for protein-ligand alchemical binding free energy calculations.
Defining alchemically-modified potentials¶
As a simple example of how this is facilitated by custom forces, consider computing the chemical potential of liquid argon by estimating the free energy of alchemically annihilating a Lennard-Jones particle. First, we create a simple Lennard-Jones fluid to represent liquid argon at 120 K and 80 atm, which can be conveniently done using the testsystems
module of the conda-installable openmmtools package:
[ ]:
# openmmtools is also needed for this notebook
!mamba install -y -c conda-forge openmmtools
[1]:
from openmm.app import *
from openmm import *
from openmm.unit import *
from openmmtools.testsystems import LennardJonesFluid
# Simulation settings
pressure = 80*atmospheres
temperature = 120*kelvin
collision_rate = 5/picoseconds
timestep = 2.5*femtoseconds
# Create a Lennard Jones test fluid
sigma = 3.4*angstrom
epsilon = 0.238 * kilocalories_per_mole
fluid = LennardJonesFluid(sigma=sigma, epsilon=epsilon)
[topology, system, positions] = [fluid.topology, fluid.system, fluid.positions]
# Add a barostat
barostat = MonteCarloBarostat(pressure, temperature)
system.addForce(barostat)
[1]:
1
To allow one of the Lennard-Jones particles to be alchemically eliminated, we create a CustomNonbondedForce that will compute the interactions between the alchemical particle and the remaining chemical particles using a softcore potential. The alchemically-modified particle has its Lennard-Jones well depth (epsilon parameter) set to zero in the original NonbondedForce, while the
CustomNonbondedForce
is set to evaluate only the interactions between the alchemically-modified particle and the remaining particles using addInteractionGroup() to specify only interactions between these groups are to be computed. A global context parameter lambda is created to control the coupling of the alchemically-modified particle with
the rest of the system during the simulation. The Lennard-Jones parameters sigma and epsilon are implemented as per-particle parameters, though this is not strictly necessary in this case since all particles are equivalent.
[2]:
# Retrieve the NonbondedForce
forces = { force.__class__.__name__ : force for force in system.getForces() }
nbforce = forces['NonbondedForce']
# Add a CustomNonbondedForce to handle only alchemically-modified interactions
# Make two sets of particles, one that contains just the particle we will alchemically annihilate
# and the other which contains all the other particles.
alchemical_particles = set([0])
chemical_particles = set(range(system.getNumParticles())) - alchemical_particles
# Define the energy function for the CustomNonbondedForce
# when lambda is 1.0 it is a normal LJ potential, when lambda is 0.0 the interaction vanishes
energy_function = 'lambda*4*epsilon*x*(x-1.0); x = (sigma/reff_sterics)^6;'
energy_function += 'reff_sterics = sigma*(0.5*(1.0-lambda) + (r/sigma)^6)^(1/6);'
energy_function += 'sigma = 0.5*(sigma1+sigma2); epsilon = sqrt(epsilon1*epsilon2);'
custom_force = CustomNonbondedForce(energy_function)
# Add lambda as a parameter we can change during the simulation
custom_force.addGlobalParameter('lambda', 1.0)
# set the values of sigma and epsilon by copying them from the existing NonBondedForce
custom_force.addPerParticleParameter('sigma')
custom_force.addPerParticleParameter('epsilon')
for index in range(system.getNumParticles()):
[charge, sigma, epsilon] = nbforce.getParticleParameters(index)
custom_force.addParticle([sigma, epsilon])
if index in alchemical_particles:
# remove the alchemical particle from the existing NonBondedForce
nbforce.setParticleParameters(index, charge*0, sigma, epsilon*0)
# Set the custom force to occur between just the alchemical particle and the other particles
custom_force.addInteractionGroup(alchemical_particles, chemical_particles)
system.addForce(custom_force)
[2]:
2
Simulating alchemically-modified systems¶
We then create a LangevinIntegrator
and Simulation
to run the simulation, and run a series of simulations at different values of lambda by using simulation.context.setParameter()
to update the alchemical parameter on the fly. For each configuration sample that is collected, we can easily scan through the energy at different lambda values by simply alternating between simulation.context.setParameter()
to update lambda and simulation.context.getState()
to retrieve potential
energies at the new alchemical state.
[3]:
# Create an integrator
integrator = LangevinIntegrator(temperature, collision_rate, timestep)
# Create a simulation
simulation = Simulation(topology, system, integrator)
simulation.context.setPositions(positions)
# Minimize energy
print('Minimizing energy...')
#LocalEnergyMinimizer.minimize(context)
simulation.minimizeEnergy()
# Collect data
# number of steps per sample
nsteps = 2500
# number of samples to collect per alchemical state
niterations = 500
import numpy as np
lambdas = np.linspace(1.0, 0.0, 10) # alchemical lambda schedule
nstates = len(lambdas)
u_kln = np.zeros([nstates,nstates,niterations], np.float64)
kT = AVOGADRO_CONSTANT_NA * BOLTZMANN_CONSTANT_kB * integrator.getTemperature()
for k in range(nstates):
for iteration in range(niterations):
print('state %5d iteration %5d / %5d' % (k, iteration, niterations))
# Set alchemical state
simulation.context.setParameter('lambda', lambdas[k])
# Run some dynamics
simulation.step(nsteps)
# Compute energies at all alchemical states
for l in range(nstates):
simulation.context.setParameter('lambda', lambdas[l])
u_kln[k,l,iteration] = simulation.context.getState(getEnergy=True).getPotentialEnergy() / kT
Minimizing energy...
state 0 iteration 0 / 500
state 0 iteration 1 / 500
state 0 iteration 2 / 500
state 0 iteration 3 / 500
state 0 iteration 4 / 500
state 0 iteration 5 / 500
state 0 iteration 6 / 500
state 0 iteration 7 / 500
state 0 iteration 8 / 500
state 0 iteration 9 / 500
state 0 iteration 10 / 500
state 0 iteration 11 / 500
state 0 iteration 12 / 500
state 0 iteration 13 / 500
state 0 iteration 14 / 500
state 0 iteration 15 / 500
state 0 iteration 16 / 500
state 0 iteration 17 / 500
state 0 iteration 18 / 500
state 0 iteration 19 / 500
state 0 iteration 20 / 500
state 0 iteration 21 / 500
state 0 iteration 22 / 500
state 0 iteration 23 / 500
state 0 iteration 24 / 500
state 0 iteration 25 / 500
state 0 iteration 26 / 500
state 0 iteration 27 / 500
state 0 iteration 28 / 500
state 0 iteration 29 / 500
state 0 iteration 30 / 500
state 0 iteration 31 / 500
state 0 iteration 32 / 500
state 0 iteration 33 / 500
state 0 iteration 34 / 500
state 0 iteration 35 / 500
state 0 iteration 36 / 500
state 0 iteration 37 / 500
state 0 iteration 38 / 500
state 0 iteration 39 / 500
state 0 iteration 40 / 500
state 0 iteration 41 / 500
state 0 iteration 42 / 500
state 0 iteration 43 / 500
state 0 iteration 44 / 500
state 0 iteration 45 / 500
state 0 iteration 46 / 500
state 0 iteration 47 / 500
state 0 iteration 48 / 500
state 0 iteration 49 / 500
state 0 iteration 50 / 500
state 0 iteration 51 / 500
state 0 iteration 52 / 500
state 0 iteration 53 / 500
state 0 iteration 54 / 500
state 0 iteration 55 / 500
state 0 iteration 56 / 500
state 0 iteration 57 / 500
state 0 iteration 58 / 500
state 0 iteration 59 / 500
state 0 iteration 60 / 500
state 0 iteration 61 / 500
state 0 iteration 62 / 500
state 0 iteration 63 / 500
state 0 iteration 64 / 500
state 0 iteration 65 / 500
state 0 iteration 66 / 500
state 0 iteration 67 / 500
state 0 iteration 68 / 500
state 0 iteration 69 / 500
state 0 iteration 70 / 500
state 0 iteration 71 / 500
state 0 iteration 72 / 500
state 0 iteration 73 / 500
state 0 iteration 74 / 500
state 0 iteration 75 / 500
state 0 iteration 76 / 500
state 0 iteration 77 / 500
state 0 iteration 78 / 500
state 0 iteration 79 / 500
state 0 iteration 80 / 500
state 0 iteration 81 / 500
state 0 iteration 82 / 500
state 0 iteration 83 / 500
state 0 iteration 84 / 500
state 0 iteration 85 / 500
state 0 iteration 86 / 500
state 0 iteration 87 / 500
state 0 iteration 88 / 500
state 0 iteration 89 / 500
state 0 iteration 90 / 500
state 0 iteration 91 / 500
state 0 iteration 92 / 500
state 0 iteration 93 / 500
state 0 iteration 94 / 500
state 0 iteration 95 / 500
state 0 iteration 96 / 500
state 0 iteration 97 / 500
state 0 iteration 98 / 500
state 0 iteration 99 / 500
state 0 iteration 100 / 500
state 0 iteration 101 / 500
state 0 iteration 102 / 500
state 0 iteration 103 / 500
state 0 iteration 104 / 500
state 0 iteration 105 / 500
state 0 iteration 106 / 500
state 0 iteration 107 / 500
state 0 iteration 108 / 500
state 0 iteration 109 / 500
state 0 iteration 110 / 500
state 0 iteration 111 / 500
state 0 iteration 112 / 500
state 0 iteration 113 / 500
state 0 iteration 114 / 500
state 0 iteration 115 / 500
state 0 iteration 116 / 500
state 0 iteration 117 / 500
state 0 iteration 118 / 500
state 0 iteration 119 / 500
state 0 iteration 120 / 500
state 0 iteration 121 / 500
state 0 iteration 122 / 500
state 0 iteration 123 / 500
state 0 iteration 124 / 500
state 0 iteration 125 / 500
state 0 iteration 126 / 500
state 0 iteration 127 / 500
state 0 iteration 128 / 500
state 0 iteration 129 / 500
state 0 iteration 130 / 500
state 0 iteration 131 / 500
state 0 iteration 132 / 500
state 0 iteration 133 / 500
state 0 iteration 134 / 500
state 0 iteration 135 / 500
state 0 iteration 136 / 500
state 0 iteration 137 / 500
state 0 iteration 138 / 500
state 0 iteration 139 / 500
state 0 iteration 140 / 500
state 0 iteration 141 / 500
state 0 iteration 142 / 500
state 0 iteration 143 / 500
state 0 iteration 144 / 500
state 0 iteration 145 / 500
state 0 iteration 146 / 500
state 0 iteration 147 / 500
state 0 iteration 148 / 500
state 0 iteration 149 / 500
state 0 iteration 150 / 500
state 0 iteration 151 / 500
state 0 iteration 152 / 500
state 0 iteration 153 / 500
state 0 iteration 154 / 500
state 0 iteration 155 / 500
state 0 iteration 156 / 500
state 0 iteration 157 / 500
state 0 iteration 158 / 500
state 0 iteration 159 / 500
state 0 iteration 160 / 500
state 0 iteration 161 / 500
state 0 iteration 162 / 500
state 0 iteration 163 / 500
state 0 iteration 164 / 500
state 0 iteration 165 / 500
state 0 iteration 166 / 500
state 0 iteration 167 / 500
state 0 iteration 168 / 500
state 0 iteration 169 / 500
state 0 iteration 170 / 500
state 0 iteration 171 / 500
state 0 iteration 172 / 500
state 0 iteration 173 / 500
state 0 iteration 174 / 500
state 0 iteration 175 / 500
state 0 iteration 176 / 500
state 0 iteration 177 / 500
state 0 iteration 178 / 500
state 0 iteration 179 / 500
state 0 iteration 180 / 500
state 0 iteration 181 / 500
state 0 iteration 182 / 500
state 0 iteration 183 / 500
state 0 iteration 184 / 500
state 0 iteration 185 / 500
state 0 iteration 186 / 500
state 0 iteration 187 / 500
state 0 iteration 188 / 500
state 0 iteration 189 / 500
state 0 iteration 190 / 500
state 0 iteration 191 / 500
state 0 iteration 192 / 500
state 0 iteration 193 / 500
state 0 iteration 194 / 500
state 0 iteration 195 / 500
state 0 iteration 196 / 500
state 0 iteration 197 / 500
state 0 iteration 198 / 500
state 0 iteration 199 / 500
state 0 iteration 200 / 500
state 0 iteration 201 / 500
state 0 iteration 202 / 500
state 0 iteration 203 / 500
state 0 iteration 204 / 500
state 0 iteration 205 / 500
state 0 iteration 206 / 500
state 0 iteration 207 / 500
state 0 iteration 208 / 500
state 0 iteration 209 / 500
state 0 iteration 210 / 500
state 0 iteration 211 / 500
state 0 iteration 212 / 500
state 0 iteration 213 / 500
state 0 iteration 214 / 500
state 0 iteration 215 / 500
state 0 iteration 216 / 500
state 0 iteration 217 / 500
state 0 iteration 218 / 500
state 0 iteration 219 / 500
state 0 iteration 220 / 500
state 0 iteration 221 / 500
state 0 iteration 222 / 500
state 0 iteration 223 / 500
state 0 iteration 224 / 500
state 0 iteration 225 / 500
state 0 iteration 226 / 500
state 0 iteration 227 / 500
state 0 iteration 228 / 500
state 0 iteration 229 / 500
state 0 iteration 230 / 500
state 0 iteration 231 / 500
state 0 iteration 232 / 500
state 0 iteration 233 / 500
state 0 iteration 234 / 500
state 0 iteration 235 / 500
state 0 iteration 236 / 500
state 0 iteration 237 / 500
state 0 iteration 238 / 500
state 0 iteration 239 / 500
state 0 iteration 240 / 500
state 0 iteration 241 / 500
state 0 iteration 242 / 500
state 0 iteration 243 / 500
state 0 iteration 244 / 500
state 0 iteration 245 / 500
state 0 iteration 246 / 500
state 0 iteration 247 / 500
state 0 iteration 248 / 500
state 0 iteration 249 / 500
state 0 iteration 250 / 500
state 0 iteration 251 / 500
state 0 iteration 252 / 500
state 0 iteration 253 / 500
state 0 iteration 254 / 500
state 0 iteration 255 / 500
state 0 iteration 256 / 500
state 0 iteration 257 / 500
state 0 iteration 258 / 500
state 0 iteration 259 / 500
state 0 iteration 260 / 500
state 0 iteration 261 / 500
state 0 iteration 262 / 500
state 0 iteration 263 / 500
state 0 iteration 264 / 500
state 0 iteration 265 / 500
state 0 iteration 266 / 500
state 0 iteration 267 / 500
state 0 iteration 268 / 500
state 0 iteration 269 / 500
state 0 iteration 270 / 500
state 0 iteration 271 / 500
state 0 iteration 272 / 500
state 0 iteration 273 / 500
state 0 iteration 274 / 500
state 0 iteration 275 / 500
state 0 iteration 276 / 500
state 0 iteration 277 / 500
state 0 iteration 278 / 500
state 0 iteration 279 / 500
state 0 iteration 280 / 500
state 0 iteration 281 / 500
state 0 iteration 282 / 500
state 0 iteration 283 / 500
state 0 iteration 284 / 500
state 0 iteration 285 / 500
state 0 iteration 286 / 500
state 0 iteration 287 / 500
state 0 iteration 288 / 500
state 0 iteration 289 / 500
state 0 iteration 290 / 500
state 0 iteration 291 / 500
state 0 iteration 292 / 500
state 0 iteration 293 / 500
state 0 iteration 294 / 500
state 0 iteration 295 / 500
state 0 iteration 296 / 500
state 0 iteration 297 / 500
state 0 iteration 298 / 500
state 0 iteration 299 / 500
state 0 iteration 300 / 500
state 0 iteration 301 / 500
state 0 iteration 302 / 500
state 0 iteration 303 / 500
state 0 iteration 304 / 500
state 0 iteration 305 / 500
state 0 iteration 306 / 500
state 0 iteration 307 / 500
state 0 iteration 308 / 500
state 0 iteration 309 / 500
state 0 iteration 310 / 500
state 0 iteration 311 / 500
state 0 iteration 312 / 500
state 0 iteration 313 / 500
state 0 iteration 314 / 500
state 0 iteration 315 / 500
state 0 iteration 316 / 500
state 0 iteration 317 / 500
state 0 iteration 318 / 500
state 0 iteration 319 / 500
state 0 iteration 320 / 500
state 0 iteration 321 / 500
state 0 iteration 322 / 500
state 0 iteration 323 / 500
state 0 iteration 324 / 500
state 0 iteration 325 / 500
state 0 iteration 326 / 500
state 0 iteration 327 / 500
state 0 iteration 328 / 500
state 0 iteration 329 / 500
state 0 iteration 330 / 500
state 0 iteration 331 / 500
state 0 iteration 332 / 500
state 0 iteration 333 / 500
state 0 iteration 334 / 500
state 0 iteration 335 / 500
state 0 iteration 336 / 500
state 0 iteration 337 / 500
state 0 iteration 338 / 500
state 0 iteration 339 / 500
state 0 iteration 340 / 500
state 0 iteration 341 / 500
state 0 iteration 342 / 500
state 0 iteration 343 / 500
state 0 iteration 344 / 500
state 0 iteration 345 / 500
state 0 iteration 346 / 500
state 0 iteration 347 / 500
state 0 iteration 348 / 500
state 0 iteration 349 / 500
state 0 iteration 350 / 500
state 0 iteration 351 / 500
state 0 iteration 352 / 500
state 0 iteration 353 / 500
state 0 iteration 354 / 500
state 0 iteration 355 / 500
state 0 iteration 356 / 500
state 0 iteration 357 / 500
state 0 iteration 358 / 500
state 0 iteration 359 / 500
state 0 iteration 360 / 500
state 0 iteration 361 / 500
state 0 iteration 362 / 500
state 0 iteration 363 / 500
state 0 iteration 364 / 500
state 0 iteration 365 / 500
state 0 iteration 366 / 500
state 0 iteration 367 / 500
state 0 iteration 368 / 500
state 0 iteration 369 / 500
state 0 iteration 370 / 500
state 0 iteration 371 / 500
state 0 iteration 372 / 500
state 0 iteration 373 / 500
state 0 iteration 374 / 500
state 0 iteration 375 / 500
state 0 iteration 376 / 500
state 0 iteration 377 / 500
state 0 iteration 378 / 500
state 0 iteration 379 / 500
state 0 iteration 380 / 500
state 0 iteration 381 / 500
state 0 iteration 382 / 500
state 0 iteration 383 / 500
state 0 iteration 384 / 500
state 0 iteration 385 / 500
state 0 iteration 386 / 500
state 0 iteration 387 / 500
state 0 iteration 388 / 500
state 0 iteration 389 / 500
state 0 iteration 390 / 500
state 0 iteration 391 / 500
state 0 iteration 392 / 500
state 0 iteration 393 / 500
state 0 iteration 394 / 500
state 0 iteration 395 / 500
state 0 iteration 396 / 500
state 0 iteration 397 / 500
state 0 iteration 398 / 500
state 0 iteration 399 / 500
state 0 iteration 400 / 500
state 0 iteration 401 / 500
state 0 iteration 402 / 500
state 0 iteration 403 / 500
state 0 iteration 404 / 500
state 0 iteration 405 / 500
state 0 iteration 406 / 500
state 0 iteration 407 / 500
state 0 iteration 408 / 500
state 0 iteration 409 / 500
state 0 iteration 410 / 500
state 0 iteration 411 / 500
state 0 iteration 412 / 500
state 0 iteration 413 / 500
state 0 iteration 414 / 500
state 0 iteration 415 / 500
state 0 iteration 416 / 500
state 0 iteration 417 / 500
state 0 iteration 418 / 500
state 0 iteration 419 / 500
state 0 iteration 420 / 500
state 0 iteration 421 / 500
state 0 iteration 422 / 500
state 0 iteration 423 / 500
state 0 iteration 424 / 500
state 0 iteration 425 / 500
state 0 iteration 426 / 500
state 0 iteration 427 / 500
state 0 iteration 428 / 500
state 0 iteration 429 / 500
state 0 iteration 430 / 500
state 0 iteration 431 / 500
state 0 iteration 432 / 500
state 0 iteration 433 / 500
state 0 iteration 434 / 500
state 0 iteration 435 / 500
state 0 iteration 436 / 500
state 0 iteration 437 / 500
state 0 iteration 438 / 500
state 0 iteration 439 / 500
state 0 iteration 440 / 500
state 0 iteration 441 / 500
state 0 iteration 442 / 500
state 0 iteration 443 / 500
state 0 iteration 444 / 500
state 0 iteration 445 / 500
state 0 iteration 446 / 500
state 0 iteration 447 / 500
state 0 iteration 448 / 500
state 0 iteration 449 / 500
state 0 iteration 450 / 500
state 0 iteration 451 / 500
state 0 iteration 452 / 500
state 0 iteration 453 / 500
state 0 iteration 454 / 500
state 0 iteration 455 / 500
state 0 iteration 456 / 500
state 0 iteration 457 / 500
state 0 iteration 458 / 500
state 0 iteration 459 / 500
state 0 iteration 460 / 500
state 0 iteration 461 / 500
state 0 iteration 462 / 500
state 0 iteration 463 / 500
state 0 iteration 464 / 500
state 0 iteration 465 / 500
state 0 iteration 466 / 500
state 0 iteration 467 / 500
state 0 iteration 468 / 500
state 0 iteration 469 / 500
state 0 iteration 470 / 500
state 0 iteration 471 / 500
state 0 iteration 472 / 500
state 0 iteration 473 / 500
state 0 iteration 474 / 500
state 0 iteration 475 / 500
state 0 iteration 476 / 500
state 0 iteration 477 / 500
state 0 iteration 478 / 500
state 0 iteration 479 / 500
state 0 iteration 480 / 500
state 0 iteration 481 / 500
state 0 iteration 482 / 500
state 0 iteration 483 / 500
state 0 iteration 484 / 500
state 0 iteration 485 / 500
state 0 iteration 486 / 500
state 0 iteration 487 / 500
state 0 iteration 488 / 500
state 0 iteration 489 / 500
state 0 iteration 490 / 500
state 0 iteration 491 / 500
state 0 iteration 492 / 500
state 0 iteration 493 / 500
state 0 iteration 494 / 500
state 0 iteration 495 / 500
state 0 iteration 496 / 500
state 0 iteration 497 / 500
state 0 iteration 498 / 500
state 0 iteration 499 / 500
state 1 iteration 0 / 500
state 1 iteration 1 / 500
state 1 iteration 2 / 500
state 1 iteration 3 / 500
state 1 iteration 4 / 500
state 1 iteration 5 / 500
state 1 iteration 6 / 500
state 1 iteration 7 / 500
state 1 iteration 8 / 500
state 1 iteration 9 / 500
state 1 iteration 10 / 500
state 1 iteration 11 / 500
state 1 iteration 12 / 500
state 1 iteration 13 / 500
state 1 iteration 14 / 500
state 1 iteration 15 / 500
state 1 iteration 16 / 500
state 1 iteration 17 / 500
state 1 iteration 18 / 500
state 1 iteration 19 / 500
state 1 iteration 20 / 500
state 1 iteration 21 / 500
state 1 iteration 22 / 500
state 1 iteration 23 / 500
state 1 iteration 24 / 500
state 1 iteration 25 / 500
state 1 iteration 26 / 500
state 1 iteration 27 / 500
state 1 iteration 28 / 500
state 1 iteration 29 / 500
state 1 iteration 30 / 500
state 1 iteration 31 / 500
state 1 iteration 32 / 500
state 1 iteration 33 / 500
state 1 iteration 34 / 500
state 1 iteration 35 / 500
state 1 iteration 36 / 500
state 1 iteration 37 / 500
state 1 iteration 38 / 500
state 1 iteration 39 / 500
state 1 iteration 40 / 500
state 1 iteration 41 / 500
state 1 iteration 42 / 500
state 1 iteration 43 / 500
state 1 iteration 44 / 500
state 1 iteration 45 / 500
state 1 iteration 46 / 500
state 1 iteration 47 / 500
state 1 iteration 48 / 500
state 1 iteration 49 / 500
state 1 iteration 50 / 500
state 1 iteration 51 / 500
state 1 iteration 52 / 500
state 1 iteration 53 / 500
state 1 iteration 54 / 500
state 1 iteration 55 / 500
state 1 iteration 56 / 500
state 1 iteration 57 / 500
state 1 iteration 58 / 500
state 1 iteration 59 / 500
state 1 iteration 60 / 500
state 1 iteration 61 / 500
state 1 iteration 62 / 500
state 1 iteration 63 / 500
state 1 iteration 64 / 500
state 1 iteration 65 / 500
state 1 iteration 66 / 500
state 1 iteration 67 / 500
state 1 iteration 68 / 500
state 1 iteration 69 / 500
state 1 iteration 70 / 500
state 1 iteration 71 / 500
state 1 iteration 72 / 500
state 1 iteration 73 / 500
state 1 iteration 74 / 500
state 1 iteration 75 / 500
state 1 iteration 76 / 500
state 1 iteration 77 / 500
state 1 iteration 78 / 500
state 1 iteration 79 / 500
state 1 iteration 80 / 500
state 1 iteration 81 / 500
state 1 iteration 82 / 500
state 1 iteration 83 / 500
state 1 iteration 84 / 500
state 1 iteration 85 / 500
state 1 iteration 86 / 500
state 1 iteration 87 / 500
state 1 iteration 88 / 500
state 1 iteration 89 / 500
state 1 iteration 90 / 500
state 1 iteration 91 / 500
state 1 iteration 92 / 500
state 1 iteration 93 / 500
state 1 iteration 94 / 500
state 1 iteration 95 / 500
state 1 iteration 96 / 500
state 1 iteration 97 / 500
state 1 iteration 98 / 500
state 1 iteration 99 / 500
state 1 iteration 100 / 500
state 1 iteration 101 / 500
state 1 iteration 102 / 500
state 1 iteration 103 / 500
state 1 iteration 104 / 500
state 1 iteration 105 / 500
state 1 iteration 106 / 500
state 1 iteration 107 / 500
state 1 iteration 108 / 500
state 1 iteration 109 / 500
state 1 iteration 110 / 500
state 1 iteration 111 / 500
state 1 iteration 112 / 500
state 1 iteration 113 / 500
state 1 iteration 114 / 500
state 1 iteration 115 / 500
state 1 iteration 116 / 500
state 1 iteration 117 / 500
state 1 iteration 118 / 500
state 1 iteration 119 / 500
state 1 iteration 120 / 500
state 1 iteration 121 / 500
state 1 iteration 122 / 500
state 1 iteration 123 / 500
state 1 iteration 124 / 500
state 1 iteration 125 / 500
state 1 iteration 126 / 500
state 1 iteration 127 / 500
state 1 iteration 128 / 500
state 1 iteration 129 / 500
state 1 iteration 130 / 500
state 1 iteration 131 / 500
state 1 iteration 132 / 500
state 1 iteration 133 / 500
state 1 iteration 134 / 500
state 1 iteration 135 / 500
state 1 iteration 136 / 500
state 1 iteration 137 / 500
state 1 iteration 138 / 500
state 1 iteration 139 / 500
state 1 iteration 140 / 500
state 1 iteration 141 / 500
state 1 iteration 142 / 500
state 1 iteration 143 / 500
state 1 iteration 144 / 500
state 1 iteration 145 / 500
state 1 iteration 146 / 500
state 1 iteration 147 / 500
state 1 iteration 148 / 500
state 1 iteration 149 / 500
state 1 iteration 150 / 500
state 1 iteration 151 / 500
state 1 iteration 152 / 500
state 1 iteration 153 / 500
state 1 iteration 154 / 500
state 1 iteration 155 / 500
state 1 iteration 156 / 500
state 1 iteration 157 / 500
state 1 iteration 158 / 500
state 1 iteration 159 / 500
state 1 iteration 160 / 500
state 1 iteration 161 / 500
state 1 iteration 162 / 500
state 1 iteration 163 / 500
state 1 iteration 164 / 500
state 1 iteration 165 / 500
state 1 iteration 166 / 500
state 1 iteration 167 / 500
state 1 iteration 168 / 500
state 1 iteration 169 / 500
state 1 iteration 170 / 500
state 1 iteration 171 / 500
state 1 iteration 172 / 500
state 1 iteration 173 / 500
state 1 iteration 174 / 500
state 1 iteration 175 / 500
state 1 iteration 176 / 500
state 1 iteration 177 / 500
state 1 iteration 178 / 500
state 1 iteration 179 / 500
state 1 iteration 180 / 500
state 1 iteration 181 / 500
state 1 iteration 182 / 500
state 1 iteration 183 / 500
state 1 iteration 184 / 500
state 1 iteration 185 / 500
state 1 iteration 186 / 500
state 1 iteration 187 / 500
state 1 iteration 188 / 500
state 1 iteration 189 / 500
state 1 iteration 190 / 500
state 1 iteration 191 / 500
state 1 iteration 192 / 500
state 1 iteration 193 / 500
state 1 iteration 194 / 500
state 1 iteration 195 / 500
state 1 iteration 196 / 500
state 1 iteration 197 / 500
state 1 iteration 198 / 500
state 1 iteration 199 / 500
state 1 iteration 200 / 500
state 1 iteration 201 / 500
state 1 iteration 202 / 500
state 1 iteration 203 / 500
state 1 iteration 204 / 500
state 1 iteration 205 / 500
state 1 iteration 206 / 500
state 1 iteration 207 / 500
state 1 iteration 208 / 500
state 1 iteration 209 / 500
state 1 iteration 210 / 500
state 1 iteration 211 / 500
state 1 iteration 212 / 500
state 1 iteration 213 / 500
state 1 iteration 214 / 500
state 1 iteration 215 / 500
state 1 iteration 216 / 500
state 1 iteration 217 / 500
state 1 iteration 218 / 500
state 1 iteration 219 / 500
state 1 iteration 220 / 500
state 1 iteration 221 / 500
state 1 iteration 222 / 500
state 1 iteration 223 / 500
state 1 iteration 224 / 500
state 1 iteration 225 / 500
state 1 iteration 226 / 500
state 1 iteration 227 / 500
state 1 iteration 228 / 500
state 1 iteration 229 / 500
state 1 iteration 230 / 500
state 1 iteration 231 / 500
state 1 iteration 232 / 500
state 1 iteration 233 / 500
state 1 iteration 234 / 500
state 1 iteration 235 / 500
state 1 iteration 236 / 500
state 1 iteration 237 / 500
state 1 iteration 238 / 500
state 1 iteration 239 / 500
state 1 iteration 240 / 500
state 1 iteration 241 / 500
state 1 iteration 242 / 500
state 1 iteration 243 / 500
state 1 iteration 244 / 500
state 1 iteration 245 / 500
state 1 iteration 246 / 500
state 1 iteration 247 / 500
state 1 iteration 248 / 500
state 1 iteration 249 / 500
state 1 iteration 250 / 500
state 1 iteration 251 / 500
state 1 iteration 252 / 500
state 1 iteration 253 / 500
state 1 iteration 254 / 500
state 1 iteration 255 / 500
state 1 iteration 256 / 500
state 1 iteration 257 / 500
state 1 iteration 258 / 500
state 1 iteration 259 / 500
state 1 iteration 260 / 500
state 1 iteration 261 / 500
state 1 iteration 262 / 500
state 1 iteration 263 / 500
state 1 iteration 264 / 500
state 1 iteration 265 / 500
state 1 iteration 266 / 500
state 1 iteration 267 / 500
state 1 iteration 268 / 500
state 1 iteration 269 / 500
state 1 iteration 270 / 500
state 1 iteration 271 / 500
state 1 iteration 272 / 500
state 1 iteration 273 / 500
state 1 iteration 274 / 500
state 1 iteration 275 / 500
state 1 iteration 276 / 500
state 1 iteration 277 / 500
state 1 iteration 278 / 500
state 1 iteration 279 / 500
state 1 iteration 280 / 500
state 1 iteration 281 / 500
state 1 iteration 282 / 500
state 1 iteration 283 / 500
state 1 iteration 284 / 500
state 1 iteration 285 / 500
state 1 iteration 286 / 500
state 1 iteration 287 / 500
state 1 iteration 288 / 500
state 1 iteration 289 / 500
state 1 iteration 290 / 500
state 1 iteration 291 / 500
state 1 iteration 292 / 500
state 1 iteration 293 / 500
state 1 iteration 294 / 500
state 1 iteration 295 / 500
state 1 iteration 296 / 500
state 1 iteration 297 / 500
state 1 iteration 298 / 500
state 1 iteration 299 / 500
state 1 iteration 300 / 500
state 1 iteration 301 / 500
state 1 iteration 302 / 500
state 1 iteration 303 / 500
state 1 iteration 304 / 500
state 1 iteration 305 / 500
state 1 iteration 306 / 500
state 1 iteration 307 / 500
state 1 iteration 308 / 500
state 1 iteration 309 / 500
state 1 iteration 310 / 500
state 1 iteration 311 / 500
state 1 iteration 312 / 500
state 1 iteration 313 / 500
state 1 iteration 314 / 500
state 1 iteration 315 / 500
state 1 iteration 316 / 500
state 1 iteration 317 / 500
state 1 iteration 318 / 500
state 1 iteration 319 / 500
state 1 iteration 320 / 500
state 1 iteration 321 / 500
state 1 iteration 322 / 500
state 1 iteration 323 / 500
state 1 iteration 324 / 500
state 1 iteration 325 / 500
state 1 iteration 326 / 500
state 1 iteration 327 / 500
state 1 iteration 328 / 500
state 1 iteration 329 / 500
state 1 iteration 330 / 500
state 1 iteration 331 / 500
state 1 iteration 332 / 500
state 1 iteration 333 / 500
state 1 iteration 334 / 500
state 1 iteration 335 / 500
state 1 iteration 336 / 500
state 1 iteration 337 / 500
state 1 iteration 338 / 500
state 1 iteration 339 / 500
state 1 iteration 340 / 500
state 1 iteration 341 / 500
state 1 iteration 342 / 500
state 1 iteration 343 / 500
state 1 iteration 344 / 500
state 1 iteration 345 / 500
state 1 iteration 346 / 500
state 1 iteration 347 / 500
state 1 iteration 348 / 500
state 1 iteration 349 / 500
state 1 iteration 350 / 500
state 1 iteration 351 / 500
state 1 iteration 352 / 500
state 1 iteration 353 / 500
state 1 iteration 354 / 500
state 1 iteration 355 / 500
state 1 iteration 356 / 500
state 1 iteration 357 / 500
state 1 iteration 358 / 500
state 1 iteration 359 / 500
state 1 iteration 360 / 500
state 1 iteration 361 / 500
state 1 iteration 362 / 500
state 1 iteration 363 / 500
state 1 iteration 364 / 500
state 1 iteration 365 / 500
state 1 iteration 366 / 500
state 1 iteration 367 / 500
state 1 iteration 368 / 500
state 1 iteration 369 / 500
state 1 iteration 370 / 500
state 1 iteration 371 / 500
state 1 iteration 372 / 500
state 1 iteration 373 / 500
state 1 iteration 374 / 500
state 1 iteration 375 / 500
state 1 iteration 376 / 500
state 1 iteration 377 / 500
state 1 iteration 378 / 500
state 1 iteration 379 / 500
state 1 iteration 380 / 500
state 1 iteration 381 / 500
state 1 iteration 382 / 500
state 1 iteration 383 / 500
state 1 iteration 384 / 500
state 1 iteration 385 / 500
state 1 iteration 386 / 500
state 1 iteration 387 / 500
state 1 iteration 388 / 500
state 1 iteration 389 / 500
state 1 iteration 390 / 500
state 1 iteration 391 / 500
state 1 iteration 392 / 500
state 1 iteration 393 / 500
state 1 iteration 394 / 500
state 1 iteration 395 / 500
state 1 iteration 396 / 500
state 1 iteration 397 / 500
state 1 iteration 398 / 500
state 1 iteration 399 / 500
state 1 iteration 400 / 500
state 1 iteration 401 / 500
state 1 iteration 402 / 500
state 1 iteration 403 / 500
state 1 iteration 404 / 500
state 1 iteration 405 / 500
state 1 iteration 406 / 500
state 1 iteration 407 / 500
state 1 iteration 408 / 500
state 1 iteration 409 / 500
state 1 iteration 410 / 500
state 1 iteration 411 / 500
state 1 iteration 412 / 500
state 1 iteration 413 / 500
state 1 iteration 414 / 500
state 1 iteration 415 / 500
state 1 iteration 416 / 500
state 1 iteration 417 / 500
state 1 iteration 418 / 500
state 1 iteration 419 / 500
state 1 iteration 420 / 500
state 1 iteration 421 / 500
state 1 iteration 422 / 500
state 1 iteration 423 / 500
state 1 iteration 424 / 500
state 1 iteration 425 / 500
state 1 iteration 426 / 500
state 1 iteration 427 / 500
state 1 iteration 428 / 500
state 1 iteration 429 / 500
state 1 iteration 430 / 500
state 1 iteration 431 / 500
state 1 iteration 432 / 500
state 1 iteration 433 / 500
state 1 iteration 434 / 500
state 1 iteration 435 / 500
state 1 iteration 436 / 500
state 1 iteration 437 / 500
state 1 iteration 438 / 500
state 1 iteration 439 / 500
state 1 iteration 440 / 500
state 1 iteration 441 / 500
state 1 iteration 442 / 500
state 1 iteration 443 / 500
state 1 iteration 444 / 500
state 1 iteration 445 / 500
state 1 iteration 446 / 500
state 1 iteration 447 / 500
state 1 iteration 448 / 500
state 1 iteration 449 / 500
state 1 iteration 450 / 500
state 1 iteration 451 / 500
state 1 iteration 452 / 500
state 1 iteration 453 / 500
state 1 iteration 454 / 500
state 1 iteration 455 / 500
state 1 iteration 456 / 500
state 1 iteration 457 / 500
state 1 iteration 458 / 500
state 1 iteration 459 / 500
state 1 iteration 460 / 500
state 1 iteration 461 / 500
state 1 iteration 462 / 500
state 1 iteration 463 / 500
state 1 iteration 464 / 500
state 1 iteration 465 / 500
state 1 iteration 466 / 500
state 1 iteration 467 / 500
state 1 iteration 468 / 500
state 1 iteration 469 / 500
state 1 iteration 470 / 500
state 1 iteration 471 / 500
state 1 iteration 472 / 500
state 1 iteration 473 / 500
state 1 iteration 474 / 500
state 1 iteration 475 / 500
state 1 iteration 476 / 500
state 1 iteration 477 / 500
state 1 iteration 478 / 500
state 1 iteration 479 / 500
state 1 iteration 480 / 500
state 1 iteration 481 / 500
state 1 iteration 482 / 500
state 1 iteration 483 / 500
state 1 iteration 484 / 500
state 1 iteration 485 / 500
state 1 iteration 486 / 500
state 1 iteration 487 / 500
state 1 iteration 488 / 500
state 1 iteration 489 / 500
state 1 iteration 490 / 500
state 1 iteration 491 / 500
state 1 iteration 492 / 500
state 1 iteration 493 / 500
state 1 iteration 494 / 500
state 1 iteration 495 / 500
state 1 iteration 496 / 500
state 1 iteration 497 / 500
state 1 iteration 498 / 500
state 1 iteration 499 / 500
state 2 iteration 0 / 500
state 2 iteration 1 / 500
state 2 iteration 2 / 500
state 2 iteration 3 / 500
state 2 iteration 4 / 500
state 2 iteration 5 / 500
state 2 iteration 6 / 500
state 2 iteration 7 / 500
state 2 iteration 8 / 500
state 2 iteration 9 / 500
state 2 iteration 10 / 500
state 2 iteration 11 / 500
state 2 iteration 12 / 500
state 2 iteration 13 / 500
state 2 iteration 14 / 500
state 2 iteration 15 / 500
state 2 iteration 16 / 500
state 2 iteration 17 / 500
state 2 iteration 18 / 500
state 2 iteration 19 / 500
state 2 iteration 20 / 500
state 2 iteration 21 / 500
state 2 iteration 22 / 500
state 2 iteration 23 / 500
state 2 iteration 24 / 500
state 2 iteration 25 / 500
state 2 iteration 26 / 500
state 2 iteration 27 / 500
state 2 iteration 28 / 500
state 2 iteration 29 / 500
state 2 iteration 30 / 500
state 2 iteration 31 / 500
state 2 iteration 32 / 500
state 2 iteration 33 / 500
state 2 iteration 34 / 500
state 2 iteration 35 / 500
state 2 iteration 36 / 500
state 2 iteration 37 / 500
state 2 iteration 38 / 500
state 2 iteration 39 / 500
state 2 iteration 40 / 500
state 2 iteration 41 / 500
state 2 iteration 42 / 500
state 2 iteration 43 / 500
state 2 iteration 44 / 500
state 2 iteration 45 / 500
state 2 iteration 46 / 500
state 2 iteration 47 / 500
state 2 iteration 48 / 500
state 2 iteration 49 / 500
state 2 iteration 50 / 500
state 2 iteration 51 / 500
state 2 iteration 52 / 500
state 2 iteration 53 / 500
state 2 iteration 54 / 500
state 2 iteration 55 / 500
state 2 iteration 56 / 500
state 2 iteration 57 / 500
state 2 iteration 58 / 500
state 2 iteration 59 / 500
state 2 iteration 60 / 500
state 2 iteration 61 / 500
state 2 iteration 62 / 500
state 2 iteration 63 / 500
state 2 iteration 64 / 500
state 2 iteration 65 / 500
state 2 iteration 66 / 500
state 2 iteration 67 / 500
state 2 iteration 68 / 500
state 2 iteration 69 / 500
state 2 iteration 70 / 500
state 2 iteration 71 / 500
state 2 iteration 72 / 500
state 2 iteration 73 / 500
state 2 iteration 74 / 500
state 2 iteration 75 / 500
state 2 iteration 76 / 500
state 2 iteration 77 / 500
state 2 iteration 78 / 500
state 2 iteration 79 / 500
state 2 iteration 80 / 500
state 2 iteration 81 / 500
state 2 iteration 82 / 500
state 2 iteration 83 / 500
state 2 iteration 84 / 500
state 2 iteration 85 / 500
state 2 iteration 86 / 500
state 2 iteration 87 / 500
state 2 iteration 88 / 500
state 2 iteration 89 / 500
state 2 iteration 90 / 500
state 2 iteration 91 / 500
state 2 iteration 92 / 500
state 2 iteration 93 / 500
state 2 iteration 94 / 500
state 2 iteration 95 / 500
state 2 iteration 96 / 500
state 2 iteration 97 / 500
state 2 iteration 98 / 500
state 2 iteration 99 / 500
state 2 iteration 100 / 500
state 2 iteration 101 / 500
state 2 iteration 102 / 500
state 2 iteration 103 / 500
state 2 iteration 104 / 500
state 2 iteration 105 / 500
state 2 iteration 106 / 500
state 2 iteration 107 / 500
state 2 iteration 108 / 500
state 2 iteration 109 / 500
state 2 iteration 110 / 500
state 2 iteration 111 / 500
state 2 iteration 112 / 500
state 2 iteration 113 / 500
state 2 iteration 114 / 500
state 2 iteration 115 / 500
state 2 iteration 116 / 500
state 2 iteration 117 / 500
state 2 iteration 118 / 500
state 2 iteration 119 / 500
state 2 iteration 120 / 500
state 2 iteration 121 / 500
state 2 iteration 122 / 500
state 2 iteration 123 / 500
state 2 iteration 124 / 500
state 2 iteration 125 / 500
state 2 iteration 126 / 500
state 2 iteration 127 / 500
state 2 iteration 128 / 500
state 2 iteration 129 / 500
state 2 iteration 130 / 500
state 2 iteration 131 / 500
state 2 iteration 132 / 500
state 2 iteration 133 / 500
state 2 iteration 134 / 500
state 2 iteration 135 / 500
state 2 iteration 136 / 500
state 2 iteration 137 / 500
state 2 iteration 138 / 500
state 2 iteration 139 / 500
state 2 iteration 140 / 500
state 2 iteration 141 / 500
state 2 iteration 142 / 500
state 2 iteration 143 / 500
state 2 iteration 144 / 500
state 2 iteration 145 / 500
state 2 iteration 146 / 500
state 2 iteration 147 / 500
state 2 iteration 148 / 500
state 2 iteration 149 / 500
state 2 iteration 150 / 500
state 2 iteration 151 / 500
state 2 iteration 152 / 500
state 2 iteration 153 / 500
state 2 iteration 154 / 500
state 2 iteration 155 / 500
state 2 iteration 156 / 500
state 2 iteration 157 / 500
state 2 iteration 158 / 500
state 2 iteration 159 / 500
state 2 iteration 160 / 500
state 2 iteration 161 / 500
state 2 iteration 162 / 500
state 2 iteration 163 / 500
state 2 iteration 164 / 500
state 2 iteration 165 / 500
state 2 iteration 166 / 500
state 2 iteration 167 / 500
state 2 iteration 168 / 500
state 2 iteration 169 / 500
state 2 iteration 170 / 500
state 2 iteration 171 / 500
state 2 iteration 172 / 500
state 2 iteration 173 / 500
state 2 iteration 174 / 500
state 2 iteration 175 / 500
state 2 iteration 176 / 500
state 2 iteration 177 / 500
state 2 iteration 178 / 500
state 2 iteration 179 / 500
state 2 iteration 180 / 500
state 2 iteration 181 / 500
state 2 iteration 182 / 500
state 2 iteration 183 / 500
state 2 iteration 184 / 500
state 2 iteration 185 / 500
state 2 iteration 186 / 500
state 2 iteration 187 / 500
state 2 iteration 188 / 500
state 2 iteration 189 / 500
state 2 iteration 190 / 500
state 2 iteration 191 / 500
state 2 iteration 192 / 500
state 2 iteration 193 / 500
state 2 iteration 194 / 500
state 2 iteration 195 / 500
state 2 iteration 196 / 500
state 2 iteration 197 / 500
state 2 iteration 198 / 500
state 2 iteration 199 / 500
state 2 iteration 200 / 500
state 2 iteration 201 / 500
state 2 iteration 202 / 500
state 2 iteration 203 / 500
state 2 iteration 204 / 500
state 2 iteration 205 / 500
state 2 iteration 206 / 500
state 2 iteration 207 / 500
state 2 iteration 208 / 500
state 2 iteration 209 / 500
state 2 iteration 210 / 500
state 2 iteration 211 / 500
state 2 iteration 212 / 500
state 2 iteration 213 / 500
state 2 iteration 214 / 500
state 2 iteration 215 / 500
state 2 iteration 216 / 500
state 2 iteration 217 / 500
state 2 iteration 218 / 500
state 2 iteration 219 / 500
state 2 iteration 220 / 500
state 2 iteration 221 / 500
state 2 iteration 222 / 500
state 2 iteration 223 / 500
state 2 iteration 224 / 500
state 2 iteration 225 / 500
state 2 iteration 226 / 500
state 2 iteration 227 / 500
state 2 iteration 228 / 500
state 2 iteration 229 / 500
state 2 iteration 230 / 500
state 2 iteration 231 / 500
state 2 iteration 232 / 500
state 2 iteration 233 / 500
state 2 iteration 234 / 500
state 2 iteration 235 / 500
state 2 iteration 236 / 500
state 2 iteration 237 / 500
state 2 iteration 238 / 500
state 2 iteration 239 / 500
state 2 iteration 240 / 500
state 2 iteration 241 / 500
state 2 iteration 242 / 500
state 2 iteration 243 / 500
state 2 iteration 244 / 500
state 2 iteration 245 / 500
state 2 iteration 246 / 500
state 2 iteration 247 / 500
state 2 iteration 248 / 500
state 2 iteration 249 / 500
state 2 iteration 250 / 500
state 2 iteration 251 / 500
state 2 iteration 252 / 500
state 2 iteration 253 / 500
state 2 iteration 254 / 500
state 2 iteration 255 / 500
state 2 iteration 256 / 500
state 2 iteration 257 / 500
state 2 iteration 258 / 500
state 2 iteration 259 / 500
state 2 iteration 260 / 500
state 2 iteration 261 / 500
state 2 iteration 262 / 500
state 2 iteration 263 / 500
state 2 iteration 264 / 500
state 2 iteration 265 / 500
state 2 iteration 266 / 500
state 2 iteration 267 / 500
state 2 iteration 268 / 500
state 2 iteration 269 / 500
state 2 iteration 270 / 500
state 2 iteration 271 / 500
state 2 iteration 272 / 500
state 2 iteration 273 / 500
state 2 iteration 274 / 500
state 2 iteration 275 / 500
state 2 iteration 276 / 500
state 2 iteration 277 / 500
state 2 iteration 278 / 500
state 2 iteration 279 / 500
state 2 iteration 280 / 500
state 2 iteration 281 / 500
state 2 iteration 282 / 500
state 2 iteration 283 / 500
state 2 iteration 284 / 500
state 2 iteration 285 / 500
state 2 iteration 286 / 500
state 2 iteration 287 / 500
state 2 iteration 288 / 500
state 2 iteration 289 / 500
state 2 iteration 290 / 500
state 2 iteration 291 / 500
state 2 iteration 292 / 500
state 2 iteration 293 / 500
state 2 iteration 294 / 500
state 2 iteration 295 / 500
state 2 iteration 296 / 500
state 2 iteration 297 / 500
state 2 iteration 298 / 500
state 2 iteration 299 / 500
state 2 iteration 300 / 500
state 2 iteration 301 / 500
state 2 iteration 302 / 500
state 2 iteration 303 / 500
state 2 iteration 304 / 500
state 2 iteration 305 / 500
state 2 iteration 306 / 500
state 2 iteration 307 / 500
state 2 iteration 308 / 500
state 2 iteration 309 / 500
state 2 iteration 310 / 500
state 2 iteration 311 / 500
state 2 iteration 312 / 500
state 2 iteration 313 / 500
state 2 iteration 314 / 500
state 2 iteration 315 / 500
state 2 iteration 316 / 500
state 2 iteration 317 / 500
state 2 iteration 318 / 500
state 2 iteration 319 / 500
state 2 iteration 320 / 500
state 2 iteration 321 / 500
state 2 iteration 322 / 500
state 2 iteration 323 / 500
state 2 iteration 324 / 500
state 2 iteration 325 / 500
state 2 iteration 326 / 500
state 2 iteration 327 / 500
state 2 iteration 328 / 500
state 2 iteration 329 / 500
state 2 iteration 330 / 500
state 2 iteration 331 / 500
state 2 iteration 332 / 500
state 2 iteration 333 / 500
state 2 iteration 334 / 500
state 2 iteration 335 / 500
state 2 iteration 336 / 500
state 2 iteration 337 / 500
state 2 iteration 338 / 500
state 2 iteration 339 / 500
state 2 iteration 340 / 500
state 2 iteration 341 / 500
state 2 iteration 342 / 500
state 2 iteration 343 / 500
state 2 iteration 344 / 500
state 2 iteration 345 / 500
state 2 iteration 346 / 500
state 2 iteration 347 / 500
state 2 iteration 348 / 500
state 2 iteration 349 / 500
state 2 iteration 350 / 500
state 2 iteration 351 / 500
state 2 iteration 352 / 500
state 2 iteration 353 / 500
state 2 iteration 354 / 500
state 2 iteration 355 / 500
state 2 iteration 356 / 500
state 2 iteration 357 / 500
state 2 iteration 358 / 500
state 2 iteration 359 / 500
state 2 iteration 360 / 500
state 2 iteration 361 / 500
state 2 iteration 362 / 500
state 2 iteration 363 / 500
state 2 iteration 364 / 500
state 2 iteration 365 / 500
state 2 iteration 366 / 500
state 2 iteration 367 / 500
state 2 iteration 368 / 500
state 2 iteration 369 / 500
state 2 iteration 370 / 500
state 2 iteration 371 / 500
state 2 iteration 372 / 500
state 2 iteration 373 / 500
state 2 iteration 374 / 500
state 2 iteration 375 / 500
state 2 iteration 376 / 500
state 2 iteration 377 / 500
state 2 iteration 378 / 500
state 2 iteration 379 / 500
state 2 iteration 380 / 500
state 2 iteration 381 / 500
state 2 iteration 382 / 500
state 2 iteration 383 / 500
state 2 iteration 384 / 500
state 2 iteration 385 / 500
state 2 iteration 386 / 500
state 2 iteration 387 / 500
state 2 iteration 388 / 500
state 2 iteration 389 / 500
state 2 iteration 390 / 500
state 2 iteration 391 / 500
state 2 iteration 392 / 500
state 2 iteration 393 / 500
state 2 iteration 394 / 500
state 2 iteration 395 / 500
state 2 iteration 396 / 500
state 2 iteration 397 / 500
state 2 iteration 398 / 500
state 2 iteration 399 / 500
state 2 iteration 400 / 500
state 2 iteration 401 / 500
state 2 iteration 402 / 500
state 2 iteration 403 / 500
state 2 iteration 404 / 500
state 2 iteration 405 / 500
state 2 iteration 406 / 500
state 2 iteration 407 / 500
state 2 iteration 408 / 500
state 2 iteration 409 / 500
state 2 iteration 410 / 500
state 2 iteration 411 / 500
state 2 iteration 412 / 500
state 2 iteration 413 / 500
state 2 iteration 414 / 500
state 2 iteration 415 / 500
state 2 iteration 416 / 500
state 2 iteration 417 / 500
state 2 iteration 418 / 500
state 2 iteration 419 / 500
state 2 iteration 420 / 500
state 2 iteration 421 / 500
state 2 iteration 422 / 500
state 2 iteration 423 / 500
state 2 iteration 424 / 500
state 2 iteration 425 / 500
state 2 iteration 426 / 500
state 2 iteration 427 / 500
state 2 iteration 428 / 500
state 2 iteration 429 / 500
state 2 iteration 430 / 500
state 2 iteration 431 / 500
state 2 iteration 432 / 500
state 2 iteration 433 / 500
state 2 iteration 434 / 500
state 2 iteration 435 / 500
state 2 iteration 436 / 500
state 2 iteration 437 / 500
state 2 iteration 438 / 500
state 2 iteration 439 / 500
state 2 iteration 440 / 500
state 2 iteration 441 / 500
state 2 iteration 442 / 500
state 2 iteration 443 / 500
state 2 iteration 444 / 500
state 2 iteration 445 / 500
state 2 iteration 446 / 500
state 2 iteration 447 / 500
state 2 iteration 448 / 500
state 2 iteration 449 / 500
state 2 iteration 450 / 500
state 2 iteration 451 / 500
state 2 iteration 452 / 500
state 2 iteration 453 / 500
state 2 iteration 454 / 500
state 2 iteration 455 / 500
state 2 iteration 456 / 500
state 2 iteration 457 / 500
state 2 iteration 458 / 500
state 2 iteration 459 / 500
state 2 iteration 460 / 500
state 2 iteration 461 / 500
state 2 iteration 462 / 500
state 2 iteration 463 / 500
state 2 iteration 464 / 500
state 2 iteration 465 / 500
state 2 iteration 466 / 500
state 2 iteration 467 / 500
state 2 iteration 468 / 500
state 2 iteration 469 / 500
state 2 iteration 470 / 500
state 2 iteration 471 / 500
state 2 iteration 472 / 500
state 2 iteration 473 / 500
state 2 iteration 474 / 500
state 2 iteration 475 / 500
state 2 iteration 476 / 500
state 2 iteration 477 / 500
state 2 iteration 478 / 500
state 2 iteration 479 / 500
state 2 iteration 480 / 500
state 2 iteration 481 / 500
state 2 iteration 482 / 500
state 2 iteration 483 / 500
state 2 iteration 484 / 500
state 2 iteration 485 / 500
state 2 iteration 486 / 500
state 2 iteration 487 / 500
state 2 iteration 488 / 500
state 2 iteration 489 / 500
state 2 iteration 490 / 500
state 2 iteration 491 / 500
state 2 iteration 492 / 500
state 2 iteration 493 / 500
state 2 iteration 494 / 500
state 2 iteration 495 / 500
state 2 iteration 496 / 500
state 2 iteration 497 / 500
state 2 iteration 498 / 500
state 2 iteration 499 / 500
state 3 iteration 0 / 500
state 3 iteration 1 / 500
state 3 iteration 2 / 500
state 3 iteration 3 / 500
state 3 iteration 4 / 500
state 3 iteration 5 / 500
state 3 iteration 6 / 500
state 3 iteration 7 / 500
state 3 iteration 8 / 500
state 3 iteration 9 / 500
state 3 iteration 10 / 500
state 3 iteration 11 / 500
state 3 iteration 12 / 500
state 3 iteration 13 / 500
state 3 iteration 14 / 500
state 3 iteration 15 / 500
state 3 iteration 16 / 500
state 3 iteration 17 / 500
state 3 iteration 18 / 500
state 3 iteration 19 / 500
state 3 iteration 20 / 500
state 3 iteration 21 / 500
state 3 iteration 22 / 500
state 3 iteration 23 / 500
state 3 iteration 24 / 500
state 3 iteration 25 / 500
state 3 iteration 26 / 500
state 3 iteration 27 / 500
state 3 iteration 28 / 500
state 3 iteration 29 / 500
state 3 iteration 30 / 500
state 3 iteration 31 / 500
state 3 iteration 32 / 500
state 3 iteration 33 / 500
state 3 iteration 34 / 500
state 3 iteration 35 / 500
state 3 iteration 36 / 500
state 3 iteration 37 / 500
state 3 iteration 38 / 500
state 3 iteration 39 / 500
state 3 iteration 40 / 500
state 3 iteration 41 / 500
state 3 iteration 42 / 500
state 3 iteration 43 / 500
state 3 iteration 44 / 500
state 3 iteration 45 / 500
state 3 iteration 46 / 500
state 3 iteration 47 / 500
state 3 iteration 48 / 500
state 3 iteration 49 / 500
state 3 iteration 50 / 500
state 3 iteration 51 / 500
state 3 iteration 52 / 500
state 3 iteration 53 / 500
state 3 iteration 54 / 500
state 3 iteration 55 / 500
state 3 iteration 56 / 500
state 3 iteration 57 / 500
state 3 iteration 58 / 500
state 3 iteration 59 / 500
state 3 iteration 60 / 500
state 3 iteration 61 / 500
state 3 iteration 62 / 500
state 3 iteration 63 / 500
state 3 iteration 64 / 500
state 3 iteration 65 / 500
state 3 iteration 66 / 500
state 3 iteration 67 / 500
state 3 iteration 68 / 500
state 3 iteration 69 / 500
state 3 iteration 70 / 500
state 3 iteration 71 / 500
state 3 iteration 72 / 500
state 3 iteration 73 / 500
state 3 iteration 74 / 500
state 3 iteration 75 / 500
state 3 iteration 76 / 500
state 3 iteration 77 / 500
state 3 iteration 78 / 500
state 3 iteration 79 / 500
state 3 iteration 80 / 500
state 3 iteration 81 / 500
state 3 iteration 82 / 500
state 3 iteration 83 / 500
state 3 iteration 84 / 500
state 3 iteration 85 / 500
state 3 iteration 86 / 500
state 3 iteration 87 / 500
state 3 iteration 88 / 500
state 3 iteration 89 / 500
state 3 iteration 90 / 500
state 3 iteration 91 / 500
state 3 iteration 92 / 500
state 3 iteration 93 / 500
state 3 iteration 94 / 500
state 3 iteration 95 / 500
state 3 iteration 96 / 500
state 3 iteration 97 / 500
state 3 iteration 98 / 500
state 3 iteration 99 / 500
state 3 iteration 100 / 500
state 3 iteration 101 / 500
state 3 iteration 102 / 500
state 3 iteration 103 / 500
state 3 iteration 104 / 500
state 3 iteration 105 / 500
state 3 iteration 106 / 500
state 3 iteration 107 / 500
state 3 iteration 108 / 500
state 3 iteration 109 / 500
state 3 iteration 110 / 500
state 3 iteration 111 / 500
state 3 iteration 112 / 500
state 3 iteration 113 / 500
state 3 iteration 114 / 500
state 3 iteration 115 / 500
state 3 iteration 116 / 500
state 3 iteration 117 / 500
state 3 iteration 118 / 500
state 3 iteration 119 / 500
state 3 iteration 120 / 500
state 3 iteration 121 / 500
state 3 iteration 122 / 500
state 3 iteration 123 / 500
state 3 iteration 124 / 500
state 3 iteration 125 / 500
state 3 iteration 126 / 500
state 3 iteration 127 / 500
state 3 iteration 128 / 500
state 3 iteration 129 / 500
state 3 iteration 130 / 500
state 3 iteration 131 / 500
state 3 iteration 132 / 500
state 3 iteration 133 / 500
state 3 iteration 134 / 500
state 3 iteration 135 / 500
state 3 iteration 136 / 500
state 3 iteration 137 / 500
state 3 iteration 138 / 500
state 3 iteration 139 / 500
state 3 iteration 140 / 500
state 3 iteration 141 / 500
state 3 iteration 142 / 500
state 3 iteration 143 / 500
state 3 iteration 144 / 500
state 3 iteration 145 / 500
state 3 iteration 146 / 500
state 3 iteration 147 / 500
state 3 iteration 148 / 500
state 3 iteration 149 / 500
state 3 iteration 150 / 500
state 3 iteration 151 / 500
state 3 iteration 152 / 500
state 3 iteration 153 / 500
state 3 iteration 154 / 500
state 3 iteration 155 / 500
state 3 iteration 156 / 500
state 3 iteration 157 / 500
state 3 iteration 158 / 500
state 3 iteration 159 / 500
state 3 iteration 160 / 500
state 3 iteration 161 / 500
state 3 iteration 162 / 500
state 3 iteration 163 / 500
state 3 iteration 164 / 500
state 3 iteration 165 / 500
state 3 iteration 166 / 500
state 3 iteration 167 / 500
state 3 iteration 168 / 500
state 3 iteration 169 / 500
state 3 iteration 170 / 500
state 3 iteration 171 / 500
state 3 iteration 172 / 500
state 3 iteration 173 / 500
state 3 iteration 174 / 500
state 3 iteration 175 / 500
state 3 iteration 176 / 500
state 3 iteration 177 / 500
state 3 iteration 178 / 500
state 3 iteration 179 / 500
state 3 iteration 180 / 500
state 3 iteration 181 / 500
state 3 iteration 182 / 500
state 3 iteration 183 / 500
state 3 iteration 184 / 500
state 3 iteration 185 / 500
state 3 iteration 186 / 500
state 3 iteration 187 / 500
state 3 iteration 188 / 500
state 3 iteration 189 / 500
state 3 iteration 190 / 500
state 3 iteration 191 / 500
state 3 iteration 192 / 500
state 3 iteration 193 / 500
state 3 iteration 194 / 500
state 3 iteration 195 / 500
state 3 iteration 196 / 500
state 3 iteration 197 / 500
state 3 iteration 198 / 500
state 3 iteration 199 / 500
state 3 iteration 200 / 500
state 3 iteration 201 / 500
state 3 iteration 202 / 500
state 3 iteration 203 / 500
state 3 iteration 204 / 500
state 3 iteration 205 / 500
state 3 iteration 206 / 500
state 3 iteration 207 / 500
state 3 iteration 208 / 500
state 3 iteration 209 / 500
state 3 iteration 210 / 500
state 3 iteration 211 / 500
state 3 iteration 212 / 500
state 3 iteration 213 / 500
state 3 iteration 214 / 500
state 3 iteration 215 / 500
state 3 iteration 216 / 500
state 3 iteration 217 / 500
state 3 iteration 218 / 500
state 3 iteration 219 / 500
state 3 iteration 220 / 500
state 3 iteration 221 / 500
state 3 iteration 222 / 500
state 3 iteration 223 / 500
state 3 iteration 224 / 500
state 3 iteration 225 / 500
state 3 iteration 226 / 500
state 3 iteration 227 / 500
state 3 iteration 228 / 500
state 3 iteration 229 / 500
state 3 iteration 230 / 500
state 3 iteration 231 / 500
state 3 iteration 232 / 500
state 3 iteration 233 / 500
state 3 iteration 234 / 500
state 3 iteration 235 / 500
state 3 iteration 236 / 500
state 3 iteration 237 / 500
state 3 iteration 238 / 500
state 3 iteration 239 / 500
state 3 iteration 240 / 500
state 3 iteration 241 / 500
state 3 iteration 242 / 500
state 3 iteration 243 / 500
state 3 iteration 244 / 500
state 3 iteration 245 / 500
state 3 iteration 246 / 500
state 3 iteration 247 / 500
state 3 iteration 248 / 500
state 3 iteration 249 / 500
state 3 iteration 250 / 500
state 3 iteration 251 / 500
state 3 iteration 252 / 500
state 3 iteration 253 / 500
state 3 iteration 254 / 500
state 3 iteration 255 / 500
state 3 iteration 256 / 500
state 3 iteration 257 / 500
state 3 iteration 258 / 500
state 3 iteration 259 / 500
state 3 iteration 260 / 500
state 3 iteration 261 / 500
state 3 iteration 262 / 500
state 3 iteration 263 / 500
state 3 iteration 264 / 500
state 3 iteration 265 / 500
state 3 iteration 266 / 500
state 3 iteration 267 / 500
state 3 iteration 268 / 500
state 3 iteration 269 / 500
state 3 iteration 270 / 500
state 3 iteration 271 / 500
state 3 iteration 272 / 500
state 3 iteration 273 / 500
state 3 iteration 274 / 500
state 3 iteration 275 / 500
state 3 iteration 276 / 500
state 3 iteration 277 / 500
state 3 iteration 278 / 500
state 3 iteration 279 / 500
state 3 iteration 280 / 500
state 3 iteration 281 / 500
state 3 iteration 282 / 500
state 3 iteration 283 / 500
state 3 iteration 284 / 500
state 3 iteration 285 / 500
state 3 iteration 286 / 500
state 3 iteration 287 / 500
state 3 iteration 288 / 500
state 3 iteration 289 / 500
state 3 iteration 290 / 500
state 3 iteration 291 / 500
state 3 iteration 292 / 500
state 3 iteration 293 / 500
state 3 iteration 294 / 500
state 3 iteration 295 / 500
state 3 iteration 296 / 500
state 3 iteration 297 / 500
state 3 iteration 298 / 500
state 3 iteration 299 / 500
state 3 iteration 300 / 500
state 3 iteration 301 / 500
state 3 iteration 302 / 500
state 3 iteration 303 / 500
state 3 iteration 304 / 500
state 3 iteration 305 / 500
state 3 iteration 306 / 500
state 3 iteration 307 / 500
state 3 iteration 308 / 500
state 3 iteration 309 / 500
state 3 iteration 310 / 500
state 3 iteration 311 / 500
state 3 iteration 312 / 500
state 3 iteration 313 / 500
state 3 iteration 314 / 500
state 3 iteration 315 / 500
state 3 iteration 316 / 500
state 3 iteration 317 / 500
state 3 iteration 318 / 500
state 3 iteration 319 / 500
state 3 iteration 320 / 500
state 3 iteration 321 / 500
state 3 iteration 322 / 500
state 3 iteration 323 / 500
state 3 iteration 324 / 500
state 3 iteration 325 / 500
state 3 iteration 326 / 500
state 3 iteration 327 / 500
state 3 iteration 328 / 500
state 3 iteration 329 / 500
state 3 iteration 330 / 500
state 3 iteration 331 / 500
state 3 iteration 332 / 500
state 3 iteration 333 / 500
state 3 iteration 334 / 500
state 3 iteration 335 / 500
state 3 iteration 336 / 500
state 3 iteration 337 / 500
state 3 iteration 338 / 500
state 3 iteration 339 / 500
state 3 iteration 340 / 500
state 3 iteration 341 / 500
state 3 iteration 342 / 500
state 3 iteration 343 / 500
state 3 iteration 344 / 500
state 3 iteration 345 / 500
state 3 iteration 346 / 500
state 3 iteration 347 / 500
state 3 iteration 348 / 500
state 3 iteration 349 / 500
state 3 iteration 350 / 500
state 3 iteration 351 / 500
state 3 iteration 352 / 500
state 3 iteration 353 / 500
state 3 iteration 354 / 500
state 3 iteration 355 / 500
state 3 iteration 356 / 500
state 3 iteration 357 / 500
state 3 iteration 358 / 500
state 3 iteration 359 / 500
state 3 iteration 360 / 500
state 3 iteration 361 / 500
state 3 iteration 362 / 500
state 3 iteration 363 / 500
state 3 iteration 364 / 500
state 3 iteration 365 / 500
state 3 iteration 366 / 500
state 3 iteration 367 / 500
state 3 iteration 368 / 500
state 3 iteration 369 / 500
state 3 iteration 370 / 500
state 3 iteration 371 / 500
state 3 iteration 372 / 500
state 3 iteration 373 / 500
state 3 iteration 374 / 500
state 3 iteration 375 / 500
state 3 iteration 376 / 500
state 3 iteration 377 / 500
state 3 iteration 378 / 500
state 3 iteration 379 / 500
state 3 iteration 380 / 500
state 3 iteration 381 / 500
state 3 iteration 382 / 500
state 3 iteration 383 / 500
state 3 iteration 384 / 500
state 3 iteration 385 / 500
state 3 iteration 386 / 500
state 3 iteration 387 / 500
state 3 iteration 388 / 500
state 3 iteration 389 / 500
state 3 iteration 390 / 500
state 3 iteration 391 / 500
state 3 iteration 392 / 500
state 3 iteration 393 / 500
state 3 iteration 394 / 500
state 3 iteration 395 / 500
state 3 iteration 396 / 500
state 3 iteration 397 / 500
state 3 iteration 398 / 500
state 3 iteration 399 / 500
state 3 iteration 400 / 500
state 3 iteration 401 / 500
state 3 iteration 402 / 500
state 3 iteration 403 / 500
state 3 iteration 404 / 500
state 3 iteration 405 / 500
state 3 iteration 406 / 500
state 3 iteration 407 / 500
state 3 iteration 408 / 500
state 3 iteration 409 / 500
state 3 iteration 410 / 500
state 3 iteration 411 / 500
state 3 iteration 412 / 500
state 3 iteration 413 / 500
state 3 iteration 414 / 500
state 3 iteration 415 / 500
state 3 iteration 416 / 500
state 3 iteration 417 / 500
state 3 iteration 418 / 500
state 3 iteration 419 / 500
state 3 iteration 420 / 500
state 3 iteration 421 / 500
state 3 iteration 422 / 500
state 3 iteration 423 / 500
state 3 iteration 424 / 500
state 3 iteration 425 / 500
state 3 iteration 426 / 500
state 3 iteration 427 / 500
state 3 iteration 428 / 500
state 3 iteration 429 / 500
state 3 iteration 430 / 500
state 3 iteration 431 / 500
state 3 iteration 432 / 500
state 3 iteration 433 / 500
state 3 iteration 434 / 500
state 3 iteration 435 / 500
state 3 iteration 436 / 500
state 3 iteration 437 / 500
state 3 iteration 438 / 500
state 3 iteration 439 / 500
state 3 iteration 440 / 500
state 3 iteration 441 / 500
state 3 iteration 442 / 500
state 3 iteration 443 / 500
state 3 iteration 444 / 500
state 3 iteration 445 / 500
state 3 iteration 446 / 500
state 3 iteration 447 / 500
state 3 iteration 448 / 500
state 3 iteration 449 / 500
state 3 iteration 450 / 500
state 3 iteration 451 / 500
state 3 iteration 452 / 500
state 3 iteration 453 / 500
state 3 iteration 454 / 500
state 3 iteration 455 / 500
state 3 iteration 456 / 500
state 3 iteration 457 / 500
state 3 iteration 458 / 500
state 3 iteration 459 / 500
state 3 iteration 460 / 500
state 3 iteration 461 / 500
state 3 iteration 462 / 500
state 3 iteration 463 / 500
state 3 iteration 464 / 500
state 3 iteration 465 / 500
state 3 iteration 466 / 500
state 3 iteration 467 / 500
state 3 iteration 468 / 500
state 3 iteration 469 / 500
state 3 iteration 470 / 500
state 3 iteration 471 / 500
state 3 iteration 472 / 500
state 3 iteration 473 / 500
state 3 iteration 474 / 500
state 3 iteration 475 / 500
state 3 iteration 476 / 500
state 3 iteration 477 / 500
state 3 iteration 478 / 500
state 3 iteration 479 / 500
state 3 iteration 480 / 500
state 3 iteration 481 / 500
state 3 iteration 482 / 500
state 3 iteration 483 / 500
state 3 iteration 484 / 500
state 3 iteration 485 / 500
state 3 iteration 486 / 500
state 3 iteration 487 / 500
state 3 iteration 488 / 500
state 3 iteration 489 / 500
state 3 iteration 490 / 500
state 3 iteration 491 / 500
state 3 iteration 492 / 500
state 3 iteration 493 / 500
state 3 iteration 494 / 500
state 3 iteration 495 / 500
state 3 iteration 496 / 500
state 3 iteration 497 / 500
state 3 iteration 498 / 500
state 3 iteration 499 / 500
state 4 iteration 0 / 500
state 4 iteration 1 / 500
state 4 iteration 2 / 500
state 4 iteration 3 / 500
state 4 iteration 4 / 500
state 4 iteration 5 / 500
state 4 iteration 6 / 500
state 4 iteration 7 / 500
state 4 iteration 8 / 500
state 4 iteration 9 / 500
state 4 iteration 10 / 500
state 4 iteration 11 / 500
state 4 iteration 12 / 500
state 4 iteration 13 / 500
state 4 iteration 14 / 500
state 4 iteration 15 / 500
state 4 iteration 16 / 500
state 4 iteration 17 / 500
state 4 iteration 18 / 500
state 4 iteration 19 / 500
state 4 iteration 20 / 500
state 4 iteration 21 / 500
state 4 iteration 22 / 500
state 4 iteration 23 / 500
state 4 iteration 24 / 500
state 4 iteration 25 / 500
state 4 iteration 26 / 500
state 4 iteration 27 / 500
state 4 iteration 28 / 500
state 4 iteration 29 / 500
state 4 iteration 30 / 500
state 4 iteration 31 / 500
state 4 iteration 32 / 500
state 4 iteration 33 / 500
state 4 iteration 34 / 500
state 4 iteration 35 / 500
state 4 iteration 36 / 500
state 4 iteration 37 / 500
state 4 iteration 38 / 500
state 4 iteration 39 / 500
state 4 iteration 40 / 500
state 4 iteration 41 / 500
state 4 iteration 42 / 500
state 4 iteration 43 / 500
state 4 iteration 44 / 500
state 4 iteration 45 / 500
state 4 iteration 46 / 500
state 4 iteration 47 / 500
state 4 iteration 48 / 500
state 4 iteration 49 / 500
state 4 iteration 50 / 500
state 4 iteration 51 / 500
state 4 iteration 52 / 500
state 4 iteration 53 / 500
state 4 iteration 54 / 500
state 4 iteration 55 / 500
state 4 iteration 56 / 500
state 4 iteration 57 / 500
state 4 iteration 58 / 500
state 4 iteration 59 / 500
state 4 iteration 60 / 500
state 4 iteration 61 / 500
state 4 iteration 62 / 500
state 4 iteration 63 / 500
state 4 iteration 64 / 500
state 4 iteration 65 / 500
state 4 iteration 66 / 500
state 4 iteration 67 / 500
state 4 iteration 68 / 500
state 4 iteration 69 / 500
state 4 iteration 70 / 500
state 4 iteration 71 / 500
state 4 iteration 72 / 500
state 4 iteration 73 / 500
state 4 iteration 74 / 500
state 4 iteration 75 / 500
state 4 iteration 76 / 500
state 4 iteration 77 / 500
state 4 iteration 78 / 500
state 4 iteration 79 / 500
state 4 iteration 80 / 500
state 4 iteration 81 / 500
state 4 iteration 82 / 500
state 4 iteration 83 / 500
state 4 iteration 84 / 500
state 4 iteration 85 / 500
state 4 iteration 86 / 500
state 4 iteration 87 / 500
state 4 iteration 88 / 500
state 4 iteration 89 / 500
state 4 iteration 90 / 500
state 4 iteration 91 / 500
state 4 iteration 92 / 500
state 4 iteration 93 / 500
state 4 iteration 94 / 500
state 4 iteration 95 / 500
state 4 iteration 96 / 500
state 4 iteration 97 / 500
state 4 iteration 98 / 500
state 4 iteration 99 / 500
state 4 iteration 100 / 500
state 4 iteration 101 / 500
state 4 iteration 102 / 500
state 4 iteration 103 / 500
state 4 iteration 104 / 500
state 4 iteration 105 / 500
state 4 iteration 106 / 500
state 4 iteration 107 / 500
state 4 iteration 108 / 500
state 4 iteration 109 / 500
state 4 iteration 110 / 500
state 4 iteration 111 / 500
state 4 iteration 112 / 500
state 4 iteration 113 / 500
state 4 iteration 114 / 500
state 4 iteration 115 / 500
state 4 iteration 116 / 500
state 4 iteration 117 / 500
state 4 iteration 118 / 500
state 4 iteration 119 / 500
state 4 iteration 120 / 500
state 4 iteration 121 / 500
state 4 iteration 122 / 500
state 4 iteration 123 / 500
state 4 iteration 124 / 500
state 4 iteration 125 / 500
state 4 iteration 126 / 500
state 4 iteration 127 / 500
state 4 iteration 128 / 500
state 4 iteration 129 / 500
state 4 iteration 130 / 500
state 4 iteration 131 / 500
state 4 iteration 132 / 500
state 4 iteration 133 / 500
state 4 iteration 134 / 500
state 4 iteration 135 / 500
state 4 iteration 136 / 500
state 4 iteration 137 / 500
state 4 iteration 138 / 500
state 4 iteration 139 / 500
state 4 iteration 140 / 500
state 4 iteration 141 / 500
state 4 iteration 142 / 500
state 4 iteration 143 / 500
state 4 iteration 144 / 500
state 4 iteration 145 / 500
state 4 iteration 146 / 500
state 4 iteration 147 / 500
state 4 iteration 148 / 500
state 4 iteration 149 / 500
state 4 iteration 150 / 500
state 4 iteration 151 / 500
state 4 iteration 152 / 500
state 4 iteration 153 / 500
state 4 iteration 154 / 500
state 4 iteration 155 / 500
state 4 iteration 156 / 500
state 4 iteration 157 / 500
state 4 iteration 158 / 500
state 4 iteration 159 / 500
state 4 iteration 160 / 500
state 4 iteration 161 / 500
state 4 iteration 162 / 500
state 4 iteration 163 / 500
state 4 iteration 164 / 500
state 4 iteration 165 / 500
state 4 iteration 166 / 500
state 4 iteration 167 / 500
state 4 iteration 168 / 500
state 4 iteration 169 / 500
state 4 iteration 170 / 500
state 4 iteration 171 / 500
state 4 iteration 172 / 500
state 4 iteration 173 / 500
state 4 iteration 174 / 500
state 4 iteration 175 / 500
state 4 iteration 176 / 500
state 4 iteration 177 / 500
state 4 iteration 178 / 500
state 4 iteration 179 / 500
state 4 iteration 180 / 500
state 4 iteration 181 / 500
state 4 iteration 182 / 500
state 4 iteration 183 / 500
state 4 iteration 184 / 500
state 4 iteration 185 / 500
state 4 iteration 186 / 500
state 4 iteration 187 / 500
state 4 iteration 188 / 500
state 4 iteration 189 / 500
state 4 iteration 190 / 500
state 4 iteration 191 / 500
state 4 iteration 192 / 500
state 4 iteration 193 / 500
state 4 iteration 194 / 500
state 4 iteration 195 / 500
state 4 iteration 196 / 500
state 4 iteration 197 / 500
state 4 iteration 198 / 500
state 4 iteration 199 / 500
state 4 iteration 200 / 500
state 4 iteration 201 / 500
state 4 iteration 202 / 500
state 4 iteration 203 / 500
state 4 iteration 204 / 500
state 4 iteration 205 / 500
state 4 iteration 206 / 500
state 4 iteration 207 / 500
state 4 iteration 208 / 500
state 4 iteration 209 / 500
state 4 iteration 210 / 500
state 4 iteration 211 / 500
state 4 iteration 212 / 500
state 4 iteration 213 / 500
state 4 iteration 214 / 500
state 4 iteration 215 / 500
state 4 iteration 216 / 500
state 4 iteration 217 / 500
state 4 iteration 218 / 500
state 4 iteration 219 / 500
state 4 iteration 220 / 500
state 4 iteration 221 / 500
state 4 iteration 222 / 500
state 4 iteration 223 / 500
state 4 iteration 224 / 500
state 4 iteration 225 / 500
state 4 iteration 226 / 500
state 4 iteration 227 / 500
state 4 iteration 228 / 500
state 4 iteration 229 / 500
state 4 iteration 230 / 500
state 4 iteration 231 / 500
state 4 iteration 232 / 500
state 4 iteration 233 / 500
state 4 iteration 234 / 500
state 4 iteration 235 / 500
state 4 iteration 236 / 500
state 4 iteration 237 / 500
state 4 iteration 238 / 500
state 4 iteration 239 / 500
state 4 iteration 240 / 500
state 4 iteration 241 / 500
state 4 iteration 242 / 500
state 4 iteration 243 / 500
state 4 iteration 244 / 500
state 4 iteration 245 / 500
state 4 iteration 246 / 500
state 4 iteration 247 / 500
state 4 iteration 248 / 500
state 4 iteration 249 / 500
state 4 iteration 250 / 500
state 4 iteration 251 / 500
state 4 iteration 252 / 500
state 4 iteration 253 / 500
state 4 iteration 254 / 500
state 4 iteration 255 / 500
state 4 iteration 256 / 500
state 4 iteration 257 / 500
state 4 iteration 258 / 500
state 4 iteration 259 / 500
state 4 iteration 260 / 500
state 4 iteration 261 / 500
state 4 iteration 262 / 500
state 4 iteration 263 / 500
state 4 iteration 264 / 500
state 4 iteration 265 / 500
state 4 iteration 266 / 500
state 4 iteration 267 / 500
state 4 iteration 268 / 500
state 4 iteration 269 / 500
state 4 iteration 270 / 500
state 4 iteration 271 / 500
state 4 iteration 272 / 500
state 4 iteration 273 / 500
state 4 iteration 274 / 500
state 4 iteration 275 / 500
state 4 iteration 276 / 500
state 4 iteration 277 / 500
state 4 iteration 278 / 500
state 4 iteration 279 / 500
state 4 iteration 280 / 500
state 4 iteration 281 / 500
state 4 iteration 282 / 500
state 4 iteration 283 / 500
state 4 iteration 284 / 500
state 4 iteration 285 / 500
state 4 iteration 286 / 500
state 4 iteration 287 / 500
state 4 iteration 288 / 500
state 4 iteration 289 / 500
state 4 iteration 290 / 500
state 4 iteration 291 / 500
state 4 iteration 292 / 500
state 4 iteration 293 / 500
state 4 iteration 294 / 500
state 4 iteration 295 / 500
state 4 iteration 296 / 500
state 4 iteration 297 / 500
state 4 iteration 298 / 500
state 4 iteration 299 / 500
state 4 iteration 300 / 500
state 4 iteration 301 / 500
state 4 iteration 302 / 500
state 4 iteration 303 / 500
state 4 iteration 304 / 500
state 4 iteration 305 / 500
state 4 iteration 306 / 500
state 4 iteration 307 / 500
state 4 iteration 308 / 500
state 4 iteration 309 / 500
state 4 iteration 310 / 500
state 4 iteration 311 / 500
state 4 iteration 312 / 500
state 4 iteration 313 / 500
state 4 iteration 314 / 500
state 4 iteration 315 / 500
state 4 iteration 316 / 500
state 4 iteration 317 / 500
state 4 iteration 318 / 500
state 4 iteration 319 / 500
state 4 iteration 320 / 500
state 4 iteration 321 / 500
state 4 iteration 322 / 500
state 4 iteration 323 / 500
state 4 iteration 324 / 500
state 4 iteration 325 / 500
state 4 iteration 326 / 500
state 4 iteration 327 / 500
state 4 iteration 328 / 500
state 4 iteration 329 / 500
state 4 iteration 330 / 500
state 4 iteration 331 / 500
state 4 iteration 332 / 500
state 4 iteration 333 / 500
state 4 iteration 334 / 500
state 4 iteration 335 / 500
state 4 iteration 336 / 500
state 4 iteration 337 / 500
state 4 iteration 338 / 500
state 4 iteration 339 / 500
state 4 iteration 340 / 500
state 4 iteration 341 / 500
state 4 iteration 342 / 500
state 4 iteration 343 / 500
state 4 iteration 344 / 500
state 4 iteration 345 / 500
state 4 iteration 346 / 500
state 4 iteration 347 / 500
state 4 iteration 348 / 500
state 4 iteration 349 / 500
state 4 iteration 350 / 500
state 4 iteration 351 / 500
state 4 iteration 352 / 500
state 4 iteration 353 / 500
state 4 iteration 354 / 500
state 4 iteration 355 / 500
state 4 iteration 356 / 500
state 4 iteration 357 / 500
state 4 iteration 358 / 500
state 4 iteration 359 / 500
state 4 iteration 360 / 500
state 4 iteration 361 / 500
state 4 iteration 362 / 500
state 4 iteration 363 / 500
state 4 iteration 364 / 500
state 4 iteration 365 / 500
state 4 iteration 366 / 500
state 4 iteration 367 / 500
state 4 iteration 368 / 500
state 4 iteration 369 / 500
state 4 iteration 370 / 500
state 4 iteration 371 / 500
state 4 iteration 372 / 500
state 4 iteration 373 / 500
state 4 iteration 374 / 500
state 4 iteration 375 / 500
state 4 iteration 376 / 500
state 4 iteration 377 / 500
state 4 iteration 378 / 500
state 4 iteration 379 / 500
state 4 iteration 380 / 500
state 4 iteration 381 / 500
state 4 iteration 382 / 500
state 4 iteration 383 / 500
state 4 iteration 384 / 500
state 4 iteration 385 / 500
state 4 iteration 386 / 500
state 4 iteration 387 / 500
state 4 iteration 388 / 500
state 4 iteration 389 / 500
state 4 iteration 390 / 500
state 4 iteration 391 / 500
state 4 iteration 392 / 500
state 4 iteration 393 / 500
state 4 iteration 394 / 500
state 4 iteration 395 / 500
state 4 iteration 396 / 500
state 4 iteration 397 / 500
state 4 iteration 398 / 500
state 4 iteration 399 / 500
state 4 iteration 400 / 500
state 4 iteration 401 / 500
state 4 iteration 402 / 500
state 4 iteration 403 / 500
state 4 iteration 404 / 500
state 4 iteration 405 / 500
state 4 iteration 406 / 500
state 4 iteration 407 / 500
state 4 iteration 408 / 500
state 4 iteration 409 / 500
state 4 iteration 410 / 500
state 4 iteration 411 / 500
state 4 iteration 412 / 500
state 4 iteration 413 / 500
state 4 iteration 414 / 500
state 4 iteration 415 / 500
state 4 iteration 416 / 500
state 4 iteration 417 / 500
state 4 iteration 418 / 500
state 4 iteration 419 / 500
state 4 iteration 420 / 500
state 4 iteration 421 / 500
state 4 iteration 422 / 500
state 4 iteration 423 / 500
state 4 iteration 424 / 500
state 4 iteration 425 / 500
state 4 iteration 426 / 500
state 4 iteration 427 / 500
state 4 iteration 428 / 500
state 4 iteration 429 / 500
state 4 iteration 430 / 500
state 4 iteration 431 / 500
state 4 iteration 432 / 500
state 4 iteration 433 / 500
state 4 iteration 434 / 500
state 4 iteration 435 / 500
state 4 iteration 436 / 500
state 4 iteration 437 / 500
state 4 iteration 438 / 500
state 4 iteration 439 / 500
state 4 iteration 440 / 500
state 4 iteration 441 / 500
state 4 iteration 442 / 500
state 4 iteration 443 / 500
state 4 iteration 444 / 500
state 4 iteration 445 / 500
state 4 iteration 446 / 500
state 4 iteration 447 / 500
state 4 iteration 448 / 500
state 4 iteration 449 / 500
state 4 iteration 450 / 500
state 4 iteration 451 / 500
state 4 iteration 452 / 500
state 4 iteration 453 / 500
state 4 iteration 454 / 500
state 4 iteration 455 / 500
state 4 iteration 456 / 500
state 4 iteration 457 / 500
state 4 iteration 458 / 500
state 4 iteration 459 / 500
state 4 iteration 460 / 500
state 4 iteration 461 / 500
state 4 iteration 462 / 500
state 4 iteration 463 / 500
state 4 iteration 464 / 500
state 4 iteration 465 / 500
state 4 iteration 466 / 500
state 4 iteration 467 / 500
state 4 iteration 468 / 500
state 4 iteration 469 / 500
state 4 iteration 470 / 500
state 4 iteration 471 / 500
state 4 iteration 472 / 500
state 4 iteration 473 / 500
state 4 iteration 474 / 500
state 4 iteration 475 / 500
state 4 iteration 476 / 500
state 4 iteration 477 / 500
state 4 iteration 478 / 500
state 4 iteration 479 / 500
state 4 iteration 480 / 500
state 4 iteration 481 / 500
state 4 iteration 482 / 500
state 4 iteration 483 / 500
state 4 iteration 484 / 500
state 4 iteration 485 / 500
state 4 iteration 486 / 500
state 4 iteration 487 / 500
state 4 iteration 488 / 500
state 4 iteration 489 / 500
state 4 iteration 490 / 500
state 4 iteration 491 / 500
state 4 iteration 492 / 500
state 4 iteration 493 / 500
state 4 iteration 494 / 500
state 4 iteration 495 / 500
state 4 iteration 496 / 500
state 4 iteration 497 / 500
state 4 iteration 498 / 500
state 4 iteration 499 / 500
state 5 iteration 0 / 500
state 5 iteration 1 / 500
state 5 iteration 2 / 500
state 5 iteration 3 / 500
state 5 iteration 4 / 500
state 5 iteration 5 / 500
state 5 iteration 6 / 500
state 5 iteration 7 / 500
state 5 iteration 8 / 500
state 5 iteration 9 / 500
state 5 iteration 10 / 500
state 5 iteration 11 / 500
state 5 iteration 12 / 500
state 5 iteration 13 / 500
state 5 iteration 14 / 500
state 5 iteration 15 / 500
state 5 iteration 16 / 500
state 5 iteration 17 / 500
state 5 iteration 18 / 500
state 5 iteration 19 / 500
state 5 iteration 20 / 500
state 5 iteration 21 / 500
state 5 iteration 22 / 500
state 5 iteration 23 / 500
state 5 iteration 24 / 500
state 5 iteration 25 / 500
state 5 iteration 26 / 500
state 5 iteration 27 / 500
state 5 iteration 28 / 500
state 5 iteration 29 / 500
state 5 iteration 30 / 500
state 5 iteration 31 / 500
state 5 iteration 32 / 500
state 5 iteration 33 / 500
state 5 iteration 34 / 500
state 5 iteration 35 / 500
state 5 iteration 36 / 500
state 5 iteration 37 / 500
state 5 iteration 38 / 500
state 5 iteration 39 / 500
state 5 iteration 40 / 500
state 5 iteration 41 / 500
state 5 iteration 42 / 500
state 5 iteration 43 / 500
state 5 iteration 44 / 500
state 5 iteration 45 / 500
state 5 iteration 46 / 500
state 5 iteration 47 / 500
state 5 iteration 48 / 500
state 5 iteration 49 / 500
state 5 iteration 50 / 500
state 5 iteration 51 / 500
state 5 iteration 52 / 500
state 5 iteration 53 / 500
state 5 iteration 54 / 500
state 5 iteration 55 / 500
state 5 iteration 56 / 500
state 5 iteration 57 / 500
state 5 iteration 58 / 500
state 5 iteration 59 / 500
state 5 iteration 60 / 500
state 5 iteration 61 / 500
state 5 iteration 62 / 500
state 5 iteration 63 / 500
state 5 iteration 64 / 500
state 5 iteration 65 / 500
state 5 iteration 66 / 500
state 5 iteration 67 / 500
state 5 iteration 68 / 500
state 5 iteration 69 / 500
state 5 iteration 70 / 500
state 5 iteration 71 / 500
state 5 iteration 72 / 500
state 5 iteration 73 / 500
state 5 iteration 74 / 500
state 5 iteration 75 / 500
state 5 iteration 76 / 500
state 5 iteration 77 / 500
state 5 iteration 78 / 500
state 5 iteration 79 / 500
state 5 iteration 80 / 500
state 5 iteration 81 / 500
state 5 iteration 82 / 500
state 5 iteration 83 / 500
state 5 iteration 84 / 500
state 5 iteration 85 / 500
state 5 iteration 86 / 500
state 5 iteration 87 / 500
state 5 iteration 88 / 500
state 5 iteration 89 / 500
state 5 iteration 90 / 500
state 5 iteration 91 / 500
state 5 iteration 92 / 500
state 5 iteration 93 / 500
state 5 iteration 94 / 500
state 5 iteration 95 / 500
state 5 iteration 96 / 500
state 5 iteration 97 / 500
state 5 iteration 98 / 500
state 5 iteration 99 / 500
state 5 iteration 100 / 500
state 5 iteration 101 / 500
state 5 iteration 102 / 500
state 5 iteration 103 / 500
state 5 iteration 104 / 500
state 5 iteration 105 / 500
state 5 iteration 106 / 500
state 5 iteration 107 / 500
state 5 iteration 108 / 500
state 5 iteration 109 / 500
state 5 iteration 110 / 500
state 5 iteration 111 / 500
state 5 iteration 112 / 500
state 5 iteration 113 / 500
state 5 iteration 114 / 500
state 5 iteration 115 / 500
state 5 iteration 116 / 500
state 5 iteration 117 / 500
state 5 iteration 118 / 500
state 5 iteration 119 / 500
state 5 iteration 120 / 500
state 5 iteration 121 / 500
state 5 iteration 122 / 500
state 5 iteration 123 / 500
state 5 iteration 124 / 500
state 5 iteration 125 / 500
state 5 iteration 126 / 500
state 5 iteration 127 / 500
state 5 iteration 128 / 500
state 5 iteration 129 / 500
state 5 iteration 130 / 500
state 5 iteration 131 / 500
state 5 iteration 132 / 500
state 5 iteration 133 / 500
state 5 iteration 134 / 500
state 5 iteration 135 / 500
state 5 iteration 136 / 500
state 5 iteration 137 / 500
state 5 iteration 138 / 500
state 5 iteration 139 / 500
state 5 iteration 140 / 500
state 5 iteration 141 / 500
state 5 iteration 142 / 500
state 5 iteration 143 / 500
state 5 iteration 144 / 500
state 5 iteration 145 / 500
state 5 iteration 146 / 500
state 5 iteration 147 / 500
state 5 iteration 148 / 500
state 5 iteration 149 / 500
state 5 iteration 150 / 500
state 5 iteration 151 / 500
state 5 iteration 152 / 500
state 5 iteration 153 / 500
state 5 iteration 154 / 500
state 5 iteration 155 / 500
state 5 iteration 156 / 500
state 5 iteration 157 / 500
state 5 iteration 158 / 500
state 5 iteration 159 / 500
state 5 iteration 160 / 500
state 5 iteration 161 / 500
state 5 iteration 162 / 500
state 5 iteration 163 / 500
state 5 iteration 164 / 500
state 5 iteration 165 / 500
state 5 iteration 166 / 500
state 5 iteration 167 / 500
state 5 iteration 168 / 500
state 5 iteration 169 / 500
state 5 iteration 170 / 500
state 5 iteration 171 / 500
state 5 iteration 172 / 500
state 5 iteration 173 / 500
state 5 iteration 174 / 500
state 5 iteration 175 / 500
state 5 iteration 176 / 500
state 5 iteration 177 / 500
state 5 iteration 178 / 500
state 5 iteration 179 / 500
state 5 iteration 180 / 500
state 5 iteration 181 / 500
state 5 iteration 182 / 500
state 5 iteration 183 / 500
state 5 iteration 184 / 500
state 5 iteration 185 / 500
state 5 iteration 186 / 500
state 5 iteration 187 / 500
state 5 iteration 188 / 500
state 5 iteration 189 / 500
state 5 iteration 190 / 500
state 5 iteration 191 / 500
state 5 iteration 192 / 500
state 5 iteration 193 / 500
state 5 iteration 194 / 500
state 5 iteration 195 / 500
state 5 iteration 196 / 500
state 5 iteration 197 / 500
state 5 iteration 198 / 500
state 5 iteration 199 / 500
state 5 iteration 200 / 500
state 5 iteration 201 / 500
state 5 iteration 202 / 500
state 5 iteration 203 / 500
state 5 iteration 204 / 500
state 5 iteration 205 / 500
state 5 iteration 206 / 500
state 5 iteration 207 / 500
state 5 iteration 208 / 500
state 5 iteration 209 / 500
state 5 iteration 210 / 500
state 5 iteration 211 / 500
state 5 iteration 212 / 500
state 5 iteration 213 / 500
state 5 iteration 214 / 500
state 5 iteration 215 / 500
state 5 iteration 216 / 500
state 5 iteration 217 / 500
state 5 iteration 218 / 500
state 5 iteration 219 / 500
state 5 iteration 220 / 500
state 5 iteration 221 / 500
state 5 iteration 222 / 500
state 5 iteration 223 / 500
state 5 iteration 224 / 500
state 5 iteration 225 / 500
state 5 iteration 226 / 500
state 5 iteration 227 / 500
state 5 iteration 228 / 500
state 5 iteration 229 / 500
state 5 iteration 230 / 500
state 5 iteration 231 / 500
state 5 iteration 232 / 500
state 5 iteration 233 / 500
state 5 iteration 234 / 500
state 5 iteration 235 / 500
state 5 iteration 236 / 500
state 5 iteration 237 / 500
state 5 iteration 238 / 500
state 5 iteration 239 / 500
state 5 iteration 240 / 500
state 5 iteration 241 / 500
state 5 iteration 242 / 500
state 5 iteration 243 / 500
state 5 iteration 244 / 500
state 5 iteration 245 / 500
state 5 iteration 246 / 500
state 5 iteration 247 / 500
state 5 iteration 248 / 500
state 5 iteration 249 / 500
state 5 iteration 250 / 500
state 5 iteration 251 / 500
state 5 iteration 252 / 500
state 5 iteration 253 / 500
state 5 iteration 254 / 500
state 5 iteration 255 / 500
state 5 iteration 256 / 500
state 5 iteration 257 / 500
state 5 iteration 258 / 500
state 5 iteration 259 / 500
state 5 iteration 260 / 500
state 5 iteration 261 / 500
state 5 iteration 262 / 500
state 5 iteration 263 / 500
state 5 iteration 264 / 500
state 5 iteration 265 / 500
state 5 iteration 266 / 500
state 5 iteration 267 / 500
state 5 iteration 268 / 500
state 5 iteration 269 / 500
state 5 iteration 270 / 500
state 5 iteration 271 / 500
state 5 iteration 272 / 500
state 5 iteration 273 / 500
state 5 iteration 274 / 500
state 5 iteration 275 / 500
state 5 iteration 276 / 500
state 5 iteration 277 / 500
state 5 iteration 278 / 500
state 5 iteration 279 / 500
state 5 iteration 280 / 500
state 5 iteration 281 / 500
state 5 iteration 282 / 500
state 5 iteration 283 / 500
state 5 iteration 284 / 500
state 5 iteration 285 / 500
state 5 iteration 286 / 500
state 5 iteration 287 / 500
state 5 iteration 288 / 500
state 5 iteration 289 / 500
state 5 iteration 290 / 500
state 5 iteration 291 / 500
state 5 iteration 292 / 500
state 5 iteration 293 / 500
state 5 iteration 294 / 500
state 5 iteration 295 / 500
state 5 iteration 296 / 500
state 5 iteration 297 / 500
state 5 iteration 298 / 500
state 5 iteration 299 / 500
state 5 iteration 300 / 500
state 5 iteration 301 / 500
state 5 iteration 302 / 500
state 5 iteration 303 / 500
state 5 iteration 304 / 500
state 5 iteration 305 / 500
state 5 iteration 306 / 500
state 5 iteration 307 / 500
state 5 iteration 308 / 500
state 5 iteration 309 / 500
state 5 iteration 310 / 500
state 5 iteration 311 / 500
state 5 iteration 312 / 500
state 5 iteration 313 / 500
state 5 iteration 314 / 500
state 5 iteration 315 / 500
state 5 iteration 316 / 500
state 5 iteration 317 / 500
state 5 iteration 318 / 500
state 5 iteration 319 / 500
state 5 iteration 320 / 500
state 5 iteration 321 / 500
state 5 iteration 322 / 500
state 5 iteration 323 / 500
state 5 iteration 324 / 500
state 5 iteration 325 / 500
state 5 iteration 326 / 500
state 5 iteration 327 / 500
state 5 iteration 328 / 500
state 5 iteration 329 / 500
state 5 iteration 330 / 500
state 5 iteration 331 / 500
state 5 iteration 332 / 500
state 5 iteration 333 / 500
state 5 iteration 334 / 500
state 5 iteration 335 / 500
state 5 iteration 336 / 500
state 5 iteration 337 / 500
state 5 iteration 338 / 500
state 5 iteration 339 / 500
state 5 iteration 340 / 500
state 5 iteration 341 / 500
state 5 iteration 342 / 500
state 5 iteration 343 / 500
state 5 iteration 344 / 500
state 5 iteration 345 / 500
state 5 iteration 346 / 500
state 5 iteration 347 / 500
state 5 iteration 348 / 500
state 5 iteration 349 / 500
state 5 iteration 350 / 500
state 5 iteration 351 / 500
state 5 iteration 352 / 500
state 5 iteration 353 / 500
state 5 iteration 354 / 500
state 5 iteration 355 / 500
state 5 iteration 356 / 500
state 5 iteration 357 / 500
state 5 iteration 358 / 500
state 5 iteration 359 / 500
state 5 iteration 360 / 500
state 5 iteration 361 / 500
state 5 iteration 362 / 500
state 5 iteration 363 / 500
state 5 iteration 364 / 500
state 5 iteration 365 / 500
state 5 iteration 366 / 500
state 5 iteration 367 / 500
state 5 iteration 368 / 500
state 5 iteration 369 / 500
state 5 iteration 370 / 500
state 5 iteration 371 / 500
state 5 iteration 372 / 500
state 5 iteration 373 / 500
state 5 iteration 374 / 500
state 5 iteration 375 / 500
state 5 iteration 376 / 500
state 5 iteration 377 / 500
state 5 iteration 378 / 500
state 5 iteration 379 / 500
state 5 iteration 380 / 500
state 5 iteration 381 / 500
state 5 iteration 382 / 500
state 5 iteration 383 / 500
state 5 iteration 384 / 500
state 5 iteration 385 / 500
state 5 iteration 386 / 500
state 5 iteration 387 / 500
state 5 iteration 388 / 500
state 5 iteration 389 / 500
state 5 iteration 390 / 500
state 5 iteration 391 / 500
state 5 iteration 392 / 500
state 5 iteration 393 / 500
state 5 iteration 394 / 500
state 5 iteration 395 / 500
state 5 iteration 396 / 500
state 5 iteration 397 / 500
state 5 iteration 398 / 500
state 5 iteration 399 / 500
state 5 iteration 400 / 500
state 5 iteration 401 / 500
state 5 iteration 402 / 500
state 5 iteration 403 / 500
state 5 iteration 404 / 500
state 5 iteration 405 / 500
state 5 iteration 406 / 500
state 5 iteration 407 / 500
state 5 iteration 408 / 500
state 5 iteration 409 / 500
state 5 iteration 410 / 500
state 5 iteration 411 / 500
state 5 iteration 412 / 500
state 5 iteration 413 / 500
state 5 iteration 414 / 500
state 5 iteration 415 / 500
state 5 iteration 416 / 500
state 5 iteration 417 / 500
state 5 iteration 418 / 500
state 5 iteration 419 / 500
state 5 iteration 420 / 500
state 5 iteration 421 / 500
state 5 iteration 422 / 500
state 5 iteration 423 / 500
state 5 iteration 424 / 500
state 5 iteration 425 / 500
state 5 iteration 426 / 500
state 5 iteration 427 / 500
state 5 iteration 428 / 500
state 5 iteration 429 / 500
state 5 iteration 430 / 500
state 5 iteration 431 / 500
state 5 iteration 432 / 500
state 5 iteration 433 / 500
state 5 iteration 434 / 500
state 5 iteration 435 / 500
state 5 iteration 436 / 500
state 5 iteration 437 / 500
state 5 iteration 438 / 500
state 5 iteration 439 / 500
state 5 iteration 440 / 500
state 5 iteration 441 / 500
state 5 iteration 442 / 500
state 5 iteration 443 / 500
state 5 iteration 444 / 500
state 5 iteration 445 / 500
state 5 iteration 446 / 500
state 5 iteration 447 / 500
state 5 iteration 448 / 500
state 5 iteration 449 / 500
state 5 iteration 450 / 500
state 5 iteration 451 / 500
state 5 iteration 452 / 500
state 5 iteration 453 / 500
state 5 iteration 454 / 500
state 5 iteration 455 / 500
state 5 iteration 456 / 500
state 5 iteration 457 / 500
state 5 iteration 458 / 500
state 5 iteration 459 / 500
state 5 iteration 460 / 500
state 5 iteration 461 / 500
state 5 iteration 462 / 500
state 5 iteration 463 / 500
state 5 iteration 464 / 500
state 5 iteration 465 / 500
state 5 iteration 466 / 500
state 5 iteration 467 / 500
state 5 iteration 468 / 500
state 5 iteration 469 / 500
state 5 iteration 470 / 500
state 5 iteration 471 / 500
state 5 iteration 472 / 500
state 5 iteration 473 / 500
state 5 iteration 474 / 500
state 5 iteration 475 / 500
state 5 iteration 476 / 500
state 5 iteration 477 / 500
state 5 iteration 478 / 500
state 5 iteration 479 / 500
state 5 iteration 480 / 500
state 5 iteration 481 / 500
state 5 iteration 482 / 500
state 5 iteration 483 / 500
state 5 iteration 484 / 500
state 5 iteration 485 / 500
state 5 iteration 486 / 500
state 5 iteration 487 / 500
state 5 iteration 488 / 500
state 5 iteration 489 / 500
state 5 iteration 490 / 500
state 5 iteration 491 / 500
state 5 iteration 492 / 500
state 5 iteration 493 / 500
state 5 iteration 494 / 500
state 5 iteration 495 / 500
state 5 iteration 496 / 500
state 5 iteration 497 / 500
state 5 iteration 498 / 500
state 5 iteration 499 / 500
state 6 iteration 0 / 500
state 6 iteration 1 / 500
state 6 iteration 2 / 500
state 6 iteration 3 / 500
state 6 iteration 4 / 500
state 6 iteration 5 / 500
state 6 iteration 6 / 500
state 6 iteration 7 / 500
state 6 iteration 8 / 500
state 6 iteration 9 / 500
state 6 iteration 10 / 500
state 6 iteration 11 / 500
state 6 iteration 12 / 500
state 6 iteration 13 / 500
state 6 iteration 14 / 500
state 6 iteration 15 / 500
state 6 iteration 16 / 500
state 6 iteration 17 / 500
state 6 iteration 18 / 500
state 6 iteration 19 / 500
state 6 iteration 20 / 500
state 6 iteration 21 / 500
state 6 iteration 22 / 500
state 6 iteration 23 / 500
state 6 iteration 24 / 500
state 6 iteration 25 / 500
state 6 iteration 26 / 500
state 6 iteration 27 / 500
state 6 iteration 28 / 500
state 6 iteration 29 / 500
state 6 iteration 30 / 500
state 6 iteration 31 / 500
state 6 iteration 32 / 500
state 6 iteration 33 / 500
state 6 iteration 34 / 500
state 6 iteration 35 / 500
state 6 iteration 36 / 500
state 6 iteration 37 / 500
state 6 iteration 38 / 500
state 6 iteration 39 / 500
state 6 iteration 40 / 500
state 6 iteration 41 / 500
state 6 iteration 42 / 500
state 6 iteration 43 / 500
state 6 iteration 44 / 500
state 6 iteration 45 / 500
state 6 iteration 46 / 500
state 6 iteration 47 / 500
state 6 iteration 48 / 500
state 6 iteration 49 / 500
state 6 iteration 50 / 500
state 6 iteration 51 / 500
state 6 iteration 52 / 500
state 6 iteration 53 / 500
state 6 iteration 54 / 500
state 6 iteration 55 / 500
state 6 iteration 56 / 500
state 6 iteration 57 / 500
state 6 iteration 58 / 500
state 6 iteration 59 / 500
state 6 iteration 60 / 500
state 6 iteration 61 / 500
state 6 iteration 62 / 500
state 6 iteration 63 / 500
state 6 iteration 64 / 500
state 6 iteration 65 / 500
state 6 iteration 66 / 500
state 6 iteration 67 / 500
state 6 iteration 68 / 500
state 6 iteration 69 / 500
state 6 iteration 70 / 500
state 6 iteration 71 / 500
state 6 iteration 72 / 500
state 6 iteration 73 / 500
state 6 iteration 74 / 500
state 6 iteration 75 / 500
state 6 iteration 76 / 500
state 6 iteration 77 / 500
state 6 iteration 78 / 500
state 6 iteration 79 / 500
state 6 iteration 80 / 500
state 6 iteration 81 / 500
state 6 iteration 82 / 500
state 6 iteration 83 / 500
state 6 iteration 84 / 500
state 6 iteration 85 / 500
state 6 iteration 86 / 500
state 6 iteration 87 / 500
state 6 iteration 88 / 500
state 6 iteration 89 / 500
state 6 iteration 90 / 500
state 6 iteration 91 / 500
state 6 iteration 92 / 500
state 6 iteration 93 / 500
state 6 iteration 94 / 500
state 6 iteration 95 / 500
state 6 iteration 96 / 500
state 6 iteration 97 / 500
state 6 iteration 98 / 500
state 6 iteration 99 / 500
state 6 iteration 100 / 500
state 6 iteration 101 / 500
state 6 iteration 102 / 500
state 6 iteration 103 / 500
state 6 iteration 104 / 500
state 6 iteration 105 / 500
state 6 iteration 106 / 500
state 6 iteration 107 / 500
state 6 iteration 108 / 500
state 6 iteration 109 / 500
state 6 iteration 110 / 500
state 6 iteration 111 / 500
state 6 iteration 112 / 500
state 6 iteration 113 / 500
state 6 iteration 114 / 500
state 6 iteration 115 / 500
state 6 iteration 116 / 500
state 6 iteration 117 / 500
state 6 iteration 118 / 500
state 6 iteration 119 / 500
state 6 iteration 120 / 500
state 6 iteration 121 / 500
state 6 iteration 122 / 500
state 6 iteration 123 / 500
state 6 iteration 124 / 500
state 6 iteration 125 / 500
state 6 iteration 126 / 500
state 6 iteration 127 / 500
state 6 iteration 128 / 500
state 6 iteration 129 / 500
state 6 iteration 130 / 500
state 6 iteration 131 / 500
state 6 iteration 132 / 500
state 6 iteration 133 / 500
state 6 iteration 134 / 500
state 6 iteration 135 / 500
state 6 iteration 136 / 500
state 6 iteration 137 / 500
state 6 iteration 138 / 500
state 6 iteration 139 / 500
state 6 iteration 140 / 500
state 6 iteration 141 / 500
state 6 iteration 142 / 500
state 6 iteration 143 / 500
state 6 iteration 144 / 500
state 6 iteration 145 / 500
state 6 iteration 146 / 500
state 6 iteration 147 / 500
state 6 iteration 148 / 500
state 6 iteration 149 / 500
state 6 iteration 150 / 500
state 6 iteration 151 / 500
state 6 iteration 152 / 500
state 6 iteration 153 / 500
state 6 iteration 154 / 500
state 6 iteration 155 / 500
state 6 iteration 156 / 500
state 6 iteration 157 / 500
state 6 iteration 158 / 500
state 6 iteration 159 / 500
state 6 iteration 160 / 500
state 6 iteration 161 / 500
state 6 iteration 162 / 500
state 6 iteration 163 / 500
state 6 iteration 164 / 500
state 6 iteration 165 / 500
state 6 iteration 166 / 500
state 6 iteration 167 / 500
state 6 iteration 168 / 500
state 6 iteration 169 / 500
state 6 iteration 170 / 500
state 6 iteration 171 / 500
state 6 iteration 172 / 500
state 6 iteration 173 / 500
state 6 iteration 174 / 500
state 6 iteration 175 / 500
state 6 iteration 176 / 500
state 6 iteration 177 / 500
state 6 iteration 178 / 500
state 6 iteration 179 / 500
state 6 iteration 180 / 500
state 6 iteration 181 / 500
state 6 iteration 182 / 500
state 6 iteration 183 / 500
state 6 iteration 184 / 500
state 6 iteration 185 / 500
state 6 iteration 186 / 500
state 6 iteration 187 / 500
state 6 iteration 188 / 500
state 6 iteration 189 / 500
state 6 iteration 190 / 500
state 6 iteration 191 / 500
state 6 iteration 192 / 500
state 6 iteration 193 / 500
state 6 iteration 194 / 500
state 6 iteration 195 / 500
state 6 iteration 196 / 500
state 6 iteration 197 / 500
state 6 iteration 198 / 500
state 6 iteration 199 / 500
state 6 iteration 200 / 500
state 6 iteration 201 / 500
state 6 iteration 202 / 500
state 6 iteration 203 / 500
state 6 iteration 204 / 500
state 6 iteration 205 / 500
state 6 iteration 206 / 500
state 6 iteration 207 / 500
state 6 iteration 208 / 500
state 6 iteration 209 / 500
state 6 iteration 210 / 500
state 6 iteration 211 / 500
state 6 iteration 212 / 500
state 6 iteration 213 / 500
state 6 iteration 214 / 500
state 6 iteration 215 / 500
state 6 iteration 216 / 500
state 6 iteration 217 / 500
state 6 iteration 218 / 500
state 6 iteration 219 / 500
state 6 iteration 220 / 500
state 6 iteration 221 / 500
state 6 iteration 222 / 500
state 6 iteration 223 / 500
state 6 iteration 224 / 500
state 6 iteration 225 / 500
state 6 iteration 226 / 500
state 6 iteration 227 / 500
state 6 iteration 228 / 500
state 6 iteration 229 / 500
state 6 iteration 230 / 500
state 6 iteration 231 / 500
state 6 iteration 232 / 500
state 6 iteration 233 / 500
state 6 iteration 234 / 500
state 6 iteration 235 / 500
state 6 iteration 236 / 500
state 6 iteration 237 / 500
state 6 iteration 238 / 500
state 6 iteration 239 / 500
state 6 iteration 240 / 500
state 6 iteration 241 / 500
state 6 iteration 242 / 500
state 6 iteration 243 / 500
state 6 iteration 244 / 500
state 6 iteration 245 / 500
state 6 iteration 246 / 500
state 6 iteration 247 / 500
state 6 iteration 248 / 500
state 6 iteration 249 / 500
state 6 iteration 250 / 500
state 6 iteration 251 / 500
state 6 iteration 252 / 500
state 6 iteration 253 / 500
state 6 iteration 254 / 500
state 6 iteration 255 / 500
state 6 iteration 256 / 500
state 6 iteration 257 / 500
state 6 iteration 258 / 500
state 6 iteration 259 / 500
state 6 iteration 260 / 500
state 6 iteration 261 / 500
state 6 iteration 262 / 500
state 6 iteration 263 / 500
state 6 iteration 264 / 500
state 6 iteration 265 / 500
state 6 iteration 266 / 500
state 6 iteration 267 / 500
state 6 iteration 268 / 500
state 6 iteration 269 / 500
state 6 iteration 270 / 500
state 6 iteration 271 / 500
state 6 iteration 272 / 500
state 6 iteration 273 / 500
state 6 iteration 274 / 500
state 6 iteration 275 / 500
state 6 iteration 276 / 500
state 6 iteration 277 / 500
state 6 iteration 278 / 500
state 6 iteration 279 / 500
state 6 iteration 280 / 500
state 6 iteration 281 / 500
state 6 iteration 282 / 500
state 6 iteration 283 / 500
state 6 iteration 284 / 500
state 6 iteration 285 / 500
state 6 iteration 286 / 500
state 6 iteration 287 / 500
state 6 iteration 288 / 500
state 6 iteration 289 / 500
state 6 iteration 290 / 500
state 6 iteration 291 / 500
state 6 iteration 292 / 500
state 6 iteration 293 / 500
state 6 iteration 294 / 500
state 6 iteration 295 / 500
state 6 iteration 296 / 500
state 6 iteration 297 / 500
state 6 iteration 298 / 500
state 6 iteration 299 / 500
state 6 iteration 300 / 500
state 6 iteration 301 / 500
state 6 iteration 302 / 500
state 6 iteration 303 / 500
state 6 iteration 304 / 500
state 6 iteration 305 / 500
state 6 iteration 306 / 500
state 6 iteration 307 / 500
state 6 iteration 308 / 500
state 6 iteration 309 / 500
state 6 iteration 310 / 500
state 6 iteration 311 / 500
state 6 iteration 312 / 500
state 6 iteration 313 / 500
state 6 iteration 314 / 500
state 6 iteration 315 / 500
state 6 iteration 316 / 500
state 6 iteration 317 / 500
state 6 iteration 318 / 500
state 6 iteration 319 / 500
state 6 iteration 320 / 500
state 6 iteration 321 / 500
state 6 iteration 322 / 500
state 6 iteration 323 / 500
state 6 iteration 324 / 500
state 6 iteration 325 / 500
state 6 iteration 326 / 500
state 6 iteration 327 / 500
state 6 iteration 328 / 500
state 6 iteration 329 / 500
state 6 iteration 330 / 500
state 6 iteration 331 / 500
state 6 iteration 332 / 500
state 6 iteration 333 / 500
state 6 iteration 334 / 500
state 6 iteration 335 / 500
state 6 iteration 336 / 500
state 6 iteration 337 / 500
state 6 iteration 338 / 500
state 6 iteration 339 / 500
state 6 iteration 340 / 500
state 6 iteration 341 / 500
state 6 iteration 342 / 500
state 6 iteration 343 / 500
state 6 iteration 344 / 500
state 6 iteration 345 / 500
state 6 iteration 346 / 500
state 6 iteration 347 / 500
state 6 iteration 348 / 500
state 6 iteration 349 / 500
state 6 iteration 350 / 500
state 6 iteration 351 / 500
state 6 iteration 352 / 500
state 6 iteration 353 / 500
state 6 iteration 354 / 500
state 6 iteration 355 / 500
state 6 iteration 356 / 500
state 6 iteration 357 / 500
state 6 iteration 358 / 500
state 6 iteration 359 / 500
state 6 iteration 360 / 500
state 6 iteration 361 / 500
state 6 iteration 362 / 500
state 6 iteration 363 / 500
state 6 iteration 364 / 500
state 6 iteration 365 / 500
state 6 iteration 366 / 500
state 6 iteration 367 / 500
state 6 iteration 368 / 500
state 6 iteration 369 / 500
state 6 iteration 370 / 500
state 6 iteration 371 / 500
state 6 iteration 372 / 500
state 6 iteration 373 / 500
state 6 iteration 374 / 500
state 6 iteration 375 / 500
state 6 iteration 376 / 500
state 6 iteration 377 / 500
state 6 iteration 378 / 500
state 6 iteration 379 / 500
state 6 iteration 380 / 500
state 6 iteration 381 / 500
state 6 iteration 382 / 500
state 6 iteration 383 / 500
state 6 iteration 384 / 500
state 6 iteration 385 / 500
state 6 iteration 386 / 500
state 6 iteration 387 / 500
state 6 iteration 388 / 500
state 6 iteration 389 / 500
state 6 iteration 390 / 500
state 6 iteration 391 / 500
state 6 iteration 392 / 500
state 6 iteration 393 / 500
state 6 iteration 394 / 500
state 6 iteration 395 / 500
state 6 iteration 396 / 500
state 6 iteration 397 / 500
state 6 iteration 398 / 500
state 6 iteration 399 / 500
state 6 iteration 400 / 500
state 6 iteration 401 / 500
state 6 iteration 402 / 500
state 6 iteration 403 / 500
state 6 iteration 404 / 500
state 6 iteration 405 / 500
state 6 iteration 406 / 500
state 6 iteration 407 / 500
state 6 iteration 408 / 500
state 6 iteration 409 / 500
state 6 iteration 410 / 500
state 6 iteration 411 / 500
state 6 iteration 412 / 500
state 6 iteration 413 / 500
state 6 iteration 414 / 500
state 6 iteration 415 / 500
state 6 iteration 416 / 500
state 6 iteration 417 / 500
state 6 iteration 418 / 500
state 6 iteration 419 / 500
state 6 iteration 420 / 500
state 6 iteration 421 / 500
state 6 iteration 422 / 500
state 6 iteration 423 / 500
state 6 iteration 424 / 500
state 6 iteration 425 / 500
state 6 iteration 426 / 500
state 6 iteration 427 / 500
state 6 iteration 428 / 500
state 6 iteration 429 / 500
state 6 iteration 430 / 500
state 6 iteration 431 / 500
state 6 iteration 432 / 500
state 6 iteration 433 / 500
state 6 iteration 434 / 500
state 6 iteration 435 / 500
state 6 iteration 436 / 500
state 6 iteration 437 / 500
state 6 iteration 438 / 500
state 6 iteration 439 / 500
state 6 iteration 440 / 500
state 6 iteration 441 / 500
state 6 iteration 442 / 500
state 6 iteration 443 / 500
state 6 iteration 444 / 500
state 6 iteration 445 / 500
state 6 iteration 446 / 500
state 6 iteration 447 / 500
state 6 iteration 448 / 500
state 6 iteration 449 / 500
state 6 iteration 450 / 500
state 6 iteration 451 / 500
state 6 iteration 452 / 500
state 6 iteration 453 / 500
state 6 iteration 454 / 500
state 6 iteration 455 / 500
state 6 iteration 456 / 500
state 6 iteration 457 / 500
state 6 iteration 458 / 500
state 6 iteration 459 / 500
state 6 iteration 460 / 500
state 6 iteration 461 / 500
state 6 iteration 462 / 500
state 6 iteration 463 / 500
state 6 iteration 464 / 500
state 6 iteration 465 / 500
state 6 iteration 466 / 500
state 6 iteration 467 / 500
state 6 iteration 468 / 500
state 6 iteration 469 / 500
state 6 iteration 470 / 500
state 6 iteration 471 / 500
state 6 iteration 472 / 500
state 6 iteration 473 / 500
state 6 iteration 474 / 500
state 6 iteration 475 / 500
state 6 iteration 476 / 500
state 6 iteration 477 / 500
state 6 iteration 478 / 500
state 6 iteration 479 / 500
state 6 iteration 480 / 500
state 6 iteration 481 / 500
state 6 iteration 482 / 500
state 6 iteration 483 / 500
state 6 iteration 484 / 500
state 6 iteration 485 / 500
state 6 iteration 486 / 500
state 6 iteration 487 / 500
state 6 iteration 488 / 500
state 6 iteration 489 / 500
state 6 iteration 490 / 500
state 6 iteration 491 / 500
state 6 iteration 492 / 500
state 6 iteration 493 / 500
state 6 iteration 494 / 500
state 6 iteration 495 / 500
state 6 iteration 496 / 500
state 6 iteration 497 / 500
state 6 iteration 498 / 500
state 6 iteration 499 / 500
state 7 iteration 0 / 500
state 7 iteration 1 / 500
state 7 iteration 2 / 500
state 7 iteration 3 / 500
state 7 iteration 4 / 500
state 7 iteration 5 / 500
state 7 iteration 6 / 500
state 7 iteration 7 / 500
state 7 iteration 8 / 500
state 7 iteration 9 / 500
state 7 iteration 10 / 500
state 7 iteration 11 / 500
state 7 iteration 12 / 500
state 7 iteration 13 / 500
state 7 iteration 14 / 500
state 7 iteration 15 / 500
state 7 iteration 16 / 500
state 7 iteration 17 / 500
state 7 iteration 18 / 500
state 7 iteration 19 / 500
state 7 iteration 20 / 500
state 7 iteration 21 / 500
state 7 iteration 22 / 500
state 7 iteration 23 / 500
state 7 iteration 24 / 500
state 7 iteration 25 / 500
state 7 iteration 26 / 500
state 7 iteration 27 / 500
state 7 iteration 28 / 500
state 7 iteration 29 / 500
state 7 iteration 30 / 500
state 7 iteration 31 / 500
state 7 iteration 32 / 500
state 7 iteration 33 / 500
state 7 iteration 34 / 500
state 7 iteration 35 / 500
state 7 iteration 36 / 500
state 7 iteration 37 / 500
state 7 iteration 38 / 500
state 7 iteration 39 / 500
state 7 iteration 40 / 500
state 7 iteration 41 / 500
state 7 iteration 42 / 500
state 7 iteration 43 / 500
state 7 iteration 44 / 500
state 7 iteration 45 / 500
state 7 iteration 46 / 500
state 7 iteration 47 / 500
state 7 iteration 48 / 500
state 7 iteration 49 / 500
state 7 iteration 50 / 500
state 7 iteration 51 / 500
state 7 iteration 52 / 500
state 7 iteration 53 / 500
state 7 iteration 54 / 500
state 7 iteration 55 / 500
state 7 iteration 56 / 500
state 7 iteration 57 / 500
state 7 iteration 58 / 500
state 7 iteration 59 / 500
state 7 iteration 60 / 500
state 7 iteration 61 / 500
state 7 iteration 62 / 500
state 7 iteration 63 / 500
state 7 iteration 64 / 500
state 7 iteration 65 / 500
state 7 iteration 66 / 500
state 7 iteration 67 / 500
state 7 iteration 68 / 500
state 7 iteration 69 / 500
state 7 iteration 70 / 500
state 7 iteration 71 / 500
state 7 iteration 72 / 500
state 7 iteration 73 / 500
state 7 iteration 74 / 500
state 7 iteration 75 / 500
state 7 iteration 76 / 500
state 7 iteration 77 / 500
state 7 iteration 78 / 500
state 7 iteration 79 / 500
state 7 iteration 80 / 500
state 7 iteration 81 / 500
state 7 iteration 82 / 500
state 7 iteration 83 / 500
state 7 iteration 84 / 500
state 7 iteration 85 / 500
state 7 iteration 86 / 500
state 7 iteration 87 / 500
state 7 iteration 88 / 500
state 7 iteration 89 / 500
state 7 iteration 90 / 500
state 7 iteration 91 / 500
state 7 iteration 92 / 500
state 7 iteration 93 / 500
state 7 iteration 94 / 500
state 7 iteration 95 / 500
state 7 iteration 96 / 500
state 7 iteration 97 / 500
state 7 iteration 98 / 500
state 7 iteration 99 / 500
state 7 iteration 100 / 500
state 7 iteration 101 / 500
state 7 iteration 102 / 500
state 7 iteration 103 / 500
state 7 iteration 104 / 500
state 7 iteration 105 / 500
state 7 iteration 106 / 500
state 7 iteration 107 / 500
state 7 iteration 108 / 500
state 7 iteration 109 / 500
state 7 iteration 110 / 500
state 7 iteration 111 / 500
state 7 iteration 112 / 500
state 7 iteration 113 / 500
state 7 iteration 114 / 500
state 7 iteration 115 / 500
state 7 iteration 116 / 500
state 7 iteration 117 / 500
state 7 iteration 118 / 500
state 7 iteration 119 / 500
state 7 iteration 120 / 500
state 7 iteration 121 / 500
state 7 iteration 122 / 500
state 7 iteration 123 / 500
state 7 iteration 124 / 500
state 7 iteration 125 / 500
state 7 iteration 126 / 500
state 7 iteration 127 / 500
state 7 iteration 128 / 500
state 7 iteration 129 / 500
state 7 iteration 130 / 500
state 7 iteration 131 / 500
state 7 iteration 132 / 500
state 7 iteration 133 / 500
state 7 iteration 134 / 500
state 7 iteration 135 / 500
state 7 iteration 136 / 500
state 7 iteration 137 / 500
state 7 iteration 138 / 500
state 7 iteration 139 / 500
state 7 iteration 140 / 500
state 7 iteration 141 / 500
state 7 iteration 142 / 500
state 7 iteration 143 / 500
state 7 iteration 144 / 500
state 7 iteration 145 / 500
state 7 iteration 146 / 500
state 7 iteration 147 / 500
state 7 iteration 148 / 500
state 7 iteration 149 / 500
state 7 iteration 150 / 500
state 7 iteration 151 / 500
state 7 iteration 152 / 500
state 7 iteration 153 / 500
state 7 iteration 154 / 500
state 7 iteration 155 / 500
state 7 iteration 156 / 500
state 7 iteration 157 / 500
state 7 iteration 158 / 500
state 7 iteration 159 / 500
state 7 iteration 160 / 500
state 7 iteration 161 / 500
state 7 iteration 162 / 500
state 7 iteration 163 / 500
state 7 iteration 164 / 500
state 7 iteration 165 / 500
state 7 iteration 166 / 500
state 7 iteration 167 / 500
state 7 iteration 168 / 500
state 7 iteration 169 / 500
state 7 iteration 170 / 500
state 7 iteration 171 / 500
state 7 iteration 172 / 500
state 7 iteration 173 / 500
state 7 iteration 174 / 500
state 7 iteration 175 / 500
state 7 iteration 176 / 500
state 7 iteration 177 / 500
state 7 iteration 178 / 500
state 7 iteration 179 / 500
state 7 iteration 180 / 500
state 7 iteration 181 / 500
state 7 iteration 182 / 500
state 7 iteration 183 / 500
state 7 iteration 184 / 500
state 7 iteration 185 / 500
state 7 iteration 186 / 500
state 7 iteration 187 / 500
state 7 iteration 188 / 500
state 7 iteration 189 / 500
state 7 iteration 190 / 500
state 7 iteration 191 / 500
state 7 iteration 192 / 500
state 7 iteration 193 / 500
state 7 iteration 194 / 500
state 7 iteration 195 / 500
state 7 iteration 196 / 500
state 7 iteration 197 / 500
state 7 iteration 198 / 500
state 7 iteration 199 / 500
state 7 iteration 200 / 500
state 7 iteration 201 / 500
state 7 iteration 202 / 500
state 7 iteration 203 / 500
state 7 iteration 204 / 500
state 7 iteration 205 / 500
state 7 iteration 206 / 500
state 7 iteration 207 / 500
state 7 iteration 208 / 500
state 7 iteration 209 / 500
state 7 iteration 210 / 500
state 7 iteration 211 / 500
state 7 iteration 212 / 500
state 7 iteration 213 / 500
state 7 iteration 214 / 500
state 7 iteration 215 / 500
state 7 iteration 216 / 500
state 7 iteration 217 / 500
state 7 iteration 218 / 500
state 7 iteration 219 / 500
state 7 iteration 220 / 500
state 7 iteration 221 / 500
state 7 iteration 222 / 500
state 7 iteration 223 / 500
state 7 iteration 224 / 500
state 7 iteration 225 / 500
state 7 iteration 226 / 500
state 7 iteration 227 / 500
state 7 iteration 228 / 500
state 7 iteration 229 / 500
state 7 iteration 230 / 500
state 7 iteration 231 / 500
state 7 iteration 232 / 500
state 7 iteration 233 / 500
state 7 iteration 234 / 500
state 7 iteration 235 / 500
state 7 iteration 236 / 500
state 7 iteration 237 / 500
state 7 iteration 238 / 500
state 7 iteration 239 / 500
state 7 iteration 240 / 500
state 7 iteration 241 / 500
state 7 iteration 242 / 500
state 7 iteration 243 / 500
state 7 iteration 244 / 500
state 7 iteration 245 / 500
state 7 iteration 246 / 500
state 7 iteration 247 / 500
state 7 iteration 248 / 500
state 7 iteration 249 / 500
state 7 iteration 250 / 500
state 7 iteration 251 / 500
state 7 iteration 252 / 500
state 7 iteration 253 / 500
state 7 iteration 254 / 500
state 7 iteration 255 / 500
state 7 iteration 256 / 500
state 7 iteration 257 / 500
state 7 iteration 258 / 500
state 7 iteration 259 / 500
state 7 iteration 260 / 500
state 7 iteration 261 / 500
state 7 iteration 262 / 500
state 7 iteration 263 / 500
state 7 iteration 264 / 500
state 7 iteration 265 / 500
state 7 iteration 266 / 500
state 7 iteration 267 / 500
state 7 iteration 268 / 500
state 7 iteration 269 / 500
state 7 iteration 270 / 500
state 7 iteration 271 / 500
state 7 iteration 272 / 500
state 7 iteration 273 / 500
state 7 iteration 274 / 500
state 7 iteration 275 / 500
state 7 iteration 276 / 500
state 7 iteration 277 / 500
state 7 iteration 278 / 500
state 7 iteration 279 / 500
state 7 iteration 280 / 500
state 7 iteration 281 / 500
state 7 iteration 282 / 500
state 7 iteration 283 / 500
state 7 iteration 284 / 500
state 7 iteration 285 / 500
state 7 iteration 286 / 500
state 7 iteration 287 / 500
state 7 iteration 288 / 500
state 7 iteration 289 / 500
state 7 iteration 290 / 500
state 7 iteration 291 / 500
state 7 iteration 292 / 500
state 7 iteration 293 / 500
state 7 iteration 294 / 500
state 7 iteration 295 / 500
state 7 iteration 296 / 500
state 7 iteration 297 / 500
state 7 iteration 298 / 500
state 7 iteration 299 / 500
state 7 iteration 300 / 500
state 7 iteration 301 / 500
state 7 iteration 302 / 500
state 7 iteration 303 / 500
state 7 iteration 304 / 500
state 7 iteration 305 / 500
state 7 iteration 306 / 500
state 7 iteration 307 / 500
state 7 iteration 308 / 500
state 7 iteration 309 / 500
state 7 iteration 310 / 500
state 7 iteration 311 / 500
state 7 iteration 312 / 500
state 7 iteration 313 / 500
state 7 iteration 314 / 500
state 7 iteration 315 / 500
state 7 iteration 316 / 500
state 7 iteration 317 / 500
state 7 iteration 318 / 500
state 7 iteration 319 / 500
state 7 iteration 320 / 500
state 7 iteration 321 / 500
state 7 iteration 322 / 500
state 7 iteration 323 / 500
state 7 iteration 324 / 500
state 7 iteration 325 / 500
state 7 iteration 326 / 500
state 7 iteration 327 / 500
state 7 iteration 328 / 500
state 7 iteration 329 / 500
state 7 iteration 330 / 500
state 7 iteration 331 / 500
state 7 iteration 332 / 500
state 7 iteration 333 / 500
state 7 iteration 334 / 500
state 7 iteration 335 / 500
state 7 iteration 336 / 500
state 7 iteration 337 / 500
state 7 iteration 338 / 500
state 7 iteration 339 / 500
state 7 iteration 340 / 500
state 7 iteration 341 / 500
state 7 iteration 342 / 500
state 7 iteration 343 / 500
state 7 iteration 344 / 500
state 7 iteration 345 / 500
state 7 iteration 346 / 500
state 7 iteration 347 / 500
state 7 iteration 348 / 500
state 7 iteration 349 / 500
state 7 iteration 350 / 500
state 7 iteration 351 / 500
state 7 iteration 352 / 500
state 7 iteration 353 / 500
state 7 iteration 354 / 500
state 7 iteration 355 / 500
state 7 iteration 356 / 500
state 7 iteration 357 / 500
state 7 iteration 358 / 500
state 7 iteration 359 / 500
state 7 iteration 360 / 500
state 7 iteration 361 / 500
state 7 iteration 362 / 500
state 7 iteration 363 / 500
state 7 iteration 364 / 500
state 7 iteration 365 / 500
state 7 iteration 366 / 500
state 7 iteration 367 / 500
state 7 iteration 368 / 500
state 7 iteration 369 / 500
state 7 iteration 370 / 500
state 7 iteration 371 / 500
state 7 iteration 372 / 500
state 7 iteration 373 / 500
state 7 iteration 374 / 500
state 7 iteration 375 / 500
state 7 iteration 376 / 500
state 7 iteration 377 / 500
state 7 iteration 378 / 500
state 7 iteration 379 / 500
state 7 iteration 380 / 500
state 7 iteration 381 / 500
state 7 iteration 382 / 500
state 7 iteration 383 / 500
state 7 iteration 384 / 500
state 7 iteration 385 / 500
state 7 iteration 386 / 500
state 7 iteration 387 / 500
state 7 iteration 388 / 500
state 7 iteration 389 / 500
state 7 iteration 390 / 500
state 7 iteration 391 / 500
state 7 iteration 392 / 500
state 7 iteration 393 / 500
state 7 iteration 394 / 500
state 7 iteration 395 / 500
state 7 iteration 396 / 500
state 7 iteration 397 / 500
state 7 iteration 398 / 500
state 7 iteration 399 / 500
state 7 iteration 400 / 500
state 7 iteration 401 / 500
state 7 iteration 402 / 500
state 7 iteration 403 / 500
state 7 iteration 404 / 500
state 7 iteration 405 / 500
state 7 iteration 406 / 500
state 7 iteration 407 / 500
state 7 iteration 408 / 500
state 7 iteration 409 / 500
state 7 iteration 410 / 500
state 7 iteration 411 / 500
state 7 iteration 412 / 500
state 7 iteration 413 / 500
state 7 iteration 414 / 500
state 7 iteration 415 / 500
state 7 iteration 416 / 500
state 7 iteration 417 / 500
state 7 iteration 418 / 500
state 7 iteration 419 / 500
state 7 iteration 420 / 500
state 7 iteration 421 / 500
state 7 iteration 422 / 500
state 7 iteration 423 / 500
state 7 iteration 424 / 500
state 7 iteration 425 / 500
state 7 iteration 426 / 500
state 7 iteration 427 / 500
state 7 iteration 428 / 500
state 7 iteration 429 / 500
state 7 iteration 430 / 500
state 7 iteration 431 / 500
state 7 iteration 432 / 500
state 7 iteration 433 / 500
state 7 iteration 434 / 500
state 7 iteration 435 / 500
state 7 iteration 436 / 500
state 7 iteration 437 / 500
state 7 iteration 438 / 500
state 7 iteration 439 / 500
state 7 iteration 440 / 500
state 7 iteration 441 / 500
state 7 iteration 442 / 500
state 7 iteration 443 / 500
state 7 iteration 444 / 500
state 7 iteration 445 / 500
state 7 iteration 446 / 500
state 7 iteration 447 / 500
state 7 iteration 448 / 500
state 7 iteration 449 / 500
state 7 iteration 450 / 500
state 7 iteration 451 / 500
state 7 iteration 452 / 500
state 7 iteration 453 / 500
state 7 iteration 454 / 500
state 7 iteration 455 / 500
state 7 iteration 456 / 500
state 7 iteration 457 / 500
state 7 iteration 458 / 500
state 7 iteration 459 / 500
state 7 iteration 460 / 500
state 7 iteration 461 / 500
state 7 iteration 462 / 500
state 7 iteration 463 / 500
state 7 iteration 464 / 500
state 7 iteration 465 / 500
state 7 iteration 466 / 500
state 7 iteration 467 / 500
state 7 iteration 468 / 500
state 7 iteration 469 / 500
state 7 iteration 470 / 500
state 7 iteration 471 / 500
state 7 iteration 472 / 500
state 7 iteration 473 / 500
state 7 iteration 474 / 500
state 7 iteration 475 / 500
state 7 iteration 476 / 500
state 7 iteration 477 / 500
state 7 iteration 478 / 500
state 7 iteration 479 / 500
state 7 iteration 480 / 500
state 7 iteration 481 / 500
state 7 iteration 482 / 500
state 7 iteration 483 / 500
state 7 iteration 484 / 500
state 7 iteration 485 / 500
state 7 iteration 486 / 500
state 7 iteration 487 / 500
state 7 iteration 488 / 500
state 7 iteration 489 / 500
state 7 iteration 490 / 500
state 7 iteration 491 / 500
state 7 iteration 492 / 500
state 7 iteration 493 / 500
state 7 iteration 494 / 500
state 7 iteration 495 / 500
state 7 iteration 496 / 500
state 7 iteration 497 / 500
state 7 iteration 498 / 500
state 7 iteration 499 / 500
state 8 iteration 0 / 500
state 8 iteration 1 / 500
state 8 iteration 2 / 500
state 8 iteration 3 / 500
state 8 iteration 4 / 500
state 8 iteration 5 / 500
state 8 iteration 6 / 500
state 8 iteration 7 / 500
state 8 iteration 8 / 500
state 8 iteration 9 / 500
state 8 iteration 10 / 500
state 8 iteration 11 / 500
state 8 iteration 12 / 500
state 8 iteration 13 / 500
state 8 iteration 14 / 500
state 8 iteration 15 / 500
state 8 iteration 16 / 500
state 8 iteration 17 / 500
state 8 iteration 18 / 500
state 8 iteration 19 / 500
state 8 iteration 20 / 500
state 8 iteration 21 / 500
state 8 iteration 22 / 500
state 8 iteration 23 / 500
state 8 iteration 24 / 500
state 8 iteration 25 / 500
state 8 iteration 26 / 500
state 8 iteration 27 / 500
state 8 iteration 28 / 500
state 8 iteration 29 / 500
state 8 iteration 30 / 500
state 8 iteration 31 / 500
state 8 iteration 32 / 500
state 8 iteration 33 / 500
state 8 iteration 34 / 500
state 8 iteration 35 / 500
state 8 iteration 36 / 500
state 8 iteration 37 / 500
state 8 iteration 38 / 500
state 8 iteration 39 / 500
state 8 iteration 40 / 500
state 8 iteration 41 / 500
state 8 iteration 42 / 500
state 8 iteration 43 / 500
state 8 iteration 44 / 500
state 8 iteration 45 / 500
state 8 iteration 46 / 500
state 8 iteration 47 / 500
state 8 iteration 48 / 500
state 8 iteration 49 / 500
state 8 iteration 50 / 500
state 8 iteration 51 / 500
state 8 iteration 52 / 500
state 8 iteration 53 / 500
state 8 iteration 54 / 500
state 8 iteration 55 / 500
state 8 iteration 56 / 500
state 8 iteration 57 / 500
state 8 iteration 58 / 500
state 8 iteration 59 / 500
state 8 iteration 60 / 500
state 8 iteration 61 / 500
state 8 iteration 62 / 500
state 8 iteration 63 / 500
state 8 iteration 64 / 500
state 8 iteration 65 / 500
state 8 iteration 66 / 500
state 8 iteration 67 / 500
state 8 iteration 68 / 500
state 8 iteration 69 / 500
state 8 iteration 70 / 500
state 8 iteration 71 / 500
state 8 iteration 72 / 500
state 8 iteration 73 / 500
state 8 iteration 74 / 500
state 8 iteration 75 / 500
state 8 iteration 76 / 500
state 8 iteration 77 / 500
state 8 iteration 78 / 500
state 8 iteration 79 / 500
state 8 iteration 80 / 500
state 8 iteration 81 / 500
state 8 iteration 82 / 500
state 8 iteration 83 / 500
state 8 iteration 84 / 500
state 8 iteration 85 / 500
state 8 iteration 86 / 500
state 8 iteration 87 / 500
state 8 iteration 88 / 500
state 8 iteration 89 / 500
state 8 iteration 90 / 500
state 8 iteration 91 / 500
state 8 iteration 92 / 500
state 8 iteration 93 / 500
state 8 iteration 94 / 500
state 8 iteration 95 / 500
state 8 iteration 96 / 500
state 8 iteration 97 / 500
state 8 iteration 98 / 500
state 8 iteration 99 / 500
state 8 iteration 100 / 500
state 8 iteration 101 / 500
state 8 iteration 102 / 500
state 8 iteration 103 / 500
state 8 iteration 104 / 500
state 8 iteration 105 / 500
state 8 iteration 106 / 500
state 8 iteration 107 / 500
state 8 iteration 108 / 500
state 8 iteration 109 / 500
state 8 iteration 110 / 500
state 8 iteration 111 / 500
state 8 iteration 112 / 500
state 8 iteration 113 / 500
state 8 iteration 114 / 500
state 8 iteration 115 / 500
state 8 iteration 116 / 500
state 8 iteration 117 / 500
state 8 iteration 118 / 500
state 8 iteration 119 / 500
state 8 iteration 120 / 500
state 8 iteration 121 / 500
state 8 iteration 122 / 500
state 8 iteration 123 / 500
state 8 iteration 124 / 500
state 8 iteration 125 / 500
state 8 iteration 126 / 500
state 8 iteration 127 / 500
state 8 iteration 128 / 500
state 8 iteration 129 / 500
state 8 iteration 130 / 500
state 8 iteration 131 / 500
state 8 iteration 132 / 500
state 8 iteration 133 / 500
state 8 iteration 134 / 500
state 8 iteration 135 / 500
state 8 iteration 136 / 500
state 8 iteration 137 / 500
state 8 iteration 138 / 500
state 8 iteration 139 / 500
state 8 iteration 140 / 500
state 8 iteration 141 / 500
state 8 iteration 142 / 500
state 8 iteration 143 / 500
state 8 iteration 144 / 500
state 8 iteration 145 / 500
state 8 iteration 146 / 500
state 8 iteration 147 / 500
state 8 iteration 148 / 500
state 8 iteration 149 / 500
state 8 iteration 150 / 500
state 8 iteration 151 / 500
state 8 iteration 152 / 500
state 8 iteration 153 / 500
state 8 iteration 154 / 500
state 8 iteration 155 / 500
state 8 iteration 156 / 500
state 8 iteration 157 / 500
state 8 iteration 158 / 500
state 8 iteration 159 / 500
state 8 iteration 160 / 500
state 8 iteration 161 / 500
state 8 iteration 162 / 500
state 8 iteration 163 / 500
state 8 iteration 164 / 500
state 8 iteration 165 / 500
state 8 iteration 166 / 500
state 8 iteration 167 / 500
state 8 iteration 168 / 500
state 8 iteration 169 / 500
state 8 iteration 170 / 500
state 8 iteration 171 / 500
state 8 iteration 172 / 500
state 8 iteration 173 / 500
state 8 iteration 174 / 500
state 8 iteration 175 / 500
state 8 iteration 176 / 500
state 8 iteration 177 / 500
state 8 iteration 178 / 500
state 8 iteration 179 / 500
state 8 iteration 180 / 500
state 8 iteration 181 / 500
state 8 iteration 182 / 500
state 8 iteration 183 / 500
state 8 iteration 184 / 500
state 8 iteration 185 / 500
state 8 iteration 186 / 500
state 8 iteration 187 / 500
state 8 iteration 188 / 500
state 8 iteration 189 / 500
state 8 iteration 190 / 500
state 8 iteration 191 / 500
state 8 iteration 192 / 500
state 8 iteration 193 / 500
state 8 iteration 194 / 500
state 8 iteration 195 / 500
state 8 iteration 196 / 500
state 8 iteration 197 / 500
state 8 iteration 198 / 500
state 8 iteration 199 / 500
state 8 iteration 200 / 500
state 8 iteration 201 / 500
state 8 iteration 202 / 500
state 8 iteration 203 / 500
state 8 iteration 204 / 500
state 8 iteration 205 / 500
state 8 iteration 206 / 500
state 8 iteration 207 / 500
state 8 iteration 208 / 500
state 8 iteration 209 / 500
state 8 iteration 210 / 500
state 8 iteration 211 / 500
state 8 iteration 212 / 500
state 8 iteration 213 / 500
state 8 iteration 214 / 500
state 8 iteration 215 / 500
state 8 iteration 216 / 500
state 8 iteration 217 / 500
state 8 iteration 218 / 500
state 8 iteration 219 / 500
state 8 iteration 220 / 500
state 8 iteration 221 / 500
state 8 iteration 222 / 500
state 8 iteration 223 / 500
state 8 iteration 224 / 500
state 8 iteration 225 / 500
state 8 iteration 226 / 500
state 8 iteration 227 / 500
state 8 iteration 228 / 500
state 8 iteration 229 / 500
state 8 iteration 230 / 500
state 8 iteration 231 / 500
state 8 iteration 232 / 500
state 8 iteration 233 / 500
state 8 iteration 234 / 500
state 8 iteration 235 / 500
state 8 iteration 236 / 500
state 8 iteration 237 / 500
state 8 iteration 238 / 500
state 8 iteration 239 / 500
state 8 iteration 240 / 500
state 8 iteration 241 / 500
state 8 iteration 242 / 500
state 8 iteration 243 / 500
state 8 iteration 244 / 500
state 8 iteration 245 / 500
state 8 iteration 246 / 500
state 8 iteration 247 / 500
state 8 iteration 248 / 500
state 8 iteration 249 / 500
state 8 iteration 250 / 500
state 8 iteration 251 / 500
state 8 iteration 252 / 500
state 8 iteration 253 / 500
state 8 iteration 254 / 500
state 8 iteration 255 / 500
state 8 iteration 256 / 500
state 8 iteration 257 / 500
state 8 iteration 258 / 500
state 8 iteration 259 / 500
state 8 iteration 260 / 500
state 8 iteration 261 / 500
state 8 iteration 262 / 500
state 8 iteration 263 / 500
state 8 iteration 264 / 500
state 8 iteration 265 / 500
state 8 iteration 266 / 500
state 8 iteration 267 / 500
state 8 iteration 268 / 500
state 8 iteration 269 / 500
state 8 iteration 270 / 500
state 8 iteration 271 / 500
state 8 iteration 272 / 500
state 8 iteration 273 / 500
state 8 iteration 274 / 500
state 8 iteration 275 / 500
state 8 iteration 276 / 500
state 8 iteration 277 / 500
state 8 iteration 278 / 500
state 8 iteration 279 / 500
state 8 iteration 280 / 500
state 8 iteration 281 / 500
state 8 iteration 282 / 500
state 8 iteration 283 / 500
state 8 iteration 284 / 500
state 8 iteration 285 / 500
state 8 iteration 286 / 500
state 8 iteration 287 / 500
state 8 iteration 288 / 500
state 8 iteration 289 / 500
state 8 iteration 290 / 500
state 8 iteration 291 / 500
state 8 iteration 292 / 500
state 8 iteration 293 / 500
state 8 iteration 294 / 500
state 8 iteration 295 / 500
state 8 iteration 296 / 500
state 8 iteration 297 / 500
state 8 iteration 298 / 500
state 8 iteration 299 / 500
state 8 iteration 300 / 500
state 8 iteration 301 / 500
state 8 iteration 302 / 500
state 8 iteration 303 / 500
state 8 iteration 304 / 500
state 8 iteration 305 / 500
state 8 iteration 306 / 500
state 8 iteration 307 / 500
state 8 iteration 308 / 500
state 8 iteration 309 / 500
state 8 iteration 310 / 500
state 8 iteration 311 / 500
state 8 iteration 312 / 500
state 8 iteration 313 / 500
state 8 iteration 314 / 500
state 8 iteration 315 / 500
state 8 iteration 316 / 500
state 8 iteration 317 / 500
state 8 iteration 318 / 500
state 8 iteration 319 / 500
state 8 iteration 320 / 500
state 8 iteration 321 / 500
state 8 iteration 322 / 500
state 8 iteration 323 / 500
state 8 iteration 324 / 500
state 8 iteration 325 / 500
state 8 iteration 326 / 500
state 8 iteration 327 / 500
state 8 iteration 328 / 500
state 8 iteration 329 / 500
state 8 iteration 330 / 500
state 8 iteration 331 / 500
state 8 iteration 332 / 500
state 8 iteration 333 / 500
state 8 iteration 334 / 500
state 8 iteration 335 / 500
state 8 iteration 336 / 500
state 8 iteration 337 / 500
state 8 iteration 338 / 500
state 8 iteration 339 / 500
state 8 iteration 340 / 500
state 8 iteration 341 / 500
state 8 iteration 342 / 500
state 8 iteration 343 / 500
state 8 iteration 344 / 500
state 8 iteration 345 / 500
state 8 iteration 346 / 500
state 8 iteration 347 / 500
state 8 iteration 348 / 500
state 8 iteration 349 / 500
state 8 iteration 350 / 500
state 8 iteration 351 / 500
state 8 iteration 352 / 500
state 8 iteration 353 / 500
state 8 iteration 354 / 500
state 8 iteration 355 / 500
state 8 iteration 356 / 500
state 8 iteration 357 / 500
state 8 iteration 358 / 500
state 8 iteration 359 / 500
state 8 iteration 360 / 500
state 8 iteration 361 / 500
state 8 iteration 362 / 500
state 8 iteration 363 / 500
state 8 iteration 364 / 500
state 8 iteration 365 / 500
state 8 iteration 366 / 500
state 8 iteration 367 / 500
state 8 iteration 368 / 500
state 8 iteration 369 / 500
state 8 iteration 370 / 500
state 8 iteration 371 / 500
state 8 iteration 372 / 500
state 8 iteration 373 / 500
state 8 iteration 374 / 500
state 8 iteration 375 / 500
state 8 iteration 376 / 500
state 8 iteration 377 / 500
state 8 iteration 378 / 500
state 8 iteration 379 / 500
state 8 iteration 380 / 500
state 8 iteration 381 / 500
state 8 iteration 382 / 500
state 8 iteration 383 / 500
state 8 iteration 384 / 500
state 8 iteration 385 / 500
state 8 iteration 386 / 500
state 8 iteration 387 / 500
state 8 iteration 388 / 500
state 8 iteration 389 / 500
state 8 iteration 390 / 500
state 8 iteration 391 / 500
state 8 iteration 392 / 500
state 8 iteration 393 / 500
state 8 iteration 394 / 500
state 8 iteration 395 / 500
state 8 iteration 396 / 500
state 8 iteration 397 / 500
state 8 iteration 398 / 500
state 8 iteration 399 / 500
state 8 iteration 400 / 500
state 8 iteration 401 / 500
state 8 iteration 402 / 500
state 8 iteration 403 / 500
state 8 iteration 404 / 500
state 8 iteration 405 / 500
state 8 iteration 406 / 500
state 8 iteration 407 / 500
state 8 iteration 408 / 500
state 8 iteration 409 / 500
state 8 iteration 410 / 500
state 8 iteration 411 / 500
state 8 iteration 412 / 500
state 8 iteration 413 / 500
state 8 iteration 414 / 500
state 8 iteration 415 / 500
state 8 iteration 416 / 500
state 8 iteration 417 / 500
state 8 iteration 418 / 500
state 8 iteration 419 / 500
state 8 iteration 420 / 500
state 8 iteration 421 / 500
state 8 iteration 422 / 500
state 8 iteration 423 / 500
state 8 iteration 424 / 500
state 8 iteration 425 / 500
state 8 iteration 426 / 500
state 8 iteration 427 / 500
state 8 iteration 428 / 500
state 8 iteration 429 / 500
state 8 iteration 430 / 500
state 8 iteration 431 / 500
state 8 iteration 432 / 500
state 8 iteration 433 / 500
state 8 iteration 434 / 500
state 8 iteration 435 / 500
state 8 iteration 436 / 500
state 8 iteration 437 / 500
state 8 iteration 438 / 500
state 8 iteration 439 / 500
state 8 iteration 440 / 500
state 8 iteration 441 / 500
state 8 iteration 442 / 500
state 8 iteration 443 / 500
state 8 iteration 444 / 500
state 8 iteration 445 / 500
state 8 iteration 446 / 500
state 8 iteration 447 / 500
state 8 iteration 448 / 500
state 8 iteration 449 / 500
state 8 iteration 450 / 500
state 8 iteration 451 / 500
state 8 iteration 452 / 500
state 8 iteration 453 / 500
state 8 iteration 454 / 500
state 8 iteration 455 / 500
state 8 iteration 456 / 500
state 8 iteration 457 / 500
state 8 iteration 458 / 500
state 8 iteration 459 / 500
state 8 iteration 460 / 500
state 8 iteration 461 / 500
state 8 iteration 462 / 500
state 8 iteration 463 / 500
state 8 iteration 464 / 500
state 8 iteration 465 / 500
state 8 iteration 466 / 500
state 8 iteration 467 / 500
state 8 iteration 468 / 500
state 8 iteration 469 / 500
state 8 iteration 470 / 500
state 8 iteration 471 / 500
state 8 iteration 472 / 500
state 8 iteration 473 / 500
state 8 iteration 474 / 500
state 8 iteration 475 / 500
state 8 iteration 476 / 500
state 8 iteration 477 / 500
state 8 iteration 478 / 500
state 8 iteration 479 / 500
state 8 iteration 480 / 500
state 8 iteration 481 / 500
state 8 iteration 482 / 500
state 8 iteration 483 / 500
state 8 iteration 484 / 500
state 8 iteration 485 / 500
state 8 iteration 486 / 500
state 8 iteration 487 / 500
state 8 iteration 488 / 500
state 8 iteration 489 / 500
state 8 iteration 490 / 500
state 8 iteration 491 / 500
state 8 iteration 492 / 500
state 8 iteration 493 / 500
state 8 iteration 494 / 500
state 8 iteration 495 / 500
state 8 iteration 496 / 500
state 8 iteration 497 / 500
state 8 iteration 498 / 500
state 8 iteration 499 / 500
state 9 iteration 0 / 500
state 9 iteration 1 / 500
state 9 iteration 2 / 500
state 9 iteration 3 / 500
state 9 iteration 4 / 500
state 9 iteration 5 / 500
state 9 iteration 6 / 500
state 9 iteration 7 / 500
state 9 iteration 8 / 500
state 9 iteration 9 / 500
state 9 iteration 10 / 500
state 9 iteration 11 / 500
state 9 iteration 12 / 500
state 9 iteration 13 / 500
state 9 iteration 14 / 500
state 9 iteration 15 / 500
state 9 iteration 16 / 500
state 9 iteration 17 / 500
state 9 iteration 18 / 500
state 9 iteration 19 / 500
state 9 iteration 20 / 500
state 9 iteration 21 / 500
state 9 iteration 22 / 500
state 9 iteration 23 / 500
state 9 iteration 24 / 500
state 9 iteration 25 / 500
state 9 iteration 26 / 500
state 9 iteration 27 / 500
state 9 iteration 28 / 500
state 9 iteration 29 / 500
state 9 iteration 30 / 500
state 9 iteration 31 / 500
state 9 iteration 32 / 500
state 9 iteration 33 / 500
state 9 iteration 34 / 500
state 9 iteration 35 / 500
state 9 iteration 36 / 500
state 9 iteration 37 / 500
state 9 iteration 38 / 500
state 9 iteration 39 / 500
state 9 iteration 40 / 500
state 9 iteration 41 / 500
state 9 iteration 42 / 500
state 9 iteration 43 / 500
state 9 iteration 44 / 500
state 9 iteration 45 / 500
state 9 iteration 46 / 500
state 9 iteration 47 / 500
state 9 iteration 48 / 500
state 9 iteration 49 / 500
state 9 iteration 50 / 500
state 9 iteration 51 / 500
state 9 iteration 52 / 500
state 9 iteration 53 / 500
state 9 iteration 54 / 500
state 9 iteration 55 / 500
state 9 iteration 56 / 500
state 9 iteration 57 / 500
state 9 iteration 58 / 500
state 9 iteration 59 / 500
state 9 iteration 60 / 500
state 9 iteration 61 / 500
state 9 iteration 62 / 500
state 9 iteration 63 / 500
state 9 iteration 64 / 500
state 9 iteration 65 / 500
state 9 iteration 66 / 500
state 9 iteration 67 / 500
state 9 iteration 68 / 500
state 9 iteration 69 / 500
state 9 iteration 70 / 500
state 9 iteration 71 / 500
state 9 iteration 72 / 500
state 9 iteration 73 / 500
state 9 iteration 74 / 500
state 9 iteration 75 / 500
state 9 iteration 76 / 500
state 9 iteration 77 / 500
state 9 iteration 78 / 500
state 9 iteration 79 / 500
state 9 iteration 80 / 500
state 9 iteration 81 / 500
state 9 iteration 82 / 500
state 9 iteration 83 / 500
state 9 iteration 84 / 500
state 9 iteration 85 / 500
state 9 iteration 86 / 500
state 9 iteration 87 / 500
state 9 iteration 88 / 500
state 9 iteration 89 / 500
state 9 iteration 90 / 500
state 9 iteration 91 / 500
state 9 iteration 92 / 500
state 9 iteration 93 / 500
state 9 iteration 94 / 500
state 9 iteration 95 / 500
state 9 iteration 96 / 500
state 9 iteration 97 / 500
state 9 iteration 98 / 500
state 9 iteration 99 / 500
state 9 iteration 100 / 500
state 9 iteration 101 / 500
state 9 iteration 102 / 500
state 9 iteration 103 / 500
state 9 iteration 104 / 500
state 9 iteration 105 / 500
state 9 iteration 106 / 500
state 9 iteration 107 / 500
state 9 iteration 108 / 500
state 9 iteration 109 / 500
state 9 iteration 110 / 500
state 9 iteration 111 / 500
state 9 iteration 112 / 500
state 9 iteration 113 / 500
state 9 iteration 114 / 500
state 9 iteration 115 / 500
state 9 iteration 116 / 500
state 9 iteration 117 / 500
state 9 iteration 118 / 500
state 9 iteration 119 / 500
state 9 iteration 120 / 500
state 9 iteration 121 / 500
state 9 iteration 122 / 500
state 9 iteration 123 / 500
state 9 iteration 124 / 500
state 9 iteration 125 / 500
state 9 iteration 126 / 500
state 9 iteration 127 / 500
state 9 iteration 128 / 500
state 9 iteration 129 / 500
state 9 iteration 130 / 500
state 9 iteration 131 / 500
state 9 iteration 132 / 500
state 9 iteration 133 / 500
state 9 iteration 134 / 500
state 9 iteration 135 / 500
state 9 iteration 136 / 500
state 9 iteration 137 / 500
state 9 iteration 138 / 500
state 9 iteration 139 / 500
state 9 iteration 140 / 500
state 9 iteration 141 / 500
state 9 iteration 142 / 500
state 9 iteration 143 / 500
state 9 iteration 144 / 500
state 9 iteration 145 / 500
state 9 iteration 146 / 500
state 9 iteration 147 / 500
state 9 iteration 148 / 500
state 9 iteration 149 / 500
state 9 iteration 150 / 500
state 9 iteration 151 / 500
state 9 iteration 152 / 500
state 9 iteration 153 / 500
state 9 iteration 154 / 500
state 9 iteration 155 / 500
state 9 iteration 156 / 500
state 9 iteration 157 / 500
state 9 iteration 158 / 500
state 9 iteration 159 / 500
state 9 iteration 160 / 500
state 9 iteration 161 / 500
state 9 iteration 162 / 500
state 9 iteration 163 / 500
state 9 iteration 164 / 500
state 9 iteration 165 / 500
state 9 iteration 166 / 500
state 9 iteration 167 / 500
state 9 iteration 168 / 500
state 9 iteration 169 / 500
state 9 iteration 170 / 500
state 9 iteration 171 / 500
state 9 iteration 172 / 500
state 9 iteration 173 / 500
state 9 iteration 174 / 500
state 9 iteration 175 / 500
state 9 iteration 176 / 500
state 9 iteration 177 / 500
state 9 iteration 178 / 500
state 9 iteration 179 / 500
state 9 iteration 180 / 500
state 9 iteration 181 / 500
state 9 iteration 182 / 500
state 9 iteration 183 / 500
state 9 iteration 184 / 500
state 9 iteration 185 / 500
state 9 iteration 186 / 500
state 9 iteration 187 / 500
state 9 iteration 188 / 500
state 9 iteration 189 / 500
state 9 iteration 190 / 500
state 9 iteration 191 / 500
state 9 iteration 192 / 500
state 9 iteration 193 / 500
state 9 iteration 194 / 500
state 9 iteration 195 / 500
state 9 iteration 196 / 500
state 9 iteration 197 / 500
state 9 iteration 198 / 500
state 9 iteration 199 / 500
state 9 iteration 200 / 500
state 9 iteration 201 / 500
state 9 iteration 202 / 500
state 9 iteration 203 / 500
state 9 iteration 204 / 500
state 9 iteration 205 / 500
state 9 iteration 206 / 500
state 9 iteration 207 / 500
state 9 iteration 208 / 500
state 9 iteration 209 / 500
state 9 iteration 210 / 500
state 9 iteration 211 / 500
state 9 iteration 212 / 500
state 9 iteration 213 / 500
state 9 iteration 214 / 500
state 9 iteration 215 / 500
state 9 iteration 216 / 500
state 9 iteration 217 / 500
state 9 iteration 218 / 500
state 9 iteration 219 / 500
state 9 iteration 220 / 500
state 9 iteration 221 / 500
state 9 iteration 222 / 500
state 9 iteration 223 / 500
state 9 iteration 224 / 500
state 9 iteration 225 / 500
state 9 iteration 226 / 500
state 9 iteration 227 / 500
state 9 iteration 228 / 500
state 9 iteration 229 / 500
state 9 iteration 230 / 500
state 9 iteration 231 / 500
state 9 iteration 232 / 500
state 9 iteration 233 / 500
state 9 iteration 234 / 500
state 9 iteration 235 / 500
state 9 iteration 236 / 500
state 9 iteration 237 / 500
state 9 iteration 238 / 500
state 9 iteration 239 / 500
state 9 iteration 240 / 500
state 9 iteration 241 / 500
state 9 iteration 242 / 500
state 9 iteration 243 / 500
state 9 iteration 244 / 500
state 9 iteration 245 / 500
state 9 iteration 246 / 500
state 9 iteration 247 / 500
state 9 iteration 248 / 500
state 9 iteration 249 / 500
state 9 iteration 250 / 500
state 9 iteration 251 / 500
state 9 iteration 252 / 500
state 9 iteration 253 / 500
state 9 iteration 254 / 500
state 9 iteration 255 / 500
state 9 iteration 256 / 500
state 9 iteration 257 / 500
state 9 iteration 258 / 500
state 9 iteration 259 / 500
state 9 iteration 260 / 500
state 9 iteration 261 / 500
state 9 iteration 262 / 500
state 9 iteration 263 / 500
state 9 iteration 264 / 500
state 9 iteration 265 / 500
state 9 iteration 266 / 500
state 9 iteration 267 / 500
state 9 iteration 268 / 500
state 9 iteration 269 / 500
state 9 iteration 270 / 500
state 9 iteration 271 / 500
state 9 iteration 272 / 500
state 9 iteration 273 / 500
state 9 iteration 274 / 500
state 9 iteration 275 / 500
state 9 iteration 276 / 500
state 9 iteration 277 / 500
state 9 iteration 278 / 500
state 9 iteration 279 / 500
state 9 iteration 280 / 500
state 9 iteration 281 / 500
state 9 iteration 282 / 500
state 9 iteration 283 / 500
state 9 iteration 284 / 500
state 9 iteration 285 / 500
state 9 iteration 286 / 500
state 9 iteration 287 / 500
state 9 iteration 288 / 500
state 9 iteration 289 / 500
state 9 iteration 290 / 500
state 9 iteration 291 / 500
state 9 iteration 292 / 500
state 9 iteration 293 / 500
state 9 iteration 294 / 500
state 9 iteration 295 / 500
state 9 iteration 296 / 500
state 9 iteration 297 / 500
state 9 iteration 298 / 500
state 9 iteration 299 / 500
state 9 iteration 300 / 500
state 9 iteration 301 / 500
state 9 iteration 302 / 500
state 9 iteration 303 / 500
state 9 iteration 304 / 500
state 9 iteration 305 / 500
state 9 iteration 306 / 500
state 9 iteration 307 / 500
state 9 iteration 308 / 500
state 9 iteration 309 / 500
state 9 iteration 310 / 500
state 9 iteration 311 / 500
state 9 iteration 312 / 500
state 9 iteration 313 / 500
state 9 iteration 314 / 500
state 9 iteration 315 / 500
state 9 iteration 316 / 500
state 9 iteration 317 / 500
state 9 iteration 318 / 500
state 9 iteration 319 / 500
state 9 iteration 320 / 500
state 9 iteration 321 / 500
state 9 iteration 322 / 500
state 9 iteration 323 / 500
state 9 iteration 324 / 500
state 9 iteration 325 / 500
state 9 iteration 326 / 500
state 9 iteration 327 / 500
state 9 iteration 328 / 500
state 9 iteration 329 / 500
state 9 iteration 330 / 500
state 9 iteration 331 / 500
state 9 iteration 332 / 500
state 9 iteration 333 / 500
state 9 iteration 334 / 500
state 9 iteration 335 / 500
state 9 iteration 336 / 500
state 9 iteration 337 / 500
state 9 iteration 338 / 500
state 9 iteration 339 / 500
state 9 iteration 340 / 500
state 9 iteration 341 / 500
state 9 iteration 342 / 500
state 9 iteration 343 / 500
state 9 iteration 344 / 500
state 9 iteration 345 / 500
state 9 iteration 346 / 500
state 9 iteration 347 / 500
state 9 iteration 348 / 500
state 9 iteration 349 / 500
state 9 iteration 350 / 500
state 9 iteration 351 / 500
state 9 iteration 352 / 500
state 9 iteration 353 / 500
state 9 iteration 354 / 500
state 9 iteration 355 / 500
state 9 iteration 356 / 500
state 9 iteration 357 / 500
state 9 iteration 358 / 500
state 9 iteration 359 / 500
state 9 iteration 360 / 500
state 9 iteration 361 / 500
state 9 iteration 362 / 500
state 9 iteration 363 / 500
state 9 iteration 364 / 500
state 9 iteration 365 / 500
state 9 iteration 366 / 500
state 9 iteration 367 / 500
state 9 iteration 368 / 500
state 9 iteration 369 / 500
state 9 iteration 370 / 500
state 9 iteration 371 / 500
state 9 iteration 372 / 500
state 9 iteration 373 / 500
state 9 iteration 374 / 500
state 9 iteration 375 / 500
state 9 iteration 376 / 500
state 9 iteration 377 / 500
state 9 iteration 378 / 500
state 9 iteration 379 / 500
state 9 iteration 380 / 500
state 9 iteration 381 / 500
state 9 iteration 382 / 500
state 9 iteration 383 / 500
state 9 iteration 384 / 500
state 9 iteration 385 / 500
state 9 iteration 386 / 500
state 9 iteration 387 / 500
state 9 iteration 388 / 500
state 9 iteration 389 / 500
state 9 iteration 390 / 500
state 9 iteration 391 / 500
state 9 iteration 392 / 500
state 9 iteration 393 / 500
state 9 iteration 394 / 500
state 9 iteration 395 / 500
state 9 iteration 396 / 500
state 9 iteration 397 / 500
state 9 iteration 398 / 500
state 9 iteration 399 / 500
state 9 iteration 400 / 500
state 9 iteration 401 / 500
state 9 iteration 402 / 500
state 9 iteration 403 / 500
state 9 iteration 404 / 500
state 9 iteration 405 / 500
state 9 iteration 406 / 500
state 9 iteration 407 / 500
state 9 iteration 408 / 500
state 9 iteration 409 / 500
state 9 iteration 410 / 500
state 9 iteration 411 / 500
state 9 iteration 412 / 500
state 9 iteration 413 / 500
state 9 iteration 414 / 500
state 9 iteration 415 / 500
state 9 iteration 416 / 500
state 9 iteration 417 / 500
state 9 iteration 418 / 500
state 9 iteration 419 / 500
state 9 iteration 420 / 500
state 9 iteration 421 / 500
state 9 iteration 422 / 500
state 9 iteration 423 / 500
state 9 iteration 424 / 500
state 9 iteration 425 / 500
state 9 iteration 426 / 500
state 9 iteration 427 / 500
state 9 iteration 428 / 500
state 9 iteration 429 / 500
state 9 iteration 430 / 500
state 9 iteration 431 / 500
state 9 iteration 432 / 500
state 9 iteration 433 / 500
state 9 iteration 434 / 500
state 9 iteration 435 / 500
state 9 iteration 436 / 500
state 9 iteration 437 / 500
state 9 iteration 438 / 500
state 9 iteration 439 / 500
state 9 iteration 440 / 500
state 9 iteration 441 / 500
state 9 iteration 442 / 500
state 9 iteration 443 / 500
state 9 iteration 444 / 500
state 9 iteration 445 / 500
state 9 iteration 446 / 500
state 9 iteration 447 / 500
state 9 iteration 448 / 500
state 9 iteration 449 / 500
state 9 iteration 450 / 500
state 9 iteration 451 / 500
state 9 iteration 452 / 500
state 9 iteration 453 / 500
state 9 iteration 454 / 500
state 9 iteration 455 / 500
state 9 iteration 456 / 500
state 9 iteration 457 / 500
state 9 iteration 458 / 500
state 9 iteration 459 / 500
state 9 iteration 460 / 500
state 9 iteration 461 / 500
state 9 iteration 462 / 500
state 9 iteration 463 / 500
state 9 iteration 464 / 500
state 9 iteration 465 / 500
state 9 iteration 466 / 500
state 9 iteration 467 / 500
state 9 iteration 468 / 500
state 9 iteration 469 / 500
state 9 iteration 470 / 500
state 9 iteration 471 / 500
state 9 iteration 472 / 500
state 9 iteration 473 / 500
state 9 iteration 474 / 500
state 9 iteration 475 / 500
state 9 iteration 476 / 500
state 9 iteration 477 / 500
state 9 iteration 478 / 500
state 9 iteration 479 / 500
state 9 iteration 480 / 500
state 9 iteration 481 / 500
state 9 iteration 482 / 500
state 9 iteration 483 / 500
state 9 iteration 484 / 500
state 9 iteration 485 / 500
state 9 iteration 486 / 500
state 9 iteration 487 / 500
state 9 iteration 488 / 500
state 9 iteration 489 / 500
state 9 iteration 490 / 500
state 9 iteration 491 / 500
state 9 iteration 492 / 500
state 9 iteration 493 / 500
state 9 iteration 494 / 500
state 9 iteration 495 / 500
state 9 iteration 496 / 500
state 9 iteration 497 / 500
state 9 iteration 498 / 500
state 9 iteration 499 / 500
Analyzing the data with MBAR¶
Finally, the multistate Bennett acceptance ratio (MBAR) is used to estimate the free energy of annihilating the particle using the conda-installable pymbar package. In order to estimate how much data must be discarded to equilibration, we use a scheme for automated equilibration detection and subsequent extraction of decorrelated samples found in the pymbar.timeseries module.
[4]:
# Estimate free energy of Lennard-Jones particle insertion
from pymbar import MBAR, timeseries
## Subsample data to extract uncorrelated equilibrium timeseries
N_k = np.zeros([nstates], np.int32) # number of uncorrelated samples
for k in range(nstates):
[nequil, g, Neff_max] = timeseries.detectEquilibration(u_kln[k,k,:])
indices = timeseries.subsampleCorrelatedData(u_kln[k,k,:], g=g)
N_k[k] = len(indices)
u_kln[k,:,0:N_k[k]] = u_kln[k,:,indices].T
# Compute free energy differences
mbar = MBAR(u_kln, N_k)
# dont compute uncertainties here, if you do it may fail with an error for
# pymbar versions > 3.0.3. See this issue: https://github.com/choderalab/pymbar/issues/419
[DeltaF_ij] = mbar.getFreeEnergyDifferences(compute_uncertainty=False)
[DeltaF_ij, error] = mbar.getFreeEnergyDifferences(compute_uncertainty=True)
print("Free energy change to insert a particle = ",DeltaF_ij[nstates-1][0])
Free energy change to insert a particle = -0.01496605773120585