MCC'2019 - Execution of r181-csrt-155344535100345

About the Execution of LoLA for NoC3x3-PT-7A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12144.810	3571478.00	7227120.00	239.90	[undef]	Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535100345.qcow2', fmt=qcow2 size=4294967296 backing_file
Waiting for the VM to be ready (probing ssh)
............................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is NoC3x3-PT-7A, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535100345
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 4.1K Mar 23 12:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 12:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 23 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.2K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.2K Mar 23 12:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 12:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 355K Mar 23 10:10 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-7A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554502038130

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ NoC3x3-PT-7A @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ NoC3x3-PT-7A

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Apr 5 22:07:18 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 12183524,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 4519,
"conflict_clusters": 315,
"places": 801,
"places_significant": 690,
"singleton_clusters": 0,
"transitions": 1544
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 206158430208.000000,
"composed": 1,
"dead_branches": 0,
"generators": 38,
"interrupted": false,
"real_computed": 37,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2345/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 801
lola: finding significant places
lola: 801 places, 1544 transitions, 690 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 38 generators (37 in search tree, 1 by composition)
lola: representing 2.06158E+11 symmetries
lola: 0 dead branches visited in search tree
lola: 4 tries, 3652494 fired transitions, 0 secs || 75489 markings, 115964 edges,
lola: 8 tries, 7323696 fired transitions, 5 secs || 165487 markings, 260816 edges,
lola: 11 tries, 10988296 fired transitions, 10 secs || 264679 markings, 414382 edges,
lola: 15 tries, 14723060 fired transitions, 15 secs || 360135 markings, 583010 edges,
lola: 19 tries, 18494614 fired transitions, 20 secs || 450707 markings, 724808 edges,
lola: 22 tries, 21833265 fired transitions, 25 secs || 529806 markings, 847627 edges,
lola: 26 tries, 25580933 fired transitions, 30 secs || 620833 markings, 982903 edges,
lola: 30 tries, 29421933 fired transitions, 35 secs || 714837 markings, 1124482 edges,
lola: 34 tries, 33261765 fired transitions, 40 secs || 808402 markings, 1267640 edges,
lola: 38 tries, 37025518 fired transitions, 45 secs || 899611 markings, 1407206 edges,
lola: 41 tries, 40842734 fired transitions, 50 secs || 992170 markings, 1548824 edges,
lola: 45 tries, 44663660 fired transitions, 55 secs || 1085796 markings, 1691772 edges,
lola: 49 tries, 48471439 fired transitions, 60 secs || 1178657 markings, 1834291 edges,
lola: 53 tries, 52280373 fired transitions, 65 secs || 1271486 markings, 1976327 edges,
lola: 57 tries, 56038119 fired transitions, 70 secs || 1362921 markings, 2115625 edges,
lola: 60 tries, 59814664 fired transitions, 75 secs || 1454175 markings, 2255068 edges,
lola: 64 tries, 63622264 fired transitions, 80 secs || 1546614 markings, 2396558 edges,
lola: 68 tries, 67090760 fired transitions, 85 secs || 1628344 markings, 2520855 edges,
lola: 71 tries, 70728315 fired transitions, 90 secs || 1716163 markings, 2655558 edges,
lola: 75 tries, 74518438 fired transitions, 95 secs || 1804078 markings, 2788807 edges,
lola: 79 tries, 78416398 fired transitions, 100 secs || 1878120 markings, 2907592 edges,
lola: 83 tries, 82196807 fired transitions, 105 secs || 1956417 markings, 3034177 edges,
lola: 87 tries, 86233122 fired transitions, 110 secs || 2047068 markings, 3202875 edges,
lola: 91 tries, 90371958 fired transitions, 115 secs || 2138186 markings, 3353661 edges,
lola: 95 tries, 94424914 fired transitions, 120 secs || 2230078 markings, 3498708 edges,
lola: 99 tries, 98431858 fired transitions, 125 secs || 2319720 markings, 3647298 edges,
lola: 103 tries, 102392683 fired transitions, 130 secs || 2415174 markings, 3805826 edges,
lola: 107 tries, 106631670 fired transitions, 135 secs || 2508266 markings, 3961015 edges,
lola: 111 tries, 110482676 fired transitions, 140 secs || 2600275 markings, 4115185 edges,
lola: 115 tries, 114561464 fired transitions, 145 secs || 2697265 markings, 4277038 edges,
lola: 119 tries, 118665784 fired transitions, 150 secs || 2797005 markings, 4442480 edges,
lola: 124 tries, 123098425 fired transitions, 155 secs || 2888854 markings, 4596573 edges,
lola: 128 tries, 127434004 fired transitions, 160 secs || 2985332 markings, 4759774 edges,
lola: 132 tries, 131528892 fired transitions, 165 secs || 3082390 markings, 4920793 edges,
lola: 136 tries, 135769419 fired transitions, 170 secs || 3164119 markings, 5057366 edges,
lola: 140 tries, 139440569 fired transitions, 175 secs || 3254567 markings, 5206373 edges,
lola: 144 tries, 143057678 fired transitions, 180 secs || 3365273 markings, 5389898 edges,
lola: 147 tries, 146677669 fired transitions, 185 secs || 3468546 markings, 5560369 edges,
lola: 151 tries, 150527036 fired transitions, 190 secs || 3566005 markings, 5720989 edges,
lola: 155 tries, 154145697 fired transitions, 195 secs || 3661442 markings, 5879146 edges,
lola: 158 tries, 157907667 fired transitions, 200 secs || 3759832 markings, 6038929 edges,
lola: 162 tries, 161772356 fired transitions, 205 secs || 3859926 markings, 6205586 edges,
lola: 166 tries, 165625279 fired transitions, 210 secs || 3957529 markings, 6366030 edges,
lola: 170 tries, 169475727 fired transitions, 215 secs || 4053007 markings, 6523420 edges,
lola: 174 tries, 173476849 fired transitions, 220 secs || 4146012 markings, 6676637 edges,
lola: 178 tries, 177653594 fired transitions, 225 secs || 4232552 markings, 6819565 edges,
lola: 183 tries, 182125222 fired transitions, 230 secs || 4320232 markings, 6965298 edges,
lola: 187 tries, 186556443 fired transitions, 235 secs || 4407077 markings, 7109676 edges,
lola: 191 tries, 190609663 fired transitions, 240 secs || 4496668 markings, 7259065 edges,
lola: 195 tries, 194448556 fired transitions, 245 secs || 4596378 markings, 7427246 edges,
lola: 199 tries, 198184831 fired transitions, 250 secs || 4695853 markings, 7593201 edges,
lola: 203 tries, 202046311 fired transitions, 255 secs || 4799307 markings, 7769990 edges,
lola: 206 tries, 205862968 fired transitions, 260 secs || 4898949 markings, 7936971 edges,
lola: 210 tries, 209689806 fired transitions, 265 secs || 4999451 markings, 8104008 edges,
lola: 214 tries, 213557595 fired transitions, 270 secs || 5095642 markings, 8264807 edges,
lola: 218 tries, 217401738 fired transitions, 275 secs || 5191973 markings, 8427865 edges,
lola: 222 tries, 221187246 fired transitions, 280 secs || 5287046 markings, 8585551 edges,
lola: 225 tries, 224917185 fired transitions, 285 secs || 5382253 markings, 8744726 edges,
lola: 229 tries, 228750938 fired transitions, 290 secs || 5478665 markings, 8906218 edges,
lola: 233 tries, 232533895 fired transitions, 295 secs || 5578582 markings, 9075703 edges,
lola: 237 tries, 236407707 fired transitions, 300 secs || 5679029 markings, 9248135 edges,
lola: 241 tries, 240244263 fired transitions, 305 secs || 5778461 markings, 9417181 edges,
lola: 245 tries, 244112169 fired transitions, 310 secs || 5876652 markings, 9581439 edges,
lola: 248 tries, 247949861 fired transitions, 315 secs || 5972840 markings, 9743250 edges,
lola: 252 tries, 251773610 fired transitions, 320 secs || 6068221 markings, 9899848 edges,
lola: 256 tries, 255627999 fired transitions, 325 secs || 6163978 markings, 10058624 edges,
lola: 260 tries, 259460349 fired transitions, 330 secs || 6261905 markings, 10223325 edges,
lola: 264 tries, 263298065 fired transitions, 335 secs || 6357167 markings, 10382233 edges,
lola: 268 tries, 267131659 fired transitions, 340 secs || 6455406 markings, 10552826 edges,
lola: 271 tries, 270988360 fired transitions, 345 secs || 6557288 markings, 10726574 edges,
lola: 275 tries, 274803028 fired transitions, 350 secs || 6657836 markings, 10895024 edges,
lola: 279 tries, 278455738 fired transitions, 355 secs || 6752449 markings, 11051878 edges,
lola: 283 tries, 282186130 fired transitions, 360 secs || 6849044 markings, 11211443 edges,
lola: 286 tries, 285860803 fired transitions, 365 secs || 6941928 markings, 11364776 edges,
lola: 290 tries, 289613406 fired transitions, 370 secs || 7038156 markings, 11524485 edges,
lola: 294 tries, 293452949 fired transitions, 375 secs || 7139225 markings, 11695388 edges,
lola: 298 tries, 297307758 fired transitions, 380 secs || 7240777 markings, 11867608 edges,
lola: 302 tries, 301166780 fired transitions, 385 secs || 7339344 markings, 12032245 edges,
lola: 306 tries, 305008094 fired transitions, 390 secs || 7435407 markings, 12190772 edges,
lola: 309 tries, 308864931 fired transitions, 395 secs || 7530001 markings, 12347291 edges,
lola: 313 tries, 312710004 fired transitions, 400 secs || 7628077 markings, 12508753 edges,
lola: 317 tries, 316552064 fired transitions, 405 secs || 7724338 markings, 12667112 edges,
lola: 321 tries, 320183951 fired transitions, 410 secs || 7819482 markings, 12823528 edges,
lola: 324 tries, 323789636 fired transitions, 415 secs || 7910085 markings, 12975428 edges,
lola: 328 tries, 327642852 fired transitions, 420 secs || 8008006 markings, 13136710 edges,
lola: 332 tries, 331415343 fired transitions, 425 secs || 8101940 markings, 13291549 edges,
lola: 336 tries, 335256273 fired transitions, 430 secs || 8202996 markings, 13458144 edges,
lola: 339 tries, 338955525 fired transitions, 435 secs || 8298709 markings, 13615631 edges,
lola: 343 tries, 342807471 fired transitions, 440 secs || 8396423 markings, 13777900 edges,
lola: 347 tries, 346683301 fired transitions, 445 secs || 8493651 markings, 13938904 edges,
lola: 351 tries, 350539587 fired transitions, 450 secs || 8593434 markings, 14104676 edges,
lola: 355 tries, 354397493 fired transitions, 455 secs || 8692947 markings, 14270021 edges,
lola: 359 tries, 358207869 fired transitions, 460 secs || 8789864 markings, 14430033 edges,
lola: 363 tries, 362032727 fired transitions, 465 secs || 8887809 markings, 14597580 edges,
lola: 366 tries, 365892865 fired transitions, 470 secs || 8988784 markings, 14771442 edges,
lola: 370 tries, 369762662 fired transitions, 475 secs || 9089854 markings, 14943997 edges,
lola: 374 tries, 373633367 fired transitions, 480 secs || 9189059 markings, 15111291 edges,
lola: 378 tries, 377473290 fired transitions, 485 secs || 9283190 markings, 15267203 edges,
lola: 382 tries, 381327213 fired transitions, 490 secs || 9384453 markings, 15441677 edges,
lola: 386 tries, 385195492 fired transitions, 495 secs || 9483411 markings, 15610708 edges,
lola: 390 tries, 389059042 fired transitions, 500 secs || 9579991 markings, 15771922 edges,
lola: 393 tries, 392926226 fired transitions, 505 secs || 9676262 markings, 15930182 edges,
lola: 397 tries, 396794605 fired transitions, 510 secs || 9774519 markings, 16097384 edges,
lola: 401 tries, 400660975 fired transitions, 515 secs || 9871529 markings, 16264310 edges,
lola: 405 tries, 404517549 fired transitions, 520 secs || 9969700 markings, 16433330 edges,
lola: 409 tries, 408387262 fired transitions, 525 secs || 10071316 markings, 16608027 edges,
lola: 413 tries, 412255440 fired transitions, 530 secs || 10168370 markings, 16773887 edges,
lola: 417 tries, 416114901 fired transitions, 535 secs || 10267737 markings, 16943989 edges,
lola: 420 tries, 419983404 fired transitions, 540 secs || 10366606 markings, 17110959 edges,
lola: 424 tries, 423849306 fired transitions, 545 secs || 10465645 markings, 17277758 edges,
lola: 428 tries, 427636278 fired transitions, 550 secs || 10558795 markings, 17432420 edges,
lola: 432 tries, 431503828 fired transitions, 555 secs || 10655530 markings, 17594037 edges,
lola: 436 tries, 435339275 fired transitions, 560 secs || 10754093 markings, 17757911 edges,
lola: 440 tries, 439134160 fired transitions, 565 secs || 10848625 markings, 17916416 edges,
lola: 443 tries, 442874901 fired transitions, 570 secs || 10943553 markings, 18075683 edges,
lola: 447 tries, 446605834 fired transitions, 575 secs || 11038812 markings, 18232546 edges,
lola: 451 tries, 450466092 fired transitions, 580 secs || 11138083 markings, 18396888 edges,
lola: 455 tries, 454317321 fired transitions, 585 secs || 11234541 markings, 18557141 edges,
lola: 459 tries, 458190270 fired transitions, 590 secs || 11334507 markings, 18722055 edges,
lola: 463 tries, 462048346 fired transitions, 595 secs || 11432308 markings, 18879054 edges,
lola: 466 tries, 465900076 fired transitions, 600 secs || 11528304 markings, 19020605 edges,
lola: 470 tries, 469768654 fired transitions, 605 secs || 11624448 markings, 19161381 edges,
lola: 474 tries, 473600733 fired transitions, 610 secs || 11722304 markings, 19304151 edges,
lola: 478 tries, 477453991 fired transitions, 615 secs || 11821461 markings, 19447084 edges,
lola: 482 tries, 481333757 fired transitions, 620 secs || 11919028 markings, 19589096 edges,
lola: 486 tries, 485148396 fired transitions, 625 secs || 12014995 markings, 19739445 edges,
lola: 490 tries, 489018185 fired transitions, 630 secs || 12109004 markings, 19895085 edges,
lola: 493 tries, 492862387 fired transitions, 635 secs || 12205821 markings, 20056524 edges,
lola: 497 tries, 496715860 fired transitions, 640 secs || 12305314 markings, 20221339 edges,
lola: 501 tries, 500552969 fired transitions, 645 secs || 12406246 markings, 20391039 edges,
lola: 505 tries, 504415049 fired transitions, 650 secs || 12506369 markings, 20561164 edges,
lola: 509 tries, 508250345 fired transitions, 655 secs || 12606193 markings, 20731047 edges,
lola: 513 tries, 512079132 fired transitions, 660 secs || 12707253 markings, 20898789 edges,
lola: 516 tries, 515938451 fired transitions, 665 secs || 12807661 markings, 21067584 edges,
lola: 520 tries, 519809794 fired transitions, 670 secs || 12907487 markings, 21235522 edges,
lola: 524 tries, 523663515 fired transitions, 675 secs || 13003493 markings, 21394586 edges,
lola: 528 tries, 527521964 fired transitions, 680 secs || 13100546 markings, 21555548 edges,
lola: 532 tries, 531316916 fired transitions, 685 secs || 13197076 markings, 21714755 edges,
lola: 536 tries, 535140073 fired transitions, 690 secs || 13296424 markings, 21879659 edges,
lola: 539 tries, 538858406 fired transitions, 695 secs || 13395548 markings, 22048960 edges,
lola: 543 tries, 542618015 fired transitions, 700 secs || 13490407 markings, 22205971 edges,
lola: 547 tries, 546481934 fired transitions, 705 secs || 13587504 markings, 22365913 edges,
lola: 551 tries, 550343265 fired transitions, 710 secs || 13688533 markings, 22534896 edges,
lola: 555 tries, 554217361 fired transitions, 715 secs || 13786742 markings, 22698675 edges,
lola: 559 tries, 558077533 fired transitions, 720 secs || 13886065 markings, 22866780 edges,
lola: 562 tries, 561845087 fired transitions, 725 secs || 13983651 markings, 23034171 edges,
lola: 566 tries, 565673196 fired transitions, 730 secs || 14085750 markings, 23207792 edges,
lola: 570 tries, 569533131 fired transitions, 735 secs || 14182899 markings, 23369316 edges,
lola: 574 tries, 573392807 fired transitions, 740 secs || 14279951 markings, 23530639 edges,
lola: 578 tries, 577244602 fired transitions, 745 secs || 14377719 markings, 23693485 edges,
lola: 582 tries, 581114418 fired transitions, 750 secs || 14476793 markings, 23860633 edges,
lola: 585 tries, 584968052 fired transitions, 755 secs || 14573468 markings, 24020122 edges,
lola: 589 tries, 588838514 fired transitions, 760 secs || 14672785 markings, 24186721 edges,
lola: 593 tries, 592684802 fired transitions, 765 secs || 14771586 markings, 24354496 edges,
lola: 597 tries, 596562811 fired transitions, 770 secs || 14871892 markings, 24526343 edges,
lola: 601 tries, 600439197 fired transitions, 775 secs || 14969537 markings, 24690765 edges,
lola: 605 tries, 604320700 fired transitions, 780 secs || 15070189 markings, 24860342 edges,
lola: 609 tries, 608181797 fired transitions, 785 secs || 15170030 markings, 25027215 edges,
lola: 613 tries, 612042892 fired transitions, 790 secs || 15270034 markings, 25200094 edges,
lola: 616 tries, 615915534 fired transitions, 795 secs || 15369724 markings, 25371007 edges,
lola: 620 tries, 619795052 fired transitions, 800 secs || 15468502 markings, 25536929 edges,
lola: 624 tries, 623670890 fired transitions, 805 secs || 15563207 markings, 25684217 edges,
lola: 628 tries, 627447761 fired transitions, 810 secs || 15656054 markings, 25825653 edges,
lola: 632 tries, 631332145 fired transitions, 815 secs || 15752541 markings, 25964965 edges,
lola: 636 tries, 635200483 fired transitions, 820 secs || 15848446 markings, 26107746 edges,
lola: 640 tries, 639025590 fired transitions, 825 secs || 15942538 markings, 26248214 edges,
lola: 643 tries, 642899139 fired transitions, 830 secs || 16039855 markings, 26393335 edges,
lola: 647 tries, 646776030 fired transitions, 835 secs || 16135450 markings, 26538149 edges,
lola: 651 tries, 650513823 fired transitions, 840 secs || 16228083 markings, 26679396 edges,
lola: 655 tries, 654177279 fired transitions, 845 secs || 16317281 markings, 26815425 edges,
lola: 658 tries, 657869636 fired transitions, 850 secs || 16407263 markings, 26952831 edges,
lola: 662 tries, 661710908 fired transitions, 855 secs || 16502181 markings, 27097626 edges,
lola: 666 tries, 665588268 fired transitions, 860 secs || 16594612 markings, 27238550 edges,
lola: 670 tries, 669458790 fired transitions, 865 secs || 16688625 markings, 27381836 edges,
lola: 674 tries, 673298027 fired transitions, 870 secs || 16785065 markings, 27526471 edges,
lola: 678 tries, 677165078 fired transitions, 875 secs || 16883433 markings, 27671625 edges,
lola: 682 tries, 681035555 fired transitions, 880 secs || 16983145 markings, 27814420 edges,
lola: 685 tries, 684885960 fired transitions, 885 secs || 17084100 markings, 27961608 edges,
lola: 689 tries, 688753966 fired transitions, 890 secs || 17177349 markings, 28104739 edges,
lola: 693 tries, 692601398 fired transitions, 895 secs || 17270650 markings, 28246894 edges,
lola: 697 tries, 696446746 fired transitions, 900 secs || 17364150 markings, 28390341 edges,
lola: 701 tries, 700316559 fired transitions, 905 secs || 17456058 markings, 28530995 edges,
lola: 705 tries, 704123786 fired transitions, 910 secs || 17550518 markings, 28672075 edges,
lola: 708 tries, 707977797 fired transitions, 915 secs || 17645818 markings, 28814822 edges,
lola: 712 tries, 711863206 fired transitions, 920 secs || 17745037 markings, 28965297 edges,
lola: 716 tries, 715730240 fired transitions, 925 secs || 17842848 markings, 29115008 edges,
lola: 720 tries, 719606066 fired transitions, 930 secs || 17939765 markings, 29257185 edges,
lola: 724 tries, 723469451 fired transitions, 935 secs || 18036504 markings, 29402708 edges,
lola: 728 tries, 727341181 fired transitions, 940 secs || 18133990 markings, 29553202 edges,
lola: 732 tries, 731198647 fired transitions, 945 secs || 18228936 markings, 29701387 edges,
lola: 736 tries, 735073102 fired transitions, 950 secs || 18326525 markings, 29841053 edges,
lola: 739 tries, 738948652 fired transitions, 955 secs || 18424800 markings, 29983372 edges,
lola: 743 tries, 742776402 fired transitions, 960 secs || 18517484 markings, 30124254 edges,
lola: 747 tries, 746627718 fired transitions, 965 secs || 18614663 markings, 30269995 edges,
lola: 751 tries, 750417680 fired transitions, 970 secs || 18709987 markings, 30409178 edges,
lola: 755 tries, 754283181 fired transitions, 975 secs || 18806611 markings, 30549062 edges,
lola: 759 tries, 758150992 fired transitions, 980 secs || 18909686 markings, 30702614 edges,
lola: 763 tries, 762014429 fired transitions, 985 secs || 19007463 markings, 30843152 edges,
lola: 766 tries, 765845136 fired transitions, 990 secs || 19102026 markings, 30983101 edges,
lola: 770 tries, 769664465 fired transitions, 995 secs || 19192886 markings, 31110891 edges,
lola: 774 tries, 773415933 fired transitions, 1000 secs || 19281114 markings, 31234739 edges,
lola: 778 tries, 777173304 fired transitions, 1005 secs || 19368754 markings, 31358868 edges,
lola: 782 tries, 781034434 fired transitions, 1010 secs || 19458374 markings, 31484559 edges,
lola: 785 tries, 784902809 fired transitions, 1015 secs || 19548350 markings, 31610667 edges,
lola: 789 tries, 788756693 fired transitions, 1020 secs || 19638037 markings, 31737997 edges,
lola: 793 tries, 792613353 fired transitions, 1025 secs || 19726887 markings, 31863147 edges,
lola: 797 tries, 796460526 fired transitions, 1030 secs || 19815622 markings, 31987252 edges,
lola: 801 tries, 800301682 fired transitions, 1035 secs || 19904667 markings, 32112963 edges,
lola: 805 tries, 804152118 fired transitions, 1040 secs || 19994093 markings, 32239560 edges,
lola: 808 tries, 807996401 fired transitions, 1045 secs || 20082322 markings, 32365009 edges,
lola: 812 tries, 811863259 fired transitions, 1050 secs || 20171088 markings, 32491698 edges,
lola: 816 tries, 815729542 fired transitions, 1055 secs || 20260586 markings, 32618281 edges,
lola: 820 tries, 819598319 fired transitions, 1060 secs || 20349558 markings, 32744596 edges,
lola: 824 tries, 823475991 fired transitions, 1065 secs || 20437694 markings, 32869853 edges,
lola: 828 tries, 827337812 fired transitions, 1070 secs || 20524951 markings, 32992877 edges,
lola: 832 tries, 831199241 fired transitions, 1075 secs || 20611168 markings, 33114798 edges,
lola: 836 tries, 835033997 fired transitions, 1080 secs || 20696605 markings, 33234071 edges,
lola: 839 tries, 838882459 fired transitions, 1085 secs || 20782581 markings, 33354923 edges,
lola: 843 tries, 842649576 fired transitions, 1090 secs || 20867067 markings, 33474135 edges,
lola: 847 tries, 846258436 fired transitions, 1095 secs || 20947430 markings, 33590250 edges,
lola: 851 tries, 850054654 fired transitions, 1100 secs || 21031934 markings, 33709023 edges,
lola: 854 tries, 853908925 fired transitions, 1105 secs || 21117225 markings, 33828839 edges,
lola: 858 tries, 857778202 fired transitions, 1110 secs || 21202279 markings, 33947619 edges,
lola: 862 tries, 861626212 fired transitions, 1115 secs || 21286860 markings, 34067342 edges,
lola: 866 tries, 865475022 fired transitions, 1120 secs || 21371353 markings, 34185746 edges,
lola: 870 tries, 869334619 fired transitions, 1125 secs || 21457238 markings, 34306248 edges,
lola: 874 tries, 873198870 fired transitions, 1130 secs || 21543654 markings, 34426677 edges,
lola: 878 tries, 877047129 fired transitions, 1135 secs || 21628447 markings, 34546528 edges,
lola: 881 tries, 880928468 fired transitions, 1140 secs || 21714221 markings, 34666900 edges,
lola: 885 tries, 884782621 fired transitions, 1145 secs || 21800419 markings, 34790500 edges,
lola: 889 tries, 888647959 fired transitions, 1150 secs || 21885406 markings, 34909964 edges,
lola: 893 tries, 892509666 fired transitions, 1155 secs || 21970493 markings, 35030887 edges,
lola: 897 tries, 896369821 fired transitions, 1160 secs || 22056276 markings, 35153075 edges,
lola: 901 tries, 900247225 fired transitions, 1165 secs || 22142968 markings, 35275582 edges,
lola: 905 tries, 904087842 fired transitions, 1170 secs || 22229105 markings, 35396714 edges,
lola: 908 tries, 907900658 fired transitions, 1175 secs || 22314028 markings, 35516218 edges,
lola: 912 tries, 911772007 fired transitions, 1180 secs || 22400287 markings, 35636480 edges,
lola: 916 tries, 915640341 fired transitions, 1185 secs || 22486153 markings, 35756572 edges,
lola: 920 tries, 919492048 fired transitions, 1190 secs || 22572490 markings, 35878869 edges,
lola: 924 tries, 923370260 fired transitions, 1195 secs || 22658202 markings, 35998079 edges,
lola: 928 tries, 927241064 fired transitions, 1200 secs || 22747820 markings, 36124218 edges,
lola: 932 tries, 931066568 fired transitions, 1205 secs || 22836483 markings, 36249744 edges,
lola: 935 tries, 934834451 fired transitions, 1210 secs || 22923318 markings, 36372636 edges,
lola: 939 tries, 938669184 fired transitions, 1215 secs || 23012208 markings, 36497430 edges,
lola: 943 tries, 942543344 fired transitions, 1220 secs || 23100342 markings, 36620722 edges,
lola: 947 tries, 946389596 fired transitions, 1225 secs || 23188803 markings, 36744346 edges,
lola: 951 tries, 950214964 fired transitions, 1230 secs || 23275777 markings, 36867041 edges,
lola: 955 tries, 954086243 fired transitions, 1235 secs || 23363853 markings, 36990720 edges,
lola: 958 tries, 957947363 fired transitions, 1240 secs || 23451604 markings, 37114895 edges,
lola: 962 tries, 961784142 fired transitions, 1245 secs || 23539702 markings, 37239984 edges,
lola: 966 tries, 965614960 fired transitions, 1250 secs || 23628654 markings, 37365375 edges,
lola: 970 tries, 969480618 fired transitions, 1255 secs || 23719010 markings, 37494640 edges,
lola: 974 tries, 973364424 fired transitions, 1260 secs || 23807047 markings, 37617737 edges,
lola: 977 tries, 976488769 fired transitions, 1265 secs || 23879127 markings, 37720313 edges,
lola: 981 tries, 980290095 fired transitions, 1270 secs || 23964487 markings, 37840083 edges,
lola: 984 tries, 983952594 fired transitions, 1275 secs || 24047029 markings, 37956572 edges,
lola: 988 tries, 987836088 fired transitions, 1280 secs || 24134554 markings, 38079472 edges,
lola: 992 tries, 991714361 fired transitions, 1285 secs || 24221799 markings, 38202012 edges,
lola: 996 tries, 995576924 fired transitions, 1290 secs || 24308375 markings, 38322988 edges,
lola: 1000 tries, 999443628 fired transitions, 1295 secs || 24394649 markings, 38445202 edges,
lola: 1004 tries, 1003241701 fired transitions, 1300 secs || 24478603 markings, 38562523 edges,
lola: 1008 tries, 1007112293 fired transitions, 1305 secs || 24564044 markings, 38681862 edges,
lola: 1011 tries, 1010970956 fired transitions, 1310 secs || 24649428 markings, 38800979 edges,
lola: 1015 tries, 1014821277 fired transitions, 1315 secs || 24735864 markings, 38921627 edges,
lola: 1019 tries, 1018690744 fired transitions, 1320 secs || 24823080 markings, 39043320 edges,
lola: 1023 tries, 1022555538 fired transitions, 1325 secs || 24910840 markings, 39167031 edges,
lola: 1027 tries, 1026441296 fired transitions, 1330 secs || 24997079 markings, 39287468 edges,
lola: 1031 tries, 1030323496 fired transitions, 1335 secs || 25083927 markings, 39411209 edges,
lola: 1035 tries, 1034189494 fired transitions, 1340 secs || 25171508 markings, 39534642 edges,
lola: 1039 tries, 1038062855 fired transitions, 1345 secs || 25258481 markings, 39657886 edges,
lola: 1042 tries, 1041949407 fired transitions, 1350 secs || 25345216 markings, 39780903 edges,
lola: 1046 tries, 1045807395 fired transitions, 1355 secs || 25432737 markings, 39905082 edges,
lola: 1050 tries, 1049676317 fired transitions, 1360 secs || 25522123 markings, 40030708 edges,
lola: 1054 tries, 1053553202 fired transitions, 1365 secs || 25610714 markings, 40155481 edges,
lola: 1058 tries, 1057407893 fired transitions, 1370 secs || 25699704 markings, 40280865 edges,
lola: 1062 tries, 1061289354 fired transitions, 1375 secs || 25787579 markings, 40403604 edges,
lola: 1066 tries, 1065142996 fired transitions, 1380 secs || 25873333 markings, 40524936 edges,
lola: 1069 tries, 1068916654 fired transitions, 1385 secs || 25957329 markings, 40642725 edges,
lola: 1073 tries, 1072275614 fired transitions, 1390 secs || 26033242 markings, 40749307 edges,
lola: 1076 tries, 1075954649 fired transitions, 1395 secs || 26115966 markings, 40867453 edges,
lola: 1080 tries, 1079809356 fired transitions, 1400 secs || 26203003 markings, 40990910 edges,
lola: 1084 tries, 1083685623 fired transitions, 1405 secs || 26289785 markings, 41112575 edges,
lola: 1088 tries, 1087546255 fired transitions, 1410 secs || 26378725 markings, 41237689 edges,
lola: 1092 tries, 1091404609 fired transitions, 1415 secs || 26466255 markings, 41361773 edges,
lola: 1096 tries, 1095244407 fired transitions, 1420 secs || 26554417 markings, 41486323 edges,
lola: 1100 tries, 1099122254 fired transitions, 1425 secs || 26641515 markings, 41607648 edges,
lola: 1103 tries, 1102962919 fired transitions, 1430 secs || 26730134 markings, 41733695 edges,
lola: 1107 tries, 1106824193 fired transitions, 1435 secs || 26817079 markings, 41857608 edges,
lola: 1111 tries, 1110682552 fired transitions, 1440 secs || 26904071 markings, 41981397 edges,
lola: 1115 tries, 1114564054 fired transitions, 1445 secs || 26990757 markings, 42104761 edges,
lola: 1119 tries, 1118322348 fired transitions, 1450 secs || 27074614 markings, 42224067 edges,
lola: 1123 tries, 1122162323 fired transitions, 1455 secs || 27162378 markings, 42348277 edges,
lola: 1126 tries, 1125980030 fired transitions, 1460 secs || 27248848 markings, 42470282 edges,
lola: 1130 tries, 1129836002 fired transitions, 1465 secs || 27336508 markings, 42596640 edges,
lola: 1134 tries, 1133713784 fired transitions, 1470 secs || 27423532 markings, 42720474 edges,
lola: 1138 tries, 1137586050 fired transitions, 1475 secs || 27510346 markings, 42843118 edges,
lola: 1142 tries, 1141414506 fired transitions, 1480 secs || 27597184 markings, 42970026 edges,
lola: 1146 tries, 1145252729 fired transitions, 1485 secs || 27684540 markings, 43094461 edges,
lola: 1149 tries, 1148670263 fired transitions, 1490 secs || 27762909 markings, 43206034 edges,
lola: 1153 tries, 1152545782 fired transitions, 1495 secs || 27850409 markings, 43328339 edges,
lola: 1157 tries, 1156347601 fired transitions, 1500 secs || 27937635 markings, 43452317 edges,
lola: 1161 tries, 1160210830 fired transitions, 1505 secs || 28024154 markings, 43574374 edges,
lola: 1165 tries, 1164073753 fired transitions, 1510 secs || 28110224 markings, 43695782 edges,
lola: 1168 tries, 1167891574 fired transitions, 1515 secs || 28196172 markings, 43819178 edges,
lola: 1172 tries, 1171738923 fired transitions, 1520 secs || 28283986 markings, 43942296 edges,
lola: 1176 tries, 1175624795 fired transitions, 1525 secs || 28372612 markings, 44066955 edges,
lola: 1180 tries, 1179486987 fired transitions, 1530 secs || 28461183 markings, 44192143 edges,
lola: 1184 tries, 1183329817 fired transitions, 1535 secs || 28552525 markings, 44322819 edges,
lola: 1188 tries, 1187202464 fired transitions, 1540 secs || 28641352 markings, 44450487 edges,
lola: 1192 tries, 1191037260 fired transitions, 1545 secs || 28727673 markings, 44574019 edges,
lola: 1195 tries, 1194869029 fired transitions, 1550 secs || 28813495 markings, 44696356 edges,
lola: 1199 tries, 1198731615 fired transitions, 1555 secs || 28900452 markings, 44819242 edges,
lola: 1203 tries, 1202579730 fired transitions, 1560 secs || 28987893 markings, 44943852 edges,
lola: 1207 tries, 1206451847 fired transitions, 1565 secs || 29074401 markings, 45068538 edges,
lola: 1211 tries, 1210317508 fired transitions, 1570 secs || 29160259 markings, 45188061 edges,
lola: 1215 tries, 1214174415 fired transitions, 1575 secs || 29248497 markings, 45311788 edges,
lola: 1219 tries, 1218063587 fired transitions, 1580 secs || 29334860 markings, 45434169 edges,
lola: 1222 tries, 1221892488 fired transitions, 1585 secs || 29419562 markings, 45554970 edges,
lola: 1226 tries, 1225753378 fired transitions, 1590 secs || 29505478 markings, 45674653 edges,
lola: 1230 tries, 1229614734 fired transitions, 1595 secs || 29591552 markings, 45796328 edges,
lola: 1234 tries, 1233469895 fired transitions, 1600 secs || 29677594 markings, 45918125 edges,
lola: 1238 tries, 1237311201 fired transitions, 1605 secs || 29762590 markings, 46036949 edges,
lola: 1242 tries, 1241173673 fired transitions, 1610 secs || 29849133 markings, 46158865 edges,
lola: 1246 tries, 1245057338 fired transitions, 1615 secs || 29936158 markings, 46285687 edges,
lola: 1249 tries, 1248928823 fired transitions, 1620 secs || 30021351 markings, 46407578 edges,
lola: 1253 tries, 1252788358 fired transitions, 1625 secs || 30106905 markings, 46528122 edges,
lola: 1257 tries, 1256650964 fired transitions, 1630 secs || 30192765 markings, 46649684 edges,
lola: 1261 tries, 1260537598 fired transitions, 1635 secs || 30277670 markings, 46768824 edges,
lola: 1265 tries, 1264401697 fired transitions, 1640 secs || 30363315 markings, 46889011 edges,
lola: 1269 tries, 1268275410 fired transitions, 1645 secs || 30449245 markings, 47011093 edges,
lola: 1273 tries, 1272158280 fired transitions, 1650 secs || 30536271 markings, 47133367 edges,
lola: 1277 tries, 1276011365 fired transitions, 1655 secs || 30624060 markings, 47259550 edges,
lola: 1280 tries, 1279881406 fired transitions, 1660 secs || 30712099 markings, 47382842 edges,
lola: 1284 tries, 1283760849 fired transitions, 1665 secs || 30799478 markings, 47509887 edges,
lola: 1288 tries, 1287621105 fired transitions, 1670 secs || 30886194 markings, 47633742 edges,
lola: 1292 tries, 1291433630 fired transitions, 1675 secs || 30969722 markings, 47753817 edges,
lola: 1296 tries, 1295292972 fired transitions, 1680 secs || 31056642 markings, 47877702 edges,
lola: 1300 tries, 1299120523 fired transitions, 1685 secs || 31141091 markings, 47997777 edges,
lola: 1303 tries, 1302931050 fired transitions, 1690 secs || 31225293 markings, 48115486 edges,
lola: 1307 tries, 1306797264 fired transitions, 1695 secs || 31311701 markings, 48239108 edges,
lola: 1311 tries, 1310663668 fired transitions, 1700 secs || 31399313 markings, 48362315 edges,
lola: 1315 tries, 1314544226 fired transitions, 1705 secs || 31486884 markings, 48485938 edges,
lola: 1319 tries, 1318363090 fired transitions, 1710 secs || 31572994 markings, 48607057 edges,
lola: 1323 tries, 1322241034 fired transitions, 1715 secs || 31660221 markings, 48730535 edges,
lola: 1327 tries, 1326098288 fired transitions, 1720 secs || 31747053 markings, 48853112 edges,
lola: 1330 tries, 1329948539 fired transitions, 1725 secs || 31834022 markings, 48974404 edges,
lola: 1334 tries, 1333779646 fired transitions, 1730 secs || 31920571 markings, 49095865 edges,
lola: 1338 tries, 1337635050 fired transitions, 1735 secs || 32008173 markings, 49219544 edges,
lola: 1342 tries, 1341497120 fired transitions, 1740 secs || 32094727 markings, 49338322 edges,
lola: 1346 tries, 1345216206 fired transitions, 1745 secs || 32178858 markings, 49455364 edges,
lola: 1349 tries, 1348977260 fired transitions, 1750 secs || 32264845 markings, 49580121 edges,
lola: 1353 tries, 1352816857 fired transitions, 1755 secs || 32352287 markings, 49706721 edges,
lola: 1357 tries, 1356686548 fired transitions, 1760 secs || 32439569 markings, 49829936 edges,
lola: 1361 tries, 1360564456 fired transitions, 1765 secs || 32526707 markings, 49952530 edges,
lola: 1365 tries, 1364452394 fired transitions, 1770 secs || 32614698 markings, 50078165 edges,
lola: 1369 tries, 1368336590 fired transitions, 1775 secs || 32702271 markings, 50201373 edges,
lola: 1373 tries, 1372204276 fired transitions, 1780 secs || 32788728 markings, 50324086 edges,
lola: 1377 tries, 1376077758 fired transitions, 1785 secs || 32875021 markings, 50446467 edges,
lola: 1380 tries, 1379855633 fired transitions, 1790 secs || 32960154 markings, 50567601 edges,
lola: 1384 tries, 1383732935 fired transitions, 1795 secs || 33048345 markings, 50693088 edges,
lola: 1388 tries, 1387608737 fired transitions, 1800 secs || 33135856 markings, 50817394 edges,
lola: 1392 tries, 1391491233 fired transitions, 1805 secs || 33223603 markings, 50942412 edges,
lola: 1396 tries, 1395350129 fired transitions, 1810 secs || 33307911 markings, 51063571 edges,
lola: 1400 tries, 1399243172 fired transitions, 1815 secs || 33395356 markings, 51187531 edges,
lola: 1404 tries, 1403082410 fired transitions, 1820 secs || 33481891 markings, 51309862 edges,
lola: 1407 tries, 1406953001 fired transitions, 1825 secs || 33568821 markings, 51435219 edges,
lola: 1411 tries, 1410819760 fired transitions, 1830 secs || 33654332 markings, 51556658 edges,
lola: 1415 tries, 1414710990 fired transitions, 1835 secs || 33739725 markings, 51675220 edges,
lola: 1419 tries, 1418580518 fired transitions, 1840 secs || 33825627 markings, 51795279 edges,
lola: 1423 tries, 1422466382 fired transitions, 1845 secs || 33910695 markings, 51915093 edges,
lola: 1427 tries, 1426337147 fired transitions, 1850 secs || 33995669 markings, 52034960 edges,
lola: 1431 tries, 1430220365 fired transitions, 1855 secs || 34080546 markings, 52155913 edges,
lola: 1435 tries, 1434100748 fired transitions, 1860 secs || 34165357 markings, 52275124 edges,
lola: 1438 tries, 1437972549 fired transitions, 1865 secs || 34250126 markings, 52398060 edges,
lola: 1442 tries, 1441839877 fired transitions, 1870 secs || 34336659 markings, 52519647 edges,
lola: 1446 tries, 1445708183 fired transitions, 1875 secs || 34423984 markings, 52644813 edges,
lola: 1450 tries, 1449591252 fired transitions, 1880 secs || 34510608 markings, 52768625 edges,
lola: 1454 tries, 1453466414 fired transitions, 1885 secs || 34596617 markings, 52891940 edges,
lola: 1458 tries, 1457325449 fired transitions, 1890 secs || 34684625 markings, 53019324 edges,
lola: 1462 tries, 1461201968 fired transitions, 1895 secs || 34771958 markings, 53144296 edges,
lola: 1466 tries, 1465084194 fired transitions, 1900 secs || 34859613 markings, 53271531 edges,
lola: 1469 tries, 1468948386 fired transitions, 1905 secs || 34946161 markings, 53393124 edges,
lola: 1473 tries, 1472848364 fired transitions, 1910 secs || 35031639 markings, 53513640 edges,
lola: 1477 tries, 1476725582 fired transitions, 1915 secs || 35117574 markings, 53637798 edges,
lola: 1481 tries, 1480599608 fired transitions, 1920 secs || 35204463 markings, 53761803 edges,
lola: 1485 tries, 1484485735 fired transitions, 1925 secs || 35290767 markings, 53882438 edges,
lola: 1489 tries, 1488360990 fired transitions, 1930 secs || 35378307 markings, 54008014 edges,
lola: 1493 tries, 1492238436 fired transitions, 1935 secs || 35463376 markings, 54127968 edges,
lola: 1497 tries, 1496132518 fired transitions, 1940 secs || 35550592 markings, 54251435 edges,
lola: 1501 tries, 1500018401 fired transitions, 1945 secs || 35638012 markings, 54377670 edges,
lola: 1504 tries, 1503893802 fired transitions, 1950 secs || 35724083 markings, 54501331 edges,
lola: 1509 tries, 1508210258 fired transitions, 1955 secs || 35812125 markings, 54625539 edges,
lola: 1513 tries, 1512744771 fired transitions, 1960 secs || 35904954 markings, 54754715 edges,
lola: 1518 tries, 1517222448 fired transitions, 1965 secs || 36002094 markings, 54893499 edges,
lola: 1522 tries, 1521824744 fired transitions, 1970 secs || 36092883 markings, 55023893 edges,
lola: 1525 tries, 1524995610 fired transitions, 1975 secs || 36162163 markings, 55123185 edges,
lola: 1529 tries, 1528832638 fired transitions, 1980 secs || 36246892 markings, 55245478 edges,
lola: 1533 tries, 1532685468 fired transitions, 1985 secs || 36331999 markings, 55367320 edges,
lola: 1537 tries, 1536501396 fired transitions, 1990 secs || 36421239 markings, 55496369 edges,
lola: 1541 tries, 1540353315 fired transitions, 1995 secs || 36507584 markings, 55617590 edges,
lola: 1545 tries, 1544222579 fired transitions, 2000 secs || 36594852 markings, 55744165 edges,
lola: 1549 tries, 1548039295 fired transitions, 2005 secs || 36681500 markings, 55868146 edges,
lola: 1552 tries, 1551896336 fired transitions, 2010 secs || 36768021 markings, 55994182 edges,
lola: 1556 tries, 1555739483 fired transitions, 2015 secs || 36853099 markings, 56118497 edges,
lola: 1560 tries, 1559596777 fired transitions, 2020 secs || 36940262 markings, 56242148 edges,
lola: 1564 tries, 1563487219 fired transitions, 2025 secs || 37026417 markings, 56365234 edges,
lola: 1568 tries, 1567361573 fired transitions, 2030 secs || 37112102 markings, 56485891 edges,
lola: 1572 tries, 1571330066 fired transitions, 2035 secs || 37200070 markings, 56611820 edges,
lola: 1576 tries, 1575908625 fired transitions, 2040 secs || 37295960 markings, 56748639 edges,
lola: 1581 tries, 1580479971 fired transitions, 2045 secs || 37391278 markings, 56885147 edges,
lola: 1585 tries, 1584873275 fired transitions, 2050 secs || 37489142 markings, 57028011 edges,
lola: 1589 tries, 1588817584 fired transitions, 2055 secs || 37576674 markings, 57154979 edges,
lola: 1593 tries, 1592691761 fired transitions, 2060 secs || 37662957 markings, 57279615 edges,
lola: 1597 tries, 1596556464 fired transitions, 2065 secs || 37749646 markings, 57405607 edges,
lola: 1601 tries, 1600447341 fired transitions, 2070 secs || 37836230 markings, 57528940 edges,
lola: 1605 tries, 1604327457 fired transitions, 2075 secs || 37920902 markings, 57649613 edges,
lola: 1609 tries, 1608203362 fired transitions, 2080 secs || 38005859 markings, 57769036 edges,
lola: 1613 tries, 1612076822 fired transitions, 2085 secs || 38090109 markings, 57888545 edges,
lola: 1616 tries, 1615963661 fired transitions, 2090 secs || 38174858 markings, 58010133 edges,
lola: 1620 tries, 1619841424 fired transitions, 2095 secs || 38259754 markings, 58130739 edges,
lola: 1624 tries, 1623727249 fired transitions, 2100 secs || 38344315 markings, 58252888 edges,
lola: 1628 tries, 1627598183 fired transitions, 2105 secs || 38429070 markings, 58373990 edges,
lola: 1632 tries, 1631477304 fired transitions, 2110 secs || 38515865 markings, 58497501 edges,
lola: 1636 tries, 1635357858 fired transitions, 2115 secs || 38603499 markings, 58622562 edges,
lola: 1640 tries, 1639213192 fired transitions, 2120 secs || 38691345 markings, 58750786 edges,
lola: 1644 tries, 1643076933 fired transitions, 2125 secs || 38778005 markings, 58874216 edges,
lola: 1647 tries, 1646927087 fired transitions, 2130 secs || 38863800 markings, 58997044 edges,
lola: 1651 tries, 1650801046 fired transitions, 2135 secs || 38951660 markings, 59123499 edges,
lola: 1655 tries, 1654672778 fired transitions, 2140 secs || 39038672 markings, 59248657 edges,
lola: 1659 tries, 1658564745 fired transitions, 2145 secs || 39123738 markings, 59369807 edges,
lola: 1663 tries, 1662439292 fired transitions, 2150 secs || 39209933 markings, 59491561 edges,
lola: 1667 tries, 1666310398 fired transitions, 2155 secs || 39295724 markings, 59615281 edges,
lola: 1671 tries, 1670109654 fired transitions, 2160 secs || 39378989 markings, 59733417 edges,
lola: 1674 tries, 1673937703 fired transitions, 2165 secs || 39463525 markings, 59853576 edges,
lola: 1678 tries, 1677824883 fired transitions, 2170 secs || 39550059 markings, 59978017 edges,
lola: 1682 tries, 1681704911 fired transitions, 2175 secs || 39635390 markings, 60098719 edges,
lola: 1687 tries, 1686036718 fired transitions, 2180 secs || 39731462 markings, 60236111 edges,
lola: 1691 tries, 1690650338 fired transitions, 2185 secs || 39831781 markings, 60378060 edges,
lola: 1696 tries, 1695225386 fired transitions, 2190 secs || 39932953 markings, 60522271 edges,
lola: 1700 tries, 1699199142 fired transitions, 2195 secs || 40023368 markings, 60654253 edges,
lola: 1704 tries, 1703096640 fired transitions, 2200 secs || 40107637 markings, 60773198 edges,
lola: 1707 tries, 1706834991 fired transitions, 2205 secs || 40190365 markings, 60890826 edges,
lola: 1711 tries, 1710720442 fired transitions, 2210 secs || 40273473 markings, 61007028 edges,
lola: 1715 tries, 1714617890 fired transitions, 2215 secs || 40359328 markings, 61131636 edges,
lola: 1719 tries, 1718495985 fired transitions, 2220 secs || 40444112 markings, 61247019 edges,
lola: 1723 tries, 1722266780 fired transitions, 2225 secs || 40528000 markings, 61367678 edges,
lola: 1727 tries, 1726128641 fired transitions, 2230 secs || 40617091 markings, 61497004 edges,
lola: 1731 tries, 1730026980 fired transitions, 2235 secs || 40703703 markings, 61623804 edges,
lola: 1734 tries, 1733913633 fired transitions, 2240 secs || 40790985 markings, 61748367 edges,
lola: 1738 tries, 1737808607 fired transitions, 2245 secs || 40877486 markings, 61873307 edges,
lola: 1742 tries, 1741703645 fired transitions, 2250 secs || 40963783 markings, 61996615 edges,
lola: 1746 tries, 1745593042 fired transitions, 2255 secs || 41049135 markings, 62117773 edges,
lola: 1750 tries, 1749480549 fired transitions, 2260 secs || 41135463 markings, 62241509 edges,
lola: 1754 tries, 1753372292 fired transitions, 2265 secs || 41221094 markings, 62366113 edges,
lola: 1758 tries, 1757253122 fired transitions, 2270 secs || 41307749 markings, 62489697 edges,
lola: 1762 tries, 1761135401 fired transitions, 2275 secs || 41394649 markings, 62615965 edges,
lola: 1765 tries, 1764994184 fired transitions, 2280 secs || 41480359 markings, 62738026 edges,
lola: 1769 tries, 1768857193 fired transitions, 2285 secs || 41567544 markings, 62861642 edges,
lola: 1773 tries, 1772764882 fired transitions, 2290 secs || 41652759 markings, 62983346 edges,
lola: 1777 tries, 1776658394 fired transitions, 2295 secs || 41740908 markings, 63110123 edges,
lola: 1781 tries, 1780561726 fired transitions, 2300 secs || 41828718 markings, 63236126 edges,
lola: 1785 tries, 1784416776 fired transitions, 2305 secs || 41914997 markings, 63358682 edges,
lola: 1789 tries, 1788319424 fired transitions, 2310 secs || 42003096 markings, 63485420 edges,
lola: 1793 tries, 1792195311 fired transitions, 2315 secs || 42090144 markings, 63608822 edges,
lola: 1797 tries, 1796104368 fired transitions, 2320 secs || 42177644 markings, 63733170 edges,
lola: 1801 tries, 1800005277 fired transitions, 2325 secs || 42263707 markings, 63856943 edges,
lola: 1804 tries, 1803912628 fired transitions, 2330 secs || 42351699 markings, 63982472 edges,
lola: 1808 tries, 1807815125 fired transitions, 2335 secs || 42439777 markings, 64108836 edges,
lola: 1812 tries, 1811736462 fired transitions, 2340 secs || 42527191 markings, 64234542 edges,
lola: 1816 tries, 1815636432 fired transitions, 2345 secs || 42615590 markings, 64362145 edges,
lola: 1820 tries, 1819554921 fired transitions, 2350 secs || 42704012 markings, 64490225 edges,
lola: 1824 tries, 1823455994 fired transitions, 2355 secs || 42790360 markings, 64613654 edges,
lola: 1828 tries, 1827373437 fired transitions, 2360 secs || 42877949 markings, 64739785 edges,
lola: 1832 tries, 1831266522 fired transitions, 2365 secs || 42965368 markings, 64863156 edges,
lola: 1836 tries, 1835187557 fired transitions, 2370 secs || 43056166 markings, 64990072 edges,
lola: 1840 tries, 1839112467 fired transitions, 2375 secs || 43147394 markings, 65117415 edges,
lola: 1844 tries, 1843030722 fired transitions, 2380 secs || 43236937 markings, 65242491 edges,
lola: 1847 tries, 1846939954 fired transitions, 2385 secs || 43326148 markings, 65367115 edges,
lola: 1851 tries, 1850848521 fired transitions, 2390 secs || 43415477 markings, 65491316 edges,
lola: 1855 tries, 1854767636 fired transitions, 2395 secs || 43505105 markings, 65618438 edges,
lola: 1859 tries, 1858604359 fired transitions, 2400 secs || 43594075 markings, 65743560 edges,
lola: 1863 tries, 1862515887 fired transitions, 2405 secs || 43684691 markings, 65870821 edges,
lola: 1867 tries, 1866438207 fired transitions, 2410 secs || 43775640 markings, 65999467 edges,
lola: 1871 tries, 1870339752 fired transitions, 2415 secs || 43866534 markings, 66126267 edges,
lola: 1875 tries, 1874254617 fired transitions, 2420 secs || 43958096 markings, 66256992 edges,
lola: 1879 tries, 1878174134 fired transitions, 2425 secs || 44047725 markings, 66382493 edges,
lola: 1883 tries, 1882073286 fired transitions, 2430 secs || 44136395 markings, 66507244 edges,
lola: 1886 tries, 1885989669 fired transitions, 2435 secs || 44224056 markings, 66628088 edges,
lola: 1890 tries, 1889882193 fired transitions, 2440 secs || 44314157 markings, 66754768 edges,
lola: 1894 tries, 1893753341 fired transitions, 2445 secs || 44402236 markings, 66878905 edges,
lola: 1898 tries, 1897634074 fired transitions, 2450 secs || 44489209 markings, 67000506 edges,
lola: 1902 tries, 1901558110 fired transitions, 2455 secs || 44577159 markings, 67123398 edges,
lola: 1906 tries, 1905478098 fired transitions, 2460 secs || 44665672 markings, 67249243 edges,
lola: 1910 tries, 1909389685 fired transitions, 2465 secs || 44754745 markings, 67376796 edges,
lola: 1914 tries, 1913306376 fired transitions, 2470 secs || 44842215 markings, 67499733 edges,
lola: 1918 tries, 1917220240 fired transitions, 2475 secs || 44931316 markings, 67625089 edges,
lola: 1922 tries, 1921037376 fired transitions, 2480 secs || 45017059 markings, 67745157 edges,
lola: 1925 tries, 1924949471 fired transitions, 2485 secs || 45104888 markings, 67871006 edges,
lola: 1929 tries, 1928869184 fired transitions, 2490 secs || 45195761 markings, 67997874 edges,
lola: 1933 tries, 1932790142 fired transitions, 2495 secs || 45284863 markings, 68126505 edges,
lola: 1937 tries, 1936691498 fired transitions, 2500 secs || 45372078 markings, 68255023 edges,
lola: 1941 tries, 1940621733 fired transitions, 2505 secs || 45461234 markings, 68385353 edges,
lola: 1945 tries, 1944530067 fired transitions, 2510 secs || 45548414 markings, 68509956 edges,
lola: 1949 tries, 1948459232 fired transitions, 2515 secs || 45637441 markings, 68635687 edges,
lola: 1953 tries, 1952376322 fired transitions, 2520 secs || 45723577 markings, 68758616 edges,
lola: 1957 tries, 1956295510 fired transitions, 2525 secs || 45811579 markings, 68885768 edges,
lola: 1961 tries, 1960195238 fired transitions, 2530 secs || 45897233 markings, 69008664 edges,
lola: 1965 tries, 1964114809 fired transitions, 2535 secs || 45984780 markings, 69134736 edges,
lola: 1969 tries, 1968016043 fired transitions, 2540 secs || 46072083 markings, 69258348 edges,
lola: 1972 tries, 1971927491 fired transitions, 2545 secs || 46161176 markings, 69388034 edges,
lola: 1976 tries, 1975820459 fired transitions, 2550 secs || 46248322 markings, 69512152 edges,
lola: 1980 tries, 1979732353 fired transitions, 2555 secs || 46335722 markings, 69638188 edges,
lola: 1984 tries, 1983651191 fired transitions, 2560 secs || 46423822 markings, 69763638 edges,
lola: 1988 tries, 1987555410 fired transitions, 2565 secs || 46512444 markings, 69892314 edges,
lola: 1992 tries, 1991452783 fired transitions, 2570 secs || 46600322 markings, 70017847 edges,
lola: 1996 tries, 1995354421 fired transitions, 2575 secs || 46687144 markings, 70141841 edges,
lola: 2000 tries, 1999157511 fired transitions, 2580 secs || 46770557 markings, 70261936 edges,
lola: 2004 tries, 2003033622 fired transitions, 2585 secs || 46856116 markings, 70384732 edges,
lola: 2007 tries, 2006934755 fired transitions, 2590 secs || 46944253 markings, 70509780 edges,
lola: 2011 tries, 2010851681 fired transitions, 2595 secs || 47033120 markings, 70634793 edges,
lola: 2015 tries, 2014741440 fired transitions, 2600 secs || 47121231 markings, 70758369 edges,
lola: 2019 tries, 2018656369 fired transitions, 2605 secs || 47210242 markings, 70882950 edges,
lola: 2023 tries, 2022517534 fired transitions, 2610 secs || 47298017 markings, 71008444 edges,
lola: 2027 tries, 2026435573 fired transitions, 2615 secs || 47386914 markings, 71133523 edges,
lola: 2031 tries, 2030290839 fired transitions, 2620 secs || 47476125 markings, 71259936 edges,
lola: 2035 tries, 2034195462 fired transitions, 2625 secs || 47565008 markings, 71385980 edges,
lola: 2039 tries, 2038113357 fired transitions, 2630 secs || 47653040 markings, 71510368 edges,
lola: 2042 tries, 2041994939 fired transitions, 2635 secs || 47740865 markings, 71635761 edges,
lola: 2046 tries, 2045901726 fired transitions, 2640 secs || 47829323 markings, 71761684 edges,
lola: 2050 tries, 2049819308 fired transitions, 2645 secs || 47919298 markings, 71894428 edges,
lola: 2054 tries, 2053727539 fired transitions, 2650 secs || 48007669 markings, 72026146 edges,
lola: 2058 tries, 2057639983 fired transitions, 2655 secs || 48097477 markings, 72158359 edges,
lola: 2062 tries, 2061559633 fired transitions, 2660 secs || 48186785 markings, 72287321 edges,
lola: 2066 tries, 2065460193 fired transitions, 2665 secs || 48279947 markings, 72419677 edges,
lola: 2070 tries, 2069377332 fired transitions, 2670 secs || 48372742 markings, 72549449 edges,
lola: 2074 tries, 2073287141 fired transitions, 2675 secs || 48465332 markings, 72679679 edges,
lola: 2078 tries, 2077206931 fired transitions, 2680 secs || 48556490 markings, 72809055 edges,
lola: 2082 tries, 2081106471 fired transitions, 2685 secs || 48647622 markings, 72937814 edges,
lola: 2086 tries, 2085027263 fired transitions, 2690 secs || 48738836 markings, 73067724 edges,
lola: 2089 tries, 2088928086 fired transitions, 2695 secs || 48830238 markings, 73197761 edges,
lola: 2093 tries, 2092843033 fired transitions, 2700 secs || 48920773 markings, 73324599 edges,
lola: 2097 tries, 2096752508 fired transitions, 2705 secs || 49011027 markings, 73451857 edges,
lola: 2101 tries, 2100661633 fired transitions, 2710 secs || 49101161 markings, 73578348 edges,
lola: 2105 tries, 2104579950 fired transitions, 2715 secs || 49191126 markings, 73705055 edges,
lola: 2109 tries, 2108474023 fired transitions, 2720 secs || 49282180 markings, 73834962 edges,
lola: 2113 tries, 2112385410 fired transitions, 2725 secs || 49371316 markings, 73960570 edges,
lola: 2117 tries, 2116294400 fired transitions, 2730 secs || 49461525 markings, 74089135 edges,
lola: 2121 tries, 2120168594 fired transitions, 2735 secs || 49553370 markings, 74218261 edges,
lola: 2125 tries, 2124094058 fired transitions, 2740 secs || 49643812 markings, 74348528 edges,
lola: 2129 tries, 2128003778 fired transitions, 2745 secs || 49733690 markings, 74475015 edges,
lola: 2132 tries, 2131901360 fired transitions, 2750 secs || 49824584 markings, 74604736 edges,
lola: 2136 tries, 2135738704 fired transitions, 2755 secs || 49913208 markings, 74734031 edges,
lola: 2140 tries, 2139649869 fired transitions, 2760 secs || 50003195 markings, 74861761 edges,
lola: 2144 tries, 2143549392 fired transitions, 2765 secs || 50094425 markings, 74989163 edges,
lola: 2148 tries, 2147480014 fired transitions, 2770 secs || 50184292 markings, 75114995 edges,
lola: 2152 tries, 2151363981 fired transitions, 2775 secs || 50275177 markings, 75245237 edges,
lola: 2156 tries, 2155293763 fired transitions, 2780 secs || 50365543 markings, 75372493 edges,
lola: 2160 tries, 2159205102 fired transitions, 2785 secs || 50455670 markings, 75500129 edges,
lola: 2164 tries, 2163108255 fired transitions, 2790 secs || 50545139 markings, 75624626 edges,
lola: 2168 tries, 2167006446 fired transitions, 2795 secs || 50636233 markings, 75754039 edges,
lola: 2171 tries, 2170921652 fired transitions, 2800 secs || 50725658 markings, 75879122 edges,
lola: 2175 tries, 2174841095 fired transitions, 2805 secs || 50814138 markings, 76000390 edges,
lola: 2179 tries, 2178740754 fired transitions, 2810 secs || 50904443 markings, 76127965 edges,
lola: 2183 tries, 2182652247 fired transitions, 2815 secs || 50994427 markings, 76255611 edges,
lola: 2187 tries, 2186560708 fired transitions, 2820 secs || 51085299 markings, 76385594 edges,
lola: 2191 tries, 2190480261 fired transitions, 2825 secs || 51176004 markings, 76515093 edges,
lola: 2195 tries, 2194363725 fired transitions, 2830 secs || 51266108 markings, 76644726 edges,
lola: 2199 tries, 2198278738 fired transitions, 2835 secs || 51356082 markings, 76774062 edges,
lola: 2203 tries, 2202189675 fired transitions, 2840 secs || 51446639 markings, 76902671 edges,
lola: 2207 tries, 2206098613 fired transitions, 2845 secs || 51535710 markings, 77025766 edges,
lola: 2211 tries, 2210010796 fired transitions, 2850 secs || 51626711 markings, 77155339 edges,
lola: 2214 tries, 2213884187 fired transitions, 2855 secs || 51715211 markings, 77280969 edges,
lola: 2218 tries, 2217794505 fired transitions, 2860 secs || 51804794 markings, 77409086 edges,
lola: 2222 tries, 2221705240 fired transitions, 2865 secs || 51894341 markings, 77535292 edges,
lola: 2226 tries, 2225614315 fired transitions, 2870 secs || 51984900 markings, 77665908 edges,
lola: 2230 tries, 2229527035 fired transitions, 2875 secs || 52074480 markings, 77794072 edges,
lola: 2234 tries, 2233439463 fired transitions, 2880 secs || 52165499 markings, 77925124 edges,
lola: 2238 tries, 2237351582 fired transitions, 2885 secs || 52254920 markings, 78051048 edges,
lola: 2242 tries, 2241259559 fired transitions, 2890 secs || 52345358 markings, 78180261 edges,
lola: 2246 tries, 2245168989 fired transitions, 2895 secs || 52435060 markings, 78309229 edges,
lola: 2250 tries, 2249071233 fired transitions, 2900 secs || 52524837 markings, 78439979 edges,
lola: 2253 tries, 2252986133 fired transitions, 2905 secs || 52615260 markings, 78569524 edges,
lola: 2257 tries, 2256835844 fired transitions, 2910 secs || 52703584 markings, 78696097 edges,
lola: 2261 tries, 2260527185 fired transitions, 2915 secs || 52787537 markings, 78818444 edges,
lola: 2265 tries, 2264376584 fired transitions, 2920 secs || 52877120 markings, 78945941 edges,
lola: 2269 tries, 2268832573 fired transitions, 2925 secs || 52983097 markings, 79097916 edges,
lola: 2274 tries, 2273317945 fired transitions, 2930 secs || 53087134 markings, 79241655 edges,
lola: 2278 tries, 2277826056 fired transitions, 2935 secs || 53192804 markings, 79394167 edges,
lola: 2283 tries, 2282338494 fired transitions, 2940 secs || 53297629 markings, 79543185 edges,
lola: 2287 tries, 2286889810 fired transitions, 2945 secs || 53402303 markings, 79695074 edges,
lola: 2292 tries, 2291438074 fired transitions, 2950 secs || 53505238 markings, 79839664 edges,
lola: 2296 tries, 2295982668 fired transitions, 2955 secs || 53610464 markings, 79991020 edges,
lola: 2301 tries, 2300600388 fired transitions, 2960 secs || 53714935 markings, 80139360 edges,
lola: 2306 tries, 2305173339 fired transitions, 2965 secs || 53820415 markings, 80295208 edges,
lola: 2310 tries, 2309728930 fired transitions, 2970 secs || 53923149 markings, 80437771 edges,
lola: 2315 tries, 2314349049 fired transitions, 2975 secs || 54026596 markings, 80584923 edges,
lola: 2319 tries, 2318301690 fired transitions, 2980 secs || 54117372 markings, 80715052 edges,
lola: 2323 tries, 2322225729 fired transitions, 2985 secs || 54206298 markings, 80843255 edges,
lola: 2327 tries, 2326129090 fired transitions, 2990 secs || 54295299 markings, 80971294 edges,
lola: 2331 tries, 2330033326 fired transitions, 2995 secs || 54384358 markings, 81100986 edges,
lola: 2334 tries, 2333939104 fired transitions, 3000 secs || 54473284 markings, 81228848 edges,
lola: 2338 tries, 2337844322 fired transitions, 3005 secs || 54560387 markings, 81351561 edges,
lola: 2342 tries, 2341770388 fired transitions, 3010 secs || 54648962 markings, 81480717 edges,
lola: 2346 tries, 2345673702 fired transitions, 3015 secs || 54737768 markings, 81610239 edges,
lola: 2350 tries, 2349571672 fired transitions, 3020 secs || 54828299 markings, 81741698 edges,
lola: 2354 tries, 2353479534 fired transitions, 3025 secs || 54917573 markings, 81871899 edges,
lola: 2358 tries, 2357377409 fired transitions, 3030 secs || 55006828 markings, 82000556 edges,
lola: 2362 tries, 2361302878 fired transitions, 3035 secs || 55096291 markings, 82127546 edges,
lola: 2366 tries, 2365213453 fired transitions, 3040 secs || 55186028 markings, 82259487 edges,
lola: 2370 tries, 2369014344 fired transitions, 3045 secs || 55273359 markings, 82387281 edges,
lola: 2373 tries, 2372928237 fired transitions, 3050 secs || 55363345 markings, 82518727 edges,
lola: 2377 tries, 2376838706 fired transitions, 3055 secs || 55455248 markings, 82660150 edges,
lola: 2381 tries, 2380745074 fired transitions, 3060 secs || 55544573 markings, 82789780 edges,
lola: 2385 tries, 2384649228 fired transitions, 3065 secs || 55631450 markings, 82912773 edges,
lola: 2389 tries, 2388527490 fired transitions, 3070 secs || 55719478 markings, 83041182 edges,
lola: 2393 tries, 2392191543 fired transitions, 3075 secs || 55802278 markings, 83161648 edges,
lola: 2397 tries, 2396547766 fired transitions, 3080 secs || 55903560 markings, 83304676 edges,
lola: 2402 tries, 2401008581 fired transitions, 3085 secs || 56010091 markings, 83454127 edges,
lola: 2406 tries, 2405550579 fired transitions, 3090 secs || 56116721 markings, 83605288 edges,
lola: 2411 tries, 2410126224 fired transitions, 3095 secs || 56221713 markings, 83754282 edges,
lola: 2415 tries, 2414642460 fired transitions, 3100 secs || 56328563 markings, 83907842 edges,
lola: 2420 tries, 2419175375 fired transitions, 3105 secs || 56436407 markings, 84062128 edges,
lola: 2424 tries, 2423310248 fired transitions, 3110 secs || 56531469 markings, 84198904 edges,
lola: 2428 tries, 2427209765 fired transitions, 3115 secs || 56624320 markings, 84329306 edges,
lola: 2432 tries, 2431220986 fired transitions, 3120 secs || 56718661 markings, 84459060 edges,
lola: 2436 tries, 2435724099 fired transitions, 3125 secs || 56824653 markings, 84607477 edges,
lola: 2441 tries, 2440203448 fired transitions, 3130 secs || 56931646 markings, 84759630 edges,
lola: 2445 tries, 2444720615 fired transitions, 3135 secs || 57038465 markings, 84913177 edges,
lola: 2450 tries, 2449206230 fired transitions, 3140 secs || 57144871 markings, 85064466 edges,
lola: 2454 tries, 2453725753 fired transitions, 3145 secs || 57252481 markings, 85219455 edges,
lola: 2459 tries, 2458228040 fired transitions, 3150 secs || 57359840 markings, 85371921 edges,
lola: 2463 tries, 2462749834 fired transitions, 3155 secs || 57467063 markings, 85527278 edges,
lola: 2468 tries, 2467271541 fired transitions, 3160 secs || 57573345 markings, 85678953 edges,
lola: 2472 tries, 2471806254 fired transitions, 3165 secs || 57679461 markings, 85830951 edges,
lola: 2477 tries, 2476193403 fired transitions, 3170 secs || 57785602 markings, 85977815 edges,
lola: 2481 tries, 2480682211 fired transitions, 3175 secs || 57894340 markings, 86131302 edges,
lola: 2486 tries, 2485140400 fired transitions, 3180 secs || 58001255 markings, 86281324 edges,
lola: 2490 tries, 2489608562 fired transitions, 3185 secs || 58108805 markings, 86435061 edges,
lola: 2495 tries, 2494076548 fired transitions, 3190 secs || 58216698 markings, 86588024 edges,
lola: 2499 tries, 2498576366 fired transitions, 3195 secs || 58324459 markings, 86740810 edges,
lola: 2504 tries, 2503046156 fired transitions, 3200 secs || 58432536 markings, 86894021 edges,
lola: 2508 tries, 2507569125 fired transitions, 3205 secs || 58539803 markings, 87047577 edges,
lola: 2513 tries, 2512069124 fired transitions, 3210 secs || 58647002 markings, 87200036 edges,
lola: 2517 tries, 2516571993 fired transitions, 3215 secs || 58754685 markings, 87353914 edges,
lola: 2522 tries, 2521070450 fired transitions, 3220 secs || 58861507 markings, 87507862 edges,
lola: 2526 tries, 2525601455 fired transitions, 3225 secs || 58967901 markings, 87661297 edges,
lola: 2531 tries, 2530130132 fired transitions, 3230 secs || 59076105 markings, 87816685 edges,
lola: 2535 tries, 2534623695 fired transitions, 3235 secs || 59182952 markings, 87964725 edges,
lola: 2540 tries, 2539179828 fired transitions, 3240 secs || 59292221 markings, 88124329 edges,
lola: 2544 tries, 2543808403 fired transitions, 3245 secs || 59398571 markings, 88280408 edges,
lola: 2549 tries, 2548442083 fired transitions, 3250 secs || 59505770 markings, 88438740 edges,
lola: 2554 tries, 2553062167 fired transitions, 3255 secs || 59611675 markings, 88590423 edges,
lola: 2558 tries, 2557682712 fired transitions, 3260 secs || 59716496 markings, 88740617 edges,
lola: 2563 tries, 2562299299 fired transitions, 3265 secs || 59822061 markings, 88892890 edges,
lola: 2567 tries, 2566914212 fired transitions, 3270 secs || 59927741 markings, 89048984 edges,
lola: 2572 tries, 2571504342 fired transitions, 3275 secs || 60034666 markings, 89205934 edges,
lola: 2577 tries, 2576160080 fired transitions, 3280 secs || 60140529 markings, 89360667 edges,
lola: 2581 tries, 2580814850 fired transitions, 3285 secs || 60246648 markings, 89517826 edges,
lola: 2586 tries, 2585467759 fired transitions, 3290 secs || 60352653 markings, 89673934 edges,
lola: 2591 tries, 2590184975 fired transitions, 3295 secs || 60458782 markings, 89828093 edges,
lola: 2595 tries, 2594834487 fired transitions, 3300 secs || 60560047 markings, 89968775 edges,
lola: 2600 tries, 2599490751 fired transitions, 3305 secs || 60662241 markings, 90116759 edges,
lola: 2605 tries, 2604159275 fired transitions, 3310 secs || 60766884 markings, 90267659 edges,
lola: 2609 tries, 2608858375 fired transitions, 3315 secs || 60869156 markings, 90415026 edges,
lola: 2614 tries, 2613503235 fired transitions, 3320 secs || 60972525 markings, 90562343 edges,
lola: 2619 tries, 2618173987 fired transitions, 3325 secs || 61074179 markings, 90707726 edges,
lola: 2623 tries, 2622876748 fired transitions, 3330 secs || 61175969 markings, 90855595 edges,
lola: 2628 tries, 2627527638 fired transitions, 3335 secs || 61283064 markings, 91009486 edges,
lola: 2633 tries, 2632145100 fired transitions, 3340 secs || 61394861 markings, 91168917 edges,
lola: 2637 tries, 2636762173 fired transitions, 3345 secs || 61503745 markings, 91323107 edges,
lola: 2642 tries, 2641376622 fired transitions, 3350 secs || 61612928 markings, 91477964 edges,
lola: 2646 tries, 2645658700 fired transitions, 3355 secs || 61714244 markings, 91622192 edges,
lola: 2651 tries, 2650099569 fired transitions, 3360 secs || 61819013 markings, 91770541 edges,
lola: 2655 tries, 2654651271 fired transitions, 3365 secs || 61927222 markings, 91921229 edges,
lola: 2660 tries, 2659253415 fired transitions, 3370 secs || 62035710 markings, 92075574 edges,
lola: 2664 tries, 2663875764 fired transitions, 3375 secs || 62143827 markings, 92229549 edges,
lola: 2669 tries, 2668449109 fired transitions, 3380 secs || 62251026 markings, 92378401 edges,
lola: 2674 tries, 2673058521 fired transitions, 3385 secs || 62358542 markings, 92531313 edges,
lola: 2678 tries, 2677672407 fired transitions, 3390 secs || 62465788 markings, 92684609 edges,
lola: 2683 tries, 2682232937 fired transitions, 3395 secs || 62576478 markings, 92840882 edges,
lola: 2687 tries, 2686853950 fired transitions, 3400 secs || 62688563 markings, 93001253 edges,
lola: 2692 tries, 2691434112 fired transitions, 3405 secs || 62797154 markings, 93156661 edges,
lola: 2697 tries, 2696009059 fired transitions, 3410 secs || 62901716 markings, 93304718 edges,
lola: 2701 tries, 2700568082 fired transitions, 3415 secs || 63007369 markings, 93453767 edges,
lola: 2706 tries, 2705161341 fired transitions, 3420 secs || 63112323 markings, 93603671 edges,
lola: 2710 tries, 2709751324 fired transitions, 3425 secs || 63219299 markings, 93757097 edges,
lola: 2715 tries, 2714307016 fired transitions, 3430 secs || 63322407 markings, 93896883 edges,
lola: 2719 tries, 2718942723 fired transitions, 3435 secs || 63426317 markings, 94046707 edges,
lola: 2724 tries, 2723608071 fired transitions, 3440 secs || 63529182 markings, 94197322 edges,
lola: 2729 tries, 2728228455 fired transitions, 3445 secs || 63631383 markings, 94339195 edges,
lola: 2733 tries, 2732861792 fired transitions, 3450 secs || 63734093 markings, 94487548 edges,
lola: 2738 tries, 2737503695 fired transitions, 3455 secs || 63839002 markings, 94639487 edges,
lola: 2743 tries, 2742152541 fired transitions, 3460 secs || 63944579 markings, 94792763 edges,
lola: 2747 tries, 2746789811 fired transitions, 3465 secs || 64048950 markings, 94942040 edges,
lola: 2752 tries, 2751414852 fired transitions, 3470 secs || 64151593 markings, 95089359 edges,
lola: 2757 tries, 2756090572 fired transitions, 3475 secs || 64255082 markings, 95239956 edges,
lola: 2761 tries, 2760740356 fired transitions, 3480 secs || 64358595 markings, 95390708 edges,
lola: 2766 tries, 2765413176 fired transitions, 3485 secs || 64461367 markings, 95537873 edges,
lola: 2771 tries, 2770130128 fired transitions, 3490 secs || 64564277 markings, 95685414 edges,
lola: 2775 tries, 2774844950 fired transitions, 3495 secs || 64667884 markings, 95835200 edges,
lola: 2780 tries, 2779490443 fired transitions, 3500 secs || 64770592 markings, 95982112 edges,
lola: 2785 tries, 2784117280 fired transitions, 3505 secs || 64873586 markings, 96127133 edges,
lola: 2789 tries, 2788656398 fired transitions, 3510 secs || 64974549 markings, 96266739 edges,
lola: 2794 tries, 2793304627 fired transitions, 3515 secs || 65076795 markings, 96411895 edges,
lola: 2799 tries, 2798004512 fired transitions, 3520 secs || 65178168 markings, 96559098 edges,
lola: 2803 tries, 2802701741 fired transitions, 3525 secs || 65283159 markings, 96708468 edges,
lola: 2808 tries, 2807277869 fired transitions, 3530 secs || 65387309 markings, 96851262 edges,
lola: 2812 tries, 2811913967 fired transitions, 3535 secs || 65493744 markings, 97004011 edges,
lola: 2817 tries, 2816491156 fired transitions, 3540 secs || 65599892 markings, 97150860 edges,
lola: 2822 tries, 2821111571 fired transitions, 3545 secs || 65706911 markings, 97304744 edges,
lola: 2826 tries, 2825817551 fired transitions, 3550 secs || 65812609 markings, 97450061 edges,
lola: 2831 tries, 2830623889 fired transitions, 3555 secs || 65920155 markings, 97603715 edges,
lola: time limit reached - aborting
lola: memory consumption: 12183524 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1554505609608

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... tarjan) jan) 15098 markings/sec, 0 secs 18000 markings/sec, 5 secs 19838 markings/sec, 10 secs 19091 markings/sec, 15 secs 18114 markings/sec, 20 secs 15820 markings/sec, 25 secs 18205 markings/sec, 30 secs 18801 markings/sec, 35 secs 18713 markings/sec, 40 secs 18242 markings/sec, 45 secs 18512 markings/sec, 50 secs 18725 markings/sec, 55 secs 18572 markings/sec, 60 secs 18566 markings/sec, 65 secs 18287 markings/sec, 70 secs 18251 markings/sec, 75 secs 18488 markings/sec, 80 secs 16346 markings/sec, 85 secs 17564 markings/sec, 90 secs 17583 markings/sec, 95 secs 14808 markings/sec, 100 secs 15659 markings/sec, 105 secs 18130 markings/sec, 110 secs 18224 markings/sec, 115 secs 18378 markings/sec, 120 secs 17928 markings/sec, 125 secs 19091 markings/sec, 130 secs 18618 markings/sec, 135 secs 18402 markings/sec, 140 secs 19398 markings/sec, 145 secs 19948 markings/sec, 150 secs 18370 markings/sec, 155 secs 19296 markings/sec, 160 secs 19412 markings/sec, 165 secs 16346 markings/sec, 170 secs 18090 markings/sec, 175 secs 22141 markings/sec, 180 secs 20655 markings/sec, 185 secs 19492 markings/sec, 190 secs 19087 markings/sec, 195 secs 19678 markings/sec, 200 secs 20019 markings/sec, 205 secs 19521 markings/sec, 210 secs 19096 markings/sec, 215 secs 18601 markings/sec, 220 secs 17308 markings/sec, 225 secs 17536 markings/sec, 230 secs 17369 markings/sec, 235 secs 17918 markings/sec, 240 secs 19942 markings/sec, 245 secs 19895 markings/sec, 250 secs 20691 markings/sec, 255 secs 19928 markings/sec, 260 secs 20100 markings/sec, 265 secs 19238 markings/sec, 270 secs 19266 markings/sec, 275 secs 19015 markings/sec, 280 secs 19041 markings/sec, 285 secs 19282 markings/sec, 290 secs 19983 markings/sec, 295 secs 20089 markings/sec, 300 secs 19886 markings/sec, 305 secs 19638 markings/sec, 310 secs 19238 markings/sec, 315 secs 19076 markings/sec, 320 secs 19151 markings/sec, 325 secs 19585 markings/sec, 330 secs 19052 markings/sec, 335 secs 19648 markings/sec, 340 secs 20376 markings/sec, 345 secs 20110 markings/sec, 350 secs 18923 markings/sec, 355 secs 19319 markings/sec, 360 secs 18577 markings/sec, 365 secs 19246 markings/sec, 370 secs 20214 markings/sec, 375 secs 20310 markings/sec, 380 secs 19713 markings/sec, 385 secs 19213 markings/sec, 390 secs 18919 markings/sec, 395 secs 19615 markings/sec, 400 secs 19252 markings/sec, 405 secs 19029 markings/sec, 410 secs 18121 markings/sec, 415 secs 19584 markings/sec, 420 secs 18787 markings/sec, 425 secs 20211 markings/sec, 430 secs 19143 markings/sec, 435 secs 19543 markings/sec, 440 secs 19446 markings/sec, 445 secs 19957 markings/sec, 450 secs 19903 markings/sec, 455 secs 19383 markings/sec, 460 secs 19589 markings/sec, 465 secs 20195 markings/sec, 470 secs 20214 markings/sec, 475 secs 19841 markings/sec, 480 secs 18826 markings/sec, 485 secs 20253 markings/sec, 490 secs 19792 markings/sec, 495 secs 19316 markings/sec, 500 secs 19254 markings/sec, 505 secs 19651 markings/sec, 510 secs 19402 markings/sec, 515 secs 19634 markings/sec, 520 secs 20323 markings/sec, 525 secs 19411 markings/sec, 530 secs 19873 markings/sec, 535 secs 19774 markings/sec, 540 secs 19808 markings/sec, 545 secs 18630 markings/sec, 550 secs 19347 markings/sec, 555 secs 19713 markings/sec, 560 secs 18906 markings/sec, 565 secs 18986 markings/sec, 570 secs 19052 markings/sec, 575 secs 19854 markings/sec, 580 secs 19292 markings/sec, 585 secs 19993 markings/sec, 590 secs 19560 markings/sec, 595 secs 19199 markings/sec, 600 secs 19229 markings/sec, 605 secs 19571 markings/sec, 610 secs 19831 markings/sec, 615 secs 19513 markings/sec, 620 secs 19193 markings/sec, 625 secs 18802 markings/sec, 630 secs 19363 markings/sec, 635 secs 19899 markings/sec, 640 secs 20186 markings/sec, 645 secs 20025 markings/sec, 650 secs 19965 markings/sec, 655 secs 20212 markings/sec, 660 secs 20082 markings/sec, 665 secs 19965 markings/sec, 670 secs 19201 markings/sec, 675 secs 19411 markings/sec, 680 secs 19306 markings/sec, 685 secs 19870 markings/sec, 690 secs 19825 markings/sec, 695 secs 18972 markings/sec, 700 secs 19419 markings/sec, 705 secs 20206 markings/sec, 710 secs 19642 markings/sec, 715 secs 19865 markings/sec, 720 secs 19517 markings/sec, 725 secs 20420 markings/sec, 730 secs 19430 markings/sec, 735 secs 19410 markings/sec, 740 secs 19554 markings/sec, 745 secs 19815 markings/sec, 750 secs 19335 markings/sec, 755 secs 19863 markings/sec, 760 secs 19760 markings/sec, 765 secs 20061 markings/sec, 770 secs 19529 markings/sec, 775 secs 20130 markings/sec, 780 secs 19968 markings/sec, 785 secs 20001 markings/sec, 790 secs 19938 markings/sec, 795 secs 19756 markings/sec, 800 secs 18941 markings/sec, 805 secs 18569 markings/sec, 810 secs 19297 markings/sec, 815 secs 19181 markings/sec, 820 secs 18818 markings/sec, 825 secs 19463 markings/sec, 830 secs 19119 markings/sec, 835 secs 18527 markings/sec, 840 secs 17840 markings/sec, 845 secs 17996 markings/sec, 850 secs 18984 markings/sec, 855 secs 18486 markings/sec, 860 secs 18803 markings/sec, 865 secs 19288 markings/sec, 870 secs 19674 markings/sec, 875 secs 19942 markings/sec, 880 secs 20191 markings/sec, 885 secs 18650 markings/sec, 890 secs 18660 markings/sec, 895 secs 18700 markings/sec, 900 secs 18382 markings/sec, 905 secs 18892 markings/sec, 910 secs 19060 markings/sec, 915 secs 19844 markings/sec, 920 secs 19562 markings/sec, 925 secs 19383 markings/sec, 930 secs 19348 markings/sec, 935 secs 19497 markings/sec, 940 secs 18989 markings/sec, 945 secs 19518 markings/sec, 950 secs 19655 markings/sec, 955 secs 18537 markings/sec, 960 secs 19436 markings/sec, 965 secs 19065 markings/sec, 970 secs 19325 markings/sec, 975 secs 20615 markings/sec, 980 secs 19555 markings/sec, 985 secs 18913 markings/sec, 990 secs 18172 markings/sec, 995 secs 17646 markings/sec, 1000 secs 17528 markings/sec, 1005 secs 17924 markings/sec, 1010 secs 17995 markings/sec, 1015 secs 17937 markings/sec, 1020 secs 17770 markings/sec, 1025 secs 17747 markings/sec, 1030 secs 17809 markings/sec, 1035 secs 17885 markings/sec, 1040 secs 17646 markings/sec, 1045 secs 17753 markings/sec, 1050 secs 17900 markings/sec, 1055 secs 17794 markings/sec, 1060 secs 17627 markings/sec, 1065 secs 17451 markings/sec, 1070 secs 17243 markings/sec, 1075 secs 17087 markings/sec, 1080 secs 17195 markings/sec, 1085 secs 16897 markings/sec, 1090 secs 16073 markings/sec, 1095 secs 16901 markings/sec, 1100 secs 17058 markings/sec, 1105 secs 17011 markings/sec, 1110 secs 16916 markings/sec, 1115 secs 16899 markings/sec, 1120 secs 17177 markings/sec, 1125 secs 17283 markings/sec, 1130 secs 16959 markings/sec, 1135 secs 17155 markings/sec, 1140 secs 17240 markings/sec, 1145 secs 16997 markings/sec, 1150 secs 17017 markings/sec, 1155 secs 17157 markings/sec, 1160 secs 17338 markings/sec, 1165 secs 17227 markings/sec, 1170 secs 16985 markings/sec, 1175 secs 17252 markings/sec, 1180 secs 17173 markings/sec, 1185 secs 17267 markings/sec, 1190 secs 17142 markings/sec, 1195 secs 17924 markings/sec, 1200 secs 17733 markings/sec, 1205 secs 17367 markings/sec, 1210 secs 17778 markings/sec, 1215 secs 17627 markings/sec, 1220 secs 17692 markings/sec, 1225 secs 17395 markings/sec, 1230 secs 17615 markings/sec, 1235 secs 17550 markings/sec, 1240 secs 17620 markings/sec, 1245 secs 17790 markings/sec, 1250 secs 18071 markings/sec, 1255 secs 17607 markings/sec, 1260 secs 14416 markings/sec, 1265 secs 17072 markings/sec, 1270 secs 16508 markings/sec, 1275 secs 17505 markings/sec, 1280 secs 17449 markings/sec, 1285 secs 17315 markings/sec, 1290 secs 17255 markings/sec, 1295 secs 16791 markings/sec, 1300 secs 17088 markings/sec, 1305 secs 17077 markings/sec, 1310 secs 17287 markings/sec, 1315 secs 17443 markings/sec, 1320 secs 17552 markings/sec, 1325 secs 17248 markings/sec, 1330 secs 17370 markings/sec, 1335 secs 17516 markings/sec, 1340 secs 17395 markings/sec, 1345 secs 17347 markings/sec, 1350 secs 17504 markings/sec, 1355 secs 17877 markings/sec, 1360 secs 17718 markings/sec, 1365 secs 17798 markings/sec, 1370 secs 17575 markings/sec, 1375 secs 17151 markings/sec, 1380 secs 16799 markings/sec, 1385 secs 15183 markings/sec, 1390 secs 16545 markings/sec, 1395 secs 17407 markings/sec, 1400 secs 17356 markings/sec, 1405 secs 17788 markings/sec, 1410 secs 17506 markings/sec, 1415 secs 17632 markings/sec, 1420 secs 17420 markings/sec, 1425 secs 17724 markings/sec, 1430 secs 17389 markings/sec, 1435 secs 17398 markings/sec, 1440 secs 17337 markings/sec, 1445 secs 16771 markings/sec, 1450 secs 17553 markings/sec, 1455 secs 17294 markings/sec, 1460 secs 17532 markings/sec, 1465 secs 17405 markings/sec, 1470 secs 17363 markings/sec, 1475 secs 17368 markings/sec, 1480 secs 17471 markings/sec, 1485 secs 15674 markings/sec, 1490 secs 17500 markings/sec, 1495 secs 17445 markings/sec, 1500 secs 17304 markings/sec, 1505 secs 17214 markings/sec, 1510 secs 17190 markings/sec, 1515 secs 17563 markings/sec, 1520 secs 17725 markings/sec, 1525 secs 17714 markings/sec, 1530 secs 18268 markings/sec, 1535 secs 17765 markings/sec, 1540 secs 17264 markings/sec, 1545 secs 17164 markings/sec, 1550 secs 17391 markings/sec, 1555 secs 17488 markings/sec, 1560 secs 17302 markings/sec, 1565 secs 17172 markings/sec, 1570 secs 17648 markings/sec, 1575 secs 17273 markings/sec, 1580 secs 16940 markings/sec, 1585 secs 17183 markings/sec, 1590 secs 17215 markings/sec, 1595 secs 17208 markings/sec, 1600 secs 16999 markings/sec, 1605 secs 17309 markings/sec, 1610 secs 17405 markings/sec, 1615 secs 17039 markings/sec, 1620 secs 17111 markings/sec, 1625 secs 17172 markings/sec, 1630 secs 16981 markings/sec, 1635 secs 17129 markings/sec, 1640 secs 17186 markings/sec, 1645 secs 17405 markings/sec, 1650 secs 17558 markings/sec, 1655 secs 17608 markings/sec, 1660 secs 17476 markings/sec, 1665 secs 17343 markings/sec, 1670 secs 16706 markings/sec, 1675 secs 17384 markings/sec, 1680 secs 16890 markings/sec, 1685 secs 16840 markings/sec, 1690 secs 17282 markings/sec, 1695 secs 17522 markings/sec, 1700 secs 17514 markings/sec, 1705 secs 17222 markings/sec, 1710 secs 17445 markings/sec, 1715 secs 17366 markings/sec, 1720 secs 17394 markings/sec, 1725 secs 17310 markings/sec, 1730 secs 17520 markings/sec, 1735 secs 17311 markings/sec, 1740 secs 16826 markings/sec, 1745 secs 17197 markings/sec, 1750 secs 17488 markings/sec, 1755 secs 17456 markings/sec, 1760 secs 17428 markings/sec, 1765 secs 17598 markings/sec, 1770 secs 17515 markings/sec, 1775 secs 17291 markings/sec, 1780 secs 17259 markings/sec, 1785 secs 17027 markings/sec, 1790 secs 17638 markings/sec, 1795 secs 17502 markings/sec, 1800 secs 17549 markings/sec, 1805 secs 16862 markings/sec, 1810 secs 17489 markings/sec, 1815 secs 17307 markings/sec, 1820 secs 17386 markings/sec, 1825 secs 17102 markings/sec, 1830 secs 17079 markings/sec, 1835 secs 17180 markings/sec, 1840 secs 17014 markings/sec, 1845 secs 16995 markings/sec, 1850 secs 16975 markings/sec, 1855 secs 16962 markings/sec, 1860 secs 16954 markings/sec, 1865 secs 17307 markings/sec, 1870 secs 17465 markings/sec, 1875 secs 17325 markings/sec, 1880 secs 17202 markings/sec, 1885 secs 17602 markings/sec, 1890 secs 17467 markings/sec, 1895 secs 17531 markings/sec, 1900 secs 17310 markings/sec, 1905 secs 17096 markings/sec, 1910 secs 17187 markings/sec, 1915 secs 17378 markings/sec, 1920 secs 17261 markings/sec, 1925 secs 17508 markings/sec, 1930 secs 17014 markings/sec, 1935 secs 17443 markings/sec, 1940 secs 17484 markings/sec, 1945 secs 17214 markings/sec, 1950 secs 17608 markings/sec, 1955 secs 18566 markings/sec, 1960 secs 19428 markings/sec, 1965 secs 18158 markings/sec, 1970 secs 13856 markings/sec, 1975 secs 16946 markings/sec, 1980 secs 17021 markings/sec, 1985 secs 17848 markings/sec, 1990 secs 17269 markings/sec, 1995 secs 17454 markings/sec, 2000 secs 17330 markings/sec, 2005 secs 17304 markings/sec, 2010 secs 17016 markings/sec, 2015 secs 17433 markings/sec, 2020 secs 17231 markings/sec, 2025 secs 17137 markings/sec, 2030 secs 17594 markings/sec, 2035 secs 19178 markings/sec, 2040 secs 19064 markings/sec, 2045 secs 19573 markings/sec, 2050 secs 17506 markings/sec, 2055 secs 17257 markings/sec, 2060 secs 17338 markings/sec, 2065 secs 17317 markings/sec, 2070 secs 16934 markings/sec, 2075 secs 16991 markings/sec, 2080 secs 16850 markings/sec, 2085 secs 16950 markings/sec, 2090 secs 16979 markings/sec, 2095 secs 16912 markings/sec, 2100 secs 16951 markings/sec, 2105 secs 17359 markings/sec, 2110 secs 17527 markings/sec, 2115 secs 17569 markings/sec, 2120 secs 17332 markings/sec, 2125 secs 17159 markings/sec, 2130 secs 17572 markings/sec, 2135 secs 17402 markings/sec, 2140 secs 17013 markings/sec, 2145 secs 17239 markings/sec, 2150 secs 17158 markings/sec, 2155 secs 16653 markings/sec, 2160 secs 16907 markings/sec, 2165 secs 17307 markings/sec, 2170 secs 17066 markings/sec, 2175 secs 19214 markings/sec, 2180 secs 20064 markings/sec, 2185 secs 20234 markings/sec, 2190 secs 18083 markings/sec, 2195 secs 16854 markings/sec, 2200 secs 16546 markings/sec, 2205 secs 16622 markings/sec, 2210 secs 17171 markings/sec, 2215 secs 16957 markings/sec, 2220 secs 16778 markings/sec, 2225 secs 17818 markings/sec, 2230 secs 17322 markings/sec, 2235 secs 17456 markings/sec, 2240 secs 17300 markings/sec, 2245 secs 17259 markings/sec, 2250 secs 17070 markings/sec, 2255 secs 17266 markings/sec, 2260 secs 17126 markings/sec, 2265 secs 17331 markings/sec, 2270 secs 17380 markings/sec, 2275 secs 17142 markings/sec, 2280 secs 17437 markings/sec, 2285 secs 17043 markings/sec, 2290 secs 17630 markings/sec, 2295 secs 17562 markings/sec, 2300 secs 17256 markings/sec, 2305 secs 17620 markings/sec, 2310 secs 17410 markings/sec, 2315 secs 17500 markings/sec, 2320 secs 17213 markings/sec, 2325 secs 17598 markings/sec, 2330 secs 17616 markings/sec, 2335 secs 17483 markings/sec, 2340 secs 17680 markings/sec, 2345 secs 17684 markings/sec, 2350 secs 17270 markings/sec, 2355 secs 17518 markings/sec, 2360 secs 17484 markings/sec, 2365 secs 18160 markings/sec, 2370 secs 18246 markings/sec, 2375 secs 17909 markings/sec, 2380 secs 17842 markings/sec, 2385 secs 17866 markings/sec, 2390 secs 17926 markings/sec, 2395 secs 17794 markings/sec, 2400 secs 18123 markings/sec, 2405 secs 18190 markings/sec, 2410 secs 18179 markings/sec, 2415 secs 18312 markings/sec, 2420 secs 17926 markings/sec, 2425 secs 17734 markings/sec, 2430 secs 17532 markings/sec, 2435 secs 18020 markings/sec, 2440 secs 17616 markings/sec, 2445 secs 17395 markings/sec, 2450 secs 17590 markings/sec, 2455 secs 17703 markings/sec, 2460 secs 17815 markings/sec, 2465 secs 17494 markings/sec, 2470 secs 17820 markings/sec, 2475 secs 17149 markings/sec, 2480 secs 17566 markings/sec, 2485 secs 18175 markings/sec, 2490 secs 17820 markings/sec, 2495 secs 17443 markings/sec, 2500 secs 17831 markings/sec, 2505 secs 17436 markings/sec, 2510 secs 17805 markings/sec, 2515 secs 17227 markings/sec, 2520 secs 17600 markings/sec, 2525 secs 17131 markings/sec, 2530 secs 17509 markings/sec, 2535 secs 17461 markings/sec, 2540 secs 17819 markings/sec, 2545 secs 17429 markings/sec, 2550 secs 17480 markings/sec, 2555 secs 17620 markings/sec, 2560 secs 17724 markings/sec, 2565 secs 17576 markings/sec, 2570 secs 17364 markings/sec, 2575 secs 16683 markings/sec, 2580 secs 17112 markings/sec, 2585 secs 17627 markings/sec, 2590 secs 17773 markings/sec, 2595 secs 17622 markings/sec, 2600 secs 17802 markings/sec, 2605 secs 17555 markings/sec, 2610 secs 17779 markings/sec, 2615 secs 17842 markings/sec, 2620 secs 17777 markings/sec, 2625 secs 17606 markings/sec, 2630 secs 17565 markings/sec, 2635 secs 17692 markings/sec, 2640 secs 17995 markings/sec, 2645 secs 17674 markings/sec, 2650 secs 17962 markings/sec, 2655 secs 17862 markings/sec, 2660 secs 18632 markings/sec, 2665 secs 18559 markings/sec, 2670 secs 18518 markings/sec, 2675 secs 18232 markings/sec, 2680 secs 18226 markings/sec, 2685 secs 18243 markings/sec, 2690 secs 18280 markings/sec, 2695 secs 18107 markings/sec, 2700 secs 18051 markings/sec, 2705 secs 18027 markings/sec, 2710 secs 17993 markings/sec, 2715 secs 18211 markings/sec, 2720 secs 17827 markings/sec, 2725 secs 18042 markings/sec, 2730 secs 18369 markings/sec, 2735 secs 18088 markings/sec, 2740 secs 17976 markings/sec, 2745 secs 18179 markings/sec, 2750 secs 17725 markings/sec, 2755 secs 17997 markings/sec, 2760 secs 18246 markings/sec, 2765 secs 17973 markings/sec, 2770 secs 18177 markings/sec, 2775 secs 18073 markings/sec, 2780 secs 18025 markings/sec, 2785 secs 17894 markings/sec, 2790 secs 18219 markings/sec, 2795 secs 17885 markings/sec, 2800 secs 17696 markings/sec, 2805 secs 18061 markings/sec, 2810 secs 17997 markings/sec, 2815 secs 18174 markings/sec, 2820 secs 18141 markings/sec, 2825 secs 18021 markings/sec, 2830 secs 17995 markings/sec, 2835 secs 18111 markings/sec, 2840 secs 17814 markings/sec, 2845 secs 18200 markings/sec, 2850 secs 17700 markings/sec, 2855 secs 17917 markings/sec, 2860 secs 17909 markings/sec, 2865 secs 18112 markings/sec, 2870 secs 17916 markings/sec, 2875 secs 18204 markings/sec, 2880 secs 17884 markings/sec, 2885 secs 18088 markings/sec, 2890 secs 17940 markings/sec, 2895 secs 17955 markings/sec, 2900 secs 18085 markings/sec, 2905 secs 17665 markings/sec, 2910 secs 16791 markings/sec, 2915 secs 17917 markings/sec, 2920 secs 21195 markings/sec, 2925 secs 20807 markings/sec, 2930 secs 21134 markings/sec, 2935 secs 20965 markings/sec, 2940 secs 20935 markings/sec, 2945 secs 20587 markings/sec, 2950 secs 21045 markings/sec, 2955 secs 20894 markings/sec, 2960 secs 21096 markings/sec, 2965 secs 20547 markings/sec, 2970 secs 20689 markings/sec, 2975 secs 18155 markings/sec, 2980 secs 17785 markings/sec, 2985 secs 17800 markings/sec, 2990 secs 17812 markings/sec, 2995 secs 17785 markings/sec, 3000 secs 17421 markings/sec, 3005 secs 17715 markings/sec, 3010 secs 17761 markings/sec, 3015 secs 18106 markings/sec, 3020 secs 17855 markings/sec, 3025 secs 17851 markings/sec, 3030 secs 17893 markings/sec, 3035 secs 17947 markings/sec, 3040 secs 17466 markings/sec, 3045 secs 17997 markings/sec, 3050 secs 18381 markings/sec, 3055 secs 17865 markings/sec, 3060 secs 17375 markings/sec, 3065 secs 17606 markings/sec, 3070 secs 16560 markings/sec, 3075 secs 20256 markings/sec, 3080 secs 21306 markings/sec, 3085 secs 21326 markings/sec, 3090 secs 20998 markings/sec, 3095 secs 21370 markings/sec, 3100 secs 21569 markings/sec, 3105 secs 19012 markings/sec, 3110 secs 18570 markings/sec, 3115 secs 18868 markings/sec, 3120 secs 21198 markings/sec, 3125 secs 21399 markings/sec, 3130 secs 21364 markings/sec, 3135 secs 21281 markings/sec, 3140 secs 21522 markings/sec, 3145 secs 21472 markings/sec, 3150 secs 21445 markings/sec, 3155 secs 21256 markings/sec, 3160 secs 21223 markings/sec, 3165 secs 21228 markings/sec, 3170 secs 21748 markings/sec, 3175 secs 21383 markings/sec, 3180 secs 21510 markings/sec, 3185 secs 21579 markings/sec, 3190 secs 21552 markings/sec, 3195 secs 21615 markings/sec, 3200 secs 21453 markings/sec, 3205 secs 21440 markings/sec, 3210 secs 21537 markings/sec, 3215 secs 21364 markings/sec, 3220 secs 21279 markings/sec, 3225 secs 21641 markings/sec, 3230 secs 21369 markings/sec, 3235 secs 21854 markings/sec, 3240 secs 21270 markings/sec, 3245 secs 21440 markings/sec, 3250 secs 21181 markings/sec, 3255 secs 20964 markings/sec, 3260 secs 21113 markings/sec, 3265 secs 21136 markings/sec, 3270 secs 21385 markings/sec, 3275 secs 21173 markings/sec, 3280 secs 21224 markings/sec, 3285 secs 21201 markings/sec, 3290 secs 21226 markings/sec, 3295 secs 20253 markings/sec, 3300 secs 20439 markings/sec, 3305 secs 20929 markings/sec, 3310 secs 20454 markings/sec, 3315 secs 20674 markings/sec, 3320 secs 20331 markings/sec, 3325 secs 20358 markings/sec, 3330 secs 21419 markings/sec, 3335 secs 22359 markings/sec, 3340 secs 21777 markings/sec, 3345 secs 21837 markings/sec, 3350 secs 20263 markings/sec, 3355 secs 20954 markings/sec, 3360 secs 21642 markings/sec, 3365 secs 21698 markings/sec, 3370 secs 21623 markings/sec, 3375 secs 21440 markings/sec, 3380 secs 21503 markings/sec, 3385 secs 21449 markings/sec, 3390 secs 22138 markings/sec, 3395 secs 22417 markings/sec, 3400 secs 21718 markings/sec, 3405 secs 20912 markings/sec, 3410 secs 21131 markings/sec, 3415 secs 20991 markings/sec, 3420 secs 21395 markings/sec, 3425 secs 20622 markings/sec, 3430 secs 20782 markings/sec, 3435 secs 20573 markings/sec, 3440 secs 20440 markings/sec, 3445 secs 20542 markings/sec, 3450 secs 20982 markings/sec, 3455 secs 21115 markings/sec, 3460 secs 20874 markings/sec, 3465 secs 20529 markings/sec, 3470 secs 20698 markings/sec, 3475 secs 20703 markings/sec, 3480 secs 20554 markings/sec, 3485 secs 20582 markings/sec, 3490 secs 20721 markings/sec, 3495 secs 20542 markings/sec, 3500 secs 20599 markings/sec, 3505 secs 20193 markings/sec, 3510 secs 20449 markings/sec, 3515 secs 20275 markings/sec, 3520 secs 20998 markings/sec, 3525 secs 20830 markings/sec, 3530 secs 21287 markings/sec, 3535 secs 21230 markings/sec, 3540 secs 21404 markings/sec, 3545 secs 21140 markings/sec, 3550 secs 21509 markings/sec, 3555 secs

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-7A"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-7A, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-csrt-155344535100345"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7A.tgz
mv NoC3x3-PT-7A execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;