MCC'2019 - Execution of r181-csrt-155344534700057

About the Execution of LoLA for BART-PT-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
9612.820	3570799.00	7278311.00	770.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-155344534700057.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-050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344534700057
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 4.4K Mar 10 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 10 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 10 19:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 10 19:14 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.6K 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 8.1K Mar 10 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 10 17:46 NewModel
-rw-r--r-- 1 mcc users 4.1K Mar 10 19:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 10 19:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 10 19:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 10 19:02 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 12M 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-050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554504317454

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

{
"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:45:17 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 9608388,
"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": 81000,
"conflict_clusters": 52,
"places": 6810,
"places_significant": 6550,
"singleton_clusters": 0,
"transitions": 10100
},
"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": 243312745613707004610935731253983894656456518692118297436458319872.000000,
"composed": 1147,
"dead_branches": 0,
"generators": 1228,
"interrupted": false,
"real_computed": 81,
"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: 16910/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 217920
lola: finding significant places
lola: 6810 places, 10100 transitions, 6550 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1228 generators (81 in search tree, 1147 by composition)
lola: representing 2.43313E+65 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 898815 fired transitions, 0 secs || 21920 markings, 33529 edges,
lola: 2 tries, 1803338 fired transitions, 5 secs || 74218 markings, 114146 edges,
lola: 3 tries, 2711322 fired transitions, 10 secs || 126428 markings, 194606 edges,
lola: 4 tries, 3624564 fired transitions, 15 secs || 170034 markings, 261804 edges,
lola: 5 tries, 4532963 fired transitions, 20 secs || 216226 markings, 332997 edges,
lola: 6 tries, 5440693 fired transitions, 25 secs || 267696 markings, 412323 edges,
lola: 7 tries, 6355658 fired transitions, 30 secs || 320516 markings, 493718 edges,
lola: 8 tries, 7272521 fired transitions, 35 secs || 373000 markings, 574620 edges,
lola: 9 tries, 8181384 fired transitions, 40 secs || 425085 markings, 654887 edges,
lola: 10 tries, 9081744 fired transitions, 45 secs || 477130 markings, 735113 edges,
lola: 11 tries, 10000197 fired transitions, 50 secs || 527892 markings, 813331 edges,
lola: 11 tries, 10915295 fired transitions, 55 secs || 579704 markings, 893186 edges,
lola: 12 tries, 11832640 fired transitions, 60 secs || 631318 markings, 972727 edges,
lola: 13 tries, 12747102 fired transitions, 65 secs || 683826 markings, 1053661 edges,
lola: 14 tries, 13645112 fired transitions, 70 secs || 737781 markings, 1136812 edges,
lola: 15 tries, 14563418 fired transitions, 75 secs || 790706 markings, 1218383 edges,
lola: 16 tries, 15471416 fired transitions, 80 secs || 842592 markings, 1298351 edges,
lola: 17 tries, 16386420 fired transitions, 85 secs || 893856 markings, 1377345 edges,
lola: 18 tries, 17301185 fired transitions, 90 secs || 945932 markings, 1457619 edges,
lola: 19 tries, 18215588 fired transitions, 95 secs || 997596 markings, 1537229 edges,
lola: 20 tries, 19124811 fired transitions, 100 secs || 1049518 markings, 1617256 edges,
lola: 21 tries, 20039434 fired transitions, 105 secs || 1101969 markings, 1698081 edges,
lola: 21 tries, 20952746 fired transitions, 110 secs || 1155366 markings, 1780372 edges,
lola: 22 tries, 21861046 fired transitions, 115 secs || 1208329 markings, 1862023 edges,
lola: 23 tries, 22778740 fired transitions, 120 secs || 1261050 markings, 1943262 edges,
lola: 24 tries, 23687269 fired transitions, 125 secs || 1313709 markings, 2024433 edges,
lola: 25 tries, 24595057 fired transitions, 130 secs || 1366279 markings, 2105451 edges,
lola: 26 tries, 25510554 fired transitions, 135 secs || 1418904 markings, 2186537 edges,
lola: 27 tries, 26425196 fired transitions, 140 secs || 1472204 markings, 2268693 edges,
lola: 28 tries, 27335251 fired transitions, 145 secs || 1525795 markings, 2351287 edges,
lola: 29 tries, 28239116 fired transitions, 150 secs || 1579090 markings, 2433428 edges,
lola: 30 tries, 29148260 fired transitions, 155 secs || 1632145 markings, 2515187 edges,
lola: 31 tries, 30065733 fired transitions, 160 secs || 1684651 markings, 2596126 edges,
lola: 31 tries, 30981284 fired transitions, 165 secs || 1737124 markings, 2676980 edges,
lola: 32 tries, 31891353 fired transitions, 170 secs || 1789408 markings, 2757558 edges,
lola: 33 tries, 32805526 fired transitions, 175 secs || 1841891 markings, 2838461 edges,
lola: 34 tries, 33720732 fired transitions, 180 secs || 1895466 markings, 2921019 edges,
lola: 35 tries, 34629710 fired transitions, 185 secs || 1948976 markings, 3003475 edges,
lola: 36 tries, 35540680 fired transitions, 190 secs || 2001869 markings, 3085016 edges,
lola: 37 tries, 36429345 fired transitions, 195 secs || 2054089 markings, 3165491 edges,
lola: 38 tries, 37342107 fired transitions, 200 secs || 2106309 markings, 3245964 edges,
lola: 39 tries, 38249306 fired transitions, 205 secs || 2158356 markings, 3326185 edges,
lola: 40 tries, 39143938 fired transitions, 210 secs || 2210912 markings, 3407167 edges,
lola: 41 tries, 40042477 fired transitions, 215 secs || 2264168 markings, 3489251 edges,
lola: 41 tries, 40938203 fired transitions, 220 secs || 2318065 markings, 3572323 edges,
lola: 42 tries, 41834916 fired transitions, 225 secs || 2370790 markings, 3653587 edges,
lola: 43 tries, 42751268 fired transitions, 230 secs || 2422248 markings, 3732894 edges,
lola: 44 tries, 43669336 fired transitions, 235 secs || 2473712 markings, 3812200 edges,
lola: 45 tries, 44588967 fired transitions, 240 secs || 2525032 markings, 3891307 edges,
lola: 46 tries, 45498072 fired transitions, 245 secs || 2576235 markings, 3970201 edges,
lola: 47 tries, 46411874 fired transitions, 250 secs || 2627329 markings, 4048958 edges,
lola: 48 tries, 47311838 fired transitions, 255 secs || 2680069 markings, 4130227 edges,
lola: 49 tries, 48224366 fired transitions, 260 secs || 2732482 markings, 4211017 edges,
lola: 50 tries, 49132686 fired transitions, 265 secs || 2784612 markings, 4291350 edges,
lola: 51 tries, 50049447 fired transitions, 270 secs || 2836292 markings, 4371020 edges,
lola: 51 tries, 50968932 fired transitions, 275 secs || 2888003 markings, 4450699 edges,
lola: 52 tries, 51886133 fired transitions, 280 secs || 2939604 markings, 4530240 edges,
lola: 53 tries, 52805921 fired transitions, 285 secs || 2990870 markings, 4609230 edges,
lola: 54 tries, 53722284 fired transitions, 290 secs || 3043488 markings, 4690340 edges,
lola: 55 tries, 54635028 fired transitions, 295 secs || 3096468 markings, 4771984 edges,
lola: 56 tries, 55544366 fired transitions, 300 secs || 3149211 markings, 4853285 edges,
lola: 57 tries, 56459652 fired transitions, 305 secs || 3201688 markings, 4934163 edges,
lola: 58 tries, 57378396 fired transitions, 310 secs || 3254474 markings, 5015497 edges,
lola: 59 tries, 58294798 fired transitions, 315 secs || 3306822 markings, 5096190 edges,
lola: 60 tries, 59213411 fired transitions, 320 secs || 3359225 markings, 5176953 edges,
lola: 61 tries, 60131894 fired transitions, 325 secs || 3411428 markings, 5257397 edges,
lola: 62 tries, 61041648 fired transitions, 330 secs || 3465326 markings, 5340455 edges,
lola: 62 tries, 61960763 fired transitions, 335 secs || 3518165 markings, 5421907 edges,
lola: 63 tries, 62868503 fired transitions, 340 secs || 3571276 markings, 5503757 edges,
lola: 64 tries, 63771486 fired transitions, 345 secs || 3624289 markings, 5585457 edges,
lola: 65 tries, 64672997 fired transitions, 350 secs || 3676092 markings, 5665303 edges,
lola: 66 tries, 65590106 fired transitions, 355 secs || 3728365 markings, 5745853 edges,
lola: 67 tries, 66504089 fired transitions, 360 secs || 3780818 markings, 5826709 edges,
lola: 68 tries, 67420639 fired transitions, 365 secs || 3834306 markings, 5909141 edges,
lola: 69 tries, 68338658 fired transitions, 370 secs || 3887736 markings, 5991474 edges,
lola: 70 tries, 69256367 fired transitions, 375 secs || 3941407 markings, 6074203 edges,
lola: 71 tries, 70166965 fired transitions, 380 secs || 3994101 markings, 6155424 edges,
lola: 72 tries, 71084200 fired transitions, 385 secs || 4046772 markings, 6236582 edges,
lola: 72 tries, 71995749 fired transitions, 390 secs || 4099165 markings, 6317330 edges,
lola: 73 tries, 72907987 fired transitions, 395 secs || 4151284 markings, 6397658 edges,
lola: 74 tries, 73813448 fired transitions, 400 secs || 4204453 markings, 6479588 edges,
lola: 75 tries, 74728331 fired transitions, 405 secs || 4258629 markings, 6563082 edges,
lola: 76 tries, 75643440 fired transitions, 410 secs || 4311851 markings, 6645112 edges,
lola: 77 tries, 76561465 fired transitions, 415 secs || 4364788 markings, 6726719 edges,
lola: 78 tries, 77471439 fired transitions, 420 secs || 4418093 markings, 6808865 edges,
lola: 79 tries, 78380057 fired transitions, 425 secs || 4470592 markings, 6889772 edges,
lola: 80 tries, 79291617 fired transitions, 430 secs || 4523153 markings, 6970785 edges,
lola: 81 tries, 80207671 fired transitions, 435 secs || 4575156 markings, 7050913 edges,
lola: 82 tries, 81118951 fired transitions, 440 secs || 4627824 markings, 7132099 edges,
lola: 83 tries, 82016711 fired transitions, 445 secs || 4681328 markings, 7214560 edges,
lola: 83 tries, 82894805 fired transitions, 450 secs || 4734597 markings, 7296651 edges,
lola: 84 tries, 83795373 fired transitions, 455 secs || 4787913 markings, 7378818 edges,
lola: 85 tries, 84692841 fired transitions, 460 secs || 4841264 markings, 7461051 edges,
lola: 86 tries, 85592827 fired transitions, 465 secs || 4894484 markings, 7543073 edges,
lola: 87 tries, 86491120 fired transitions, 470 secs || 4947761 markings, 7625174 edges,
lola: 88 tries, 87394716 fired transitions, 475 secs || 5001389 markings, 7707819 edges,
lola: 89 tries, 88295971 fired transitions, 480 secs || 5055330 markings, 7790948 edges,
lola: 90 tries, 89192701 fired transitions, 485 secs || 5109527 markings, 7874478 edges,
lola: 91 tries, 90090230 fired transitions, 490 secs || 5162579 markings, 7956265 edges,
lola: 91 tries, 90988740 fired transitions, 495 secs || 5215191 markings, 8037331 edges,
lola: 92 tries, 91882782 fired transitions, 500 secs || 5267760 markings, 8118351 edges,
lola: 93 tries, 92776546 fired transitions, 505 secs || 5320276 markings, 8199300 edges,
lola: 94 tries, 93673380 fired transitions, 510 secs || 5372961 markings, 8280479 edges,
lola: 95 tries, 94564373 fired transitions, 515 secs || 5427301 markings, 8364230 edges,
lola: 96 tries, 95462519 fired transitions, 520 secs || 5481135 markings, 8447191 edges,
lola: 97 tries, 96357825 fired transitions, 525 secs || 5534406 markings, 8529320 edges,
lola: 98 tries, 97249092 fired transitions, 530 secs || 5586716 markings, 8609926 edges,
lola: 99 tries, 98148563 fired transitions, 535 secs || 5638834 markings, 8690255 edges,
lola: 100 tries, 99043036 fired transitions, 540 secs || 5691141 markings, 8770870 edges,
lola: 100 tries, 99942729 fired transitions, 545 secs || 5743185 markings, 8851061 edges,
lola: 101 tries, 100849261 fired transitions, 550 secs || 5795971 markings, 8932434 edges,
lola: 102 tries, 101744764 fired transitions, 555 secs || 5850505 markings, 9016475 edges,
lola: 103 tries, 102642702 fired transitions, 560 secs || 5904336 markings, 9099450 edges,
lola: 104 tries, 103546363 fired transitions, 565 secs || 5957311 markings, 9181070 edges,
lola: 105 tries, 104444245 fired transitions, 570 secs || 6009689 markings, 9261813 edges,
lola: 106 tries, 105338648 fired transitions, 575 secs || 6062498 markings, 9343202 edges,
lola: 107 tries, 106232755 fired transitions, 580 secs || 6114486 markings, 9423308 edges,
lola: 108 tries, 107129460 fired transitions, 585 secs || 6167480 markings, 9504999 edges,
lola: 109 tries, 108028929 fired transitions, 590 secs || 6222280 markings, 9589449 edges,
lola: 109 tries, 108924537 fired transitions, 595 secs || 6277231 markings, 9674132 edges,
lola: 110 tries, 109825777 fired transitions, 600 secs || 6331415 markings, 9757660 edges,
lola: 111 tries, 110735096 fired transitions, 605 secs || 6384959 markings, 9840177 edges,
lola: 112 tries, 111644681 fired transitions, 610 secs || 6437688 markings, 9921429 edges,
lola: 113 tries, 112553188 fired transitions, 615 secs || 6490245 markings, 10002438 edges,
lola: 114 tries, 113468751 fired transitions, 620 secs || 6543096 markings, 10083890 edges,
lola: 115 tries, 114372314 fired transitions, 625 secs || 6597287 markings, 10167409 edges,
lola: 116 tries, 115283360 fired transitions, 630 secs || 6651568 markings, 10251065 edges,
lola: 117 tries, 116182946 fired transitions, 635 secs || 6705796 markings, 10334639 edges,
lola: 118 tries, 117093462 fired transitions, 640 secs || 6758579 markings, 10415990 edges,
lola: 119 tries, 118004174 fired transitions, 645 secs || 6811203 markings, 10497104 edges,
lola: 119 tries, 118900536 fired transitions, 650 secs || 6864718 markings, 10579567 edges,
lola: 120 tries, 119808063 fired transitions, 655 secs || 6917938 markings, 10661578 edges,
lola: 121 tries, 120700644 fired transitions, 660 secs || 6972124 markings, 10745085 edges,
lola: 122 tries, 121591651 fired transitions, 665 secs || 7026868 markings, 10829458 edges,
lola: 123 tries, 122487838 fired transitions, 670 secs || 7081083 markings, 10913026 edges,
lola: 124 tries, 123381338 fired transitions, 675 secs || 7134342 markings, 10995125 edges,
lola: 125 tries, 124288627 fired transitions, 680 secs || 7187394 markings, 11076879 edges,
lola: 126 tries, 125195229 fired transitions, 685 secs || 7239651 markings, 11157401 edges,
lola: 127 tries, 126088745 fired transitions, 690 secs || 7292161 markings, 11238342 edges,
lola: 127 tries, 126982983 fired transitions, 695 secs || 7345210 markings, 11320098 edges,
lola: 128 tries, 127881428 fired transitions, 700 secs || 7399769 markings, 11404184 edges,
lola: 129 tries, 128782977 fired transitions, 705 secs || 7454623 markings, 11488723 edges,
lola: 130 tries, 129683554 fired transitions, 710 secs || 7508391 markings, 11571585 edges,
lola: 131 tries, 130580142 fired transitions, 715 secs || 7561942 markings, 11654116 edges,
lola: 132 tries, 131478070 fired transitions, 720 secs || 7615263 markings, 11736303 edges,
lola: 133 tries, 132366573 fired transitions, 725 secs || 7668648 markings, 11818579 edges,
lola: 134 tries, 133267239 fired transitions, 730 secs || 7722043 markings, 11900865 edges,
lola: 135 tries, 134166777 fired transitions, 735 secs || 7776422 markings, 11984676 edges,
lola: 136 tries, 135067838 fired transitions, 740 secs || 7831103 markings, 12068949 edges,
lola: 136 tries, 135963546 fired transitions, 745 secs || 7885401 markings, 12152628 edges,
lola: 137 tries, 136861285 fired transitions, 750 secs || 7938923 markings, 12235111 edges,
lola: 138 tries, 137760125 fired transitions, 755 secs || 7992488 markings, 12317667 edges,
lola: 139 tries, 138653709 fired transitions, 760 secs || 8046048 markings, 12400220 edges,
lola: 140 tries, 139549835 fired transitions, 765 secs || 8099244 markings, 12482204 edges,
lola: 141 tries, 140445054 fired transitions, 770 secs || 8153213 markings, 12565375 edges,
lola: 142 tries, 141342194 fired transitions, 775 secs || 8207807 markings, 12649518 edges,
lola: 143 tries, 142242627 fired transitions, 780 secs || 8262174 markings, 12733309 edges,
lola: 144 tries, 143145546 fired transitions, 785 secs || 8314771 markings, 12814373 edges,
lola: 145 tries, 144041600 fired transitions, 790 secs || 8367580 markings, 12895773 edges,
lola: 145 tries, 144929453 fired transitions, 795 secs || 8420753 markings, 12977704 edges,
lola: 146 tries, 145826077 fired transitions, 800 secs || 8474118 markings, 13059938 edges,
lola: 147 tries, 146722104 fired transitions, 805 secs || 8527664 markings, 13142471 edges,
lola: 148 tries, 147616442 fired transitions, 810 secs || 8582155 markings, 13226447 edges,
lola: 149 tries, 148508563 fired transitions, 815 secs || 8636740 markings, 13310570 edges,
lola: 150 tries, 149407962 fired transitions, 820 secs || 8690502 markings, 13393452 edges,
lola: 151 tries, 150298188 fired transitions, 825 secs || 8743687 markings, 13475416 edges,
lola: 152 tries, 151190512 fired transitions, 830 secs || 8796715 markings, 13557129 edges,
lola: 153 tries, 152082722 fired transitions, 835 secs || 8849569 markings, 13638585 edges,
lola: 153 tries, 152979408 fired transitions, 840 secs || 8902463 markings, 13720114 edges,
lola: 154 tries, 153870906 fired transitions, 845 secs || 8956396 markings, 13803236 edges,
lola: 155 tries, 154769883 fired transitions, 850 secs || 9010528 markings, 13886656 edges,
lola: 156 tries, 155679900 fired transitions, 855 secs || 9063620 markings, 13968481 edges,
lola: 157 tries, 156591388 fired transitions, 860 secs || 9116007 markings, 14049237 edges,
lola: 158 tries, 157502424 fired transitions, 865 secs || 9168407 markings, 14129977 edges,
lola: 159 tries, 158409784 fired transitions, 870 secs || 9220660 markings, 14210512 edges,
lola: 160 tries, 159316636 fired transitions, 875 secs || 9272690 markings, 14290698 edges,
lola: 161 tries, 160215670 fired transitions, 880 secs || 9326033 markings, 14372902 edges,
lola: 162 tries, 161114695 fired transitions, 885 secs || 9380405 markings, 14456695 edges,
lola: 163 tries, 162025353 fired transitions, 890 secs || 9434120 markings, 14539483 edges,
lola: 163 tries, 162927689 fired transitions, 895 secs || 9487561 markings, 14621605 edges,
lola: 164 tries, 163828167 fired transitions, 900 secs || 9541513 markings, 14704474 edges,
lola: 165 tries, 164722912 fired transitions, 905 secs || 9595653 markings, 14787646 edges,
lola: 166 tries, 165621759 fired transitions, 910 secs || 9649137 markings, 14869796 edges,
lola: 167 tries, 166516446 fired transitions, 915 secs || 9703521 markings, 14953313 edges,
lola: 168 tries, 167410304 fired transitions, 920 secs || 9755847 markings, 15033695 edges,
lola: 169 tries, 168308280 fired transitions, 925 secs || 9809690 markings, 15116395 edges,
lola: 170 tries, 169202821 fired transitions, 930 secs || 9863925 markings, 15199710 edges,
lola: 171 tries, 170103968 fired transitions, 935 secs || 9917736 markings, 15282368 edges,
lola: 171 tries, 170991757 fired transitions, 940 secs || 9972396 markings, 15366333 edges,
lola: 172 tries, 171884533 fired transitions, 945 secs || 10026073 markings, 15448779 edges,
lola: 173 tries, 172787589 fired transitions, 950 secs || 10079897 markings, 15531447 edges,
lola: 174 tries, 173683801 fired transitions, 955 secs || 10134265 markings, 15614969 edges,
lola: 175 tries, 174581184 fired transitions, 960 secs || 10187447 markings, 15696647 edges,
lola: 176 tries, 175474363 fired transitions, 965 secs || 10242295 markings, 15780913 edges,
lola: 177 tries, 176373401 fired transitions, 970 secs || 10294926 markings, 15861739 edges,
lola: 178 tries, 177261443 fired transitions, 975 secs || 10348777 markings, 15944463 edges,
lola: 179 tries, 178157320 fired transitions, 980 secs || 10403083 markings, 16027883 edges,
lola: 180 tries, 179054492 fired transitions, 985 secs || 10456619 markings, 16110111 edges,
lola: 180 tries, 179951218 fired transitions, 990 secs || 10511294 markings, 16194108 edges,
lola: 181 tries, 180852698 fired transitions, 995 secs || 10565130 markings, 16277073 edges,
lola: 182 tries, 181746136 fired transitions, 1000 secs || 10618793 markings, 16359784 edges,
lola: 183 tries, 182641290 fired transitions, 1005 secs || 10672329 markings, 16442303 edges,
lola: 184 tries, 183535274 fired transitions, 1010 secs || 10725645 markings, 16524479 edges,
lola: 185 tries, 184432511 fired transitions, 1015 secs || 10778880 markings, 16606517 edges,
lola: 186 tries, 185327900 fired transitions, 1020 secs || 10832071 markings, 16688484 edges,
lola: 187 tries, 186223040 fired transitions, 1025 secs || 10882965 markings, 16766935 edges,
lola: 188 tries, 187112582 fired transitions, 1030 secs || 10935274 markings, 16847539 edges,
lola: 189 tries, 188009204 fired transitions, 1035 secs || 10988268 markings, 16929233 edges,
lola: 189 tries, 188905934 fired transitions, 1040 secs || 11041653 markings, 17011511 edges,
lola: 190 tries, 189799134 fired transitions, 1045 secs || 11095645 markings, 17094712 edges,
lola: 191 tries, 190691773 fired transitions, 1050 secs || 11149351 markings, 17177477 edges,
lola: 192 tries, 191585663 fired transitions, 1055 secs || 11202071 markings, 17258738 edges,
lola: 193 tries, 192480666 fired transitions, 1060 secs || 11255952 markings, 17341793 edges,
lola: 194 tries, 193374646 fired transitions, 1065 secs || 11309975 markings, 17425056 edges,
lola: 195 tries, 194271505 fired transitions, 1070 secs || 11363795 markings, 17507995 edges,
lola: 196 tries, 195169132 fired transitions, 1075 secs || 11416433 markings, 17589122 edges,
lola: 197 tries, 196063189 fired transitions, 1080 secs || 11468657 markings, 17669618 edges,
lola: 197 tries, 196945686 fired transitions, 1085 secs || 11521561 markings, 17751141 edges,
lola: 198 tries, 197850257 fired transitions, 1090 secs || 11573652 markings, 17831437 edges,
lola: 199 tries, 198759746 fired transitions, 1095 secs || 11626287 markings, 17912546 edges,
lola: 200 tries, 199669501 fired transitions, 1100 secs || 11678986 markings, 17993761 edges,
lola: 201 tries, 200564686 fired transitions, 1105 secs || 11732160 markings, 18075728 edges,
lola: 202 tries, 201475346 fired transitions, 1110 secs || 11785221 markings, 18157507 edges,
lola: 203 tries, 202369332 fired transitions, 1115 secs || 11838301 markings, 18239300 edges,
lola: 204 tries, 203278702 fired transitions, 1120 secs || 11892004 markings, 18322065 edges,
lola: 205 tries, 204188584 fired transitions, 1125 secs || 11945180 markings, 18404034 edges,
lola: 206 tries, 205093705 fired transitions, 1130 secs || 11998584 markings, 18486345 edges,
lola: 207 tries, 206001796 fired transitions, 1135 secs || 12051973 markings, 18568622 edges,
lola: 207 tries, 206913640 fired transitions, 1140 secs || 12104892 markings, 18650187 edges,
lola: 208 tries, 207811441 fired transitions, 1145 secs || 12158193 markings, 18732346 edges,
lola: 209 tries, 208686891 fired transitions, 1150 secs || 12210863 markings, 18813501 edges,
lola: 210 tries, 209569527 fired transitions, 1155 secs || 12264133 markings, 18895604 edges,
lola: 211 tries, 210454083 fired transitions, 1160 secs || 12316690 markings, 18976619 edges,
lola: 212 tries, 211352424 fired transitions, 1165 secs || 12369048 markings, 19057301 edges,
lola: 213 tries, 212253791 fired transitions, 1170 secs || 12421813 markings, 19138624 edges,
lola: 214 tries, 213147079 fired transitions, 1175 secs || 12474567 markings, 19219939 edges,
lola: 215 tries, 214035286 fired transitions, 1180 secs || 12527007 markings, 19300740 edges,
lola: 215 tries, 214933801 fired transitions, 1185 secs || 12579893 markings, 19382256 edges,
lola: 216 tries, 215839135 fired transitions, 1190 secs || 12632502 markings, 19463348 edges,
lola: 217 tries, 216741358 fired transitions, 1195 secs || 12684820 markings, 19543966 edges,
lola: 218 tries, 217646757 fired transitions, 1200 secs || 12737256 markings, 19624798 edges,
lola: 219 tries, 218552185 fired transitions, 1205 secs || 12790330 markings, 19706593 edges,
lola: 220 tries, 219460338 fired transitions, 1210 secs || 12843840 markings, 19789043 edges,
lola: 221 tries, 220368088 fired transitions, 1215 secs || 12897226 markings, 19871354 edges,
lola: 222 tries, 221251183 fired transitions, 1220 secs || 12950030 markings, 19952733 edges,
lola: 223 tries, 222151920 fired transitions, 1225 secs || 13002566 markings, 20033686 edges,
lola: 224 tries, 223056396 fired transitions, 1230 secs || 13054122 markings, 20113164 edges,
lola: 224 tries, 223959732 fired transitions, 1235 secs || 13105156 markings, 20191804 edges,
lola: 225 tries, 224873697 fired transitions, 1240 secs || 13157575 markings, 20272601 edges,
lola: 226 tries, 225783750 fired transitions, 1245 secs || 13209680 markings, 20352891 edges,
lola: 227 tries, 226676426 fired transitions, 1250 secs || 13261291 markings, 20432445 edges,
lola: 228 tries, 227570092 fired transitions, 1255 secs || 13313431 markings, 20512792 edges,
lola: 229 tries, 228458343 fired transitions, 1260 secs || 13366244 markings, 20594201 edges,
lola: 230 tries, 229347414 fired transitions, 1265 secs || 13419181 markings, 20675790 edges,
lola: 231 tries, 230243680 fired transitions, 1270 secs || 13472505 markings, 20757956 edges,
lola: 232 tries, 231133405 fired transitions, 1275 secs || 13525982 markings, 20840380 edges,
lola: 233 tries, 232025587 fired transitions, 1280 secs || 13579780 markings, 20923298 edges,
lola: 233 tries, 232913833 fired transitions, 1285 secs || 13633322 markings, 21005827 edges,
lola: 234 tries, 233812858 fired transitions, 1290 secs || 13685955 markings, 21086938 edges,
lola: 235 tries, 234694492 fired transitions, 1295 secs || 13738032 markings, 21167213 edges,
lola: 236 tries, 235597788 fired transitions, 1300 secs || 13790618 markings, 21248251 edges,
lola: 237 tries, 236493355 fired transitions, 1305 secs || 13843363 markings, 21329538 edges,
lola: 238 tries, 237375208 fired transitions, 1310 secs || 13896104 markings, 21410835 edges,
lola: 239 tries, 238265563 fired transitions, 1315 secs || 13948454 markings, 21491506 edges,
lola: 240 tries, 239158755 fired transitions, 1320 secs || 14000518 markings, 21571754 edges,
lola: 241 tries, 240049314 fired transitions, 1325 secs || 14052837 markings, 21652379 edges,
lola: 241 tries, 240949384 fired transitions, 1330 secs || 14105598 markings, 21733692 edges,
lola: 242 tries, 241838408 fired transitions, 1335 secs || 14157565 markings, 21813792 edges,
lola: 243 tries, 242736244 fired transitions, 1340 secs || 14210630 markings, 21895571 edges,
lola: 244 tries, 243632964 fired transitions, 1345 secs || 14262894 markings, 21976119 edges,
lola: 245 tries, 244537759 fired transitions, 1350 secs || 14315399 markings, 22057046 edges,
lola: 246 tries, 245445652 fired transitions, 1355 secs || 14367126 markings, 22136761 edges,
lola: 247 tries, 246349712 fired transitions, 1360 secs || 14418730 markings, 22216296 edges,
lola: 248 tries, 247252589 fired transitions, 1365 secs || 14470389 markings, 22295936 edges,
lola: 249 tries, 248165106 fired transitions, 1370 secs || 14522756 markings, 22376622 edges,
lola: 250 tries, 249071466 fired transitions, 1375 secs || 14575354 markings, 22457695 edges,
lola: 250 tries, 249979365 fired transitions, 1380 secs || 14627010 markings, 22537309 edges,
lola: 251 tries, 250872391 fired transitions, 1385 secs || 14679682 markings, 22618481 edges,
lola: 252 tries, 251780371 fired transitions, 1390 secs || 14730987 markings, 22697559 edges,
lola: 253 tries, 252689626 fired transitions, 1395 secs || 14782707 markings, 22777267 edges,
lola: 254 tries, 253594827 fired transitions, 1400 secs || 14834955 markings, 22857797 edges,
lola: 255 tries, 254488522 fired transitions, 1405 secs || 14887629 markings, 22938967 edges,
lola: 256 tries, 255405590 fired transitions, 1410 secs || 14939457 markings, 23018860 edges,
lola: 257 tries, 256365203 fired transitions, 1415 secs || 14990956 markings, 23098216 edges,
lola: 258 tries, 257294269 fired transitions, 1420 secs || 15043206 markings, 23178762 edges,
lola: 259 tries, 258186380 fired transitions, 1425 secs || 15095672 markings, 23259598 edges,
lola: 260 tries, 259082167 fired transitions, 1430 secs || 15148182 markings, 23340547 edges,
lola: 260 tries, 259976589 fired transitions, 1435 secs || 15200701 markings, 23421490 edges,
lola: 261 tries, 260874287 fired transitions, 1440 secs || 15253140 markings, 23502317 edges,
lola: 262 tries, 261767306 fired transitions, 1445 secs || 15305478 markings, 23582983 edges,
lola: 263 tries, 262664461 fired transitions, 1450 secs || 15357438 markings, 23663052 edges,
lola: 264 tries, 263557984 fired transitions, 1455 secs || 15409509 markings, 23743314 edges,
lola: 265 tries, 264453781 fired transitions, 1460 secs || 15461949 markings, 23824122 edges,
lola: 266 tries, 265346990 fired transitions, 1465 secs || 15514239 markings, 23904728 edges,
lola: 267 tries, 266238074 fired transitions, 1470 secs || 15566113 markings, 23984657 edges,
lola: 268 tries, 267125787 fired transitions, 1475 secs || 15617785 markings, 24064311 edges,
lola: 269 tries, 268020336 fired transitions, 1480 secs || 15669817 markings, 24144488 edges,
lola: 269 tries, 268919971 fired transitions, 1485 secs || 15722505 markings, 24225700 edges,
lola: 270 tries, 269812224 fired transitions, 1490 secs || 15775197 markings, 24306914 edges,
lola: 271 tries, 270705481 fired transitions, 1495 secs || 15828439 markings, 24388959 edges,
lola: 272 tries, 271600265 fired transitions, 1500 secs || 15881775 markings, 24471159 edges,
lola: 273 tries, 272513208 fired transitions, 1505 secs || 15934650 markings, 24552664 edges,
lola: 274 tries, 273402825 fired transitions, 1510 secs || 15987631 markings, 24634315 edges,
lola: 275 tries, 274301701 fired transitions, 1515 secs || 16041572 markings, 24717448 edges,
lola: 276 tries, 275210769 fired transitions, 1520 secs || 16095959 markings, 24801270 edges,
lola: 277 tries, 276106812 fired transitions, 1525 secs || 16148951 markings, 24882955 edges,
lola: 278 tries, 277000039 fired transitions, 1530 secs || 16202227 markings, 24965065 edges,
lola: 278 tries, 277892500 fired transitions, 1535 secs || 16255229 markings, 25046734 edges,
lola: 279 tries, 278783521 fired transitions, 1540 secs || 16307709 markings, 25127627 edges,
lola: 280 tries, 279682726 fired transitions, 1545 secs || 16359825 markings, 25207952 edges,
lola: 281 tries, 280573801 fired transitions, 1550 secs || 16413014 markings, 25289912 edges,
lola: 282 tries, 281472295 fired transitions, 1555 secs || 16466487 markings, 25372328 edges,
lola: 283 tries, 282374581 fired transitions, 1560 secs || 16519570 markings, 25454153 edges,
lola: 284 tries, 283270046 fired transitions, 1565 secs || 16573482 markings, 25537251 edges,
lola: 285 tries, 284168928 fired transitions, 1570 secs || 16627160 markings, 25619962 edges,
lola: 286 tries, 285066573 fired transitions, 1575 secs || 16681289 markings, 25703381 edges,
lola: 286 tries, 285964449 fired transitions, 1580 secs || 16734948 markings, 25786078 edges,
lola: 287 tries, 286857972 fired transitions, 1585 secs || 16788688 markings, 25868907 edges,
lola: 288 tries, 287767584 fired transitions, 1590 secs || 16841180 markings, 25950155 edges,
lola: 289 tries, 288666635 fired transitions, 1595 secs || 16894058 markings, 26031659 edges,
lola: 290 tries, 289571863 fired transitions, 1600 secs || 16946628 markings, 26112672 edges,
lola: 291 tries, 290474484 fired transitions, 1605 secs || 16999514 markings, 26194169 edges,
lola: 292 tries, 291380391 fired transitions, 1610 secs || 17051728 markings, 26274653 edges,
lola: 293 tries, 292279968 fired transitions, 1615 secs || 17104441 markings, 26355886 edges,
lola: 294 tries, 293190261 fired transitions, 1620 secs || 17158397 markings, 26439030 edges,
lola: 295 tries, 294091271 fired transitions, 1625 secs || 17212709 markings, 26522737 edges,
lola: 295 tries, 294992930 fired transitions, 1630 secs || 17266205 markings, 26605201 edges,
lola: 296 tries, 295900260 fired transitions, 1635 secs || 17319050 markings, 26686653 edges,
lola: 297 tries, 296805185 fired transitions, 1640 secs || 17371453 markings, 26767396 edges,
lola: 298 tries, 297704779 fired transitions, 1645 secs || 17424514 markings, 26849176 edges,
lola: 299 tries, 298604254 fired transitions, 1650 secs || 17477250 markings, 26930463 edges,
lola: 300 tries, 299499502 fired transitions, 1655 secs || 17531109 markings, 27013468 edges,
lola: 301 tries, 300397863 fired transitions, 1660 secs || 17584746 markings, 27096122 edges,
lola: 302 tries, 301292161 fired transitions, 1665 secs || 17638264 markings, 27178605 edges,
lola: 303 tries, 302187200 fired transitions, 1670 secs || 17691065 markings, 27259992 edges,
lola: 304 tries, 303084190 fired transitions, 1675 secs || 17743701 markings, 27341103 edges,
lola: 304 tries, 303976525 fired transitions, 1680 secs || 17796306 markings, 27422172 edges,
lola: 305 tries, 304877573 fired transitions, 1685 secs || 17848850 markings, 27503166 edges,
lola: 306 tries, 305776214 fired transitions, 1690 secs || 17902309 markings, 27585554 edges,
lola: 307 tries, 306675630 fired transitions, 1695 secs || 17956680 markings, 27669349 edges,
lola: 308 tries, 307574889 fired transitions, 1700 secs || 18010825 markings, 27752793 edges,
lola: 309 tries, 308462366 fired transitions, 1705 secs || 18064039 markings, 27834807 edges,
lola: 310 tries, 309361032 fired transitions, 1710 secs || 18117676 markings, 27917481 edges,
lola: 311 tries, 310255179 fired transitions, 1715 secs || 18171093 markings, 27999801 edges,
lola: 312 tries, 311154392 fired transitions, 1720 secs || 18224644 markings, 28082331 edges,
lola: 313 tries, 312050952 fired transitions, 1725 secs || 18277193 markings, 28163311 edges,
lola: 313 tries, 312951621 fired transitions, 1730 secs || 18331667 markings, 28247259 edges,
lola: 314 tries, 313845423 fired transitions, 1735 secs || 18385848 markings, 28330764 edges,
lola: 315 tries, 314740622 fired transitions, 1740 secs || 18439820 markings, 28413963 edges,
lola: 316 tries, 315650323 fired transitions, 1745 secs || 18494003 markings, 28497468 edges,
lola: 317 tries, 316560305 fired transitions, 1750 secs || 18548141 markings, 28580906 edges,
lola: 318 tries, 317473531 fired transitions, 1755 secs || 18600020 markings, 28660839 edges,
lola: 319 tries, 318381717 fired transitions, 1760 secs || 18651620 markings, 28740383 edges,
lola: 320 tries, 319276402 fired transitions, 1765 secs || 18706210 markings, 28824516 edges,
lola: 321 tries, 320173005 fired transitions, 1770 secs || 18760260 markings, 28907817 edges,
lola: 322 tries, 321068347 fired transitions, 1775 secs || 18814155 markings, 28990879 edges,
lola: 322 tries, 321964133 fired transitions, 1780 secs || 18867145 markings, 29072539 edges,
lola: 323 tries, 322855907 fired transitions, 1785 secs || 18920197 markings, 29154312 edges,
lola: 324 tries, 323750765 fired transitions, 1790 secs || 18972639 markings, 29235130 edges,
lola: 325 tries, 324647517 fired transitions, 1795 secs || 19025539 markings, 29316644 edges,
lola: 326 tries, 325538395 fired transitions, 1800 secs || 19078471 markings, 29398232 edges,
lola: 327 tries, 326428481 fired transitions, 1805 secs || 19132798 markings, 29481959 edges,
lola: 328 tries, 327322658 fired transitions, 1810 secs || 19186909 markings, 29565377 edges,
lola: 329 tries, 328216861 fired transitions, 1815 secs || 19239269 markings, 29646050 edges,
lola: 330 tries, 329109234 fired transitions, 1820 secs || 19290424 markings, 29724906 edges,
lola: 331 tries, 330000706 fired transitions, 1825 secs || 19342908 markings, 29805776 edges,
lola: 331 tries, 330900878 fired transitions, 1830 secs || 19395082 markings, 29886194 edges,
lola: 332 tries, 331801848 fired transitions, 1835 secs || 19447736 markings, 29967344 edges,
lola: 333 tries, 332701676 fired transitions, 1840 secs || 19501872 markings, 30050773 edges,
lola: 334 tries, 333609924 fired transitions, 1845 secs || 19555266 markings, 30133053 edges,
lola: 335 tries, 334508478 fired transitions, 1850 secs || 19606505 markings, 30212046 edges,
lola: 336 tries, 335409249 fired transitions, 1855 secs || 19657147 markings, 30290096 edges,
lola: 337 tries, 336317933 fired transitions, 1860 secs || 19708998 markings, 30369990 edges,
lola: 338 tries, 337223630 fired transitions, 1865 secs || 19761285 markings, 30450580 edges,
lola: 339 tries, 338121686 fired transitions, 1870 secs || 19813639 markings, 30531269 edges,
lola: 340 tries, 339023328 fired transitions, 1875 secs || 19866955 markings, 30613429 edges,
lola: 340 tries, 339925846 fired transitions, 1880 secs || 19919876 markings, 30694983 edges,
lola: 341 tries, 340822701 fired transitions, 1885 secs || 19973383 markings, 30777479 edges,
lola: 342 tries, 341721262 fired transitions, 1890 secs || 20026006 markings, 30858564 edges,
lola: 343 tries, 342616426 fired transitions, 1895 secs || 20077381 markings, 30937754 edges,
lola: 344 tries, 343515063 fired transitions, 1900 secs || 20129989 markings, 31018819 edges,
lola: 345 tries, 344410589 fired transitions, 1905 secs || 20182341 markings, 31099500 edges,
lola: 346 tries, 345305802 fired transitions, 1910 secs || 20235086 markings, 31180806 edges,
lola: 347 tries, 346203128 fired transitions, 1915 secs || 20288893 markings, 31263726 edges,
lola: 348 tries, 347099146 fired transitions, 1920 secs || 20342636 markings, 31346551 edges,
lola: 348 tries, 347993671 fired transitions, 1925 secs || 20395693 markings, 31428330 edges,
lola: 349 tries, 348873407 fired transitions, 1930 secs || 20447941 markings, 31508860 edges,
lola: 350 tries, 349766559 fired transitions, 1935 secs || 20500664 markings, 31590095 edges,
lola: 351 tries, 350661313 fired transitions, 1940 secs || 20553277 markings, 31671183 edges,
lola: 352 tries, 351551036 fired transitions, 1945 secs || 20605679 markings, 31751954 edges,
lola: 353 tries, 352452694 fired transitions, 1950 secs || 20658330 markings, 31833085 edges,
lola: 354 tries, 353422335 fired transitions, 1955 secs || 20710980 markings, 31914231 edges,
lola: 355 tries, 354319028 fired transitions, 1960 secs || 20764429 markings, 31996623 edges,
lola: 356 tries, 355223240 fired transitions, 1965 secs || 20816191 markings, 32076386 edges,
lola: 357 tries, 356123205 fired transitions, 1970 secs || 20868464 markings, 32156963 edges,
lola: 358 tries, 357023681 fired transitions, 1975 secs || 20920768 markings, 32237552 edges,
lola: 358 tries, 357923075 fired transitions, 1980 secs || 20972895 markings, 32317902 edges,
lola: 359 tries, 358821192 fired transitions, 1985 secs || 21025064 markings, 32398298 edges,
lola: 360 tries, 359715235 fired transitions, 1990 secs || 21078815 markings, 32481130 edges,
lola: 361 tries, 360594309 fired transitions, 1995 secs || 21132415 markings, 32563736 edges,
lola: 362 tries, 361478628 fired transitions, 2000 secs || 21185399 markings, 32645426 edges,
lola: 363 tries, 362377065 fired transitions, 2005 secs || 21237798 markings, 32726163 edges,
lola: 364 tries, 363275449 fired transitions, 2010 secs || 21290391 markings, 32807224 edges,
lola: 365 tries, 364173686 fired transitions, 2015 secs || 21342931 markings, 32888198 edges,
lola: 366 tries, 365066699 fired transitions, 2020 secs || 21395461 markings, 32969142 edges,
lola: 366 tries, 365967285 fired transitions, 2025 secs || 21448430 markings, 33050783 edges,
lola: 367 tries, 366853720 fired transitions, 2030 secs || 21501892 markings, 33133189 edges,
lola: 368 tries, 367739815 fired transitions, 2035 secs || 21554981 markings, 33214997 edges,
lola: 369 tries, 368654079 fired transitions, 2040 secs || 21608000 markings, 33296710 edges,
lola: 370 tries, 369557147 fired transitions, 2045 secs || 21660959 markings, 33378342 edges,
lola: 371 tries, 370459208 fired transitions, 2050 secs || 21713495 markings, 33459305 edges,
lola: 372 tries, 371352619 fired transitions, 2055 secs || 21766079 markings, 33540329 edges,
lola: 373 tries, 372261728 fired transitions, 2060 secs || 21815833 markings, 33617011 edges,
lola: 374 tries, 373160730 fired transitions, 2065 secs || 21868975 markings, 33698916 edges,
lola: 375 tries, 374050726 fired transitions, 2070 secs || 21922572 markings, 33781529 edges,
lola: 375 tries, 374942382 fired transitions, 2075 secs || 21975103 markings, 33862482 edges,
lola: 376 tries, 375846449 fired transitions, 2080 secs || 22027632 markings, 33943446 edges,
lola: 377 tries, 376734927 fired transitions, 2085 secs || 22079477 markings, 34023344 edges,
lola: 378 tries, 377630922 fired transitions, 2090 secs || 22131599 markings, 34103671 edges,
lola: 379 tries, 378513149 fired transitions, 2095 secs || 22184198 markings, 34184746 edges,
lola: 380 tries, 379405687 fired transitions, 2100 secs || 22236624 markings, 34265530 edges,
lola: 381 tries, 380290688 fired transitions, 2105 secs || 22289528 markings, 34347067 edges,
lola: 382 tries, 381183482 fired transitions, 2110 secs || 22341848 markings, 34427718 edges,
lola: 383 tries, 382088408 fired transitions, 2115 secs || 22393362 markings, 34507111 edges,
lola: 383 tries, 382999731 fired transitions, 2120 secs || 22445269 markings, 34587103 edges,
lola: 384 tries, 383893980 fired transitions, 2125 secs || 22497286 markings, 34667267 edges,
lola: 385 tries, 384797790 fired transitions, 2130 secs || 22549342 markings, 34747501 edges,
lola: 386 tries, 385684805 fired transitions, 2135 secs || 22601338 markings, 34827627 edges,
lola: 387 tries, 386592185 fired transitions, 2140 secs || 22654366 markings, 34909361 edges,
lola: 388 tries, 387493402 fired transitions, 2145 secs || 22707820 markings, 34991745 edges,
lola: 389 tries, 388402331 fired transitions, 2150 secs || 22760359 markings, 35072711 edges,
lola: 390 tries, 389312212 fired transitions, 2155 secs || 22812541 markings, 35153150 edges,
lola: 391 tries, 390212828 fired transitions, 2160 secs || 22865046 markings, 35234053 edges,
lola: 392 tries, 391103580 fired transitions, 2165 secs || 22916544 markings, 35313432 edges,
lola: 392 tries, 391997357 fired transitions, 2170 secs || 22968758 markings, 35393892 edges,
lola: 393 tries, 392879125 fired transitions, 2175 secs || 23021806 markings, 35475643 edges,
lola: 394 tries, 393788174 fired transitions, 2180 secs || 23072572 markings, 35553890 edges,
lola: 395 tries, 394694185 fired transitions, 2185 secs || 23124893 markings, 35634545 edges,
lola: 396 tries, 395584240 fired transitions, 2190 secs || 23177353 markings, 35715380 edges,
lola: 397 tries, 396478116 fired transitions, 2195 secs || 23230030 markings, 35796561 edges,
lola: 398 tries, 397372097 fired transitions, 2200 secs || 23282082 markings, 35876793 edges,
lola: 399 tries, 398273523 fired transitions, 2205 secs || 23334342 markings, 35957319 edges,
lola: 400 tries, 399171035 fired transitions, 2210 secs || 23386362 markings, 36037501 edges,
lola: 401 tries, 400070342 fired transitions, 2215 secs || 23439513 markings, 36119421 edges,
lola: 401 tries, 400962184 fired transitions, 2220 secs || 23493088 markings, 36201984 edges,
lola: 402 tries, 401863051 fired transitions, 2225 secs || 23545870 markings, 36283336 edges,
lola: 403 tries, 402761045 fired transitions, 2230 secs || 23598460 markings, 36364395 edges,
lola: 404 tries, 403652667 fired transitions, 2235 secs || 23651166 markings, 36445613 edges,
lola: 405 tries, 404555198 fired transitions, 2240 secs || 23703792 markings, 36526721 edges,
lola: 406 tries, 405444946 fired transitions, 2245 secs || 23756298 markings, 36607647 edges,
lola: 407 tries, 406350443 fired transitions, 2250 secs || 23809121 markings, 36689042 edges,
lola: 408 tries, 407259487 fired transitions, 2255 secs || 23862420 markings, 36771188 edges,
lola: 409 tries, 408147767 fired transitions, 2260 secs || 23915015 markings, 36852269 edges,
lola: 410 tries, 409031051 fired transitions, 2265 secs || 23966467 markings, 36931553 edges,
lola: 410 tries, 409925399 fired transitions, 2270 secs || 24018762 markings, 37012159 edges,
lola: 411 tries, 410818522 fired transitions, 2275 secs || 24070895 markings, 37092491 edges,
lola: 412 tries, 411704463 fired transitions, 2280 secs || 24122488 markings, 37172014 edges,
lola: 413 tries, 412602227 fired transitions, 2285 secs || 24174209 markings, 37251716 edges,
lola: 414 tries, 413517717 fired transitions, 2290 secs || 24226722 markings, 37332661 edges,
lola: 415 tries, 414413816 fired transitions, 2295 secs || 24280007 markings, 37414776 edges,
lola: 416 tries, 415328491 fired transitions, 2300 secs || 24332674 markings, 37495948 edges,
lola: 417 tries, 416244131 fired transitions, 2305 secs || 24385611 markings, 37577545 edges,
lola: 418 tries, 417126598 fired transitions, 2310 secs || 24437577 markings, 37657621 edges,
lola: 419 tries, 418034199 fired transitions, 2315 secs || 24488484 markings, 37736086 edges,
lola: 419 tries, 418923387 fired transitions, 2320 secs || 24540929 markings, 37816890 edges,
lola: 420 tries, 419830181 fired transitions, 2325 secs || 24593402 markings, 37897772 edges,
lola: 421 tries, 420734204 fired transitions, 2330 secs || 24646360 markings, 37979400 edges,
lola: 422 tries, 421637260 fired transitions, 2335 secs || 24698118 markings, 38059163 edges,
lola: 423 tries, 422542343 fired transitions, 2340 secs || 24749397 markings, 38138196 edges,
lola: 424 tries, 423464097 fired transitions, 2345 secs || 24799908 markings, 38216052 edges,
lola: 425 tries, 424377313 fired transitions, 2350 secs || 24850206 markings, 38293564 edges,
lola: 426 tries, 425266929 fired transitions, 2355 secs || 24901471 markings, 38372562 edges,
lola: 427 tries, 426143607 fired transitions, 2360 secs || 24953285 markings, 38452431 edges,
lola: 428 tries, 427055237 fired transitions, 2365 secs || 25006586 markings, 38534571 edges,
lola: 428 tries, 427963925 fired transitions, 2370 secs || 25060112 markings, 38617060 edges,
lola: 429 tries, 428869585 fired transitions, 2375 secs || 25111771 markings, 38696693 edges,
lola: 430 tries, 429776123 fired transitions, 2380 secs || 25163544 markings, 38776463 edges,
lola: 431 tries, 430693363 fired transitions, 2385 secs || 25215881 markings, 38857138 edges,
lola: 432 tries, 431608588 fired transitions, 2390 secs || 25267861 markings, 38937232 edges,
lola: 433 tries, 432519578 fired transitions, 2395 secs || 25319140 markings, 39016276 edges,
lola: 434 tries, 433424335 fired transitions, 2400 secs || 25371906 markings, 39097595 edges,
lola: 435 tries, 434339011 fired transitions, 2405 secs || 25425164 markings, 39179665 edges,
lola: 436 tries, 435248590 fired transitions, 2410 secs || 25477726 markings, 39260701 edges,
lola: 437 tries, 436158588 fired transitions, 2415 secs || 25528530 markings, 39338983 edges,
lola: 438 tries, 437061095 fired transitions, 2420 secs || 25579589 markings, 39417678 edges,
lola: 438 tries, 437963550 fired transitions, 2425 secs || 25629819 markings, 39495097 edges,
lola: 439 tries, 438863437 fired transitions, 2430 secs || 25681818 markings, 39575217 edges,
lola: 440 tries, 439780532 fired transitions, 2435 secs || 25733491 markings, 39654870 edges,
lola: 441 tries, 440692613 fired transitions, 2440 secs || 25786967 markings, 39737285 edges,
lola: 442 tries, 441588050 fired transitions, 2445 secs || 25839918 markings, 39818876 edges,
lola: 443 tries, 442499061 fired transitions, 2450 secs || 25891903 markings, 39899020 edges,
lola: 444 tries, 443403307 fired transitions, 2455 secs || 25941856 markings, 39976008 edges,
lola: 445 tries, 444317814 fired transitions, 2460 secs || 25992054 markings, 40053360 edges,
lola: 446 tries, 445235685 fired transitions, 2465 secs || 26043408 markings, 40132501 edges,
lola: 447 tries, 446153196 fired transitions, 2470 secs || 26095590 markings, 40212920 edges,
lola: 448 tries, 447062648 fired transitions, 2475 secs || 26145196 markings, 40289375 edges,
lola: 448 tries, 447970190 fired transitions, 2480 secs || 26197539 markings, 40370058 edges,
lola: 449 tries, 448874550 fired transitions, 2485 secs || 26249499 markings, 40450117 edges,
lola: 450 tries, 449770846 fired transitions, 2490 secs || 26301601 markings, 40530233 edges,
lola: 451 tries, 450673402 fired transitions, 2495 secs || 26351594 markings, 40607016 edges,
lola: 452 tries, 451581075 fired transitions, 2500 secs || 26404469 markings, 40688254 edges,
lola: 453 tries, 452497533 fired transitions, 2505 secs || 26456259 markings, 40767801 edges,
lola: 454 tries, 453414411 fired transitions, 2510 secs || 26509668 markings, 40849835 edges,
lola: 455 tries, 454331686 fired transitions, 2515 secs || 26560109 markings, 40927317 edges,
lola: 456 tries, 455243333 fired transitions, 2520 secs || 26610317 markings, 41004434 edges,
lola: 457 tries, 456156843 fired transitions, 2525 secs || 26659666 markings, 41080227 edges,
lola: 458 tries, 457075394 fired transitions, 2530 secs || 26711542 markings, 41159915 edges,
lola: 458 tries, 457993141 fired transitions, 2535 secs || 26763086 markings, 41239081 edges,
lola: 459 tries, 458911910 fired transitions, 2540 secs || 26815823 markings, 41320095 edges,
lola: 460 tries, 459824096 fired transitions, 2545 secs || 26865990 markings, 41397153 edges,
lola: 461 tries, 460731189 fired transitions, 2550 secs || 26918774 markings, 41478214 edges,
lola: 462 tries, 461648590 fired transitions, 2555 secs || 26970254 markings, 41557311 edges,
lola: 463 tries, 462562585 fired transitions, 2560 secs || 27021678 markings, 41636294 edges,
lola: 464 tries, 463469142 fired transitions, 2565 secs || 27073628 markings, 41716101 edges,
lola: 465 tries, 464380955 fired transitions, 2570 secs || 27124781 markings, 41794671 edges,
lola: 466 tries, 465292679 fired transitions, 2575 secs || 27176798 markings, 41874558 edges,
lola: 467 tries, 466200398 fired transitions, 2580 secs || 27227266 markings, 41952094 edges,
lola: 468 tries, 467105219 fired transitions, 2585 secs || 27279125 markings, 42031738 edges,
lola: 469 tries, 468015899 fired transitions, 2590 secs || 27332994 markings, 42114506 edges,
lola: 469 tries, 468925493 fired transitions, 2595 secs || 27383428 markings, 42192227 edges,
lola: 470 tries, 469835289 fired transitions, 2600 secs || 27434273 markings, 42270575 edges,
lola: 471 tries, 470739631 fired transitions, 2605 secs || 27484715 markings, 42348318 edges,
lola: 472 tries, 471619412 fired transitions, 2610 secs || 27536743 markings, 42428506 edges,
lola: 473 tries, 472527059 fired transitions, 2615 secs || 27588347 markings, 42508045 edges,
lola: 474 tries, 473441932 fired transitions, 2620 secs || 27639862 markings, 42587444 edges,
lola: 475 tries, 474354599 fired transitions, 2625 secs || 27691194 markings, 42666538 edges,
lola: 476 tries, 475259945 fired transitions, 2630 secs || 27741599 markings, 42744234 edges,
lola: 477 tries, 476161481 fired transitions, 2635 secs || 27791166 markings, 42820630 edges,
lola: 478 tries, 477061499 fired transitions, 2640 secs || 27840444 markings, 42896578 edges,
lola: 478 tries, 477975912 fired transitions, 2645 secs || 27892569 markings, 42976903 edges,
lola: 479 tries, 478892850 fired transitions, 2650 secs || 27946326 markings, 43059751 edges,
lola: 480 tries, 479809716 fired transitions, 2655 secs || 27999430 markings, 43141610 edges,
lola: 481 tries, 480713336 fired transitions, 2660 secs || 28050208 markings, 43219854 edges,
lola: 482 tries, 481610092 fired transitions, 2665 secs || 28101376 markings, 43298721 edges,
lola: 483 tries, 482527416 fired transitions, 2670 secs || 28153405 markings, 43378933 edges,
lola: 484 tries, 483441507 fired transitions, 2675 secs || 28205418 markings, 43459077 edges,
lola: 485 tries, 484359135 fired transitions, 2680 secs || 28257408 markings, 43539220 edges,
lola: 486 tries, 485265802 fired transitions, 2685 secs || 28306712 markings, 43615205 edges,
lola: 487 tries, 486180069 fired transitions, 2690 secs || 28357438 markings, 43693368 edges,
lola: 488 tries, 487094803 fired transitions, 2695 secs || 28407929 markings, 43771188 edges,
lola: 489 tries, 487999999 fired transitions, 2700 secs || 28456978 markings, 43846788 edges,
lola: 489 tries, 488897617 fired transitions, 2705 secs || 28507927 markings, 43925318 edges,
lola: 490 tries, 489795242 fired transitions, 2710 secs || 28559426 markings, 44004674 edges,
lola: 491 tries, 490709914 fired transitions, 2715 secs || 28609014 markings, 44081095 edges,
lola: 492 tries, 491614702 fired transitions, 2720 secs || 28660030 markings, 44159737 edges,
lola: 493 tries, 492504253 fired transitions, 2725 secs || 28712271 markings, 44240239 edges,
lola: 494 tries, 493413195 fired transitions, 2730 secs || 28764409 markings, 44320611 edges,
lola: 495 tries, 494324894 fired transitions, 2735 secs || 28815694 markings, 44399631 edges,
lola: 496 tries, 495225210 fired transitions, 2740 secs || 28868621 markings, 44481223 edges,
lola: 497 tries, 496131759 fired transitions, 2745 secs || 28920217 markings, 44560734 edges,
lola: 498 tries, 497027395 fired transitions, 2750 secs || 28972189 markings, 44640843 edges,
lola: 498 tries, 497922706 fired transitions, 2755 secs || 29024717 markings, 44721787 edges,
lola: 499 tries, 498832484 fired transitions, 2760 secs || 29074472 markings, 44798472 edges,
lola: 500 tries, 499726663 fired transitions, 2765 secs || 29124295 markings, 44875267 edges,
lola: 501 tries, 500629135 fired transitions, 2770 secs || 29174808 markings, 44953128 edges,
lola: 502 tries, 501534665 fired transitions, 2775 secs || 29226723 markings, 45033120 edges,
lola: 503 tries, 502433855 fired transitions, 2780 secs || 29277637 markings, 45111600 edges,
lola: 504 tries, 503347945 fired transitions, 2785 secs || 29327984 markings, 45189195 edges,
lola: 505 tries, 504242235 fired transitions, 2790 secs || 29379659 markings, 45268821 edges,
lola: 506 tries, 505138851 fired transitions, 2795 secs || 29429978 markings, 45346383 edges,
lola: 507 tries, 506026861 fired transitions, 2800 secs || 29482901 markings, 45427946 edges,
lola: 507 tries, 506932600 fired transitions, 2805 secs || 29534831 markings, 45507995 edges,
lola: 508 tries, 507835375 fired transitions, 2810 secs || 29586491 markings, 45587596 edges,
lola: 509 tries, 508756274 fired transitions, 2815 secs || 29638697 markings, 45668072 edges,
lola: 510 tries, 509663648 fired transitions, 2820 secs || 29690685 markings, 45748176 edges,
lola: 511 tries, 510573972 fired transitions, 2825 secs || 29741272 markings, 45826156 edges,
lola: 512 tries, 511479332 fired transitions, 2830 secs || 29792208 markings, 45904674 edges,
lola: 513 tries, 512390853 fired transitions, 2835 secs || 29842822 markings, 45982677 edges,
lola: 514 tries, 513303410 fired transitions, 2840 secs || 29893541 markings, 46060832 edges,
lola: 515 tries, 514219450 fired transitions, 2845 secs || 29944504 markings, 46139390 edges,
lola: 516 tries, 515133303 fired transitions, 2850 secs || 29995869 markings, 46218550 edges,
lola: 517 tries, 516042877 fired transitions, 2855 secs || 30046483 markings, 46296547 edges,
lola: 517 tries, 516942489 fired transitions, 2860 secs || 30096891 markings, 46374240 edges,
lola: 518 tries, 517841730 fired transitions, 2865 secs || 30147203 markings, 46451794 edges,
lola: 519 tries, 518739994 fired transitions, 2870 secs || 30196968 markings, 46528489 edges,
lola: 520 tries, 519648717 fired transitions, 2875 secs || 30248658 markings, 46608141 edges,
lola: 521 tries, 520560053 fired transitions, 2880 secs || 30300321 markings, 46687779 edges,
lola: 522 tries, 521472822 fired transitions, 2885 secs || 30352392 markings, 46768013 edges,
lola: 523 tries, 522385932 fired transitions, 2890 secs || 30404530 markings, 46848383 edges,
lola: 524 tries, 523290509 fired transitions, 2895 secs || 30456476 markings, 46928423 edges,
lola: 525 tries, 524199676 fired transitions, 2900 secs || 30508351 markings, 47008403 edges,
lola: 526 tries, 525118296 fired transitions, 2905 secs || 30560934 markings, 47089426 edges,
lola: 527 tries, 526024650 fired transitions, 2910 secs || 30612685 markings, 47169206 edges,
lola: 527 tries, 526939806 fired transitions, 2915 secs || 30664244 markings, 47248649 edges,
lola: 528 tries, 527847400 fired transitions, 2920 secs || 30714677 markings, 47326379 edges,
lola: 529 tries, 528758079 fired transitions, 2925 secs || 30764554 markings, 47403260 edges,
lola: 530 tries, 529658760 fired transitions, 2930 secs || 30816521 markings, 47483340 edges,
lola: 531 tries, 530570551 fired transitions, 2935 secs || 30866523 markings, 47560399 edges,
lola: 532 tries, 531481499 fired transitions, 2940 secs || 30916775 markings, 47637856 edges,
lola: 533 tries, 532400063 fired transitions, 2945 secs || 30967440 markings, 47715945 edges,
lola: 534 tries, 533318712 fired transitions, 2950 secs || 31018557 markings, 47794717 edges,
lola: 535 tries, 534234805 fired transitions, 2955 secs || 31070429 markings, 47874677 edges,
lola: 536 tries, 535152771 fired transitions, 2960 secs || 31121253 markings, 47953006 edges,
lola: 537 tries, 536071226 fired transitions, 2965 secs || 31172646 markings, 48032200 edges,
lola: 537 tries, 536985217 fired transitions, 2970 secs || 31224643 markings, 48112347 edges,
lola: 538 tries, 537886622 fired transitions, 2975 secs || 31274871 markings, 48189770 edges,
lola: 539 tries, 538789615 fired transitions, 2980 secs || 31325929 markings, 48268450 edges,
lola: 540 tries, 539696136 fired transitions, 2985 secs || 31374762 markings, 48343711 edges,
lola: 541 tries, 540595375 fired transitions, 2990 secs || 31425651 markings, 48422149 edges,
lola: 542 tries, 541513014 fired transitions, 2995 secs || 31476656 markings, 48500764 edges,
lola: 543 tries, 542418246 fired transitions, 3000 secs || 31527580 markings, 48579233 edges,
lola: 544 tries, 543328012 fired transitions, 3005 secs || 31578352 markings, 48657494 edges,
lola: 545 tries, 544231122 fired transitions, 3010 secs || 31629028 markings, 48735601 edges,
lola: 546 tries, 545138153 fired transitions, 3015 secs || 31679712 markings, 48813703 edges,
lola: 547 tries, 546035611 fired transitions, 3020 secs || 31731323 markings, 48893249 edges,
lola: 547 tries, 546940791 fired transitions, 3025 secs || 31781887 markings, 48971188 edges,
lola: 548 tries, 547856429 fired transitions, 3030 secs || 31833247 markings, 49050328 edges,
lola: 549 tries, 548764829 fired transitions, 3035 secs || 31885023 markings, 49130143 edges,
lola: 550 tries, 549668597 fired transitions, 3040 secs || 31936349 markings, 49209231 edges,
lola: 551 tries, 550578900 fired transitions, 3045 secs || 31987598 markings, 49288223 edges,
lola: 552 tries, 551488228 fired transitions, 3050 secs || 32039346 markings, 49367978 edges,
lola: 553 tries, 552404071 fired transitions, 3055 secs || 32089928 markings, 49445938 edges,
lola: 554 tries, 553321416 fired transitions, 3060 secs || 32140226 markings, 49523454 edges,
lola: 555 tries, 554230791 fired transitions, 3065 secs || 32190921 markings, 49601596 edges,
lola: 556 tries, 555133422 fired transitions, 3070 secs || 32240862 markings, 49678573 edges,
lola: 557 tries, 556044641 fired transitions, 3075 secs || 32291082 markings, 49755969 edges,
lola: 557 tries, 556955883 fired transitions, 3080 secs || 32341412 markings, 49833528 edges,
lola: 558 tries, 557873982 fired transitions, 3085 secs || 32392249 markings, 49911877 edges,
lola: 559 tries, 558780363 fired transitions, 3090 secs || 32443461 markings, 49990816 edges,
lola: 560 tries, 559692327 fired transitions, 3095 secs || 32494303 markings, 50069159 edges,
lola: 561 tries, 560603044 fired transitions, 3100 secs || 32545585 markings, 50148201 edges,
lola: 562 tries, 561513955 fired transitions, 3105 secs || 32596855 markings, 50227226 edges,
lola: 563 tries, 562426445 fired transitions, 3110 secs || 32649198 markings, 50307894 edges,
lola: 564 tries, 563326051 fired transitions, 3115 secs || 32702073 markings, 50389379 edges,
lola: 565 tries, 564228753 fired transitions, 3120 secs || 32754475 markings, 50470153 edges,
lola: 566 tries, 565127259 fired transitions, 3125 secs || 32805785 markings, 50549220 edges,
lola: 567 tries, 566038341 fired transitions, 3130 secs || 32857478 markings, 50628905 edges,
lola: 567 tries, 566948370 fired transitions, 3135 secs || 32908613 markings, 50707724 edges,
lola: 568 tries, 567855212 fired transitions, 3140 secs || 32959472 markings, 50786089 edges,
lola: 569 tries, 568756477 fired transitions, 3145 secs || 33010562 markings, 50864838 edges,
lola: 570 tries, 569669065 fired transitions, 3150 secs || 33061435 markings, 50943254 edges,
lola: 571 tries, 570582081 fired transitions, 3155 secs || 33112511 markings, 51021956 edges,
lola: 572 tries, 571498876 fired transitions, 3160 secs || 33163095 markings, 51099918 edges,
lola: 573 tries, 572414938 fired transitions, 3165 secs || 33213689 markings, 51177905 edges,
lola: 574 tries, 573332174 fired transitions, 3170 secs || 33265587 markings, 51257873 edges,
lola: 575 tries, 574247816 fired transitions, 3175 secs || 33317271 markings, 51337545 edges,
lola: 576 tries, 575160011 fired transitions, 3180 secs || 33368206 markings, 51416040 edges,
lola: 577 tries, 576055773 fired transitions, 3185 secs || 33419316 markings, 51494806 edges,
lola: 577 tries, 576964342 fired transitions, 3190 secs || 33470667 markings, 51573960 edges,
lola: 578 tries, 577876973 fired transitions, 3195 secs || 33522237 markings, 51653417 edges,
lola: 579 tries, 578794995 fired transitions, 3200 secs || 33573496 markings, 51732438 edges,
lola: 580 tries, 579710020 fired transitions, 3205 secs || 33625080 markings, 51811925 edges,
lola: 581 tries, 580619656 fired transitions, 3210 secs || 33676184 markings, 51891049 edges,
lola: 582 tries, 581535704 fired transitions, 3215 secs || 33727629 markings, 51970317 edges,
lola: 583 tries, 582452857 fired transitions, 3220 secs || 33779915 markings, 52050911 edges,
lola: 584 tries, 583355112 fired transitions, 3225 secs || 33831328 markings, 52130129 edges,
lola: 585 tries, 584263599 fired transitions, 3230 secs || 33882659 markings, 52209259 edges,
lola: 586 tries, 585160971 fired transitions, 3235 secs || 33934751 markings, 52289527 edges,
lola: 587 tries, 586061765 fired transitions, 3240 secs || 33987721 markings, 52371166 edges,
lola: 587 tries, 586966209 fired transitions, 3245 secs || 34040450 markings, 52452442 edges,
lola: 588 tries, 587881246 fired transitions, 3250 secs || 34092163 markings, 52532140 edges,
lola: 589 tries, 588787643 fired transitions, 3255 secs || 34143441 markings, 52611168 edges,
lola: 590 tries, 589694322 fired transitions, 3260 secs || 34194276 markings, 52689523 edges,
lola: 591 tries, 590594975 fired transitions, 3265 secs || 34244061 markings, 52766248 edges,
lola: 592 tries, 591512492 fired transitions, 3270 secs || 34295900 markings, 52846130 edges,
lola: 593 tries, 592414639 fired transitions, 3275 secs || 34348089 markings, 52926564 edges,
lola: 594 tries, 593310044 fired transitions, 3280 secs || 34403617 markings, 53012134 edges,
lola: 595 tries, 594218987 fired transitions, 3285 secs || 34454710 markings, 53090894 edges,
lola: 596 tries, 595135991 fired transitions, 3290 secs || 34506896 markings, 53171322 edges,
lola: 597 tries, 596051749 fired transitions, 3295 secs || 34558985 markings, 53251604 edges,
lola: 597 tries, 596968055 fired transitions, 3300 secs || 34611360 markings, 53332308 edges,
lola: 598 tries, 597880296 fired transitions, 3305 secs || 34662337 markings, 53410876 edges,
lola: 599 tries, 598785142 fired transitions, 3310 secs || 34713862 markings, 53490291 edges,
lola: 600 tries, 599688007 fired transitions, 3315 secs || 34766168 markings, 53570906 edges,
lola: 601 tries, 600605036 fired transitions, 3320 secs || 34819438 markings, 53652992 edges,
lola: 602 tries, 601522392 fired transitions, 3325 secs || 34872465 markings, 53734739 edges,
lola: 603 tries, 602435365 fired transitions, 3330 secs || 34924498 markings, 53814919 edges,
lola: 604 tries, 603347486 fired transitions, 3335 secs || 34976283 markings, 53894734 edges,
lola: 605 tries, 604263146 fired transitions, 3340 secs || 35029375 markings, 53976560 edges,
lola: 606 tries, 605181165 fired transitions, 3345 secs || 35081499 markings, 54056872 edges,
lola: 607 tries, 606096259 fired transitions, 3350 secs || 35134762 markings, 54138971 edges,
lola: 608 tries, 607014485 fired transitions, 3355 secs || 35188256 markings, 54221422 edges,
lola: 608 tries, 607930734 fired transitions, 3360 secs || 35239596 markings, 54300545 edges,
lola: 609 tries, 608829550 fired transitions, 3365 secs || 35291806 markings, 54381021 edges,
lola: 610 tries, 609729459 fired transitions, 3370 secs || 35344220 markings, 54461785 edges,
lola: 611 tries, 610632761 fired transitions, 3375 secs || 35396385 markings, 54542190 edges,
lola: 612 tries, 611530354 fired transitions, 3380 secs || 35448725 markings, 54622856 edges,
lola: 613 tries, 612440622 fired transitions, 3385 secs || 35500740 markings, 54703009 edges,
lola: 614 tries, 613354612 fired transitions, 3390 secs || 35553502 markings, 54784337 edges,
lola: 615 tries, 614266462 fired transitions, 3395 secs || 35606301 markings, 54865701 edges,
lola: 616 tries, 615166344 fired transitions, 3400 secs || 35658237 markings, 54945757 edges,
lola: 617 tries, 616078031 fired transitions, 3405 secs || 35709386 markings, 55024565 edges,
lola: 617 tries, 616981162 fired transitions, 3410 secs || 35760749 markings, 55103747 edges,
lola: 618 tries, 617897377 fired transitions, 3415 secs || 35811250 markings, 55181572 edges,
lola: 619 tries, 618817337 fired transitions, 3420 secs || 35862264 markings, 55260181 edges,
lola: 620 tries, 619733483 fired transitions, 3425 secs || 35915354 markings, 55342009 edges,
lola: 621 tries, 620650263 fired transitions, 3430 secs || 35968976 markings, 55424656 edges,
lola: 622 tries, 621551737 fired transitions, 3435 secs || 36022139 markings, 55506595 edges,
lola: 623 tries, 622474367 fired transitions, 3440 secs || 36072843 markings, 55584745 edges,
lola: 624 tries, 623392523 fired transitions, 3445 secs || 36124281 markings, 55664006 edges,
lola: 625 tries, 624291182 fired transitions, 3450 secs || 36175875 markings, 55743535 edges,
lola: 626 tries, 625208545 fired transitions, 3455 secs || 36226867 markings, 55822108 edges,
lola: 627 tries, 626133901 fired transitions, 3460 secs || 36279887 markings, 55903835 edges,
lola: 628 tries, 627051557 fired transitions, 3465 secs || 36331907 markings, 55983991 edges,
lola: 628 tries, 627962345 fired transitions, 3470 secs || 36384634 markings, 56065252 edges,
lola: 629 tries, 628891524 fired transitions, 3475 secs || 36437761 markings, 56147153 edges,
lola: 630 tries, 629818923 fired transitions, 3480 secs || 36489638 markings, 56227091 edges,
lola: 631 tries, 630756806 fired transitions, 3485 secs || 36538693 markings, 56302694 edges,
lola: 632 tries, 631680085 fired transitions, 3490 secs || 36590039 markings, 56381838 edges,
lola: 633 tries, 632599328 fired transitions, 3495 secs || 36639914 markings, 56458703 edges,
lola: 634 tries, 633508708 fired transitions, 3500 secs || 36691273 markings, 56537842 edges,
lola: 635 tries, 634420816 fired transitions, 3505 secs || 36741665 markings, 56615507 edges,
lola: 636 tries, 635327901 fired transitions, 3510 secs || 36794341 markings, 56696686 edges,
lola: 637 tries, 636224489 fired transitions, 3515 secs || 36846227 markings, 56776657 edges,
lola: 638 tries, 637139426 fired transitions, 3520 secs || 36898128 markings, 56856661 edges,
lola: 639 tries, 638056741 fired transitions, 3525 secs || 36947977 markings, 56933478 edges,
lola: 639 tries, 638974841 fired transitions, 3530 secs || 36998572 markings, 57011448 edges,
lola: 640 tries, 639889689 fired transitions, 3535 secs || 37047427 markings, 57086743 edges,
lola: 641 tries, 640809736 fired transitions, 3540 secs || 37101596 markings, 57170223 edges,
lola: 642 tries, 641744015 fired transitions, 3545 secs || 37158592 markings, 57258081 edges,
lola: 643 tries, 642690353 fired transitions, 3550 secs || 37211693 markings, 57339917 edges,
lola: time limit reached - aborting
lola: memory consumption: 9608388 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 1554507888253

--------------------
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) 4384 markings/sec, 0 secs 10460 markings/sec, 5 secs 10442 markings/sec, 10 secs 8721 markings/sec, 15 secs 9238 markings/sec, 20 secs 10294 markings/sec, 25 secs 10564 markings/sec, 30 secs 10497 markings/sec, 35 secs 10417 markings/sec, 40 secs 10409 markings/sec, 45 secs 10152 markings/sec, 50 secs 10362 markings/sec, 55 secs 10323 markings/sec, 60 secs 10502 markings/sec, 65 secs 10791 markings/sec, 70 secs 10585 markings/sec, 75 secs 10377 markings/sec, 80 secs 10253 markings/sec, 85 secs 10415 markings/sec, 90 secs 10333 markings/sec, 95 secs 10384 markings/sec, 100 secs 10490 markings/sec, 105 secs 10679 markings/sec, 110 secs 10593 markings/sec, 115 secs 10544 markings/sec, 120 secs 10532 markings/sec, 125 secs 10514 markings/sec, 130 secs 10525 markings/sec, 135 secs 10660 markings/sec, 140 secs 10718 markings/sec, 145 secs 10659 markings/sec, 150 secs 10611 markings/sec, 155 secs 10501 markings/sec, 160 secs 10495 markings/sec, 165 secs 10457 markings/sec, 170 secs 10497 markings/sec, 175 secs 10715 markings/sec, 180 secs 10702 markings/sec, 185 secs 10579 markings/sec, 190 secs 10444 markings/sec, 195 secs 10444 markings/sec, 200 secs 10409 markings/sec, 205 secs 10511 markings/sec, 210 secs 10651 markings/sec, 215 secs 10779 markings/sec, 220 secs 10545 markings/sec, 225 secs 10292 markings/sec, 230 secs 10293 markings/sec, 235 secs 10264 markings/sec, 240 secs 10241 markings/sec, 245 secs 10219 markings/sec, 250 secs 10548 markings/sec, 255 secs 10483 markings/sec, 260 secs 10426 markings/sec, 265 secs 10336 markings/sec, 270 secs 10342 markings/sec, 275 secs 10320 markings/sec, 280 secs 10253 markings/sec, 285 secs 10524 markings/sec, 290 secs 10596 markings/sec, 295 secs 10549 markings/sec, 300 secs 10495 markings/sec, 305 secs 10557 markings/sec, 310 secs 10470 markings/sec, 315 secs 10481 markings/sec, 320 secs 10441 markings/sec, 325 secs 10780 markings/sec, 330 secs 10568 markings/sec, 335 secs 10622 markings/sec, 340 secs 10603 markings/sec, 345 secs 10361 markings/sec, 350 secs 10455 markings/sec, 355 secs 10491 markings/sec, 360 secs 10698 markings/sec, 365 secs 10686 markings/sec, 370 secs 10734 markings/sec, 375 secs 10539 markings/sec, 380 secs 10534 markings/sec, 385 secs 10479 markings/sec, 390 secs 10424 markings/sec, 395 secs 10634 markings/sec, 400 secs 10835 markings/sec, 405 secs 10644 markings/sec, 410 secs 10587 markings/sec, 415 secs 10661 markings/sec, 420 secs 10500 markings/sec, 425 secs 10512 markings/sec, 430 secs 10401 markings/sec, 435 secs 10534 markings/sec, 440 secs 10701 markings/sec, 445 secs 10654 markings/sec, 450 secs 10663 markings/sec, 455 secs 10670 markings/sec, 460 secs 10644 markings/sec, 465 secs 10655 markings/sec, 470 secs 10726 markings/sec, 475 secs 10788 markings/sec, 480 secs 10839 markings/sec, 485 secs 10610 markings/sec, 490 secs 10522 markings/sec, 495 secs 10514 markings/sec, 500 secs 10503 markings/sec, 505 secs 10537 markings/sec, 510 secs 10868 markings/sec, 515 secs 10767 markings/sec, 520 secs 10654 markings/sec, 525 secs 10462 markings/sec, 530 secs 10424 markings/sec, 535 secs 10461 markings/sec, 540 secs 10409 markings/sec, 545 secs 10557 markings/sec, 550 secs 10907 markings/sec, 555 secs 10766 markings/sec, 560 secs 10595 markings/sec, 565 secs 10476 markings/sec, 570 secs 10562 markings/sec, 575 secs 10398 markings/sec, 580 secs 10599 markings/sec, 585 secs 10960 markings/sec, 590 secs 10990 markings/sec, 595 secs 10837 markings/sec, 600 secs 10709 markings/sec, 605 secs 10546 markings/sec, 610 secs 10511 markings/sec, 615 secs 10570 markings/sec, 620 secs 10838 markings/sec, 625 secs 10856 markings/sec, 630 secs 10846 markings/sec, 635 secs 10557 markings/sec, 640 secs 10525 markings/sec, 645 secs 10703 markings/sec, 650 secs 10644 markings/sec, 655 secs 10837 markings/sec, 660 secs 10949 markings/sec, 665 secs 10843 markings/sec, 670 secs 10652 markings/sec, 675 secs 10610 markings/sec, 680 secs 10451 markings/sec, 685 secs 10502 markings/sec, 690 secs 10610 markings/sec, 695 secs 10912 markings/sec, 700 secs 10971 markings/sec, 705 secs 10754 markings/sec, 710 secs 10710 markings/sec, 715 secs 10664 markings/sec, 720 secs 10677 markings/sec, 725 secs 10679 markings/sec, 730 secs 10876 markings/sec, 735 secs 10936 markings/sec, 740 secs 10860 markings/sec, 745 secs 10704 markings/sec, 750 secs 10713 markings/sec, 755 secs 10712 markings/sec, 760 secs 10639 markings/sec, 765 secs 10794 markings/sec, 770 secs 10919 markings/sec, 775 secs 10873 markings/sec, 780 secs 10519 markings/sec, 785 secs 10562 markings/sec, 790 secs 10635 markings/sec, 795 secs 10673 markings/sec, 800 secs 10709 markings/sec, 805 secs 10898 markings/sec, 810 secs 10917 markings/sec, 815 secs 10752 markings/sec, 820 secs 10637 markings/sec, 825 secs 10606 markings/sec, 830 secs 10571 markings/sec, 835 secs 10579 markings/sec, 840 secs 10787 markings/sec, 845 secs 10826 markings/sec, 850 secs 10618 markings/sec, 855 secs 10477 markings/sec, 860 secs 10480 markings/sec, 865 secs 10451 markings/sec, 870 secs 10406 markings/sec, 875 secs 10669 markings/sec, 880 secs 10874 markings/sec, 885 secs 10743 markings/sec, 890 secs 10688 markings/sec, 895 secs 10790 markings/sec, 900 secs 10828 markings/sec, 905 secs 10697 markings/sec, 910 secs 10877 markings/sec, 915 secs 10465 markings/sec, 920 secs 10769 markings/sec, 925 secs 10847 markings/sec, 930 secs 10762 markings/sec, 935 secs 10932 markings/sec, 940 secs 10735 markings/sec, 945 secs 10765 markings/sec, 950 secs 10874 markings/sec, 955 secs 10636 markings/sec, 960 secs 10970 markings/sec, 965 secs 10526 markings/sec, 970 secs 10770 markings/sec, 975 secs 10861 markings/sec, 980 secs 10707 markings/sec, 985 secs 10935 markings/sec, 990 secs 10767 markings/sec, 995 secs 10733 markings/sec, 1000 secs 10707 markings/sec, 1005 secs 10663 markings/sec, 1010 secs 10647 markings/sec, 1015 secs 10638 markings/sec, 1020 secs 10179 markings/sec, 1025 secs 10462 markings/sec, 1030 secs 10599 markings/sec, 1035 secs 10677 markings/sec, 1040 secs 10798 markings/sec, 1045 secs 10741 markings/sec, 1050 secs 10544 markings/sec, 1055 secs 10776 markings/sec, 1060 secs 10805 markings/sec, 1065 secs 10764 markings/sec, 1070 secs 10528 markings/sec, 1075 secs 10445 markings/sec, 1080 secs 10581 markings/sec, 1085 secs 10418 markings/sec, 1090 secs 10527 markings/sec, 1095 secs 10540 markings/sec, 1100 secs 10635 markings/sec, 1105 secs 10612 markings/sec, 1110 secs 10616 markings/sec, 1115 secs 10741 markings/sec, 1120 secs 10635 markings/sec, 1125 secs 10681 markings/sec, 1130 secs 10678 markings/sec, 1135 secs 10584 markings/sec, 1140 secs 10660 markings/sec, 1145 secs 10534 markings/sec, 1150 secs 10654 markings/sec, 1155 secs 10511 markings/sec, 1160 secs 10472 markings/sec, 1165 secs 10553 markings/sec, 1170 secs 10551 markings/sec, 1175 secs 10488 markings/sec, 1180 secs 10577 markings/sec, 1185 secs 10522 markings/sec, 1190 secs 10464 markings/sec, 1195 secs 10487 markings/sec, 1200 secs 10615 markings/sec, 1205 secs 10702 markings/sec, 1210 secs 10677 markings/sec, 1215 secs 10561 markings/sec, 1220 secs 10507 markings/sec, 1225 secs 10311 markings/sec, 1230 secs 10207 markings/sec, 1235 secs 10484 markings/sec, 1240 secs 10421 markings/sec, 1245 secs 10322 markings/sec, 1250 secs 10428 markings/sec, 1255 secs 10563 markings/sec, 1260 secs 10587 markings/sec, 1265 secs 10665 markings/sec, 1270 secs 10695 markings/sec, 1275 secs 10760 markings/sec, 1280 secs 10708 markings/sec, 1285 secs 10527 markings/sec, 1290 secs 10415 markings/sec, 1295 secs 10517 markings/sec, 1300 secs 10549 markings/sec, 1305 secs 10548 markings/sec, 1310 secs 10470 markings/sec, 1315 secs 10413 markings/sec, 1320 secs 10464 markings/sec, 1325 secs 10552 markings/sec, 1330 secs 10393 markings/sec, 1335 secs 10613 markings/sec, 1340 secs 10453 markings/sec, 1345 secs 10501 markings/sec, 1350 secs 10345 markings/sec, 1355 secs 10321 markings/sec, 1360 secs 10332 markings/sec, 1365 secs 10473 markings/sec, 1370 secs 10520 markings/sec, 1375 secs 10331 markings/sec, 1380 secs 10534 markings/sec, 1385 secs 10261 markings/sec, 1390 secs 10344 markings/sec, 1395 secs 10450 markings/sec, 1400 secs 10535 markings/sec, 1405 secs 10366 markings/sec, 1410 secs 10300 markings/sec, 1415 secs 10450 markings/sec, 1420 secs 10493 markings/sec, 1425 secs 10502 markings/sec, 1430 secs 10504 markings/sec, 1435 secs 10488 markings/sec, 1440 secs 10468 markings/sec, 1445 secs 10392 markings/sec, 1450 secs 10414 markings/sec, 1455 secs 10488 markings/sec, 1460 secs 10458 markings/sec, 1465 secs 10375 markings/sec, 1470 secs 10334 markings/sec, 1475 secs 10406 markings/sec, 1480 secs 10538 markings/sec, 1485 secs 10538 markings/sec, 1490 secs 10648 markings/sec, 1495 secs 10667 markings/sec, 1500 secs 10575 markings/sec, 1505 secs 10596 markings/sec, 1510 secs 10788 markings/sec, 1515 secs 10877 markings/sec, 1520 secs 10598 markings/sec, 1525 secs 10655 markings/sec, 1530 secs 10600 markings/sec, 1535 secs 10496 markings/sec, 1540 secs 10423 markings/sec, 1545 secs 10638 markings/sec, 1550 secs 10695 markings/sec, 1555 secs 10617 markings/sec, 1560 secs 10782 markings/sec, 1565 secs 10736 markings/sec, 1570 secs 10826 markings/sec, 1575 secs 10732 markings/sec, 1580 secs 10748 markings/sec, 1585 secs 10498 markings/sec, 1590 secs 10576 markings/sec, 1595 secs 10514 markings/sec, 1600 secs 10577 markings/sec, 1605 secs 10443 markings/sec, 1610 secs 10543 markings/sec, 1615 secs 10791 markings/sec, 1620 secs 10862 markings/sec, 1625 secs 10699 markings/sec, 1630 secs 10569 markings/sec, 1635 secs 10481 markings/sec, 1640 secs 10612 markings/sec, 1645 secs 10547 markings/sec, 1650 secs 10772 markings/sec, 1655 secs 10727 markings/sec, 1660 secs 10704 markings/sec, 1665 secs 10560 markings/sec, 1670 secs 10527 markings/sec, 1675 secs 10521 markings/sec, 1680 secs 10509 markings/sec, 1685 secs 10692 markings/sec, 1690 secs 10874 markings/sec, 1695 secs 10829 markings/sec, 1700 secs 10643 markings/sec, 1705 secs 10727 markings/sec, 1710 secs 10683 markings/sec, 1715 secs 10710 markings/sec, 1720 secs 10510 markings/sec, 1725 secs 10895 markings/sec, 1730 secs 10836 markings/sec, 1735 secs 10794 markings/sec, 1740 secs 10837 markings/sec, 1745 secs 10828 markings/sec, 1750 secs 10376 markings/sec, 1755 secs 10320 markings/sec, 1760 secs 10918 markings/sec, 1765 secs 10810 markings/sec, 1770 secs 10779 markings/sec, 1775 secs 10598 markings/sec, 1780 secs 10610 markings/sec, 1785 secs 10488 markings/sec, 1790 secs 10580 markings/sec, 1795 secs 10586 markings/sec, 1800 secs 10865 markings/sec, 1805 secs 10822 markings/sec, 1810 secs 10472 markings/sec, 1815 secs 10231 markings/sec, 1820 secs 10497 markings/sec, 1825 secs 10435 markings/sec, 1830 secs 10531 markings/sec, 1835 secs 10827 markings/sec, 1840 secs 10679 markings/sec, 1845 secs 10248 markings/sec, 1850 secs 10128 markings/sec, 1855 secs 10370 markings/sec, 1860 secs 10457 markings/sec, 1865 secs 10471 markings/sec, 1870 secs 10663 markings/sec, 1875 secs 10584 markings/sec, 1880 secs 10701 markings/sec, 1885 secs 10525 markings/sec, 1890 secs 10275 markings/sec, 1895 secs 10522 markings/sec, 1900 secs 10470 markings/sec, 1905 secs 10549 markings/sec, 1910 secs 10761 markings/sec, 1915 secs 10749 markings/sec, 1920 secs 10611 markings/sec, 1925 secs 10450 markings/sec, 1930 secs 10545 markings/sec, 1935 secs 10523 markings/sec, 1940 secs 10480 markings/sec, 1945 secs 10530 markings/sec, 1950 secs 10530 markings/sec, 1955 secs 10690 markings/sec, 1960 secs 10352 markings/sec, 1965 secs 10455 markings/sec, 1970 secs 10461 markings/sec, 1975 secs 10425 markings/sec, 1980 secs 10434 markings/sec, 1985 secs 10750 markings/sec, 1990 secs 10720 markings/sec, 1995 secs 10597 markings/sec, 2000 secs 10480 markings/sec, 2005 secs 10519 markings/sec, 2010 secs 10508 markings/sec, 2015 secs 10506 markings/sec, 2020 secs 10594 markings/sec, 2025 secs 10692 markings/sec, 2030 secs 10618 markings/sec, 2035 secs 10604 markings/sec, 2040 secs 10592 markings/sec, 2045 secs 10507 markings/sec, 2050 secs 10517 markings/sec, 2055 secs 9951 markings/sec, 2060 secs 10628 markings/sec, 2065 secs 10719 markings/sec, 2070 secs 10506 markings/sec, 2075 secs 10506 markings/sec, 2080 secs 10369 markings/sec, 2085 secs 10424 markings/sec, 2090 secs 10520 markings/sec, 2095 secs 10485 markings/sec, 2100 secs 10581 markings/sec, 2105 secs 10464 markings/sec, 2110 secs 10303 markings/sec, 2115 secs 10381 markings/sec, 2120 secs 10403 markings/sec, 2125 secs 10411 markings/sec, 2130 secs 10399 markings/sec, 2135 secs 10606 markings/sec, 2140 secs 10691 markings/sec, 2145 secs 10508 markings/sec, 2150 secs 10436 markings/sec, 2155 secs 10501 markings/sec, 2160 secs 10300 markings/sec, 2165 secs 10443 markings/sec, 2170 secs 10610 markings/sec, 2175 secs 10153 markings/sec, 2180 secs 10464 markings/sec, 2185 secs 10492 markings/sec, 2190 secs 10535 markings/sec, 2195 secs 10410 markings/sec, 2200 secs 10452 markings/sec, 2205 secs 10404 markings/sec, 2210 secs 10630 markings/sec, 2215 secs 10715 markings/sec, 2220 secs 10556 markings/sec, 2225 secs 10518 markings/sec, 2230 secs 10541 markings/sec, 2235 secs 10525 markings/sec, 2240 secs 10501 markings/sec, 2245 secs 10565 markings/sec, 2250 secs 10660 markings/sec, 2255 secs 10519 markings/sec, 2260 secs 10290 markings/sec, 2265 secs 10459 markings/sec, 2270 secs 10427 markings/sec, 2275 secs 10319 markings/sec, 2280 secs 10344 markings/sec, 2285 secs 10503 markings/sec, 2290 secs 10657 markings/sec, 2295 secs 10533 markings/sec, 2300 secs 10587 markings/sec, 2305 secs 10393 markings/sec, 2310 secs 10181 markings/sec, 2315 secs 10489 markings/sec, 2320 secs 10495 markings/sec, 2325 secs 10592 markings/sec, 2330 secs 10352 markings/sec, 2335 secs 10256 markings/sec, 2340 secs 10102 markings/sec, 2345 secs 10060 markings/sec, 2350 secs 10253 markings/sec, 2355 secs 10363 markings/sec, 2360 secs 10660 markings/sec, 2365 secs 10705 markings/sec, 2370 secs 10332 markings/sec, 2375 secs 10355 markings/sec, 2380 secs 10467 markings/sec, 2385 secs 10396 markings/sec, 2390 secs 10256 markings/sec, 2395 secs 10553 markings/sec, 2400 secs 10652 markings/sec, 2405 secs 10512 markings/sec, 2410 secs 10161 markings/sec, 2415 secs 10212 markings/sec, 2420 secs 10046 markings/sec, 2425 secs 10400 markings/sec, 2430 secs 10335 markings/sec, 2435 secs 10695 markings/sec, 2440 secs 10590 markings/sec, 2445 secs 10397 markings/sec, 2450 secs 9991 markings/sec, 2455 secs 10040 markings/sec, 2460 secs 10271 markings/sec, 2465 secs 10436 markings/sec, 2470 secs 9921 markings/sec, 2475 secs 10469 markings/sec, 2480 secs 10392 markings/sec, 2485 secs 10420 markings/sec, 2490 secs 9999 markings/sec, 2495 secs 10575 markings/sec, 2500 secs 10358 markings/sec, 2505 secs 10682 markings/sec, 2510 secs 10088 markings/sec, 2515 secs 10042 markings/sec, 2520 secs 9870 markings/sec, 2525 secs 10375 markings/sec, 2530 secs 10309 markings/sec, 2535 secs 10547 markings/sec, 2540 secs 10033 markings/sec, 2545 secs 10557 markings/sec, 2550 secs 10296 markings/sec, 2555 secs 10285 markings/sec, 2560 secs 10390 markings/sec, 2565 secs 10231 markings/sec, 2570 secs 10403 markings/sec, 2575 secs 10094 markings/sec, 2580 secs 10372 markings/sec, 2585 secs 10774 markings/sec, 2590 secs 10087 markings/sec, 2595 secs 10169 markings/sec, 2600 secs 10088 markings/sec, 2605 secs 10406 markings/sec, 2610 secs 10321 markings/sec, 2615 secs 10303 markings/sec, 2620 secs 10266 markings/sec, 2625 secs 10081 markings/sec, 2630 secs 9913 markings/sec, 2635 secs 9856 markings/sec, 2640 secs 10425 markings/sec, 2645 secs 10751 markings/sec, 2650 secs 10621 markings/sec, 2655 secs 10156 markings/sec, 2660 secs 10234 markings/sec, 2665 secs 10406 markings/sec, 2670 secs 10403 markings/sec, 2675 secs 10398 markings/sec, 2680 secs 9861 markings/sec, 2685 secs 10145 markings/sec, 2690 secs 10098 markings/sec, 2695 secs 9810 markings/sec, 2700 secs 10190 markings/sec, 2705 secs 10300 markings/sec, 2710 secs 9918 markings/sec, 2715 secs 10203 markings/sec, 2720 secs 10448 markings/sec, 2725 secs 10428 markings/sec, 2730 secs 10257 markings/sec, 2735 secs 10585 markings/sec, 2740 secs 10319 markings/sec, 2745 secs 10394 markings/sec, 2750 secs 10506 markings/sec, 2755 secs 9951 markings/sec, 2760 secs 9965 markings/sec, 2765 secs 10103 markings/sec, 2770 secs 10383 markings/sec, 2775 secs 10183 markings/sec, 2780 secs 10069 markings/sec, 2785 secs 10335 markings/sec, 2790 secs 10064 markings/sec, 2795 secs 10585 markings/sec, 2800 secs 10386 markings/sec, 2805 secs 10332 markings/sec, 2810 secs 10441 markings/sec, 2815 secs 10398 markings/sec, 2820 secs 10117 markings/sec, 2825 secs 10187 markings/sec, 2830 secs 10123 markings/sec, 2835 secs 10144 markings/sec, 2840 secs 10193 markings/sec, 2845 secs 10273 markings/sec, 2850 secs 10123 markings/sec, 2855 secs 10082 markings/sec, 2860 secs 10062 markings/sec, 2865 secs 9953 markings/sec, 2870 secs 10338 markings/sec, 2875 secs 10333 markings/sec, 2880 secs 10414 markings/sec, 2885 secs 10428 markings/sec, 2890 secs 10389 markings/sec, 2895 secs 10375 markings/sec, 2900 secs 10517 markings/sec, 2905 secs 10350 markings/sec, 2910 secs 10312 markings/sec, 2915 secs 10087 markings/sec, 2920 secs 9975 markings/sec, 2925 secs 10393 markings/sec, 2930 secs 10000 markings/sec, 2935 secs 10050 markings/sec, 2940 secs 10133 markings/sec, 2945 secs 10223 markings/sec, 2950 secs 10374 markings/sec, 2955 secs 10165 markings/sec, 2960 secs 10279 markings/sec, 2965 secs 10399 markings/sec, 2970 secs 10046 markings/sec, 2975 secs 10212 markings/sec, 2980 secs 9767 markings/sec, 2985 secs 10178 markings/sec, 2990 secs 10201 markings/sec, 2995 secs 10185 markings/sec, 3000 secs 10154 markings/sec, 3005 secs 10135 markings/sec, 3010 secs 10137 markings/sec, 3015 secs 10322 markings/sec, 3020 secs 10113 markings/sec, 3025 secs 10272 markings/sec, 3030 secs 10355 markings/sec, 3035 secs 10265 markings/sec, 3040 secs 10250 markings/sec, 3045 secs 10350 markings/sec, 3050 secs 10116 markings/sec, 3055 secs 10060 markings/sec, 3060 secs 10139 markings/sec, 3065 secs 9988 markings/sec, 3070 secs 10044 markings/sec, 3075 secs 10066 markings/sec, 3080 secs 10167 markings/sec, 3085 secs 10242 markings/sec, 3090 secs 10168 markings/sec, 3095 secs 10256 markings/sec, 3100 secs 10254 markings/sec, 3105 secs 10469 markings/sec, 3110 secs 10575 markings/sec, 3115 secs 10480 markings/sec, 3120 secs 10262 markings/sec, 3125 secs 10339 markings/sec, 3130 secs 10227 markings/sec, 3135 secs 10172 markings/sec, 3140 secs 10218 markings/sec, 3145 secs 10175 markings/sec, 3150 secs 10215 markings/sec, 3155 secs 10117 markings/sec, 3160 secs 10119 markings/sec, 3165 secs 10380 markings/sec, 3170 secs 10337 markings/sec, 3175 secs 10187 markings/sec, 3180 secs 10222 markings/sec, 3185 secs 10270 markings/sec, 3190 secs 10314 markings/sec, 3195 secs 10252 markings/sec, 3200 secs 10317 markings/sec, 3205 secs 10221 markings/sec, 3210 secs 10289 markings/sec, 3215 secs 10457 markings/sec, 3220 secs 10283 markings/sec, 3225 secs 10266 markings/sec, 3230 secs 10418 markings/sec, 3235 secs 10594 markings/sec, 3240 secs 10546 markings/sec, 3245 secs 10343 markings/sec, 3250 secs 10256 markings/sec, 3255 secs 10167 markings/sec, 3260 secs 9957 markings/sec, 3265 secs 10368 markings/sec, 3270 secs 10438 markings/sec, 3275 secs 11106 markings/sec, 3280 secs 10219 markings/sec, 3285 secs 10437 markings/sec, 3290 secs 10418 markings/sec, 3295 secs 10475 markings/sec, 3300 secs 10195 markings/sec, 3305 secs 10305 markings/sec, 3310 secs 10461 markings/sec, 3315 secs 10654 markings/sec, 3320 secs 10605 markings/sec, 3325 secs 10407 markings/sec, 3330 secs 10357 markings/sec, 3335 secs 10618 markings/sec, 3340 secs 10425 markings/sec, 3345 secs 10653 markings/sec, 3350 secs 10699 markings/sec, 3355 secs 10268 markings/sec, 3360 secs 10442 markings/sec, 3365 secs 10483 markings/sec, 3370 secs 10433 markings/sec, 3375 secs 10468 markings/sec, 3380 secs 10403 markings/sec, 3385 secs 10552 markings/sec, 3390 secs 10560 markings/sec, 3395 secs 10387 markings/sec, 3400 secs 10230 markings/sec, 3405 secs 10273 markings/sec, 3410 secs 10100 markings/sec, 3415 secs 10203 markings/sec, 3420 secs 10618 markings/sec, 3425 secs 10724 markings/sec, 3430 secs 10633 markings/sec, 3435 secs 10141 markings/sec, 3440 secs 10288 markings/sec, 3445 secs 10319 markings/sec, 3450 secs 10198 markings/sec, 3455 secs 10604 markings/sec, 3460 secs 10404 markings/sec, 3465 secs 10545 markings/sec, 3470 secs 10625 markings/sec, 3475 secs 10375 markings/sec, 3480 secs 9811 markings/sec, 3485 secs 10269 markings/sec, 3490 secs 9975 markings/sec, 3495 secs 10272 markings/sec, 3500 secs 10078 markings/sec, 3505 secs 10535 markings/sec, 3510 secs 10377 markings/sec, 3515 secs 10380 markings/sec, 3520 secs 9970 markings/sec, 3525 secs 10119 markings/sec, 3530 secs 9771 markings/sec, 3535 secs 10834 markings/sec, 3540 secs 11399 markings/sec, 3545 secs 10620 markings/sec, 3550 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-050"
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-050, 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-155344534700057"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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