MCC'2019 - Execution of r181-csrt-155344534700048

About the Execution of LoLA for BART-PT-040

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
10039.750	3570905.00	7238445.00	172.50	[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-155344534700048.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 BART-PT-040, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344534700048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.5M
-rw-r--r-- 1 mcc users 4.2K Mar 10 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 10 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Mar 10 19:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Mar 10 19:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:46 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 98 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 336 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Mar 10 19:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 10 19:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 10 19:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Mar 10 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 10 17:46 NewModel
-rw-r--r-- 1 mcc users 5.2K Mar 10 19:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 10 19:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Mar 10 19:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 10 19:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 10 19:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 10 19:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 10 17:46 instance
-rw-r--r-- 1 mcc users 6 Mar 10 17:46 iscolored
-rw-r--r-- 1 mcc users 9.3M Mar 10 17:46 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 BART-PT-040-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554504546910

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ BART-PT-040 @ 3570 seconds
vrfy: finished
info: timeLeft: -1
rslt: Output for GlobalProperties @ BART-PT-040

{
"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:49:07 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 10025484,
"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": 64800,
"conflict_clusters": 42,
"places": 5490,
"places_significant": 5240,
"singleton_clusters": 0,
"transitions": 8080
},
"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": 6527322265983181470364388170409550322879879446528.000000,
"composed": 714,
"dead_branches": 0,
"generators": 783,
"interrupted": false,
"real_computed": 69,
"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: 13570/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 175680
lola: finding significant places
lola: 5490 places, 8080 transitions, 5240 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: computed 783 generators (69 in search tree, 714 by composition)
lola: representing 6.52732E+48 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1107433 fired transitions, 0 secs || 39391 markings, 60415 edges,
lola: 3 tries, 2261330 fired transitions, 5 secs || 108030 markings, 165994 edges,
lola: 4 tries, 3432420 fired transitions, 10 secs || 174494 markings, 268219 edges,
lola: 5 tries, 4435229 fired transitions, 15 secs || 242064 markings, 372143 edges,
lola: 6 tries, 5527319 fired transitions, 20 secs || 316817 markings, 487096 edges,
lola: 7 tries, 6709062 fired transitions, 25 secs || 386071 markings, 593621 edges,
lola: 8 tries, 7887664 fired transitions, 30 secs || 455498 markings, 700342 edges,
lola: 10 tries, 9071533 fired transitions, 35 secs || 524599 markings, 806241 edges,
lola: 11 tries, 10255688 fired transitions, 40 secs || 594124 markings, 913102 edges,
lola: 12 tries, 11438990 fired transitions, 45 secs || 664051 markings, 1020659 edges,
lola: 13 tries, 12620250 fired transitions, 50 secs || 733320 markings, 1127188 edges,
lola: 14 tries, 13804120 fired transitions, 55 secs || 802394 markings, 1233423 edges,
lola: 15 tries, 14987369 fired transitions, 60 secs || 871753 markings, 1340095 edges,
lola: 17 tries, 16168769 fired transitions, 65 secs || 940608 markings, 1446008 edges,
lola: 18 tries, 17352176 fired transitions, 70 secs || 1009700 markings, 1552093 edges,
lola: 19 tries, 18514260 fired transitions, 75 secs || 1076897 markings, 1655120 edges,
lola: 20 tries, 19674595 fired transitions, 80 secs || 1144559 markings, 1759192 edges,
lola: 21 tries, 20833688 fired transitions, 85 secs || 1212063 markings, 1862995 edges,
lola: 23 tries, 22017250 fired transitions, 90 secs || 1281153 markings, 1969255 edges,
lola: 24 tries, 23201235 fired transitions, 95 secs || 1350040 markings, 2075203 edges,
lola: 25 tries, 24384702 fired transitions, 100 secs || 1418854 markings, 2181052 edges,
lola: 26 tries, 25568231 fired transitions, 105 secs || 1487338 markings, 2286378 edges,
lola: 27 tries, 26750945 fired transitions, 110 secs || 1555233 markings, 2390560 edges,
lola: 28 tries, 27935125 fired transitions, 115 secs || 1623798 markings, 2495759 edges,
lola: 30 tries, 29118567 fired transitions, 120 secs || 1692489 markings, 2601396 edges,
lola: 31 tries, 30303474 fired transitions, 125 secs || 1760945 markings, 2706694 edges,
lola: 32 tries, 31487694 fired transitions, 130 secs || 1829981 markings, 2812874 edges,
lola: 33 tries, 32671946 fired transitions, 135 secs || 1898506 markings, 2918256 edges,
lola: 34 tries, 33856332 fired transitions, 140 secs || 1966998 markings, 3023593 edges,
lola: 36 tries, 35035669 fired transitions, 145 secs || 2035204 markings, 3128495 edges,
lola: 37 tries, 36219030 fired transitions, 150 secs || 2103691 markings, 3233503 edges,
lola: 38 tries, 37402709 fired transitions, 155 secs || 2172815 markings, 3339661 edges,
lola: 39 tries, 38586387 fired transitions, 160 secs || 2242299 markings, 3446516 edges,
lola: 40 tries, 39769846 fired transitions, 165 secs || 2311198 markings, 3552484 edges,
lola: 41 tries, 40954221 fired transitions, 170 secs || 2380280 markings, 3658728 edges,
lola: 43 tries, 42137094 fired transitions, 175 secs || 2448756 markings, 3764047 edges,
lola: 44 tries, 43320119 fired transitions, 180 secs || 2517157 markings, 3869254 edges,
lola: 45 tries, 44503935 fired transitions, 185 secs || 2586225 markings, 3975426 edges,
lola: 46 tries, 45687366 fired transitions, 190 secs || 2655028 markings, 4080861 edges,
lola: 47 tries, 46871097 fired transitions, 195 secs || 2724266 markings, 4187286 edges,
lola: 49 tries, 48054651 fired transitions, 200 secs || 2794001 markings, 4294547 edges,
lola: 50 tries, 49237923 fired transitions, 205 secs || 2863124 markings, 4400849 edges,
lola: 51 tries, 50421432 fired transitions, 210 secs || 2932445 markings, 4507464 edges,
lola: 52 tries, 51605737 fired transitions, 215 secs || 3001694 markings, 4613971 edges,
lola: 53 tries, 52788737 fired transitions, 220 secs || 3070474 markings, 4719766 edges,
lola: 54 tries, 53953481 fired transitions, 225 secs || 3138765 markings, 4824623 edges,
lola: 56 tries, 55110539 fired transitions, 230 secs || 3206109 markings, 4927877 edges,
lola: 57 tries, 56267535 fired transitions, 235 secs || 3274165 markings, 5032537 edges,
lola: 58 tries, 57423628 fired transitions, 240 secs || 3341969 markings, 5136825 edges,
lola: 59 tries, 58574413 fired transitions, 245 secs || 3410641 markings, 5242433 edges,
lola: 60 tries, 59747239 fired transitions, 250 secs || 3478474 markings, 5346765 edges,
lola: 61 tries, 60922783 fired transitions, 255 secs || 3547413 markings, 5452796 edges,
lola: 63 tries, 62104596 fired transitions, 260 secs || 3616421 markings, 5558937 edges,
lola: 64 tries, 63289876 fired transitions, 265 secs || 3685145 markings, 5664396 edges,
lola: 65 tries, 64474345 fired transitions, 270 secs || 3753614 markings, 5769441 edges,
lola: 66 tries, 65659042 fired transitions, 275 secs || 3822374 markings, 5875186 edges,
lola: 67 tries, 66832604 fired transitions, 280 secs || 3890372 markings, 5979754 edges,
lola: 69 tries, 68015315 fired transitions, 285 secs || 3958876 markings, 6085141 edges,
lola: 70 tries, 69199468 fired transitions, 290 secs || 4027113 markings, 6190080 edges,
lola: 71 tries, 70382927 fired transitions, 295 secs || 4095667 markings, 6295516 edges,
lola: 72 tries, 71566441 fired transitions, 300 secs || 4163725 markings, 6400186 edges,
lola: 73 tries, 72750940 fired transitions, 305 secs || 4231764 markings, 6504512 edges,
lola: 74 tries, 73935586 fired transitions, 310 secs || 4300608 markings, 6610216 edges,
lola: 76 tries, 75119433 fired transitions, 315 secs || 4369932 markings, 6716846 edges,
lola: 77 tries, 76302657 fired transitions, 320 secs || 4438934 markings, 6822964 edges,
lola: 78 tries, 77487024 fired transitions, 325 secs || 4508300 markings, 6929653 edges,
lola: 79 tries, 78668289 fired transitions, 330 secs || 4576960 markings, 7035241 edges,
lola: 80 tries, 79833059 fired transitions, 335 secs || 4644430 markings, 7139013 edges,
lola: 82 tries, 81008361 fired transitions, 340 secs || 4712223 markings, 7243268 edges,
lola: 83 tries, 82188171 fired transitions, 345 secs || 4779811 markings, 7346827 edges,
lola: 84 tries, 83351675 fired transitions, 350 secs || 4847387 markings, 7450678 edges,
lola: 85 tries, 84517497 fired transitions, 355 secs || 4915811 markings, 7555911 edges,
lola: 86 tries, 85691449 fired transitions, 360 secs || 4982776 markings, 7658900 edges,
lola: 87 tries, 86861027 fired transitions, 365 secs || 5050825 markings, 7763568 edges,
lola: 89 tries, 88042053 fired transitions, 370 secs || 5118230 markings, 7867226 edges,
lola: 90 tries, 89223783 fired transitions, 375 secs || 5185367 markings, 7970487 edges,
lola: 91 tries, 90406402 fired transitions, 380 secs || 5253351 markings, 8074980 edges,
lola: 92 tries, 91588645 fired transitions, 385 secs || 5320870 markings, 8178433 edges,
lola: 93 tries, 92769321 fired transitions, 390 secs || 5389146 markings, 8283403 edges,
lola: 94 tries, 93951657 fired transitions, 395 secs || 5457294 markings, 8388224 edges,
lola: 96 tries, 95134817 fired transitions, 400 secs || 5525314 markings, 8492832 edges,
lola: 97 tries, 96305417 fired transitions, 405 secs || 5592784 markings, 8596601 edges,
lola: 98 tries, 97488427 fired transitions, 410 secs || 5660433 markings, 8700638 edges,
lola: 99 tries, 98668615 fired transitions, 415 secs || 5728312 markings, 8805041 edges,
lola: 100 tries, 99851490 fired transitions, 420 secs || 5796818 markings, 8910274 edges,
lola: 102 tries, 101022971 fired transitions, 425 secs || 5865241 markings, 9015136 edges,
lola: 103 tries, 102202173 fired transitions, 430 secs || 5934406 markings, 9121528 edges,
lola: 104 tries, 103384343 fired transitions, 435 secs || 6003195 markings, 9227320 edges,
lola: 105 tries, 104567383 fired transitions, 440 secs || 6072246 markings, 9333513 edges,
lola: 106 tries, 105737955 fired transitions, 445 secs || 6140891 markings, 9439092 edges,
lola: 107 tries, 106897754 fired transitions, 450 secs || 6209306 markings, 9544310 edges,
lola: 109 tries, 108062402 fired transitions, 455 secs || 6277518 markings, 9649232 edges,
lola: 110 tries, 109227737 fired transitions, 460 secs || 6345277 markings, 9753221 edges,
lola: 111 tries, 110388039 fired transitions, 465 secs || 6413860 markings, 9858509 edges,
lola: 112 tries, 111550674 fired transitions, 470 secs || 6482456 markings, 9964247 edges,
lola: 113 tries, 112697576 fired transitions, 475 secs || 6551669 markings, 10070923 edges,
lola: 114 tries, 113853543 fired transitions, 480 secs || 6619986 markings, 10176223 edges,
lola: 116 tries, 115010298 fired transitions, 485 secs || 6689620 markings, 10283551 edges,
lola: 117 tries, 116183892 fired transitions, 490 secs || 6757810 markings, 10388663 edges,
lola: 118 tries, 117346831 fired transitions, 495 secs || 6826672 markings, 10494808 edges,
lola: 119 tries, 118512191 fired transitions, 500 secs || 6895465 markings, 10600833 edges,
lola: 120 tries, 119664196 fired transitions, 505 secs || 6963806 markings, 10706183 edges,
lola: 121 tries, 120825563 fired transitions, 510 secs || 7032023 markings, 10811321 edges,
lola: 122 tries, 121979039 fired transitions, 515 secs || 7100536 markings, 10916928 edges,
lola: 124 tries, 123143861 fired transitions, 520 secs || 7169281 markings, 11022879 edges,
lola: 125 tries, 124300241 fired transitions, 525 secs || 7238820 markings, 11130074 edges,
lola: 126 tries, 125451533 fired transitions, 530 secs || 7308440 markings, 11237388 edges,
lola: 127 tries, 126607710 fired transitions, 535 secs || 7377300 markings, 11343524 edges,
lola: 128 tries, 127761982 fired transitions, 540 secs || 7446324 markings, 11449923 edges,
lola: 129 tries, 128904570 fired transitions, 545 secs || 7515269 markings, 11556180 edges,
lola: 131 tries, 130060912 fired transitions, 550 secs || 7583746 markings, 11661736 edges,
lola: 132 tries, 131207464 fired transitions, 555 secs || 7652741 markings, 11768074 edges,
lola: 133 tries, 132369495 fired transitions, 560 secs || 7721924 markings, 11874718 edges,
lola: 134 tries, 133536782 fired transitions, 565 secs || 7789986 markings, 11979625 edges,
lola: 135 tries, 134699532 fired transitions, 570 secs || 7858535 markings, 12085280 edges,
lola: 136 tries, 135861671 fired transitions, 575 secs || 7926539 markings, 12190114 edges,
lola: 138 tries, 137015205 fired transitions, 580 secs || 7994587 markings, 12294989 edges,
lola: 139 tries, 138180921 fired transitions, 585 secs || 8062447 markings, 12399593 edges,
lola: 140 tries, 139348814 fired transitions, 590 secs || 8130757 markings, 12504880 edges,
lola: 141 tries, 140515580 fired transitions, 595 secs || 8199405 markings, 12610691 edges,
lola: 142 tries, 141683590 fired transitions, 600 secs || 8267564 markings, 12715754 edges,
lola: 143 tries, 142859470 fired transitions, 605 secs || 8335658 markings, 12820641 edges,
lola: 145 tries, 144012413 fired transitions, 610 secs || 8404177 markings, 12925806 edges,
lola: 146 tries, 145175608 fired transitions, 615 secs || 8472737 markings, 13031056 edges,
lola: 147 tries, 146322815 fired transitions, 620 secs || 8542227 markings, 13138104 edges,
lola: 148 tries, 147483160 fired transitions, 625 secs || 8610820 markings, 13243840 edges,
lola: 149 tries, 148637923 fired transitions, 630 secs || 8679355 markings, 13349467 edges,
lola: 150 tries, 149785926 fired transitions, 635 secs || 8749210 markings, 13457147 edges,
lola: 151 tries, 150948928 fired transitions, 640 secs || 8818524 markings, 13563991 edges,
lola: 153 tries, 152114400 fired transitions, 645 secs || 8887614 markings, 13670469 edges,
lola: 154 tries, 153279003 fired transitions, 650 secs || 8956692 markings, 13776958 edges,
lola: 155 tries, 154433808 fired transitions, 655 secs || 9025098 markings, 13882386 edges,
lola: 156 tries, 155608157 fired transitions, 660 secs || 9092794 markings, 13986736 edges,
lola: 157 tries, 156768330 fired transitions, 665 secs || 9161703 markings, 14092934 edges,
lola: 158 tries, 157939043 fired transitions, 670 secs || 9230370 markings, 14198787 edges,
lola: 160 tries, 159110638 fired transitions, 675 secs || 9298599 markings, 14303965 edges,
lola: 161 tries, 160272936 fired transitions, 680 secs || 9367970 markings, 14410873 edges,
lola: 162 tries, 161425503 fired transitions, 685 secs || 9437460 markings, 14517998 edges,
lola: 163 tries, 162585557 fired transitions, 690 secs || 9506322 markings, 14624125 edges,
lola: 164 tries, 163754841 fired transitions, 695 secs || 9574987 markings, 14729974 edges,
lola: 165 tries, 164914504 fired transitions, 700 secs || 9643563 markings, 14835660 edges,
lola: 167 tries, 166091391 fired transitions, 705 secs || 9712456 markings, 14941855 edges,
lola: 168 tries, 167260631 fired transitions, 710 secs || 9781865 markings, 15048851 edges,
lola: 169 tries, 168440423 fired transitions, 715 secs || 9850935 markings, 15155301 edges,
lola: 170 tries, 169616035 fired transitions, 720 secs || 9919634 markings, 15261206 edges,
lola: 171 tries, 170770768 fired transitions, 725 secs || 9987129 markings, 15365230 edges,
lola: 172 tries, 171949550 fired transitions, 730 secs || 10055061 markings, 15469950 edges,
lola: 174 tries, 173112137 fired transitions, 735 secs || 10123081 markings, 15574790 edges,
lola: 175 tries, 174275421 fired transitions, 740 secs || 10191496 markings, 15680232 edges,
lola: 176 tries, 175437421 fired transitions, 745 secs || 10260703 markings, 15786919 edges,
lola: 177 tries, 176621729 fired transitions, 750 secs || 10329471 markings, 15892897 edges,
lola: 178 tries, 177786437 fired transitions, 755 secs || 10398578 markings, 15999431 edges,
lola: 179 tries, 178953110 fired transitions, 760 secs || 10467237 markings, 16104910 edges,
lola: 181 tries, 180126521 fired transitions, 765 secs || 10536278 markings, 16210903 edges,
lola: 182 tries, 181301278 fired transitions, 770 secs || 10605687 markings, 16317664 edges,
lola: 183 tries, 182504748 fired transitions, 775 secs || 10675808 markings, 16425741 edges,
lola: 184 tries, 183696728 fired transitions, 780 secs || 10745567 markings, 16533266 edges,
lola: 185 tries, 184905172 fired transitions, 785 secs || 10814806 markings, 16639984 edges,
lola: 187 tries, 186090518 fired transitions, 790 secs || 10884052 markings, 16746722 edges,
lola: 188 tries, 187280101 fired transitions, 795 secs || 10953343 markings, 16853535 edges,
lola: 189 tries, 188470428 fired transitions, 800 secs || 11022077 markings, 16959471 edges,
lola: 190 tries, 189646570 fired transitions, 805 secs || 11091278 markings, 17066140 edges,
lola: 191 tries, 190834514 fired transitions, 810 secs || 11159772 markings, 17171704 edges,
lola: 193 tries, 192010468 fired transitions, 815 secs || 11228540 markings, 17277708 edges,
lola: 194 tries, 193207129 fired transitions, 820 secs || 11297733 markings, 17384344 edges,
lola: 195 tries, 194394428 fired transitions, 825 secs || 11367312 markings, 17491596 edges,
lola: 196 tries, 195575698 fired transitions, 830 secs || 11435944 markings, 17597398 edges,
lola: 197 tries, 196746187 fired transitions, 835 secs || 11505651 markings, 17704834 edges,
lola: 198 tries, 197930622 fired transitions, 840 secs || 11574031 markings, 17810241 edges,
lola: 200 tries, 199117481 fired transitions, 845 secs || 11643026 markings, 17916579 edges,
lola: 201 tries, 200332234 fired transitions, 850 secs || 11711576 markings, 18022244 edges,
lola: 202 tries, 201531801 fired transitions, 855 secs || 11781161 markings, 18129494 edges,
lola: 203 tries, 202737614 fired transitions, 860 secs || 11850618 markings, 18236551 edges,
lola: 204 tries, 203968173 fired transitions, 865 secs || 11921864 markings, 18346378 edges,
lola: 206 tries, 205156205 fired transitions, 870 secs || 11991351 markings, 18453472 edges,
lola: 207 tries, 206368722 fired transitions, 875 secs || 12062436 markings, 18563052 edges,
lola: 208 tries, 207561321 fired transitions, 880 secs || 12131465 markings, 18669445 edges,
lola: 209 tries, 208756844 fired transitions, 885 secs || 12200945 markings, 18776546 edges,
lola: 210 tries, 209955367 fired transitions, 890 secs || 12268915 markings, 18881303 edges,
lola: 212 tries, 211131734 fired transitions, 895 secs || 12338066 markings, 18987894 edges,
lola: 213 tries, 212325220 fired transitions, 900 secs || 12407424 markings, 19094784 edges,
lola: 214 tries, 213540208 fired transitions, 905 secs || 12477365 markings, 19202599 edges,
lola: 215 tries, 214766697 fired transitions, 910 secs || 12548633 markings, 19312174 edges,
lola: 216 tries, 215962358 fired transitions, 915 secs || 12617613 markings, 19418053 edges,
lola: 218 tries, 217151735 fired transitions, 920 secs || 12685929 markings, 19523080 edges,
lola: 219 tries, 218343426 fired transitions, 925 secs || 12754849 markings, 19629324 edges,
lola: 220 tries, 219530843 fired transitions, 930 secs || 12822706 markings, 19733906 edges,
lola: 221 tries, 220713608 fired transitions, 935 secs || 12889559 markings, 19836961 edges,
lola: 222 tries, 221911781 fired transitions, 940 secs || 12960702 markings, 19946607 edges,
lola: 224 tries, 223075083 fired transitions, 945 secs || 13028610 markings, 20051282 edges,
lola: 225 tries, 224252181 fired transitions, 950 secs || 13096787 markings, 20156351 edges,
lola: 226 tries, 225438122 fired transitions, 955 secs || 13165176 markings, 20261775 edges,
lola: 227 tries, 226670340 fired transitions, 960 secs || 13236920 markings, 20372374 edges,
lola: 228 tries, 227887357 fired transitions, 965 secs || 13308231 markings, 20482270 edges,
lola: 230 tries, 229065994 fired transitions, 970 secs || 13376448 markings, 20587434 edges,
lola: 231 tries, 230254976 fired transitions, 975 secs || 13446349 markings, 20695163 edges,
lola: 232 tries, 231432031 fired transitions, 980 secs || 13515334 markings, 20801506 edges,
lola: 233 tries, 232621994 fired transitions, 985 secs || 13583381 markings, 20906379 edges,
lola: 234 tries, 233812641 fired transitions, 990 secs || 13652104 markings, 21012318 edges,
lola: 236 tries, 235005865 fired transitions, 995 secs || 13720629 markings, 21117944 edges,
lola: 237 tries, 236156234 fired transitions, 1000 secs || 13787618 markings, 21221191 edges,
lola: 238 tries, 237326139 fired transitions, 1005 secs || 13856410 markings, 21327225 edges,
lola: 239 tries, 238492991 fired transitions, 1010 secs || 13925495 markings, 21433705 edges,
lola: 240 tries, 239678312 fired transitions, 1015 secs || 13994027 markings, 21539344 edges,
lola: 241 tries, 240876175 fired transitions, 1020 secs || 14062646 markings, 21645100 edges,
lola: 243 tries, 242077194 fired transitions, 1025 secs || 14131700 markings, 21751545 edges,
lola: 244 tries, 243297775 fired transitions, 1030 secs || 14201536 markings, 21859195 edges,
lola: 245 tries, 244482643 fired transitions, 1035 secs || 14268697 markings, 21962708 edges,
lola: 246 tries, 245726029 fired transitions, 1040 secs || 14340752 markings, 22073781 edges,
lola: 247 tries, 246966767 fired transitions, 1045 secs || 14413503 markings, 22185908 edges,
lola: 249 tries, 248157177 fired transitions, 1050 secs || 14483171 markings, 22293302 edges,
lola: 250 tries, 249337413 fired transitions, 1055 secs || 14552265 markings, 22399780 edges,
lola: 251 tries, 250543539 fired transitions, 1060 secs || 14620819 markings, 22505285 edges,
lola: 252 tries, 251780965 fired transitions, 1065 secs || 14692663 markings, 22615563 edges,
lola: 253 tries, 252961219 fired transitions, 1070 secs || 14761116 markings, 22720709 edges,
lola: 255 tries, 254140763 fired transitions, 1075 secs || 14829894 markings, 22826732 edges,
lola: 256 tries, 255351885 fired transitions, 1080 secs || 14901210 markings, 22936638 edges,
lola: 257 tries, 256586778 fired transitions, 1085 secs || 14974090 markings, 23048982 edges,
lola: 258 tries, 257843908 fired transitions, 1090 secs || 15048326 markings, 23163402 edges,
lola: 260 tries, 259117614 fired transitions, 1095 secs || 15123721 markings, 23279626 edges,
lola: 261 tries, 260362309 fired transitions, 1100 secs || 15195746 markings, 23390630 edges,
lola: 262 tries, 261590370 fired transitions, 1105 secs || 15266685 markings, 23499978 edges,
lola: 263 tries, 262806018 fired transitions, 1110 secs || 15336049 markings, 23606884 edges,
lola: 265 tries, 264005926 fired transitions, 1115 secs || 15404622 markings, 23712587 edges,
lola: 266 tries, 265206325 fired transitions, 1120 secs || 15473277 markings, 23818413 edges,
lola: 267 tries, 266452956 fired transitions, 1125 secs || 15545292 markings, 23929411 edges,
lola: 268 tries, 267665064 fired transitions, 1130 secs || 15616343 markings, 24038938 edges,
lola: 269 tries, 268872050 fired transitions, 1135 secs || 15686861 markings, 24147618 edges,
lola: 271 tries, 270098919 fired transitions, 1140 secs || 15758308 markings, 24257761 edges,
lola: 272 tries, 271331796 fired transitions, 1145 secs || 15829469 markings, 24367433 edges,
lola: 273 tries, 272545077 fired transitions, 1150 secs || 15899941 markings, 24476064 edges,
lola: 274 tries, 273766087 fired transitions, 1155 secs || 15969722 markings, 24583613 edges,
lola: 275 tries, 274991065 fired transitions, 1160 secs || 16042018 markings, 24695061 edges,
lola: 277 tries, 276205870 fired transitions, 1165 secs || 16114377 markings, 24806577 edges,
lola: 278 tries, 277421041 fired transitions, 1170 secs || 16186044 markings, 24917054 edges,
lola: 279 tries, 278647538 fired transitions, 1175 secs || 16258381 markings, 25028546 edges,
lola: 280 tries, 279867828 fired transitions, 1180 secs || 16328718 markings, 25136969 edges,
lola: 282 tries, 281102599 fired transitions, 1185 secs || 16400984 markings, 25248345 edges,
lola: 283 tries, 282351282 fired transitions, 1190 secs || 16474451 markings, 25361593 edges,
lola: 284 tries, 283563151 fired transitions, 1195 secs || 16545178 markings, 25470601 edges,
lola: 285 tries, 284821487 fired transitions, 1200 secs || 16619070 markings, 25584503 edges,
lola: 287 tries, 286069195 fired transitions, 1205 secs || 16692383 markings, 25697443 edges,
lola: 288 tries, 287292842 fired transitions, 1210 secs || 16762754 markings, 25805461 edges,
lola: 289 tries, 288542439 fired transitions, 1215 secs || 16836569 markings, 25918782 edges,
lola: 290 tries, 289817472 fired transitions, 1220 secs || 16910839 markings, 26033227 edges,
lola: 292 tries, 291059161 fired transitions, 1225 secs || 16982561 markings, 26143787 edges,
lola: 293 tries, 292316576 fired transitions, 1230 secs || 17054211 markings, 26254214 edges,
lola: 294 tries, 293546687 fired transitions, 1235 secs || 17126195 markings, 26365180 edges,
lola: 295 tries, 294755742 fired transitions, 1240 secs || 17196730 markings, 26473887 edges,
lola: 296 tries, 295950603 fired transitions, 1245 secs || 17267793 markings, 26583427 edges,
lola: 298 tries, 297222495 fired transitions, 1250 secs || 17341537 markings, 26697090 edges,
lola: 299 tries, 298480617 fired transitions, 1255 secs || 17415955 markings, 26811806 edges,
lola: 300 tries, 299731135 fired transitions, 1260 secs || 17486968 markings, 26921247 edges,
lola: 301 tries, 300966293 fired transitions, 1265 secs || 17558583 markings, 27031635 edges,
lola: 303 tries, 302170301 fired transitions, 1270 secs || 17629475 markings, 27140902 edges,
lola: 304 tries, 303403539 fired transitions, 1275 secs || 17701411 markings, 27251794 edges,
lola: 305 tries, 304650847 fired transitions, 1280 secs || 17774785 markings, 27364878 edges,
lola: 306 tries, 305894325 fired transitions, 1285 secs || 17846951 markings, 27476129 edges,
lola: 308 tries, 307133039 fired transitions, 1290 secs || 17919191 markings, 27587466 edges,
lola: 309 tries, 308379536 fired transitions, 1295 secs || 17991177 markings, 27698432 edges,
lola: 310 tries, 309590974 fired transitions, 1300 secs || 18060553 markings, 27805351 edges,
lola: 311 tries, 310815884 fired transitions, 1305 secs || 18132619 markings, 27916440 edges,
lola: 313 tries, 312032637 fired transitions, 1310 secs || 18203723 markings, 28026028 edges,
lola: 314 tries, 313276302 fired transitions, 1315 secs || 18274856 markings, 28135679 edges,
lola: 315 tries, 314551595 fired transitions, 1320 secs || 18348619 markings, 28249373 edges,
lola: 316 tries, 315842298 fired transitions, 1325 secs || 18422896 markings, 28363875 edges,
lola: 318 tries, 317135198 fired transitions, 1330 secs || 18496434 markings, 28477207 edges,
lola: 319 tries, 318410670 fired transitions, 1335 secs || 18570670 markings, 28591646 edges,
lola: 320 tries, 319687895 fired transitions, 1340 secs || 18644664 markings, 28705688 edges,
lola: 321 tries, 320974644 fired transitions, 1345 secs || 18720022 markings, 28821853 edges,
lola: 323 tries, 322238024 fired transitions, 1350 secs || 18793397 markings, 28934802 edges,
lola: 324 tries, 323476291 fired transitions, 1355 secs || 18864854 markings, 29044502 edges,
lola: 325 tries, 324675084 fired transitions, 1360 secs || 18934272 markings, 29151081 edges,
lola: 326 tries, 325882887 fired transitions, 1365 secs || 19005353 markings, 29260644 edges,
lola: 328 tries, 327131778 fired transitions, 1370 secs || 19077635 markings, 29372049 edges,
lola: 329 tries, 328343318 fired transitions, 1375 secs || 19147757 markings, 29480141 edges,
lola: 330 tries, 329560639 fired transitions, 1380 secs || 19218850 markings, 29589730 edges,
lola: 331 tries, 330811999 fired transitions, 1385 secs || 19292892 markings, 29703845 edges,
lola: 333 tries, 332093912 fired transitions, 1390 secs || 19367693 markings, 29819131 edges,
lola: 334 tries, 333353112 fired transitions, 1395 secs || 19441336 markings, 29932663 edges,
lola: 335 tries, 334583197 fired transitions, 1400 secs || 19513542 markings, 30043946 edges,
lola: 336 tries, 335838597 fired transitions, 1405 secs || 19586692 markings, 30156706 edges,
lola: 338 tries, 337097349 fired transitions, 1410 secs || 19660353 markings, 30270234 edges,
lola: 339 tries, 338354469 fired transitions, 1415 secs || 19734409 markings, 30384392 edges,
lola: 340 tries, 339631220 fired transitions, 1420 secs || 19807448 markings, 30496959 edges,
lola: 341 tries, 340926395 fired transitions, 1425 secs || 19882396 markings, 30612494 edges,
lola: 343 tries, 342211945 fired transitions, 1430 secs || 19955825 markings, 30725669 edges,
lola: 344 tries, 343482299 fired transitions, 1435 secs || 20029107 markings, 30838632 edges,
lola: 345 tries, 344743524 fired transitions, 1440 secs || 20102135 markings, 30951185 edges,
lola: 346 tries, 345928775 fired transitions, 1445 secs || 20170657 markings, 31056815 edges,
lola: 348 tries, 347176303 fired transitions, 1450 secs || 20242280 markings, 31167197 edges,
lola: 349 tries, 348448077 fired transitions, 1455 secs || 20316420 markings, 31281490 edges,
lola: 350 tries, 349649654 fired transitions, 1460 secs || 20388099 markings, 31391967 edges,
lola: 351 tries, 350882348 fired transitions, 1465 secs || 20459234 markings, 31501618 edges,
lola: 353 tries, 352148809 fired transitions, 1470 secs || 20531696 markings, 31613299 edges,
lola: 354 tries, 353430499 fired transitions, 1475 secs || 20605558 markings, 31727153 edges,
lola: 355 tries, 354707175 fired transitions, 1480 secs || 20678628 markings, 31839772 edges,
lola: 356 tries, 355973694 fired transitions, 1485 secs || 20753593 markings, 31955332 edges,
lola: 358 tries, 357254172 fired transitions, 1490 secs || 20828741 markings, 32071150 edges,
lola: 359 tries, 358533001 fired transitions, 1495 secs || 20903729 markings, 32186478 edges,
lola: 360 tries, 359829181 fired transitions, 1500 secs || 20977863 markings, 32300276 edges,
lola: 362 tries, 361077770 fired transitions, 1505 secs || 21049940 markings, 32411119 edges,
lola: 363 tries, 362278224 fired transitions, 1510 secs || 21120148 markings, 32519314 edges,
lola: 364 tries, 363530874 fired transitions, 1515 secs || 21192840 markings, 32631378 edges,
lola: 365 tries, 364726009 fired transitions, 1520 secs || 21262054 markings, 32738045 edges,
lola: 366 tries, 365992654 fired transitions, 1525 secs || 21335423 markings, 32851145 edges,
lola: 368 tries, 367275701 fired transitions, 1530 secs || 21409211 markings, 32964865 edges,
lola: 369 tries, 368572744 fired transitions, 1535 secs || 21483605 markings, 33079548 edges,
lola: 370 tries, 369825747 fired transitions, 1540 secs || 21556776 markings, 33192321 edges,
lola: 372 tries, 371091554 fired transitions, 1545 secs || 21630569 markings, 33306073 edges,
lola: 373 tries, 372384576 fired transitions, 1550 secs || 21704057 markings, 33419332 edges,
lola: 374 tries, 373656907 fired transitions, 1555 secs || 21778896 markings, 33534704 edges,
lola: 375 tries, 374905658 fired transitions, 1560 secs || 21851261 markings, 33646236 edges,
lola: 377 tries, 376137814 fired transitions, 1565 secs || 21923296 markings, 33757276 edges,
lola: 378 tries, 377372253 fired transitions, 1570 secs || 21993705 markings, 33865791 edges,
lola: 379 tries, 378635151 fired transitions, 1575 secs || 22067098 markings, 33978929 edges,
lola: 380 tries, 379896487 fired transitions, 1580 secs || 22140347 markings, 34091820 edges,
lola: 382 tries, 381164845 fired transitions, 1585 secs || 22214019 markings, 34205394 edges,
lola: 383 tries, 382424117 fired transitions, 1590 secs || 22286258 markings, 34316731 edges,
lola: 384 tries, 383706827 fired transitions, 1595 secs || 22359757 markings, 34430024 edges,
lola: 385 tries, 384987328 fired transitions, 1600 secs || 22432827 markings, 34542645 edges,
lola: 387 tries, 386200671 fired transitions, 1605 secs || 22501530 markings, 34648550 edges,
lola: 388 tries, 387427823 fired transitions, 1610 secs || 22571209 markings, 34755941 edges,
lola: 389 tries, 388720678 fired transitions, 1615 secs || 22643956 markings, 34868082 edges,
lola: 390 tries, 389987983 fired transitions, 1620 secs || 22715565 markings, 34978447 edges,
lola: 392 tries, 391256279 fired transitions, 1625 secs || 22788120 markings, 35090291 edges,
lola: 393 tries, 392495351 fired transitions, 1630 secs || 22858618 markings, 35198942 edges,
lola: 394 tries, 393724907 fired transitions, 1635 secs || 22930505 markings, 35309757 edges,
lola: 395 tries, 394949971 fired transitions, 1640 secs || 22999991 markings, 35416540 edges,
lola: 397 tries, 396238279 fired transitions, 1645 secs || 23073807 markings, 35529867 edges,
lola: 398 tries, 397522659 fired transitions, 1650 secs || 23147725 markings, 35643584 edges,
lola: 399 tries, 398781440 fired transitions, 1655 secs || 23221120 markings, 35756695 edges,
lola: 401 tries, 400056235 fired transitions, 1660 secs || 23296025 markings, 35872159 edges,
lola: 402 tries, 401353746 fired transitions, 1665 secs || 23371445 markings, 35988407 edges,
lola: 403 tries, 402613129 fired transitions, 1670 secs || 23446162 markings, 36103578 edges,
lola: 404 tries, 403828817 fired transitions, 1675 secs || 23518407 markings, 36214921 edges,
lola: 406 tries, 405093055 fired transitions, 1680 secs || 23592615 markings, 36329312 edges,
lola: 407 tries, 406320477 fired transitions, 1685 secs || 23665496 markings, 36441636 edges,
lola: 408 tries, 407536516 fired transitions, 1690 secs || 23736037 markings, 36550378 edges,
lola: 409 tries, 408779711 fired transitions, 1695 secs || 23807107 markings, 36659911 edges,
lola: 411 tries, 410007426 fired transitions, 1700 secs || 23879081 markings, 36770862 edges,
lola: 412 tries, 411237181 fired transitions, 1705 secs || 23950819 markings, 36881429 edges,
lola: 413 tries, 412529054 fired transitions, 1710 secs || 24023991 markings, 36994223 edges,
lola: 414 tries, 413790111 fired transitions, 1715 secs || 24098522 markings, 37109096 edges,
lola: 416 tries, 415001380 fired transitions, 1720 secs || 24168980 markings, 37217708 edges,
lola: 417 tries, 416257844 fired transitions, 1725 secs || 24242391 markings, 37330845 edges,
lola: 418 tries, 417513308 fired transitions, 1730 secs || 24315082 markings, 37442898 edges,
lola: 419 tries, 418763817 fired transitions, 1735 secs || 24388306 markings, 37555752 edges,
lola: 420 tries, 419987316 fired transitions, 1740 secs || 24458454 markings, 37663889 edges,
lola: 422 tries, 421194631 fired transitions, 1745 secs || 24529801 markings, 37773853 edges,
lola: 423 tries, 422465602 fired transitions, 1750 secs || 24603689 markings, 37887753 edges,
lola: 424 tries, 423730649 fired transitions, 1755 secs || 24676782 markings, 38000404 edges,
lola: 425 tries, 424952808 fired transitions, 1760 secs || 24748017 markings, 38110212 edges,
lola: 427 tries, 426175453 fired transitions, 1765 secs || 24819738 markings, 38220759 edges,
lola: 428 tries, 427424507 fired transitions, 1770 secs || 24891892 markings, 38331986 edges,
lola: 429 tries, 428663704 fired transitions, 1775 secs || 24964444 markings, 38443794 edges,
lola: 430 tries, 429962978 fired transitions, 1780 secs || 25039188 markings, 38559012 edges,
lola: 432 tries, 431257645 fired transitions, 1785 secs || 25113375 markings, 38672903 edges,
lola: 433 tries, 432551713 fired transitions, 1790 secs || 25188143 markings, 38787672 edges,
lola: 434 tries, 433847090 fired transitions, 1795 secs || 25263057 markings, 38903081 edges,
lola: 436 tries, 435118024 fired transitions, 1800 secs || 25336253 markings, 39015909 edges,
lola: 437 tries, 436355826 fired transitions, 1805 secs || 25407610 markings, 39125879 edges,
lola: 438 tries, 437628123 fired transitions, 1810 secs || 25481146 markings, 39239244 edges,
lola: 439 tries, 438893622 fired transitions, 1815 secs || 25554797 markings, 39352750 edges,
lola: 441 tries, 440159758 fired transitions, 1820 secs || 25627680 markings, 39465103 edges,
lola: 442 tries, 441430203 fired transitions, 1825 secs || 25702523 markings, 39580454 edges,
lola: 443 tries, 442648494 fired transitions, 1830 secs || 25772967 markings, 39689046 edges,
lola: 444 tries, 443907800 fired transitions, 1835 secs || 25846399 markings, 39802214 edges,
lola: 446 tries, 445143075 fired transitions, 1840 secs || 25916643 markings, 39910498 edges,
lola: 447 tries, 446414121 fired transitions, 1845 secs || 25991501 markings, 40025870 edges,
lola: 448 tries, 447655196 fired transitions, 1850 secs || 26064268 markings, 40138048 edges,
lola: 449 tries, 448917204 fired transitions, 1855 secs || 26138390 markings, 40252281 edges,
lola: 451 tries, 450180909 fired transitions, 1860 secs || 26212440 markings, 40366432 edges,
lola: 452 tries, 451428586 fired transitions, 1865 secs || 26283640 markings, 40476165 edges,
lola: 453 tries, 452660804 fired transitions, 1870 secs || 26354507 markings, 40585415 edges,
lola: 454 tries, 453873062 fired transitions, 1875 secs || 26425039 markings, 40694118 edges,
lola: 456 tries, 455107561 fired transitions, 1880 secs || 26497340 markings, 40805564 edges,
lola: 457 tries, 456390113 fired transitions, 1885 secs || 26571854 markings, 40920408 edges,
lola: 458 tries, 457649081 fired transitions, 1890 secs || 26644517 markings, 41032416 edges,
lola: 459 tries, 458897219 fired transitions, 1895 secs || 26716730 markings, 41143719 edges,
lola: 461 tries, 460162676 fired transitions, 1900 secs || 26789312 markings, 41255604 edges,
lola: 462 tries, 461404861 fired transitions, 1905 secs || 26861277 markings, 41366519 edges,
lola: 463 tries, 462686352 fired transitions, 1910 secs || 26935581 markings, 41481058 edges,
lola: 464 tries, 463915290 fired transitions, 1915 secs || 27007689 markings, 41592191 edges,
lola: 466 tries, 465199610 fired transitions, 1920 secs || 27080970 markings, 41705146 edges,
lola: 467 tries, 466458729 fired transitions, 1925 secs || 27155446 markings, 41819787 edges,
lola: 468 tries, 467704301 fired transitions, 1930 secs || 27225974 markings, 41928058 edges,
lola: 469 tries, 468963278 fired transitions, 1935 secs || 27300361 markings, 42042315 edges,
lola: 471 tries, 470259998 fired transitions, 1940 secs || 27374922 markings, 42157247 edges,
lola: 472 tries, 471529374 fired transitions, 1945 secs || 27447607 markings, 42269271 edges,
lola: 473 tries, 472782545 fired transitions, 1950 secs || 27519361 markings, 42379885 edges,
lola: 475 tries, 474064676 fired transitions, 1955 secs || 27594749 markings, 42496072 edges,
lola: 476 tries, 475351852 fired transitions, 1960 secs || 27669065 markings, 42610633 edges,
lola: 477 tries, 476636246 fired transitions, 1965 secs || 27744513 markings, 42726917 edges,
lola: 478 tries, 477927844 fired transitions, 1970 secs || 27818493 markings, 42840951 edges,
lola: 480 tries, 479205627 fired transitions, 1975 secs || 27893172 markings, 42956047 edges,
lola: 481 tries, 480485550 fired transitions, 1980 secs || 27967182 markings, 43070122 edges,
lola: 482 tries, 481757818 fired transitions, 1985 secs || 28040731 markings, 43183499 edges,
lola: 484 tries, 483039064 fired transitions, 1990 secs || 28115527 markings, 43298779 edges,
lola: 485 tries, 484319581 fired transitions, 1995 secs || 28190636 markings, 43414561 edges,
lola: 486 tries, 485587445 fired transitions, 2000 secs || 28262685 markings, 43525602 edges,
lola: 487 tries, 486841666 fired transitions, 2005 secs || 28334851 markings, 43636853 edges,
lola: 489 tries, 488105266 fired transitions, 2010 secs || 28407391 markings, 43748646 edges,
lola: 490 tries, 489377334 fired transitions, 2015 secs || 28480947 markings, 43862031 edges,
lola: 491 tries, 490647255 fired transitions, 2020 secs || 28554522 markings, 43975430 edges,
lola: 492 tries, 491925443 fired transitions, 2025 secs || 28628715 markings, 44089799 edges,
lola: 494 tries, 493215635 fired transitions, 2030 secs || 28702221 markings, 44203086 edges,
lola: 495 tries, 494428428 fired transitions, 2035 secs || 28771591 markings, 44310028 edges,
lola: 496 tries, 495676039 fired transitions, 2040 secs || 28843231 markings, 44420443 edges,
lola: 497 tries, 496917922 fired transitions, 2045 secs || 28913971 markings, 44529483 edges,
lola: 499 tries, 498227167 fired transitions, 2050 secs || 28988120 markings, 44643769 edges,
lola: 500 tries, 499565472 fired transitions, 2055 secs || 29065262 markings, 44762682 edges,
lola: 501 tries, 500912845 fired transitions, 2060 secs || 29142111 markings, 44881124 edges,
lola: 503 tries, 502237255 fired transitions, 2065 secs || 29217863 markings, 44997898 edges,
lola: 504 tries, 503565505 fired transitions, 2070 secs || 29293304 markings, 45113714 edges,
lola: 505 tries, 504894069 fired transitions, 2075 secs || 29369922 markings, 45231321 edges,
lola: 507 tries, 506230438 fired transitions, 2080 secs || 29447653 markings, 45351084 edges,
lola: 508 tries, 507507163 fired transitions, 2085 secs || 29522015 markings, 45465708 edges,
lola: 509 tries, 508829624 fired transitions, 2090 secs || 29598819 markings, 45584084 edges,
lola: 511 tries, 510148731 fired transitions, 2095 secs || 29674837 markings, 45701254 edges,
lola: 512 tries, 511460317 fired transitions, 2100 secs || 29749821 markings, 45816840 edges,
lola: 513 tries, 512798999 fired transitions, 2105 secs || 29826733 markings, 45935377 edges,
lola: 515 tries, 514148080 fired transitions, 2110 secs || 29904133 markings, 46054694 edges,
lola: 516 tries, 515486243 fired transitions, 2115 secs || 29981855 markings, 46174479 edges,
lola: 517 tries, 516795135 fired transitions, 2120 secs || 30057272 markings, 46290716 edges,
lola: 519 tries, 518113071 fired transitions, 2125 secs || 30133205 markings, 46407775 edges,
lola: 520 tries, 519413643 fired transitions, 2130 secs || 30208981 markings, 46524560 edges,
lola: 521 tries, 520732962 fired transitions, 2135 secs || 30285111 markings, 46641916 edges,
lola: 523 tries, 522066437 fired transitions, 2140 secs || 30362495 markings, 46761191 edges,
lola: 524 tries, 523400052 fired transitions, 2145 secs || 30439370 markings, 46879684 edges,
lola: 525 tries, 524727807 fired transitions, 2150 secs || 30515881 markings, 46997612 edges,
lola: 527 tries, 526044409 fired transitions, 2155 secs || 30591477 markings, 47114134 edges,
lola: 528 tries, 527336696 fired transitions, 2160 secs || 30665600 markings, 47228389 edges,
lola: 529 tries, 528609996 fired transitions, 2165 secs || 30740729 markings, 47344186 edges,
lola: 530 tries, 529894962 fired transitions, 2170 secs || 30814687 markings, 47458188 edges,
lola: 532 tries, 531164695 fired transitions, 2175 secs || 30888681 markings, 47572238 edges,
lola: 533 tries, 532386578 fired transitions, 2180 secs || 30959333 markings, 47681144 edges,
lola: 534 tries, 533618099 fired transitions, 2185 secs || 31028688 markings, 47788034 edges,
lola: 535 tries, 534929689 fired transitions, 2190 secs || 31103810 markings, 47903834 edges,
lola: 537 tries, 536220710 fired transitions, 2195 secs || 31179063 markings, 48019817 edges,
lola: 538 tries, 537535714 fired transitions, 2200 secs || 31254838 markings, 48136627 edges,
lola: 539 tries, 538868597 fired transitions, 2205 secs || 31332570 markings, 48256285 edges,
lola: 541 tries, 540203532 fired transitions, 2210 secs || 31408281 markings, 48372498 edges,
lola: 542 tries, 541551159 fired transitions, 2215 secs || 31485367 markings, 48490995 edges,
lola: 543 tries, 542899615 fired transitions, 2220 secs || 31562101 markings, 48609498 edges,
lola: 545 tries, 544220909 fired transitions, 2225 secs || 31638979 markings, 48728194 edges,
lola: 546 tries, 545547946 fired transitions, 2230 secs || 31716234 markings, 48847097 edges,
lola: 547 tries, 546863598 fired transitions, 2235 secs || 31792522 markings, 48964899 edges,
lola: 549 tries, 548206309 fired transitions, 2240 secs || 31867749 markings, 49081074 edges,
lola: 550 tries, 549539370 fired transitions, 2245 secs || 31945898 markings, 49201415 edges,
lola: 551 tries, 550868408 fired transitions, 2250 secs || 32022660 markings, 49319845 edges,
lola: 553 tries, 552148871 fired transitions, 2255 secs || 32096550 markings, 49433961 edges,
lola: 554 tries, 553483759 fired transitions, 2260 secs || 32172216 markings, 49550583 edges,
lola: 555 tries, 554822940 fired transitions, 2265 secs || 32249731 markings, 49670072 edges,
lola: 557 tries, 556157807 fired transitions, 2270 secs || 32324401 markings, 49785381 edges,
lola: 558 tries, 557440499 fired transitions, 2275 secs || 32397437 markings, 49898073 edges,
lola: 559 tries, 558768241 fired transitions, 2280 secs || 32472634 markings, 50013843 edges,
lola: 561 tries, 560102200 fired transitions, 2285 secs || 32548276 markings, 50130665 edges,
lola: 562 tries, 561444452 fired transitions, 2290 secs || 32623572 markings, 50246959 edges,
lola: 563 tries, 562774420 fired transitions, 2295 secs || 32699803 markings, 50364287 edges,
lola: 565 tries, 564110402 fired transitions, 2300 secs || 32776191 markings, 50482200 edges,
lola: 566 tries, 565451733 fired transitions, 2305 secs || 32851891 markings, 50599106 edges,
lola: 567 tries, 566783312 fired transitions, 2310 secs || 32927148 markings, 50715033 edges,
lola: 569 tries, 568112373 fired transitions, 2315 secs || 33003682 markings, 50833058 edges,
lola: 570 tries, 569457963 fired transitions, 2320 secs || 33079721 markings, 50950497 edges,
lola: 571 tries, 570772198 fired transitions, 2325 secs || 33153802 markings, 51064739 edges,
lola: 573 tries, 572073433 fired transitions, 2330 secs || 33228819 markings, 51180299 edges,
lola: 574 tries, 573320754 fired transitions, 2335 secs || 33300782 markings, 51291428 edges,
lola: 575 tries, 574597269 fired transitions, 2340 secs || 33373057 markings, 51403031 edges,
lola: 576 tries, 575910208 fired transitions, 2345 secs || 33449343 markings, 51520434 edges,
lola: 578 tries, 577237720 fired transitions, 2350 secs || 33525353 markings, 51637781 edges,
lola: 579 tries, 578568147 fired transitions, 2355 secs || 33600719 markings, 51754183 edges,
lola: 580 tries, 579871152 fired transitions, 2360 secs || 33675732 markings, 51869723 edges,
lola: 582 tries, 581196641 fired transitions, 2365 secs || 33751122 markings, 51985980 edges,
lola: 583 tries, 582524199 fired transitions, 2370 secs || 33825670 markings, 52101123 edges,
lola: 584 tries, 583847245 fired transitions, 2375 secs || 33899675 markings, 52215245 edges,
lola: 586 tries, 585127029 fired transitions, 2380 secs || 33972251 markings, 52327020 edges,
lola: 587 tries, 586471744 fired transitions, 2385 secs || 34047455 markings, 52443179 edges,
lola: 588 tries, 587768905 fired transitions, 2390 secs || 34121296 markings, 52557195 edges,
lola: 589 tries, 588990516 fired transitions, 2395 secs || 34189992 markings, 52662909 edges,
lola: 591 tries, 590285656 fired transitions, 2400 secs || 34262396 markings, 52774658 edges,
lola: 592 tries, 591597594 fired transitions, 2405 secs || 34334429 markings, 52885914 edges,
lola: 593 tries, 592872928 fired transitions, 2410 secs || 34406804 markings, 52997462 edges,
lola: 595 tries, 594155993 fired transitions, 2415 secs || 34480552 markings, 53110955 edges,
lola: 596 tries, 595410167 fired transitions, 2420 secs || 34554286 markings, 53224434 edges,
lola: 597 tries, 596704818 fired transitions, 2425 secs || 34630802 markings, 53342194 edges,
lola: 599 tries, 598029242 fired transitions, 2430 secs || 34707429 markings, 53460109 edges,
lola: 600 tries, 599356672 fired transitions, 2435 secs || 34785309 markings, 53579968 edges,
lola: 601 tries, 600688172 fired transitions, 2440 secs || 34862242 markings, 53698381 edges,
lola: 603 tries, 602013776 fired transitions, 2445 secs || 34940564 markings, 53818918 edges,
lola: 604 tries, 603349044 fired transitions, 2450 secs || 35016377 markings, 53935586 edges,
lola: 605 tries, 604631322 fired transitions, 2455 secs || 35090544 markings, 54049718 edges,
lola: 606 tries, 605854079 fired transitions, 2460 secs || 35162192 markings, 54159983 edges,
lola: 608 tries, 607093131 fired transitions, 2465 secs || 35234376 markings, 54271078 edges,
lola: 609 tries, 608346503 fired transitions, 2470 secs || 35306169 markings, 54381575 edges,
lola: 610 tries, 609621916 fired transitions, 2475 secs || 35381125 markings, 54496926 edges,
lola: 611 tries, 610941756 fired transitions, 2480 secs || 35457058 markings, 54613791 edges,
lola: 613 tries, 612251861 fired transitions, 2485 secs || 35533328 markings, 54731168 edges,
lola: 614 tries, 613551505 fired transitions, 2490 secs || 35609065 markings, 54847722 edges,
lola: 615 tries, 614878923 fired transitions, 2495 secs || 35685764 markings, 54965756 edges,
lola: 617 tries, 616216726 fired transitions, 2500 secs || 35763308 markings, 55085106 edges,
lola: 618 tries, 617536161 fired transitions, 2505 secs || 35839635 markings, 55202570 edges,
lola: 619 tries, 618868765 fired transitions, 2510 secs || 35916273 markings, 55320514 edges,
lola: 621 tries, 620202783 fired transitions, 2515 secs || 35992638 markings, 55438034 edges,
lola: 622 tries, 621549978 fired transitions, 2520 secs || 36068824 markings, 55555293 edges,
lola: 623 tries, 622890338 fired transitions, 2525 secs || 36145585 markings, 55673425 edges,
lola: 625 tries, 624223354 fired transitions, 2530 secs || 36221153 markings, 55789717 edges,
lola: 626 tries, 625554245 fired transitions, 2535 secs || 36298374 markings, 55908555 edges,
lola: 627 tries, 626902768 fired transitions, 2540 secs || 36375994 markings, 56028008 edges,
lola: 629 tries, 628235051 fired transitions, 2545 secs || 36453100 markings, 56146688 edges,
lola: 630 tries, 629573660 fired transitions, 2550 secs || 36529283 markings, 56263931 edges,
lola: 631 tries, 630922765 fired transitions, 2555 secs || 36605866 markings, 56381780 edges,
lola: 633 tries, 632268665 fired transitions, 2560 secs || 36682481 markings, 56499692 edges,
lola: 634 tries, 633612156 fired transitions, 2565 secs || 36759604 markings, 56618394 edges,
lola: 635 tries, 634940177 fired transitions, 2570 secs || 36835972 markings, 56735924 edges,
lola: 637 tries, 636265966 fired transitions, 2575 secs || 36911898 markings, 56852763 edges,
lola: 638 tries, 637615495 fired transitions, 2580 secs || 36988995 markings, 56971412 edges,
lola: 639 tries, 638939520 fired transitions, 2585 secs || 37066226 markings, 57090280 edges,
lola: 641 tries, 640267408 fired transitions, 2590 secs || 37143672 markings, 57209470 edges,
lola: 642 tries, 641564009 fired transitions, 2595 secs || 37219055 markings, 57325475 edges,
lola: 643 tries, 642906517 fired transitions, 2600 secs || 37295355 markings, 57442900 edges,
lola: 645 tries, 644242639 fired transitions, 2605 secs || 37372659 markings, 57561870 edges,
lola: 646 tries, 645558903 fired transitions, 2610 secs || 37447396 markings, 57676892 edges,
lola: 647 tries, 646878525 fired transitions, 2615 secs || 37522967 markings, 57793186 edges,
lola: 649 tries, 648214125 fired transitions, 2620 secs || 37600323 markings, 57912232 edges,
lola: 650 tries, 649560986 fired transitions, 2625 secs || 37676991 markings, 58030231 edges,
lola: 651 tries, 650823880 fired transitions, 2630 secs || 37748769 markings, 58140693 edges,
lola: 653 tries, 652109890 fired transitions, 2635 secs || 37822343 markings, 58253928 edges,
lola: 654 tries, 653399073 fired transitions, 2640 secs || 37895616 markings, 58366699 edges,
lola: 655 tries, 654683424 fired transitions, 2645 secs || 37970004 markings, 58481174 edges,
lola: 656 tries, 655950593 fired transitions, 2650 secs || 38043318 markings, 58594008 edges,
lola: 658 tries, 657256640 fired transitions, 2655 secs || 38117863 markings, 58708716 edges,
lola: 659 tries, 658486163 fired transitions, 2660 secs || 38187465 markings, 58815841 edges,
lola: 660 tries, 659780699 fired transitions, 2665 secs || 38261234 markings, 58929383 edges,
lola: 662 tries, 661114537 fired transitions, 2670 secs || 38338715 markings, 59048614 edges,
lola: 663 tries, 662415012 fired transitions, 2675 secs || 38414314 markings, 59164960 edges,
lola: 664 tries, 663709973 fired transitions, 2680 secs || 38489534 markings, 59280732 edges,
lola: 665 tries, 664990731 fired transitions, 2685 secs || 38564090 markings, 59395464 edges,
lola: 667 tries, 666283283 fired transitions, 2690 secs || 38638725 markings, 59510330 edges,
lola: 668 tries, 667606203 fired transitions, 2695 secs || 38715005 markings, 59627719 edges,
lola: 669 tries, 668914749 fired transitions, 2700 secs || 38789207 markings, 59741920 edges,
lola: 671 tries, 670194139 fired transitions, 2705 secs || 38864035 markings, 59857081 edges,
lola: 672 tries, 671492897 fired transitions, 2710 secs || 38938412 markings, 59971531 edges,
lola: 673 tries, 672773155 fired transitions, 2715 secs || 39012799 markings, 60086031 edges,
lola: 675 tries, 674105739 fired transitions, 2720 secs || 39089391 markings, 60203898 edges,
lola: 676 tries, 675387040 fired transitions, 2725 secs || 39163321 markings, 60317675 edges,
lola: 677 tries, 676692698 fired transitions, 2730 secs || 39237879 markings, 60432416 edges,
lola: 679 tries, 678025050 fired transitions, 2735 secs || 39314242 markings, 60549930 edges,
lola: 680 tries, 679356872 fired transitions, 2740 secs || 39390701 markings, 60667611 edges,
lola: 681 tries, 680638665 fired transitions, 2745 secs || 39464532 markings, 60781227 edges,
lola: 682 tries, 681896521 fired transitions, 2750 secs || 39537419 markings, 60893412 edges,
lola: 684 tries, 683167535 fired transitions, 2755 secs || 39610649 markings, 61006109 edges,
lola: 685 tries, 684463529 fired transitions, 2760 secs || 39685109 markings, 61120698 edges,
lola: 686 tries, 685804025 fired transitions, 2765 secs || 39762104 markings, 61239541 edges,
lola: 688 tries, 687148044 fired transitions, 2770 secs || 39839140 markings, 61358514 edges,
lola: 689 tries, 688496891 fired transitions, 2775 secs || 39915935 markings, 61476815 edges,
lola: 690 tries, 689840276 fired transitions, 2780 secs || 39993049 markings, 61595730 edges,
lola: 692 tries, 691184409 fired transitions, 2785 secs || 40068274 markings, 61711908 edges,
lola: 693 tries, 692524941 fired transitions, 2790 secs || 40144649 markings, 61829675 edges,
lola: 694 tries, 693864424 fired transitions, 2795 secs || 40222255 markings, 61949257 edges,
lola: 696 tries, 695191262 fired transitions, 2800 secs || 40297787 markings, 62065899 edges,
lola: 697 tries, 696534128 fired transitions, 2805 secs || 40373274 markings, 62182413 edges,
lola: 698 tries, 697879981 fired transitions, 2810 secs || 40449071 markings, 62299069 edges,
lola: 700 tries, 699224186 fired transitions, 2815 secs || 40525382 markings, 62416926 edges,
lola: 701 tries, 700579850 fired transitions, 2820 secs || 40601184 markings, 62534010 edges,
lola: 702 tries, 701931000 fired transitions, 2825 secs || 40677611 markings, 62651641 edges,
lola: 704 tries, 703280170 fired transitions, 2830 secs || 40754353 markings, 62770077 edges,
lola: 705 tries, 704607519 fired transitions, 2835 secs || 40830239 markings, 62887280 edges,
lola: 706 tries, 705949816 fired transitions, 2840 secs || 40906842 markings, 63005303 edges,
lola: 708 tries, 707279221 fired transitions, 2845 secs || 40983952 markings, 63124192 edges,
lola: 709 tries, 708615755 fired transitions, 2850 secs || 41060611 markings, 63242597 edges,
lola: 710 tries, 709957201 fired transitions, 2855 secs || 41137381 markings, 63360983 edges,
lola: 712 tries, 711308016 fired transitions, 2860 secs || 41214612 markings, 63479963 edges,
lola: 713 tries, 712666507 fired transitions, 2865 secs || 41290363 markings, 63596954 edges,
lola: 715 tries, 714008239 fired transitions, 2870 secs || 41364834 markings, 63711900 edges,
lola: 716 tries, 715352218 fired transitions, 2875 secs || 41440239 markings, 63827943 edges,
lola: 717 tries, 716682535 fired transitions, 2880 secs || 41515133 markings, 63943626 edges,
lola: 719 tries, 718015950 fired transitions, 2885 secs || 41590590 markings, 64060157 edges,
lola: 720 tries, 719351096 fired transitions, 2890 secs || 41666207 markings, 64176586 edges,
lola: 721 tries, 720657137 fired transitions, 2895 secs || 41741228 markings, 64292316 edges,
lola: 722 tries, 721962685 fired transitions, 2900 secs || 41815304 markings, 64406733 edges,
lola: 724 tries, 723237752 fired transitions, 2905 secs || 41887189 markings, 64517542 edges,
lola: 725 tries, 724528733 fired transitions, 2910 secs || 41960602 markings, 64630647 edges,
lola: 726 tries, 725812404 fired transitions, 2915 secs || 42033143 markings, 64742678 edges,
lola: 728 tries, 727130511 fired transitions, 2920 secs || 42105575 markings, 64854522 edges,
lola: 729 tries, 728473750 fired transitions, 2925 secs || 42183420 markings, 64974319 edges,
lola: 730 tries, 729781635 fired transitions, 2930 secs || 42258057 markings, 65089564 edges,
lola: 732 tries, 731065706 fired transitions, 2935 secs || 42330160 markings, 65200927 edges,
lola: 733 tries, 732375849 fired transitions, 2940 secs || 42404532 markings, 65315479 edges,
lola: 734 tries, 733690472 fired transitions, 2945 secs || 42479226 markings, 65430666 edges,
lola: 736 tries, 735007736 fired transitions, 2950 secs || 42552545 markings, 65543914 edges,
lola: 737 tries, 736318943 fired transitions, 2955 secs || 42626171 markings, 65657453 edges,
lola: 738 tries, 737647349 fired transitions, 2960 secs || 42701221 markings, 65773055 edges,
lola: 739 tries, 738982801 fired transitions, 2965 secs || 42775930 markings, 65888428 edges,
lola: 741 tries, 740330682 fired transitions, 2970 secs || 42851082 markings, 66004471 edges,
lola: 742 tries, 741648849 fired transitions, 2975 secs || 42927056 markings, 66121390 edges,
lola: 743 tries, 742985097 fired transitions, 2980 secs || 43001700 markings, 66236650 edges,
lola: 745 tries, 744313516 fired transitions, 2985 secs || 43077643 markings, 66353937 edges,
lola: 746 tries, 745598916 fired transitions, 2990 secs || 43151424 markings, 66467565 edges,
lola: 747 tries, 746900754 fired transitions, 2995 secs || 43226203 markings, 66582899 edges,
lola: 749 tries, 748234166 fired transitions, 3000 secs || 43302656 markings, 66700974 edges,
lola: 750 tries, 749562747 fired transitions, 3005 secs || 43378297 markings, 66817584 edges,
lola: 751 tries, 750868434 fired transitions, 3010 secs || 43452349 markings, 66931675 edges,
lola: 753 tries, 752177217 fired transitions, 3015 secs || 43525781 markings, 67045081 edges,
lola: 754 tries, 753473104 fired transitions, 3020 secs || 43599604 markings, 67159048 edges,
lola: 755 tries, 754779622 fired transitions, 3025 secs || 43673332 markings, 67272519 edges,
lola: 757 tries, 756082716 fired transitions, 3030 secs || 43747312 markings, 67386756 edges,
lola: 758 tries, 757421217 fired transitions, 3035 secs || 43822073 markings, 67502207 edges,
lola: 759 tries, 758767975 fired transitions, 3040 secs || 43897861 markings, 67618947 edges,
lola: 761 tries, 760027095 fired transitions, 3045 secs || 43968688 markings, 67728167 edges,
lola: 762 tries, 761300385 fired transitions, 3050 secs || 44039882 markings, 67838131 edges,
lola: 763 tries, 762587660 fired transitions, 3055 secs || 44112623 markings, 67950318 edges,
lola: 764 tries, 763922228 fired transitions, 3060 secs || 44187700 markings, 68065952 edges,
lola: 766 tries, 765160307 fired transitions, 3065 secs || 44256756 markings, 68172602 edges,
lola: 767 tries, 766494994 fired transitions, 3070 secs || 44331400 markings, 68287868 edges,
lola: 768 tries, 767821195 fired transitions, 3075 secs || 44405796 markings, 68402384 edges,
lola: 770 tries, 769093629 fired transitions, 3080 secs || 44476883 markings, 68512090 edges,
lola: 771 tries, 770309301 fired transitions, 3085 secs || 44545759 markings, 68618465 edges,
lola: 772 tries, 771544221 fired transitions, 3090 secs || 44614924 markings, 68725114 edges,
lola: 773 tries, 772833707 fired transitions, 3095 secs || 44687590 markings, 68837025 edges,
lola: 775 tries, 774148866 fired transitions, 3100 secs || 44761080 markings, 68950521 edges,
lola: 776 tries, 775465655 fired transitions, 3105 secs || 44835968 markings, 69066167 edges,
lola: 777 tries, 776727439 fired transitions, 3110 secs || 44908173 markings, 69177294 edges,
lola: 779 tries, 778023763 fired transitions, 3115 secs || 44981952 markings, 69291178 edges,
lola: 780 tries, 779311574 fired transitions, 3120 secs || 45054798 markings, 69403679 edges,
lola: 781 tries, 780630468 fired transitions, 3125 secs || 45129832 markings, 69519298 edges,
lola: 782 tries, 781989857 fired transitions, 3130 secs || 45206351 markings, 69637269 edges,
lola: 784 tries, 783343961 fired transitions, 3135 secs || 45281343 markings, 69753076 edges,
lola: 785 tries, 784709883 fired transitions, 3140 secs || 45357117 markings, 69869955 edges,
lola: 787 tries, 786032118 fired transitions, 3145 secs || 45432214 markings, 69985626 edges,
lola: 788 tries, 787389856 fired transitions, 3150 secs || 45509246 markings, 70104573 edges,
lola: 789 tries, 788711025 fired transitions, 3155 secs || 45584118 markings, 70220188 edges,
lola: 791 tries, 790043224 fired transitions, 3160 secs || 45658608 markings, 70334817 edges,
lola: 792 tries, 791345936 fired transitions, 3165 secs || 45733174 markings, 70449957 edges,
lola: 793 tries, 792671323 fired transitions, 3170 secs || 45808473 markings, 70566249 edges,
lola: 795 tries, 794044718 fired transitions, 3175 secs || 45888173 markings, 70688994 edges,
lola: 796 tries, 795412407 fired transitions, 3180 secs || 45965978 markings, 70809018 edges,
lola: 797 tries, 796742496 fired transitions, 3185 secs || 46042823 markings, 70927690 edges,
lola: 799 tries, 798097081 fired transitions, 3190 secs || 46119290 markings, 71045553 edges,
lola: 800 tries, 799345601 fired transitions, 3195 secs || 46191866 markings, 71157401 edges,
lola: 801 tries, 800620447 fired transitions, 3200 secs || 46263562 markings, 71268133 edges,
lola: 802 tries, 801825486 fired transitions, 3205 secs || 46333553 markings, 71376177 edges,
lola: 804 tries, 803099713 fired transitions, 3210 secs || 46405279 markings, 71486564 edges,
lola: 805 tries, 804383655 fired transitions, 3215 secs || 46477579 markings, 71598199 edges,
lola: 806 tries, 805665179 fired transitions, 3220 secs || 46550033 markings, 71710099 edges,
lola: 807 tries, 806983447 fired transitions, 3225 secs || 46625819 markings, 71826838 edges,
lola: 809 tries, 808178400 fired transitions, 3230 secs || 46695188 markings, 71933802 edges,
lola: 810 tries, 809498505 fired transitions, 3235 secs || 46771147 markings, 72051113 edges,
lola: 811 tries, 810840430 fired transitions, 3240 secs || 46848584 markings, 72170549 edges,
lola: 813 tries, 812192498 fired transitions, 3245 secs || 46925238 markings, 72288606 edges,
lola: 814 tries, 813541544 fired transitions, 3250 secs || 47002261 markings, 72407559 edges,
lola: 815 tries, 814893458 fired transitions, 3255 secs || 47078064 markings, 72524586 edges,
lola: 817 tries, 816244435 fired transitions, 3260 secs || 47154448 markings, 72642149 edges,
lola: 818 tries, 817548567 fired transitions, 3265 secs || 47228895 markings, 72757118 edges,
lola: 819 tries, 818881701 fired transitions, 3270 secs || 47304752 markings, 72874265 edges,
lola: 821 tries, 820282358 fired transitions, 3275 secs || 47383799 markings, 72995993 edges,
lola: 822 tries, 821688475 fired transitions, 3280 secs || 47462691 markings, 73117706 edges,
lola: 823 tries, 822961048 fired transitions, 3285 secs || 47533663 markings, 73227338 edges,
lola: 825 tries, 824245633 fired transitions, 3290 secs || 47605984 markings, 73338803 edges,
lola: 826 tries, 825579263 fired transitions, 3295 secs || 47681469 markings, 73455125 edges,
lola: 827 tries, 826861536 fired transitions, 3300 secs || 47754327 markings, 73567655 edges,
lola: 829 tries, 828061645 fired transitions, 3305 secs || 47822376 markings, 73672715 edges,
lola: 830 tries, 829343166 fired transitions, 3310 secs || 47895874 markings, 73785811 edges,
lola: 831 tries, 830616135 fired transitions, 3315 secs || 47969759 markings, 73899886 edges,
lola: 832 tries, 831861653 fired transitions, 3320 secs || 48041295 markings, 74010365 edges,
lola: 834 tries, 833087424 fired transitions, 3325 secs || 48112773 markings, 74120502 edges,
lola: 835 tries, 834373843 fired transitions, 3330 secs || 48186530 markings, 74234198 edges,
lola: 836 tries, 835582599 fired transitions, 3335 secs || 48253878 markings, 74338217 edges,
lola: 837 tries, 836774115 fired transitions, 3340 secs || 48322399 markings, 74443979 edges,
lola: 838 tries, 837962525 fired transitions, 3345 secs || 48391125 markings, 74549739 edges,
lola: 840 tries, 839130497 fired transitions, 3350 secs || 48458348 markings, 74653521 edges,
lola: 841 tries, 840374120 fired transitions, 3355 secs || 48528777 markings, 74762287 edges,
lola: 842 tries, 841556207 fired transitions, 3360 secs || 48595357 markings, 74864935 edges,
lola: 843 tries, 842751503 fired transitions, 3365 secs || 48664426 markings, 74971247 edges,
lola: 844 tries, 843914847 fired transitions, 3370 secs || 48732763 markings, 75076409 edges,
lola: 846 tries, 845142110 fired transitions, 3375 secs || 48803306 markings, 75184973 edges,
lola: 847 tries, 846442743 fired transitions, 3380 secs || 48878485 markings, 75300666 edges,
lola: 848 tries, 847738408 fired transitions, 3385 secs || 48952977 markings, 75415316 edges,
lola: 850 tries, 849035273 fired transitions, 3390 secs || 49028450 markings, 75531461 edges,
lola: 851 tries, 850320753 fired transitions, 3395 secs || 49103772 markings, 75647377 edges,
lola: 852 tries, 851618777 fired transitions, 3400 secs || 49178583 markings, 75762519 edges,
lola: 853 tries, 852914758 fired transitions, 3405 secs || 49253607 markings, 75877969 edges,
lola: 855 tries, 854195040 fired transitions, 3410 secs || 49328087 markings, 75992608 edges,
lola: 856 tries, 855471448 fired transitions, 3415 secs || 49403659 markings, 76108905 edges,
lola: 857 tries, 856733862 fired transitions, 3420 secs || 49477096 markings, 76221926 edges,
lola: 858 tries, 857950169 fired transitions, 3425 secs || 49548070 markings, 76331165 edges,
lola: 860 tries, 859131817 fired transitions, 3430 secs || 49616293 markings, 76436151 edges,
lola: 861 tries, 860317373 fired transitions, 3435 secs || 49684826 markings, 76541618 edges,
lola: 862 tries, 861537172 fired transitions, 3440 secs || 49756423 markings, 76651812 edges,
lola: 863 tries, 862792293 fired transitions, 3445 secs || 49828471 markings, 76762686 edges,
lola: 865 tries, 864013301 fired transitions, 3450 secs || 49898344 markings, 76870224 edges,
lola: 866 tries, 865181197 fired transitions, 3455 secs || 49967399 markings, 76976504 edges,
lola: 867 tries, 866424379 fired transitions, 3460 secs || 50038617 markings, 77086081 edges,
lola: 868 tries, 867696785 fired transitions, 3465 secs || 50113775 markings, 77201765 edges,
lola: 869 tries, 868949619 fired transitions, 3470 secs || 50186389 markings, 77313524 edges,
lola: 871 tries, 870250136 fired transitions, 3475 secs || 50262295 markings, 77430339 edges,
lola: 872 tries, 871610212 fired transitions, 3480 secs || 50341358 markings, 77552012 edges,
lola: 873 tries, 872966540 fired transitions, 3485 secs || 50419650 markings, 77672506 edges,
lola: 875 tries, 874293749 fired transitions, 3490 secs || 50496292 markings, 77790444 edges,
lola: 876 tries, 875594327 fired transitions, 3495 secs || 50572588 markings, 77907863 edges,
lola: 877 tries, 876890781 fired transitions, 3500 secs || 50647178 markings, 78022664 edges,
lola: 879 tries, 878176698 fired transitions, 3505 secs || 50720849 markings, 78136030 edges,
lola: 880 tries, 879519451 fired transitions, 3510 secs || 50797525 markings, 78254053 edges,
lola: 881 tries, 880893803 fired transitions, 3515 secs || 50876288 markings, 78375262 edges,
lola: 883 tries, 882258772 fired transitions, 3520 secs || 50954466 markings, 78495575 edges,
lola: 884 tries, 883631512 fired transitions, 3525 secs || 51034079 markings, 78618111 edges,
lola: 886 tries, 885033507 fired transitions, 3530 secs || 51115317 markings, 78743119 edges,
lola: 887 tries, 886460429 fired transitions, 3535 secs || 51196744 markings, 78868440 edges,
lola: 888 tries, 887821210 fired transitions, 3540 secs || 51273971 markings, 78987290 edges,
lola: 890 tries, 889104681 fired transitions, 3545 secs || 51348522 markings, 79102028 edges,
lola: 891 tries, 890382417 fired transitions, 3550 secs || 51422624 markings, 79216063 edges,
lola: 892 tries, 891670037 fired transitions, 3555 secs || 51496922 markings, 79330413 edges,
lola: time limit reached - aborting
lola: memory consumption: 10025484 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 1554508117815

--------------------
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) 7878 markings/sec, 0 secs 13728 markings/sec, 5 secs 13293 markings/sec, 10 secs 13514 markings/sec, 15 secs 14951 markings/sec, 20 secs 13851 markings/sec, 25 secs 13885 markings/sec, 30 secs 13820 markings/sec, 35 secs 13905 markings/sec, 40 secs 13985 markings/sec, 45 secs 13854 markings/sec, 50 secs 13815 markings/sec, 55 secs 13872 markings/sec, 60 secs 13771 markings/sec, 65 secs 13818 markings/sec, 70 secs 13439 markings/sec, 75 secs 13532 markings/sec, 80 secs 13501 markings/sec, 85 secs 13818 markings/sec, 90 secs 13777 markings/sec, 95 secs 13763 markings/sec, 100 secs 13697 markings/sec, 105 secs 13579 markings/sec, 110 secs 13713 markings/sec, 115 secs 13738 markings/sec, 120 secs 13691 markings/sec, 125 secs 13807 markings/sec, 130 secs 13705 markings/sec, 135 secs 13698 markings/sec, 140 secs 13641 markings/sec, 145 secs 13697 markings/sec, 150 secs 13825 markings/sec, 155 secs 13897 markings/sec, 160 secs 13780 markings/sec, 165 secs 13816 markings/sec, 170 secs 13695 markings/sec, 175 secs 13680 markings/sec, 180 secs 13814 markings/sec, 185 secs 13761 markings/sec, 190 secs 13848 markings/sec, 195 secs 13947 markings/sec, 200 secs 13825 markings/sec, 205 secs 13864 markings/sec, 210 secs 13850 markings/sec, 215 secs 13756 markings/sec, 220 secs 13658 markings/sec, 225 secs 13469 markings/sec, 230 secs 13611 markings/sec, 235 secs 13561 markings/sec, 240 secs 13734 markings/sec, 245 secs 13567 markings/sec, 250 secs 13788 markings/sec, 255 secs 13802 markings/sec, 260 secs 13745 markings/sec, 265 secs 13694 markings/sec, 270 secs 13752 markings/sec, 275 secs 13600 markings/sec, 280 secs 13701 markings/sec, 285 secs 13647 markings/sec, 290 secs 13711 markings/sec, 295 secs 13612 markings/sec, 300 secs 13608 markings/sec, 305 secs 13769 markings/sec, 310 secs 13865 markings/sec, 315 secs 13800 markings/sec, 320 secs 13873 markings/sec, 325 secs 13732 markings/sec, 330 secs 13494 markings/sec, 335 secs 13559 markings/sec, 340 secs 13518 markings/sec, 345 secs 13515 markings/sec, 350 secs 13685 markings/sec, 355 secs 13393 markings/sec, 360 secs 13610 markings/sec, 365 secs 13481 markings/sec, 370 secs 13427 markings/sec, 375 secs 13597 markings/sec, 380 secs 13504 markings/sec, 385 secs 13655 markings/sec, 390 secs 13630 markings/sec, 395 secs 13604 markings/sec, 400 secs 13494 markings/sec, 405 secs 13530 markings/sec, 410 secs 13576 markings/sec, 415 secs 13701 markings/sec, 420 secs 13685 markings/sec, 425 secs 13833 markings/sec, 430 secs 13758 markings/sec, 435 secs 13810 markings/sec, 440 secs 13729 markings/sec, 445 secs 13683 markings/sec, 450 secs 13642 markings/sec, 455 secs 13552 markings/sec, 460 secs 13717 markings/sec, 465 secs 13719 markings/sec, 470 secs 13843 markings/sec, 475 secs 13663 markings/sec, 480 secs 13927 markings/sec, 485 secs 13638 markings/sec, 490 secs 13772 markings/sec, 495 secs 13759 markings/sec, 500 secs 13668 markings/sec, 505 secs 13643 markings/sec, 510 secs 13703 markings/sec, 515 secs 13749 markings/sec, 520 secs 13908 markings/sec, 525 secs 13924 markings/sec, 530 secs 13772 markings/sec, 535 secs 13805 markings/sec, 540 secs 13789 markings/sec, 545 secs 13695 markings/sec, 550 secs 13799 markings/sec, 555 secs 13837 markings/sec, 560 secs 13612 markings/sec, 565 secs 13710 markings/sec, 570 secs 13601 markings/sec, 575 secs 13610 markings/sec, 580 secs 13572 markings/sec, 585 secs 13662 markings/sec, 590 secs 13730 markings/sec, 595 secs 13632 markings/sec, 600 secs 13619 markings/sec, 605 secs 13704 markings/sec, 610 secs 13712 markings/sec, 615 secs 13898 markings/sec, 620 secs 13719 markings/sec, 625 secs 13707 markings/sec, 630 secs 13971 markings/sec, 635 secs 13863 markings/sec, 640 secs 13818 markings/sec, 645 secs 13816 markings/sec, 650 secs 13681 markings/sec, 655 secs 13539 markings/sec, 660 secs 13782 markings/sec, 665 secs 13733 markings/sec, 670 secs 13646 markings/sec, 675 secs 13874 markings/sec, 680 secs 13898 markings/sec, 685 secs 13772 markings/sec, 690 secs 13733 markings/sec, 695 secs 13715 markings/sec, 700 secs 13779 markings/sec, 705 secs 13882 markings/sec, 710 secs 13814 markings/sec, 715 secs 13740 markings/sec, 720 secs 13499 markings/sec, 725 secs 13586 markings/sec, 730 secs 13604 markings/sec, 735 secs 13683 markings/sec, 740 secs 13841 markings/sec, 745 secs 13754 markings/sec, 750 secs 13821 markings/sec, 755 secs 13732 markings/sec, 760 secs 13808 markings/sec, 765 secs 13882 markings/sec, 770 secs 14024 markings/sec, 775 secs 13952 markings/sec, 780 secs 13848 markings/sec, 785 secs 13849 markings/sec, 790 secs 13858 markings/sec, 795 secs 13747 markings/sec, 800 secs 13840 markings/sec, 805 secs 13699 markings/sec, 810 secs 13754 markings/sec, 815 secs 13839 markings/sec, 820 secs 13916 markings/sec, 825 secs 13726 markings/sec, 830 secs 13941 markings/sec, 835 secs 13676 markings/sec, 840 secs 13799 markings/sec, 845 secs 13710 markings/sec, 850 secs 13917 markings/sec, 855 secs 13891 markings/sec, 860 secs 14249 markings/sec, 865 secs 13897 markings/sec, 870 secs 14217 markings/sec, 875 secs 13806 markings/sec, 880 secs 13896 markings/sec, 885 secs 13594 markings/sec, 890 secs 13830 markings/sec, 895 secs 13872 markings/sec, 900 secs 13988 markings/sec, 905 secs 14254 markings/sec, 910 secs 13796 markings/sec, 915 secs 13663 markings/sec, 920 secs 13784 markings/sec, 925 secs 13571 markings/sec, 930 secs 13371 markings/sec, 935 secs 14229 markings/sec, 940 secs 13582 markings/sec, 945 secs 13635 markings/sec, 950 secs 13678 markings/sec, 955 secs 14349 markings/sec, 960 secs 14262 markings/sec, 965 secs 13643 markings/sec, 970 secs 13980 markings/sec, 975 secs 13797 markings/sec, 980 secs 13609 markings/sec, 985 secs 13745 markings/sec, 990 secs 13705 markings/sec, 995 secs 13398 markings/sec, 1000 secs 13758 markings/sec, 1005 secs 13817 markings/sec, 1010 secs 13706 markings/sec, 1015 secs 13724 markings/sec, 1020 secs 13811 markings/sec, 1025 secs 13967 markings/sec, 1030 secs 13432 markings/sec, 1035 secs 14411 markings/sec, 1040 secs 14550 markings/sec, 1045 secs 13934 markings/sec, 1050 secs 13819 markings/sec, 1055 secs 13711 markings/sec, 1060 secs 14369 markings/sec, 1065 secs 13691 markings/sec, 1070 secs 13756 markings/sec, 1075 secs 14263 markings/sec, 1080 secs 14576 markings/sec, 1085 secs 14847 markings/sec, 1090 secs 15079 markings/sec, 1095 secs 14405 markings/sec, 1100 secs 14188 markings/sec, 1105 secs 13873 markings/sec, 1110 secs 13715 markings/sec, 1115 secs 13731 markings/sec, 1120 secs 14403 markings/sec, 1125 secs 14210 markings/sec, 1130 secs 14104 markings/sec, 1135 secs 14289 markings/sec, 1140 secs 14232 markings/sec, 1145 secs 14094 markings/sec, 1150 secs 13956 markings/sec, 1155 secs 14459 markings/sec, 1160 secs 14472 markings/sec, 1165 secs 14333 markings/sec, 1170 secs 14467 markings/sec, 1175 secs 14067 markings/sec, 1180 secs 14453 markings/sec, 1185 secs 14693 markings/sec, 1190 secs 14145 markings/sec, 1195 secs 14778 markings/sec, 1200 secs 14663 markings/sec, 1205 secs 14074 markings/sec, 1210 secs 14763 markings/sec, 1215 secs 14854 markings/sec, 1220 secs 14344 markings/sec, 1225 secs 14330 markings/sec, 1230 secs 14397 markings/sec, 1235 secs 14107 markings/sec, 1240 secs 14213 markings/sec, 1245 secs 14749 markings/sec, 1250 secs 14884 markings/sec, 1255 secs 14203 markings/sec, 1260 secs 14323 markings/sec, 1265 secs 14178 markings/sec, 1270 secs 14387 markings/sec, 1275 secs 14675 markings/sec, 1280 secs 14433 markings/sec, 1285 secs 14448 markings/sec, 1290 secs 14397 markings/sec, 1295 secs 13875 markings/sec, 1300 secs 14413 markings/sec, 1305 secs 14221 markings/sec, 1310 secs 14227 markings/sec, 1315 secs 14753 markings/sec, 1320 secs 14855 markings/sec, 1325 secs 14708 markings/sec, 1330 secs 14847 markings/sec, 1335 secs 14799 markings/sec, 1340 secs 15072 markings/sec, 1345 secs 14675 markings/sec, 1350 secs 14291 markings/sec, 1355 secs 13884 markings/sec, 1360 secs 14216 markings/sec, 1365 secs 14456 markings/sec, 1370 secs 14024 markings/sec, 1375 secs 14219 markings/sec, 1380 secs 14808 markings/sec, 1385 secs 14960 markings/sec, 1390 secs 14729 markings/sec, 1395 secs 14441 markings/sec, 1400 secs 14630 markings/sec, 1405 secs 14732 markings/sec, 1410 secs 14811 markings/sec, 1415 secs 14608 markings/sec, 1420 secs 14990 markings/sec, 1425 secs 14686 markings/sec, 1430 secs 14656 markings/sec, 1435 secs 14606 markings/sec, 1440 secs 13704 markings/sec, 1445 secs 14325 markings/sec, 1450 secs 14828 markings/sec, 1455 secs 14336 markings/sec, 1460 secs 14227 markings/sec, 1465 secs 14492 markings/sec, 1470 secs 14772 markings/sec, 1475 secs 14614 markings/sec, 1480 secs 14993 markings/sec, 1485 secs 15030 markings/sec, 1490 secs 14998 markings/sec, 1495 secs 14827 markings/sec, 1500 secs 14415 markings/sec, 1505 secs 14042 markings/sec, 1510 secs 14538 markings/sec, 1515 secs 13843 markings/sec, 1520 secs 14674 markings/sec, 1525 secs 14758 markings/sec, 1530 secs 14879 markings/sec, 1535 secs 14634 markings/sec, 1540 secs 14759 markings/sec, 1545 secs 14698 markings/sec, 1550 secs 14968 markings/sec, 1555 secs 14473 markings/sec, 1560 secs 14407 markings/sec, 1565 secs 14082 markings/sec, 1570 secs 14679 markings/sec, 1575 secs 14650 markings/sec, 1580 secs 14734 markings/sec, 1585 secs 14448 markings/sec, 1590 secs 14700 markings/sec, 1595 secs 14614 markings/sec, 1600 secs 13741 markings/sec, 1605 secs 13936 markings/sec, 1610 secs 14549 markings/sec, 1615 secs 14322 markings/sec, 1620 secs 14511 markings/sec, 1625 secs 14100 markings/sec, 1630 secs 14377 markings/sec, 1635 secs 13897 markings/sec, 1640 secs 14763 markings/sec, 1645 secs 14784 markings/sec, 1650 secs 14679 markings/sec, 1655 secs 14981 markings/sec, 1660 secs 15084 markings/sec, 1665 secs 14943 markings/sec, 1670 secs 14449 markings/sec, 1675 secs 14842 markings/sec, 1680 secs 14576 markings/sec, 1685 secs 14108 markings/sec, 1690 secs 14214 markings/sec, 1695 secs 14395 markings/sec, 1700 secs 14348 markings/sec, 1705 secs 14634 markings/sec, 1710 secs 14906 markings/sec, 1715 secs 14092 markings/sec, 1720 secs 14682 markings/sec, 1725 secs 14538 markings/sec, 1730 secs 14645 markings/sec, 1735 secs 14030 markings/sec, 1740 secs 14269 markings/sec, 1745 secs 14778 markings/sec, 1750 secs 14619 markings/sec, 1755 secs 14247 markings/sec, 1760 secs 14344 markings/sec, 1765 secs 14431 markings/sec, 1770 secs 14510 markings/sec, 1775 secs 14949 markings/sec, 1780 secs 14837 markings/sec, 1785 secs 14954 markings/sec, 1790 secs 14983 markings/sec, 1795 secs 14639 markings/sec, 1800 secs 14271 markings/sec, 1805 secs 14707 markings/sec, 1810 secs 14730 markings/sec, 1815 secs 14577 markings/sec, 1820 secs 14969 markings/sec, 1825 secs 14089 markings/sec, 1830 secs 14686 markings/sec, 1835 secs 14049 markings/sec, 1840 secs 14972 markings/sec, 1845 secs 14553 markings/sec, 1850 secs 14824 markings/sec, 1855 secs 14810 markings/sec, 1860 secs 14240 markings/sec, 1865 secs 14173 markings/sec, 1870 secs 14106 markings/sec, 1875 secs 14460 markings/sec, 1880 secs 14903 markings/sec, 1885 secs 14533 markings/sec, 1890 secs 14443 markings/sec, 1895 secs 14516 markings/sec, 1900 secs 14393 markings/sec, 1905 secs 14861 markings/sec, 1910 secs 14422 markings/sec, 1915 secs 14656 markings/sec, 1920 secs 14895 markings/sec, 1925 secs 14106 markings/sec, 1930 secs 14877 markings/sec, 1935 secs 14912 markings/sec, 1940 secs 14537 markings/sec, 1945 secs 14351 markings/sec, 1950 secs 15078 markings/sec, 1955 secs 14863 markings/sec, 1960 secs 15090 markings/sec, 1965 secs 14796 markings/sec, 1970 secs 14936 markings/sec, 1975 secs 14802 markings/sec, 1980 secs 14710 markings/sec, 1985 secs 14959 markings/sec, 1990 secs 15022 markings/sec, 1995 secs 14410 markings/sec, 2000 secs 14433 markings/sec, 2005 secs 14508 markings/sec, 2010 secs 14711 markings/sec, 2015 secs 14715 markings/sec, 2020 secs 14839 markings/sec, 2025 secs 14701 markings/sec, 2030 secs 13874 markings/sec, 2035 secs 14328 markings/sec, 2040 secs 14148 markings/sec, 2045 secs 14830 markings/sec, 2050 secs 15428 markings/sec, 2055 secs 15370 markings/sec, 2060 secs 15150 markings/sec, 2065 secs 15088 markings/sec, 2070 secs 15324 markings/sec, 2075 secs 15546 markings/sec, 2080 secs 14872 markings/sec, 2085 secs 15361 markings/sec, 2090 secs 15204 markings/sec, 2095 secs 14997 markings/sec, 2100 secs 15382 markings/sec, 2105 secs 15480 markings/sec, 2110 secs 15544 markings/sec, 2115 secs 15083 markings/sec, 2120 secs 15187 markings/sec, 2125 secs 15155 markings/sec, 2130 secs 15226 markings/sec, 2135 secs 15477 markings/sec, 2140 secs 15375 markings/sec, 2145 secs 15302 markings/sec, 2150 secs 15119 markings/sec, 2155 secs 14825 markings/sec, 2160 secs 15026 markings/sec, 2165 secs 14792 markings/sec, 2170 secs 14799 markings/sec, 2175 secs 14130 markings/sec, 2180 secs 13871 markings/sec, 2185 secs 15024 markings/sec, 2190 secs 15051 markings/sec, 2195 secs 15155 markings/sec, 2200 secs 15546 markings/sec, 2205 secs 15142 markings/sec, 2210 secs 15417 markings/sec, 2215 secs 15347 markings/sec, 2220 secs 15376 markings/sec, 2225 secs 15451 markings/sec, 2230 secs 15258 markings/sec, 2235 secs 15045 markings/sec, 2240 secs 15630 markings/sec, 2245 secs 15352 markings/sec, 2250 secs 14778 markings/sec, 2255 secs 15133 markings/sec, 2260 secs 15503 markings/sec, 2265 secs 14934 markings/sec, 2270 secs 14607 markings/sec, 2275 secs 15039 markings/sec, 2280 secs 15128 markings/sec, 2285 secs 15059 markings/sec, 2290 secs 15246 markings/sec, 2295 secs 15278 markings/sec, 2300 secs 15140 markings/sec, 2305 secs 15051 markings/sec, 2310 secs 15307 markings/sec, 2315 secs 15208 markings/sec, 2320 secs 14816 markings/sec, 2325 secs 15003 markings/sec, 2330 secs 14393 markings/sec, 2335 secs 14455 markings/sec, 2340 secs 15257 markings/sec, 2345 secs 15202 markings/sec, 2350 secs 15073 markings/sec, 2355 secs 15003 markings/sec, 2360 secs 15078 markings/sec, 2365 secs 14910 markings/sec, 2370 secs 14801 markings/sec, 2375 secs 14515 markings/sec, 2380 secs 15041 markings/sec, 2385 secs 14768 markings/sec, 2390 secs 13739 markings/sec, 2395 secs 14481 markings/sec, 2400 secs 14407 markings/sec, 2405 secs 14475 markings/sec, 2410 secs 14750 markings/sec, 2415 secs 14747 markings/sec, 2420 secs 15303 markings/sec, 2425 secs 15325 markings/sec, 2430 secs 15576 markings/sec, 2435 secs 15387 markings/sec, 2440 secs 15664 markings/sec, 2445 secs 15163 markings/sec, 2450 secs 14833 markings/sec, 2455 secs 14330 markings/sec, 2460 secs 14437 markings/sec, 2465 secs 14359 markings/sec, 2470 secs 14991 markings/sec, 2475 secs 15187 markings/sec, 2480 secs 15254 markings/sec, 2485 secs 15147 markings/sec, 2490 secs 15340 markings/sec, 2495 secs 15509 markings/sec, 2500 secs 15265 markings/sec, 2505 secs 15328 markings/sec, 2510 secs 15273 markings/sec, 2515 secs 15237 markings/sec, 2520 secs 15352 markings/sec, 2525 secs 15114 markings/sec, 2530 secs 15444 markings/sec, 2535 secs 15524 markings/sec, 2540 secs 15421 markings/sec, 2545 secs 15237 markings/sec, 2550 secs 15317 markings/sec, 2555 secs 15323 markings/sec, 2560 secs 15425 markings/sec, 2565 secs 15274 markings/sec, 2570 secs 15185 markings/sec, 2575 secs 15419 markings/sec, 2580 secs 15446 markings/sec, 2585 secs 15489 markings/sec, 2590 secs 15077 markings/sec, 2595 secs 15260 markings/sec, 2600 secs 15461 markings/sec, 2605 secs 14947 markings/sec, 2610 secs 15114 markings/sec, 2615 secs 15471 markings/sec, 2620 secs 15334 markings/sec, 2625 secs 14356 markings/sec, 2630 secs 14715 markings/sec, 2635 secs 14655 markings/sec, 2640 secs 14878 markings/sec, 2645 secs 14663 markings/sec, 2650 secs 14909 markings/sec, 2655 secs 13920 markings/sec, 2660 secs 14754 markings/sec, 2665 secs 15496 markings/sec, 2670 secs 15120 markings/sec, 2675 secs 15044 markings/sec, 2680 secs 14911 markings/sec, 2685 secs 14927 markings/sec, 2690 secs 15256 markings/sec, 2695 secs 14840 markings/sec, 2700 secs 14966 markings/sec, 2705 secs 14875 markings/sec, 2710 secs 14877 markings/sec, 2715 secs 15318 markings/sec, 2720 secs 14786 markings/sec, 2725 secs 14912 markings/sec, 2730 secs 15273 markings/sec, 2735 secs 15292 markings/sec, 2740 secs 14766 markings/sec, 2745 secs 14577 markings/sec, 2750 secs 14646 markings/sec, 2755 secs 14892 markings/sec, 2760 secs 15399 markings/sec, 2765 secs 15407 markings/sec, 2770 secs 15359 markings/sec, 2775 secs 15423 markings/sec, 2780 secs 15045 markings/sec, 2785 secs 15275 markings/sec, 2790 secs 15521 markings/sec, 2795 secs 15106 markings/sec, 2800 secs 15097 markings/sec, 2805 secs 15159 markings/sec, 2810 secs 15262 markings/sec, 2815 secs 15160 markings/sec, 2820 secs 15285 markings/sec, 2825 secs 15348 markings/sec, 2830 secs 15177 markings/sec, 2835 secs 15321 markings/sec, 2840 secs 15422 markings/sec, 2845 secs 15332 markings/sec, 2850 secs 15354 markings/sec, 2855 secs 15446 markings/sec, 2860 secs 15150 markings/sec, 2865 secs 14894 markings/sec, 2870 secs 15081 markings/sec, 2875 secs 14979 markings/sec, 2880 secs 15091 markings/sec, 2885 secs 15123 markings/sec, 2890 secs 15004 markings/sec, 2895 secs 14815 markings/sec, 2900 secs 14377 markings/sec, 2905 secs 14683 markings/sec, 2910 secs 14508 markings/sec, 2915 secs 14486 markings/sec, 2920 secs 15569 markings/sec, 2925 secs 14927 markings/sec, 2930 secs 14421 markings/sec, 2935 secs 14874 markings/sec, 2940 secs 14939 markings/sec, 2945 secs 14664 markings/sec, 2950 secs 14725 markings/sec, 2955 secs 15010 markings/sec, 2960 secs 14942 markings/sec, 2965 secs 15030 markings/sec, 2970 secs 15195 markings/sec, 2975 secs 14929 markings/sec, 2980 secs 15189 markings/sec, 2985 secs 14756 markings/sec, 2990 secs 14956 markings/sec, 2995 secs 15291 markings/sec, 3000 secs 15128 markings/sec, 3005 secs 14810 markings/sec, 3010 secs 14686 markings/sec, 3015 secs 14765 markings/sec, 3020 secs 14746 markings/sec, 3025 secs 14796 markings/sec, 3030 secs 14952 markings/sec, 3035 secs 15158 markings/sec, 3040 secs 14165 markings/sec, 3045 secs 14239 markings/sec, 3050 secs 14548 markings/sec, 3055 secs 15015 markings/sec, 3060 secs 13811 markings/sec, 3065 secs 14929 markings/sec, 3070 secs 14879 markings/sec, 3075 secs 14217 markings/sec, 3080 secs 13775 markings/sec, 3085 secs 13833 markings/sec, 3090 secs 14533 markings/sec, 3095 secs 14698 markings/sec, 3100 secs 14978 markings/sec, 3105 secs 14441 markings/sec, 3110 secs 14756 markings/sec, 3115 secs 14569 markings/sec, 3120 secs 15007 markings/sec, 3125 secs 15304 markings/sec, 3130 secs 14998 markings/sec, 3135 secs 15155 markings/sec, 3140 secs 15019 markings/sec, 3145 secs 15406 markings/sec, 3150 secs 14974 markings/sec, 3155 secs 14898 markings/sec, 3160 secs 14913 markings/sec, 3165 secs 15060 markings/sec, 3170 secs 15940 markings/sec, 3175 secs 15561 markings/sec, 3180 secs 15369 markings/sec, 3185 secs 15293 markings/sec, 3190 secs 14515 markings/sec, 3195 secs 14339 markings/sec, 3200 secs 13998 markings/sec, 3205 secs 14345 markings/sec, 3210 secs 14460 markings/sec, 3215 secs 14491 markings/sec, 3220 secs 15157 markings/sec, 3225 secs 13874 markings/sec, 3230 secs 15192 markings/sec, 3235 secs 15487 markings/sec, 3240 secs 15331 markings/sec, 3245 secs 15405 markings/sec, 3250 secs 15161 markings/sec, 3255 secs 15277 markings/sec, 3260 secs 14889 markings/sec, 3265 secs 15171 markings/sec, 3270 secs 15809 markings/sec, 3275 secs 15778 markings/sec, 3280 secs 14194 markings/sec, 3285 secs 14464 markings/sec, 3290 secs 15097 markings/sec, 3295 secs 14572 markings/sec, 3300 secs 13610 markings/sec, 3305 secs 14700 markings/sec, 3310 secs 14777 markings/sec, 3315 secs 14307 markings/sec, 3320 secs 14296 markings/sec, 3325 secs 14751 markings/sec, 3330 secs 13470 markings/sec, 3335 secs 13704 markings/sec, 3340 secs 13745 markings/sec, 3345 secs 13445 markings/sec, 3350 secs 14086 markings/sec, 3355 secs 13316 markings/sec, 3360 secs 13814 markings/sec, 3365 secs 13667 markings/sec, 3370 secs 14109 markings/sec, 3375 secs 15036 markings/sec, 3380 secs 14898 markings/sec, 3385 secs 15095 markings/sec, 3390 secs 15064 markings/sec, 3395 secs 14962 markings/sec, 3400 secs 15005 markings/sec, 3405 secs 14896 markings/sec, 3410 secs 15114 markings/sec, 3415 secs 14687 markings/sec, 3420 secs 14195 markings/sec, 3425 secs 13645 markings/sec, 3430 secs 13707 markings/sec, 3435 secs 14319 markings/sec, 3440 secs 14410 markings/sec, 3445 secs 13975 markings/sec, 3450 secs 13811 markings/sec, 3455 secs 14244 markings/sec, 3460 secs 15032 markings/sec, 3465 secs 14523 markings/sec, 3470 secs 15181 markings/sec, 3475 secs 15813 markings/sec, 3480 secs 15658 markings/sec, 3485 secs 15328 markings/sec, 3490 secs 15259 markings/sec, 3495 secs 14918 markings/sec, 3500 secs 14734 markings/sec, 3505 secs 15335 markings/sec, 3510 secs 15753 markings/sec, 3515 secs 15636 markings/sec, 3520 secs 15923 markings/sec, 3525 secs 16248 markings/sec, 3530 secs 16285 markings/sec, 3535 secs 15445 markings/sec, 3540 secs 14910 markings/sec, 3545 secs 14820 markings/sec, 3550 secs 14860 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="BART-PT-040"
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 BART-PT-040, 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-155344534700048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-040.tgz
mv BART-PT-040 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 ;