\||||||||||||||||||/
		   --- Welcome to Maude ---
		     /||||||||||||||||||\
	    Maude 2.3 built: Feb 14 2007 17:53:50
	    Copyright 1997-2007 SRI International
		   Fri Nov  2 03:40:48 2007

	     Full Maude 2.3 `(February 12th`, 2007`)

	  Real-Time Maude 2.3 extension May 2, 2007

rewrites: 17948 in 49ms cpu (50ms real) (359010 rewrites/second)
Introduced module OGDC-PARAMETERS

rewrites: 17795 in 41ms cpu (42ms real) (423751 rewrites/second)
Introduced module OGDC-SORTS

rewrites: 24048 in 51ms cpu (51ms real) (462532 rewrites/second)
Introduced module OGDC-BITMAP

rewrites: 40702 in 84ms cpu (83ms real) (478920 rewrites/second)
Introduced module OGDC-COVERAGE-OPERATIONS

rewrites: 2898 in 9ms cpu (8ms real) (289857 rewrites/second)
Introduced module OUR-RANDOM

rewrites: 33626 in 75ms cpu (74ms real) (442511 rewrites/second)
Introduced module OGDC-TC

rewrites: 29063 in 45ms cpu (46ms real) (631900 rewrites/second)

Introduced timed module: OGDC-NODE-AND-MESSAGE-DEFINITIONS

rewrites: 72482 in 150ms cpu (150ms real) (480086 rewrites/second)

Introduced timed module: OGDC

rewrites: 51143 in 110ms cpu (112ms real) (460818 rewrites/second)

Introduced timed module: OGDC-RTM

rewrites: 86055 in 173ms cpu (173ms real) (494645 rewrites/second)

Introduced timed module: OGDC-ANALYSIS

rewrites: 280 in 17ms cpu (17ms real) (15558 rewrites/second)

Tick mode set to maximal time increase mode with default for INF

rewrites: 259994538 in 361842ms cpu (361863ms real) (718528 rewrites/second)

Find earliest {C:Configuration} in OGDC-ANALYSIS such that 
	{genInitConf(5,97)} =>* {C:Configuration} 
with mode maximal time increase with default roundTime :

Result:	{dly(msg powerOnWithDirection -1 from -693 . -1189 to -383 . -290,
    7)dly(msg powerOnWithDirection -1 from -693 . -1189 to 336 . -144,7)dly(msg
    powerOnWithDirection -1 from -693 . -1189 to 661 . -1158,7)dly(msg
    powerOnWithDirection -1 from -693 . -1189 to 1148 . -687,7)< Random :
    RandomNGen | seed : 6588 > < -383 . -290 : WSNode | backoffTimer : INF,
    bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f f f f ' ' ' ' ' ' | 
| ' ' ' ' f f f f f f f f f f f f f ' ' ' ' | 
| ' ' ' f f f f f f f f f f f f f f f ' ' ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f f | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' ' f f f f f f f f f f f f f f f ' ' ' | 
| ' ' ' ' f f f f f f f f f f f f f ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f f f f ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : true,neighbors
    : none,remainingPower : 1999931600,roundTimer : 999864,status : on,
    uncoveredCrossings : none,volunteerProb : 200 > < -693 . -1189 : WSNode |
    backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t ' ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f f f t t t t t t t t t t t t ' | 
| ' ' ' ' ' f f f f t t t t t t t t t t t t | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((-383 . -290 starting true)(336 . -144 starting false)(661 . -1158
    starting false)1148 . -687 starting false),remainingPower : 1999931600,
    roundTimer : 999864,status : on,uncoveredCrossings : 661 . -1158 x -383 .
    -290 in -329 . -1288,volunteerProb : 400 > < 336 . -144 : WSNode |
    backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f f f f ' ' ' ' ' ' | 
| ' ' ' ' t t t f f f f f f f f f f ' ' ' ' | 
| ' ' ' t t t t t t f f f f f f f f f ' ' ' | 
| ' ' t t t t t t t t f f f f f f f f f ' ' | 
| ' ' t t t t t t t t t f f f f f f f f ' ' | 
| ' t t t t t t t t t t t f f f t t t t t ' | 
| ' t t t t t t t t t t t f t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| t t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' ' t t t t t t t t t t t t t t t t t ' ' | 
| ' ' t t t t t t t t t t t t t t t t t ' ' | 
| ' ' ' t t t t t t t t t t t t t t t ' ' ' | 
| ' ' ' ' t t t t t t t t t t t t t ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((-383 . -290 starting true)(661 . -1158 starting false)1148 . -687
    starting false),remainingPower : 1999931600,roundTimer : 999864,status :
    on,uncoveredCrossings : 1148 . -687 x -383 . -290 in 537 . 104,
    volunteerProb : 400 > < 661 . -1158 : WSNode | backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' t t t t t t t t t t t t ' ' ' ' ' | 
| ' ' ' t t t t t t t t t t t t t ' ' ' ' ' | 
| ' ' t t t t t t t t t t t t t t ' ' ' ' ' | 
| ' ' t t t t t t t t t t t t t t ' ' ' ' ' | 
| ' t t t t t t t t t t t t t t t ' ' ' ' ' | 
| ' t t t t t t t t t t t t t t t ' ' ' ' ' | 
| ' t t t t t t t t t t t t t t t ' ' ' ' ' | 
| ' t t t t t t t t t t t t t t t ' ' ' ' ' | 
| t t t t t f f t t t t t t t t t ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((-383 . -290 starting true)1148 . -687 starting false),remainingPower :
    1999931600,roundTimer : 999864,status : on,uncoveredCrossings : 1148 . -687
    x -383 . -290 in 230 . -1080,volunteerProb : 400 > < 1148 . -687 : WSNode |
    backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t t t f f f f f f f ' ' ' ' ' ' ' ' ' | 
| t t t t f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t t f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t t f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' t f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    : -383 . -290 starting true,remainingPower : 1999931600,roundTimer :
    999864,status : on,uncoveredCrossings : none,volunteerProb : 400 >} in time
    136

rewrites: 29054573 in 67930ms cpu (67928ms real) (427709 rewrites/second)

Find latest {C:Configuration} in OGDC-ANALYSIS such that
	{genInitConf(5,97)} =>* {C:Configuration} 
in time <= roundTime with mode maximal time increase with default roundTime :

Result:	{dly(msg powerOnWithDirection -1 from 336 . -144 to -383 . -290,7)dly(
    msg powerOnWithDirection -1 from 336 . -144 to -693 . -1189,7)dly(msg
    powerOnWithDirection -1 from 336 . -144 to 661 . -1158,7)dly(msg
    powerOnWithDirection -1 from 336 . -144 to 1148 . -687,7)< Random :
    RandomNGen | seed : 6588 > < -383 . -290 : WSNode | backoffTimer : INF,
    bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f f f f ' ' ' ' ' ' | 
| ' ' ' ' f f f f f f f f f f f f f ' ' ' ' | 
| ' ' ' f f f f f f f f f f f f f f f ' ' ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' f f f f f f f f f f f f f f f f f ' ' | 
| ' ' f f f f f f f f f f f f f f f f f f ' | 
| ' ' f f f f f f f f f f f f f f f f f t ' | 
| ' ' f f f f f f f f f f f f f f f f t t ' | 
| ' ' f f f f f f f f f f f f f f f t t t ' | 
| ' ' f f f f f f f f f f f f f f t t t t t | 
| ' ' f f f f f f f f f f f f f t t t t t ' | 
| ' ' f f f f f f f f f f f t t t t t t t ' | 
| ' ' f f f f f f f f f f f t t t t t t t ' | 
| ' ' f f f f f f f f f f t t t t t t t t ' | 
| ' ' f f f f f f f f f f t t t t t t t ' ' | 
| ' ' f f f f f f f f f t t t t t t t t ' ' | 
| ' ' ' f f f f f f f f t t t t t t t ' ' ' | 
| ' ' ' ' f f f f f f f t t t t t t ' ' ' ' | 
| ' ' ' ' ' ' f f f f f t t t t ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((661 . -1158 starting false)1148 . -687 starting true),remainingPower :
    1999824000,roundTimer : 999595,status : on,uncoveredCrossings : 661 . -1158
    x 1148 . -687 in 251 . -246,volunteerProb : 400 > < -693 . -1189 : WSNode |
    backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t ' ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t ' ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t ' ' | 
| ' ' ' ' ' t t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f t t t t t t t t t t t t t t ' | 
| ' ' ' ' ' f f f t t t t t t t t t t t t ' | 
| ' ' ' ' ' f f f f t t t t t t t t t t t t | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((-383 . -290 starting false)(661 . -1158 starting false)1148 . -687
    starting true),remainingPower : 1999824000,roundTimer : 999595,status : on,
    uncoveredCrossings : -383 . -290 x 661 . -1158 in -329 . -1288,
    volunteerProb : 400 > < 336 . -144 : WSNode | backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f f f f ' ' ' ' ' ' | 
| ' ' ' ' t t t f f f f f f f f f f ' ' ' ' | 
| ' ' ' t t t t t t f f f f f f f f f ' ' ' | 
| ' ' t t t t t t t t f f f f f f f f f ' ' | 
| ' ' t t t t t t t t t f f f f f f f f ' ' | 
| ' t t t t t t t t t t t f f f t t t t t ' | 
| ' t t t t t t t t t t t f t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| t t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' t t t t t t t t t t t t t t t t t t t ' | 
| ' ' t t t t t t t t t t t t t t t t t ' ' | 
| ' ' t t t t t t t t t t t t t t t t t ' ' | 
| ' ' ' t t t t t t t t t t t t t t t ' ' ' | 
| ' ' ' ' t t t t t t t t t t t t t ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    :((-383 . -290 starting false)(-693 . -1189 starting false)(661 . -1158
    starting false)1148 . -687 starting true),remainingPower : 1999824000,
    roundTimer : 999595,status : on,uncoveredCrossings : -383 . -290 x 1148 .
    -687 in 537 . 104,volunteerProb : 400 > < 661 . -1158 : WSNode |
    backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' t ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' t t t t t t t t t ' ' ' ' ' ' | 
| ' ' ' ' f f t t t t t t t t t t ' ' ' ' ' | 
| ' ' ' f f f t t t t t t t t t t ' ' ' ' ' | 
| ' ' f f f t t t t t t t t t t t ' ' ' ' ' | 
| ' ' f f f t t t t t t t t t t t ' ' ' ' ' | 
| ' f f f f t t t t t t t t t t t ' ' ' ' ' | 
| ' f f f f f t t t t t t t t t t ' ' ' ' ' | 
| ' f f f f f t t t t t t t t t t ' ' ' ' ' | 
| ' f f f f f t t t t t t t t t t ' ' ' ' ' | 
| f f f f f f f t t t t t t t t t ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : false,neighbors
    : 1148 . -687 starting true,remainingPower : 1999824000,roundTimer :
    999595,status : on,uncoveredCrossings : none,volunteerProb : 400 > < 1148 .
    -687 : WSNode | backoffTimer : INF,bitmap :(
| ' ' ' ' ' ' ' ' ' ' f ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| f f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' f f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' f f f f f f f f f f ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' | 
| ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' |),hasVolunteered : true,neighbors
    : none,remainingPower : 1999824000,roundTimer : 999595,status : on,
    uncoveredCrossings : none,volunteerProb : 200 >} in time 405

Bye.