MCC'2019 - Execution of r049-oct2-155234405800876

About the Execution of LoLA for Dekker-PT-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6065.920	3594620.00	7334919.00	332.80	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405800876.qcow2',
Waiting for the VM to be ready (probing ssh)
.....................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Dekker-PT-050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405800876
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Feb 10 20:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 20:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 17:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 17:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 3 06:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 3 06:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 10 17:31 model.pnml

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

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

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 Dekker-PT-050-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554421311823

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Dekker-PT-050 @ 3570 seconds
vrfy: finished
info: timeLeft: -25
rslt: Output for GlobalProperties @ Dekker-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": "Thu Apr 4 23:41:51 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5961876,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"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": 20100,
"conflict_clusters": 1,
"places": 250,
"places_significant": 100,
"singleton_clusters": 0,
"transitions": 2600
},
"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": 30414093201713375576366966406747986832057064836514787
"composed": 1132,
"dead_branches": 0,
"generators": 1225,
"interrupted": false,
"real_computed": 93,
"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: 2850/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8000
lola: finding significant places
lola: 250 places, 2600 transitions, 100 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
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=simplecompresse
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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
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
lola: computed 1225 generators (93 in search tree, 1132 by
lola: representing 3.04141E+64 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 216085 fired transitions, 0 secs ||
lola: 1 tries, 426399 fired transitions, 5 secs ||
lola: 1 tries, 641572 fired transitions, 10 secs ||
lola: 1 tries, 858383 fired transitions, 15 secs ||
lola: 2 tries, 1069060 fired transitions, 20 secs ||
lola: 2 tries, 1269940 fired transitions, 25 secs ||
lola: 2 tries, 1471743 fired transitions, 30 secs ||
lola: 2 tries, 1672572 fired transitions, 35 secs ||
lola: 2 tries, 1874849 fired transitions, 40 secs ||
lola: 3 tries, 2077659 fired transitions, 45 secs ||
lola: 3 tries, 2294885 fired transitions, 50 secs ||
lola: 3 tries, 2509841 fired transitions, 55 secs ||
lola: 3 tries, 2740833 fired transitions, 60 secs ||
lola: 3 tries, 2974598 fired transitions, 65 secs ||
lola: 4 tries, 3196602 fired transitions, 70 secs ||
lola: 4 tries, 3417840 fired transitions, 75 secs ||
lola: 4 tries, 3638744 fired transitions, 80 secs ||
lola: 4 tries, 3859719 fired transitions, 85 secs ||
lola: 5 tries, 4080052 fired transitions, 90 secs ||
lola: 5 tries, 4299641 fired transitions, 95 secs ||
lola: 5 tries, 4518474 fired transitions, 100 secs ||
lola: 5 tries, 4737523 fired transitions, 105 secs ||
lola: 5 tries, 4951395 fired transitions, 110 secs ||
lola: 6 tries, 5173074 fired transitions, 115 secs ||
lola: 6 tries, 5385944 fired transitions, 120 secs ||
lola: 6 tries, 5606903 fired transitions, 125 secs ||
lola: 6 tries, 5826846 fired transitions, 130 secs ||
lola: 7 tries, 6047112 fired transitions, 135 secs ||
lola: 7 tries, 6268627 fired transitions, 140 secs ||
lola: 7 tries, 6489593 fired transitions, 145 secs ||
lola: 7 tries, 6710494 fired transitions, 150 secs ||
lola: 7 tries, 6931094 fired transitions, 155 secs ||
lola: 8 tries, 7152348 fired transitions, 160 secs ||
lola: 8 tries, 7374354 fired transitions, 165 secs ||
lola: 8 tries, 7595598 fired transitions, 170 secs ||
lola: 8 tries, 7816478 fired transitions, 175 secs ||
lola: 9 tries, 8038497 fired transitions, 180 secs ||
lola: 9 tries, 8259326 fired transitions, 185 secs ||
lola: 9 tries, 8480781 fired transitions, 190 secs ||
lola: 9 tries, 8702236 fired transitions, 195 secs ||
lola: 9 tries, 8923551 fired transitions, 200 secs ||
lola: 10 tries, 9144680 fired transitions, 205 secs ||
lola: 10 tries, 9366095 fired transitions, 210 secs ||
lola: 10 tries, 9587121 fired transitions, 215 secs ||
lola: 10 tries, 9758921 fired transitions, 220 secs ||
lola: 10 tries, 9885964 fired transitions, 225 secs ||
lola: 11 tries, 10010789 fired transitions, 230 secs ||
lola: 11 tries, 10126491 fired transitions, 235 secs ||
lola: 11 tries, 10242230 fired transitions, 240 secs ||
lola: 11 tries, 10357442 fired transitions, 245 secs ||
lola: 11 tries, 10473028 fired transitions, 250 secs ||
lola: 11 tries, 10680976 fired transitions, 255 secs ||
lola: 11 tries, 10900889 fired transitions, 260 secs ||
lola: 12 tries, 11122281 fired transitions, 265 secs ||
lola: 12 tries, 11343834 fired transitions, 270 secs ||
lola: 12 tries, 11562236 fired transitions, 275 secs ||
lola: 12 tries, 11778156 fired transitions, 280 secs ||
lola: 12 tries, 11994452 fired transitions, 285 secs ||
lola: 13 tries, 12214676 fired transitions, 290 secs ||
lola: 13 tries, 12431617 fired transitions, 295 secs ||
lola: 13 tries, 12647549 fired transitions, 300 secs ||
lola: 13 tries, 12868319 fired transitions, 305 secs ||
lola: 14 tries, 13096845 fired transitions, 310 secs ||
lola: 14 tries, 13326882 fired transitions, 315 secs ||
lola: 14 tries, 13557165 fired transitions, 320 secs ||
lola: 14 tries, 13789817 fired transitions, 325 secs ||
lola: 15 tries, 14020945 fired transitions, 330 secs ||
lola: 15 tries, 14238047 fired transitions, 335 secs ||
lola: 15 tries, 14464421 fired transitions, 340 secs ||
lola: 15 tries, 14694664 fired transitions, 345 secs ||
lola: 15 tries, 14926236 fired transitions, 350 secs ||
lola: 16 tries, 15150017 fired transitions, 355 secs ||
lola: 16 tries, 15369099 fired transitions, 360 secs ||
lola: 16 tries, 15587824 fired transitions, 365 secs ||
lola: 16 tries, 15806855 fired transitions, 370 secs ||
lola: 17 tries, 16025512 fired transitions, 375 secs ||
lola: 17 tries, 16241866 fired transitions, 380 secs ||
lola: 17 tries, 16459042 fired transitions, 385 secs ||
lola: 17 tries, 16679633 fired transitions, 390 secs ||
lola: 17 tries, 16896038 fired transitions, 395 secs ||
lola: 18 tries, 17112158 fired transitions, 400 secs ||
lola: 18 tries, 17281847 fired transitions, 405 secs ||
lola: 18 tries, 17502088 fired transitions, 410 secs ||
lola: 18 tries, 17723998 fired transitions, 415 secs ||
lola: 18 tries, 17944442 fired transitions, 420 secs ||
lola: 19 tries, 18072432 fired transitions, 425 secs ||
lola: 19 tries, 18216617 fired transitions, 430 secs ||
lola: 19 tries, 18432739 fired transitions, 435 secs ||
lola: 19 tries, 18650415 fired transitions, 440 secs ||
lola: 19 tries, 18869293 fired transitions, 445 secs ||
lola: 20 tries, 19087192 fired transitions, 450 secs ||
lola: 20 tries, 19283674 fired transitions, 455 secs ||
lola: 20 tries, 19408783 fired transitions, 460 secs ||
lola: 20 tries, 19624372 fired transitions, 465 secs ||
lola: 20 tries, 19841966 fired transitions, 470 secs ||
lola: 21 tries, 20061408 fired transitions, 475 secs ||
lola: 21 tries, 20276502 fired transitions, 480 secs ||
lola: 21 tries, 20497903 fired transitions, 485 secs ||
lola: 21 tries, 20715276 fired transitions, 490 secs ||
lola: 21 tries, 20932867 fired transitions, 495 secs ||
lola: 22 tries, 21155622 fired transitions, 500 secs ||
lola: 22 tries, 21388293 fired transitions, 505 secs ||
lola: 22 tries, 21614808 fired transitions, 510 secs ||
lola: 22 tries, 21846551 fired transitions, 515 secs ||
lola: 23 tries, 22071508 fired transitions, 520 secs ||
lola: 23 tries, 22288893 fired transitions, 525 secs ||
lola: 23 tries, 22509272 fired transitions, 530 secs ||
lola: 23 tries, 22730021 fired transitions, 535 secs ||
lola: 23 tries, 22950624 fired transitions, 540 secs ||
lola: 24 tries, 23170093 fired transitions, 545 secs ||
lola: 24 tries, 23391876 fired transitions, 550 secs ||
lola: 24 tries, 23614075 fired transitions, 555 secs ||
lola: 24 tries, 23834371 fired transitions, 560 secs ||
lola: 25 tries, 24056164 fired transitions, 565 secs ||
lola: 25 tries, 24276668 fired transitions, 570 secs ||
lola: 25 tries, 24497157 fired transitions, 575 secs ||
lola: 25 tries, 24717585 fired transitions, 580 secs ||
lola: 25 tries, 24938792 fired transitions, 585 secs ||
lola: 26 tries, 25161149 fired transitions, 590 secs ||
lola: 26 tries, 25384653 fired transitions, 595 secs ||
lola: 26 tries, 25609211 fired transitions, 600 secs ||
lola: 26 tries, 25831065 fired transitions, 605 secs ||
lola: 27 tries, 26052661 fired transitions, 610 secs ||
lola: 27 tries, 26274348 fired transitions, 615 secs ||
lola: 27 tries, 26487591 fired transitions, 620 secs ||
lola: 27 tries, 26665024 fired transitions, 625 secs ||
lola: 27 tries, 26779687 fired transitions, 630 secs ||
lola: 27 tries, 26895490 fired transitions, 635 secs ||
lola: 28 tries, 27011058 fired transitions, 640 secs ||
lola: 28 tries, 27126431 fired transitions, 645 secs ||
lola: 28 tries, 27242099 fired transitions, 650 secs ||
lola: 28 tries, 27357426 fired transitions, 655 secs ||
lola: 28 tries, 27482227 fired transitions, 660 secs ||
lola: 28 tries, 27671857 fired transitions, 665 secs ||
lola: 28 tries, 27891987 fired transitions, 670 secs ||
lola: 29 tries, 28111850 fired transitions, 675 secs ||
lola: 29 tries, 28243208 fired transitions, 680 secs ||
lola: 29 tries, 28359137 fired transitions, 685 secs ||
lola: 29 tries, 28474023 fired transitions, 690 secs ||
lola: 29 tries, 28589103 fired transitions, 695 secs ||
lola: 29 tries, 28704734 fired transitions, 700 secs ||
lola: 29 tries, 28820260 fired transitions, 705 secs ||
lola: 29 tries, 28935641 fired transitions, 710 secs ||
lola: 30 tries, 29051358 fired transitions, 715 secs ||
lola: 30 tries, 29166491 fired transitions, 720 secs ||
lola: 30 tries, 29282187 fired transitions, 725 secs ||
lola: 30 tries, 29397587 fired transitions, 730 secs ||
lola: 30 tries, 29512890 fired transitions, 735 secs ||
lola: 30 tries, 29705182 fired transitions, 740 secs ||
lola: 30 tries, 29927218 fired transitions, 745 secs ||
lola: 31 tries, 30149647 fired transitions, 750 secs ||
lola: 31 tries, 30371867 fired transitions, 755 secs ||
lola: 31 tries, 30592908 fired transitions, 760 secs ||
lola: 31 tries, 30815441 fired transitions, 765 secs ||
lola: 32 tries, 31038207 fired transitions, 770 secs ||
lola: 32 tries, 31260653 fired transitions, 775 secs ||
lola: 32 tries, 31482843 fired transitions, 780 secs ||
lola: 32 tries, 31705182 fired transitions, 785 secs ||
lola: 32 tries, 31927134 fired transitions, 790 secs ||
lola: 33 tries, 32156452 fired transitions, 795 secs ||
lola: 33 tries, 32391602 fired transitions, 800 secs ||
lola: 33 tries, 32627342 fired transitions, 805 secs ||
lola: 33 tries, 32862430 fired transitions, 810 secs ||
lola: 34 tries, 33091296 fired transitions, 815 secs ||
lola: 34 tries, 33312640 fired transitions, 820 secs ||
lola: 34 tries, 33532670 fired transitions, 825 secs ||
lola: 34 tries, 33753924 fired transitions, 830 secs ||
lola: 34 tries, 33973067 fired transitions, 835 secs ||
lola: 35 tries, 34193965 fired transitions, 840 secs ||
lola: 35 tries, 34414299 fired transitions, 845 secs ||
lola: 35 tries, 34635698 fired transitions, 850 secs ||
lola: 35 tries, 34858102 fired transitions, 855 secs ||
lola: 36 tries, 35079195 fired transitions, 860 secs ||
lola: 36 tries, 35299620 fired transitions, 865 secs ||
lola: 36 tries, 35522259 fired transitions, 870 secs ||
lola: 36 tries, 35744313 fired transitions, 875 secs ||
lola: 36 tries, 35887928 fired transitions, 880 secs ||
lola: 37 tries, 36003133 fired transitions, 885 secs ||
lola: 37 tries, 36127433 fired transitions, 890 secs ||
lola: 37 tries, 36251533 fired transitions, 895 secs ||
lola: 37 tries, 36375291 fired transitions, 900 secs ||
lola: 37 tries, 36534483 fired transitions, 905 secs ||
lola: 37 tries, 36768119 fired transitions, 910 secs ||
lola: 38 tries, 37003441 fired transitions, 915 secs ||
lola: 38 tries, 37240118 fired transitions, 920 secs ||
lola: 38 tries, 37475606 fired transitions, 925 secs ||
lola: 38 tries, 37710318 fired transitions, 930 secs ||
lola: 38 tries, 37940458 fired transitions, 935 secs ||
lola: 39 tries, 38156416 fired transitions, 940 secs ||
lola: 39 tries, 38367195 fired transitions, 945 secs ||
lola: 39 tries, 38577158 fired transitions, 950 secs ||
lola: 39 tries, 38789641 fired transitions, 955 secs ||
lola: 40 tries, 39001645 fired transitions, 960 secs ||
lola: 40 tries, 39231357 fired transitions, 965 secs ||
lola: 40 tries, 39452634 fired transitions, 970 secs ||
lola: 40 tries, 39681932 fired transitions, 975 secs ||
lola: 40 tries, 39907789 fired transitions, 980 secs ||
lola: 41 tries, 40134362 fired transitions, 985 secs ||
lola: 41 tries, 40360295 fired transitions, 990 secs ||
lola: 41 tries, 40585630 fired transitions, 995 secs ||
lola: 41 tries, 40817886 fired transitions, 1000 secs ||
lola: 42 tries, 41046789 fired transitions, 1005 secs ||
lola: 42 tries, 41264531 fired transitions, 1010 secs ||
lola: 42 tries, 41472197 fired transitions, 1015 secs ||
lola: 42 tries, 41688800 fired transitions, 1020 secs ||
lola: 42 tries, 41902758 fired transitions, 1025 secs ||
lola: 43 tries, 42123537 fired transitions, 1030 secs ||
lola: 43 tries, 42344777 fired transitions, 1035 secs ||
lola: 43 tries, 42566121 fired transitions, 1040 secs ||
lola: 43 tries, 42786974 fired transitions, 1045 secs ||
lola: 44 tries, 43007293 fired transitions, 1050 secs ||
lola: 44 tries, 43227205 fired transitions, 1055 secs ||
lola: 44 tries, 43447296 fired transitions, 1060 secs ||
lola: 44 tries, 43667924 fired transitions, 1065 secs ||
lola: 44 tries, 43890535 fired transitions, 1070 secs ||
lola: 45 tries, 44120083 fired transitions, 1075 secs ||
lola: 45 tries, 44353428 fired transitions, 1080 secs ||
lola: 45 tries, 44579573 fired transitions, 1085 secs ||
lola: 45 tries, 44804590 fired transitions, 1090 secs ||
lola: 46 tries, 45030211 fired transitions, 1095 secs ||
lola: 46 tries, 45266612 fired transitions, 1100 secs ||
lola: 46 tries, 45503867 fired transitions, 1105 secs ||
lola: 46 tries, 45739524 fired transitions, 1110 secs ||
lola: 46 tries, 45975551 fired transitions, 1115 secs ||
lola: 47 tries, 46199796 fired transitions, 1120 secs ||
lola: 47 tries, 46421061 fired transitions, 1125 secs ||
lola: 47 tries, 46632406 fired transitions, 1130 secs ||
lola: 47 tries, 46855201 fired transitions, 1135 secs ||
lola: 48 tries, 47079094 fired transitions, 1140 secs ||
lola: 48 tries, 47303277 fired transitions, 1145 secs ||
lola: 48 tries, 47528630 fired transitions, 1150 secs ||
lola: 48 tries, 47750274 fired transitions, 1155 secs ||
lola: 48 tries, 47974064 fired transitions, 1160 secs ||
lola: 49 tries, 48198734 fired transitions, 1165 secs ||
lola: 49 tries, 48423308 fired transitions, 1170 secs ||
lola: 49 tries, 48643396 fired transitions, 1175 secs ||
lola: 49 tries, 48862265 fired transitions, 1180 secs ||
lola: 50 tries, 49072028 fired transitions, 1185 secs ||
lola: 50 tries, 49288279 fired transitions, 1190 secs ||
lola: 50 tries, 49505506 fired transitions, 1195 secs ||
lola: 50 tries, 49716822 fired transitions, 1200 secs ||
lola: 50 tries, 49872939 fired transitions, 1205 secs ||
lola: 50 tries, 49988785 fired transitions, 1210 secs ||
lola: 51 tries, 50104459 fired transitions, 1215 secs ||
lola: 51 tries, 50219707 fired transitions, 1220 secs ||
lola: 51 tries, 50335601 fired transitions, 1225 secs ||
lola: 51 tries, 50450880 fired transitions, 1230 secs ||
lola: 51 tries, 50576952 fired transitions, 1235 secs ||
lola: 51 tries, 50801730 fired transitions, 1240 secs ||
lola: 52 tries, 51026325 fired transitions, 1245 secs ||
lola: 52 tries, 51262975 fired transitions, 1250 secs ||
lola: 52 tries, 51501670 fired transitions, 1255 secs ||
lola: 52 tries, 51738896 fired transitions, 1260 secs ||
lola: 52 tries, 51975698 fired transitions, 1265 secs ||
lola: 53 tries, 52200893 fired transitions, 1270 secs ||
lola: 53 tries, 52422367 fired transitions, 1275 secs ||
lola: 53 tries, 52643517 fired transitions, 1280 secs ||
lola: 53 tries, 52864208 fired transitions, 1285 secs ||
lola: 54 tries, 53085003 fired transitions, 1290 secs ||
lola: 54 tries, 53307202 fired transitions, 1295 secs ||
lola: 54 tries, 53528776 fired transitions, 1300 secs ||
lola: 54 tries, 53750006 fired transitions, 1305 secs ||
lola: 54 tries, 53972152 fired transitions, 1310 secs ||
lola: 55 tries, 54193425 fired transitions, 1315 secs ||
lola: 55 tries, 54356722 fired transitions, 1320 secs ||
lola: 55 tries, 54533025 fired transitions, 1325 secs ||
lola: 55 tries, 54749857 fired transitions, 1330 secs ||
lola: 55 tries, 54963012 fired transitions, 1335 secs ||
lola: 56 tries, 55178001 fired transitions, 1340 secs ||
lola: 56 tries, 55394899 fired transitions, 1345 secs ||
lola: 56 tries, 55609648 fired transitions, 1350 secs ||
lola: 56 tries, 55820697 fired transitions, 1355 secs ||
lola: 57 tries, 56042470 fired transitions, 1360 secs ||
lola: 57 tries, 56276236 fired transitions, 1365 secs ||
lola: 57 tries, 56511015 fired transitions, 1370 secs ||
lola: 57 tries, 56747412 fired transitions, 1375 secs ||
lola: 57 tries, 56981588 fired transitions, 1380 secs ||
lola: 58 tries, 57217363 fired transitions, 1385 secs ||
lola: 58 tries, 57447736 fired transitions, 1390 secs ||
lola: 58 tries, 57682472 fired transitions, 1395 secs ||
lola: 58 tries, 57914715 fired transitions, 1400 secs ||
lola: 59 tries, 58134736 fired transitions, 1405 secs ||
lola: 59 tries, 58368246 fired transitions, 1410 secs ||
lola: 59 tries, 58604970 fired transitions, 1415 secs ||
lola: 59 tries, 58841554 fired transitions, 1420 secs ||
lola: 60 tries, 59073114 fired transitions, 1425 secs ||
lola: 60 tries, 59294766 fired transitions, 1430 secs ||
lola: 60 tries, 59515915 fired transitions, 1435 secs ||
lola: 60 tries, 59737367 fired transitions, 1440 secs ||
lola: 60 tries, 59958795 fired transitions, 1445 secs ||
lola: 61 tries, 60180736 fired transitions, 1450 secs ||
lola: 61 tries, 60403187 fired transitions, 1455 secs ||
lola: 61 tries, 60625375 fired transitions, 1460 secs ||
lola: 61 tries, 60846886 fired transitions, 1465 secs ||
lola: 62 tries, 61069125 fired transitions, 1470 secs ||
lola: 62 tries, 61290950 fired transitions, 1475 secs ||
lola: 62 tries, 61513038 fired transitions, 1480 secs ||
lola: 62 tries, 61734877 fired transitions, 1485 secs ||
lola: 62 tries, 61957030 fired transitions, 1490 secs ||
lola: 63 tries, 62179417 fired transitions, 1495 secs ||
lola: 63 tries, 62398242 fired transitions, 1500 secs ||
lola: 63 tries, 62618517 fired transitions, 1505 secs ||
lola: 63 tries, 62833034 fired transitions, 1510 secs ||
lola: 64 tries, 63047675 fired transitions, 1515 secs ||
lola: 64 tries, 63263391 fired transitions, 1520 secs ||
lola: 64 tries, 63483775 fired transitions, 1525 secs ||
lola: 64 tries, 63702232 fired transitions, 1530 secs ||
lola: 64 tries, 63916965 fired transitions, 1535 secs ||
lola: 65 tries, 64137144 fired transitions, 1540 secs ||
lola: 65 tries, 64358345 fired transitions, 1545 secs ||
lola: 65 tries, 64579129 fired transitions, 1550 secs ||
lola: 65 tries, 64799969 fired transitions, 1555 secs ||
lola: 66 tries, 65020315 fired transitions, 1560 secs ||
lola: 66 tries, 65241269 fired transitions, 1565 secs ||
lola: 66 tries, 65462305 fired transitions, 1570 secs ||
lola: 66 tries, 65674197 fired transitions, 1575 secs ||
lola: 66 tries, 65886526 fired transitions, 1580 secs ||
lola: 67 tries, 66108342 fired transitions, 1585 secs ||
lola: 67 tries, 66296186 fired transitions, 1590 secs ||
lola: 67 tries, 66519252 fired transitions, 1595 secs ||
lola: 67 tries, 66742052 fired transitions, 1600 secs ||
lola: 67 tries, 66964426 fired transitions, 1605 secs ||
lola: 68 tries, 67188073 fired transitions, 1610 secs ||
lola: 68 tries, 67411025 fired transitions, 1615 secs ||
lola: 68 tries, 67634461 fired transitions, 1620 secs ||
lola: 68 tries, 67857302 fired transitions, 1625 secs ||
lola: 69 tries, 68084588 fired transitions, 1630 secs ||
lola: 69 tries, 68321425 fired transitions, 1635 secs ||
lola: 69 tries, 68559347 fired transitions, 1640 secs ||
lola: 69 tries, 68796277 fired transitions, 1645 secs ||
lola: 70 tries, 69031485 fired transitions, 1650 secs ||
lola: 70 tries, 69256458 fired transitions, 1655 secs ||
lola: 70 tries, 69481106 fired transitions, 1660 secs ||
lola: 70 tries, 69705788 fired transitions, 1665 secs ||
lola: 70 tries, 69930250 fired transitions, 1670 secs ||
lola: 71 tries, 70163833 fired transitions, 1675 secs ||
lola: 71 tries, 70402652 fired transitions, 1680 secs ||
lola: 71 tries, 70641070 fired transitions, 1685 secs ||
lola: 71 tries, 70881622 fired transitions, 1690 secs ||
lola: 72 tries, 71117336 fired transitions, 1695 secs ||
lola: 72 tries, 71355987 fired transitions, 1700 secs ||
lola: 72 tries, 71595248 fired transitions, 1705 secs ||
lola: 72 tries, 71832487 fired transitions, 1710 secs ||
lola: 73 tries, 72066675 fired transitions, 1715 secs ||
lola: 73 tries, 72303334 fired transitions, 1720 secs ||
lola: 73 tries, 72536141 fired transitions, 1725 secs ||
lola: 73 tries, 72771860 fired transitions, 1730 secs ||
lola: 74 tries, 73007426 fired transitions, 1735 secs ||
lola: 74 tries, 73231354 fired transitions, 1740 secs ||
lola: 74 tries, 73456229 fired transitions, 1745 secs ||
lola: 74 tries, 73680389 fired transitions, 1750 secs ||
lola: 74 tries, 73905244 fired transitions, 1755 secs ||
lola: 75 tries, 74137790 fired transitions, 1760 secs ||
lola: 75 tries, 74359332 fired transitions, 1765 secs ||
lola: 75 tries, 74583360 fired transitions, 1770 secs ||
lola: 75 tries, 74820579 fired transitions, 1775 secs ||
lola: 76 tries, 75054935 fired transitions, 1780 secs ||
lola: 76 tries, 75279503 fired transitions, 1785 secs ||
lola: 76 tries, 75504176 fired transitions, 1790 secs ||
lola: 76 tries, 75728783 fired transitions, 1795 secs ||
lola: 76 tries, 75951126 fired transitions, 1800 secs ||
lola: 77 tries, 76132271 fired transitions, 1805 secs ||
lola: 77 tries, 76366405 fired transitions, 1810 secs ||
lola: 77 tries, 76601784 fired transitions, 1815 secs ||
lola: 77 tries, 76836287 fired transitions, 1820 secs ||
lola: 78 tries, 77073519 fired transitions, 1825 secs ||
lola: 78 tries, 77312839 fired transitions, 1830 secs ||
lola: 78 tries, 77552050 fired transitions, 1835 secs ||
lola: 78 tries, 77788322 fired transitions, 1840 secs ||
lola: 79 tries, 78026002 fired transitions, 1845 secs ||
lola: 79 tries, 78250365 fired transitions, 1850 secs ||
lola: 79 tries, 78474986 fired transitions, 1855 secs ||
lola: 79 tries, 78699700 fired transitions, 1860 secs ||
lola: 79 tries, 78923105 fired transitions, 1865 secs ||
lola: 80 tries, 79147113 fired transitions, 1870 secs ||
lola: 80 tries, 79371243 fired transitions, 1875 secs ||
lola: 80 tries, 79595798 fired transitions, 1880 secs ||
lola: 80 tries, 79819522 fired transitions, 1885 secs ||
lola: 81 tries, 80044767 fired transitions, 1890 secs ||
lola: 81 tries, 80279503 fired transitions, 1895 secs ||
lola: 81 tries, 80515849 fired transitions, 1900 secs ||
lola: 81 tries, 80752595 fired transitions, 1905 secs ||
lola: 81 tries, 80992264 fired transitions, 1910 secs ||
lola: 82 tries, 81217310 fired transitions, 1915 secs ||
lola: 82 tries, 81441985 fired transitions, 1920 secs ||
lola: 82 tries, 81666787 fired transitions, 1925 secs ||
lola: 82 tries, 81891354 fired transitions, 1930 secs ||
lola: 83 tries, 82123691 fired transitions, 1935 secs ||
lola: 83 tries, 82360529 fired transitions, 1940 secs ||
lola: 83 tries, 82500662 fired transitions, 1945 secs ||
lola: 83 tries, 82627443 fired transitions, 1950 secs ||
lola: 83 tries, 82753395 fired transitions, 1955 secs ||
lola: 83 tries, 82877808 fired transitions, 1960 secs ||
lola: 84 tries, 83011133 fired transitions, 1965 secs ||
lola: 84 tries, 83232731 fired transitions, 1970 secs ||
lola: 84 tries, 83453769 fired transitions, 1975 secs ||
lola: 84 tries, 83666573 fired transitions, 1980 secs ||
lola: 84 tries, 83884728 fired transitions, 1985 secs ||
lola: 85 tries, 84105055 fired transitions, 1990 secs ||
lola: 85 tries, 84320992 fired transitions, 1995 secs ||
lola: 85 tries, 84541337 fired transitions, 2000 secs ||
lola: 85 tries, 84759981 fired transitions, 2005 secs ||
lola: 85 tries, 84978314 fired transitions, 2010 secs ||
lola: 86 tries, 85188941 fired transitions, 2015 secs ||
lola: 86 tries, 85398885 fired transitions, 2020 secs ||
lola: 86 tries, 85616954 fired transitions, 2025 secs ||
lola: 86 tries, 85820062 fired transitions, 2030 secs ||
lola: 87 tries, 86032815 fired transitions, 2035 secs ||
lola: 87 tries, 86237687 fired transitions, 2040 secs ||
lola: 87 tries, 86454032 fired transitions, 2045 secs ||
lola: 87 tries, 86662094 fired transitions, 2050 secs ||
lola: 87 tries, 86868639 fired transitions, 2055 secs ||
lola: 88 tries, 87081964 fired transitions, 2060 secs ||
lola: 88 tries, 87298972 fired transitions, 2065 secs ||
lola: 88 tries, 87524028 fired transitions, 2070 secs ||
lola: 88 tries, 87750137 fired transitions, 2075 secs ||
lola: 88 tries, 87976189 fired transitions, 2080 secs ||
lola: 89 tries, 88202785 fired transitions, 2085 secs ||
lola: 89 tries, 88427663 fired transitions, 2090 secs ||
lola: 89 tries, 88616766 fired transitions, 2095 secs ||
lola: 89 tries, 88843166 fired transitions, 2100 secs ||
lola: 90 tries, 89069282 fired transitions, 2105 secs ||
lola: 90 tries, 89296363 fired transitions, 2110 secs ||
lola: 90 tries, 89518327 fired transitions, 2115 secs ||
lola: 90 tries, 89734354 fired transitions, 2120 secs ||
lola: 90 tries, 89933113 fired transitions, 2125 secs ||
lola: 91 tries, 90141945 fired transitions, 2130 secs ||
lola: 91 tries, 90349957 fired transitions, 2135 secs ||
lola: 91 tries, 90558946 fired transitions, 2140 secs ||
lola: 91 tries, 90768275 fired transitions, 2145 secs ||
lola: 91 tries, 90979407 fired transitions, 2150 secs ||
lola: 92 tries, 91211708 fired transitions, 2155 secs ||
lola: 92 tries, 91447975 fired transitions, 2160 secs ||
lola: 92 tries, 91681740 fired transitions, 2165 secs ||
lola: 92 tries, 91915111 fired transitions, 2170 secs ||
lola: 93 tries, 92141759 fired transitions, 2175 secs ||
lola: 93 tries, 92367816 fired transitions, 2180 secs ||
lola: 93 tries, 92589160 fired transitions, 2185 secs ||
lola: 93 tries, 92811860 fired transitions, 2190 secs ||
lola: 94 tries, 93028541 fired transitions, 2195 secs ||
lola: 94 tries, 93249439 fired transitions, 2200 secs ||
lola: 94 tries, 93475979 fired transitions, 2205 secs ||
lola: 94 tries, 93702409 fired transitions, 2210 secs ||
lola: 94 tries, 93928466 fired transitions, 2215 secs ||
lola: 95 tries, 94155608 fired transitions, 2220 secs ||
lola: 95 tries, 94381335 fired transitions, 2225 secs ||
lola: 95 tries, 94607339 fired transitions, 2230 secs ||
lola: 95 tries, 94833426 fired transitions, 2235 secs ||
lola: 96 tries, 95059829 fired transitions, 2240 secs ||
lola: 96 tries, 95285815 fired transitions, 2245 secs ||
lola: 96 tries, 95511175 fired transitions, 2250 secs ||
lola: 96 tries, 95736642 fired transitions, 2255 secs ||
lola: 96 tries, 95963394 fired transitions, 2260 secs ||
lola: 97 tries, 96189592 fired transitions, 2265 secs ||
lola: 97 tries, 96415638 fired transitions, 2270 secs ||
lola: 97 tries, 96641018 fired transitions, 2275 secs ||
lola: 97 tries, 96865880 fired transitions, 2280 secs ||
lola: 98 tries, 97090552 fired transitions, 2285 secs ||
lola: 98 tries, 97315005 fired transitions, 2290 secs ||
lola: 98 tries, 97539555 fired transitions, 2295 secs ||
lola: 98 tries, 97764802 fired transitions, 2300 secs ||
lola: 98 tries, 97989572 fired transitions, 2305 secs ||
lola: 99 tries, 98227289 fired transitions, 2310 secs ||
lola: 99 tries, 98465386 fired transitions, 2315 secs ||
lola: 99 tries, 98706034 fired transitions, 2320 secs ||
lola: 99 tries, 98944343 fired transitions, 2325 secs ||
lola: 100 tries, 99182906 fired transitions, 2330 secs ||
lola: 100 tries, 99422304 fired transitions, 2335 secs ||
lola: 100 tries, 99663709 fired transitions, 2340 secs ||
lola: 100 tries, 99898119 fired transitions, 2345 secs ||
lola: 101 tries, 100136130 fired transitions, 2350 secs ||
lola: 101 tries, 100369541 fired transitions, 2355 secs ||
lola: 101 tries, 100603544 fired transitions, 2360 secs ||
lola: 101 tries, 100839660 fired transitions, 2365 secs ||
lola: 102 tries, 101077835 fired transitions, 2370 secs ||
lola: 102 tries, 101313917 fired transitions, 2375 secs ||
lola: 102 tries, 101549615 fired transitions, 2380 secs ||
lola: 102 tries, 101785506 fired transitions, 2385 secs ||
lola: 103 tries, 102016901 fired transitions, 2390 secs ||
lola: 103 tries, 102238522 fired transitions, 2395 secs ||
lola: 103 tries, 102453970 fired transitions, 2400 secs ||
lola: 103 tries, 102664936 fired transitions, 2405 secs ||
lola: 103 tries, 102874779 fired transitions, 2410 secs ||
lola: 104 tries, 103091063 fired transitions, 2415 secs ||
lola: 104 tries, 103313138 fired transitions, 2420 secs ||
lola: 104 tries, 103540931 fired transitions, 2425 secs ||
lola: 104 tries, 103774221 fired transitions, 2430 secs ||
lola: 105 tries, 104009676 fired transitions, 2435 secs ||
lola: 105 tries, 104235049 fired transitions, 2440 secs ||
lola: 105 tries, 104458933 fired transitions, 2445 secs ||
lola: 105 tries, 104609050 fired transitions, 2450 secs ||
lola: 105 tries, 104724249 fired transitions, 2455 secs ||
lola: 105 tries, 104915586 fired transitions, 2460 secs ||
lola: 106 tries, 105152564 fired transitions, 2465 secs ||
lola: 106 tries, 105390604 fired transitions, 2470 secs ||
lola: 106 tries, 105620616 fired transitions, 2475 secs ||
lola: 106 tries, 105851883 fired transitions, 2480 secs ||
lola: 107 tries, 106090104 fired transitions, 2485 secs ||
lola: 107 tries, 106326230 fired transitions, 2490 secs ||
lola: 107 tries, 106562000 fired transitions, 2495 secs ||
lola: 107 tries, 106801730 fired transitions, 2500 secs ||
lola: 108 tries, 107036489 fired transitions, 2505 secs ||
lola: 108 tries, 107262070 fired transitions, 2510 secs ||
lola: 108 tries, 107485612 fired transitions, 2515 secs ||
lola: 108 tries, 107708598 fired transitions, 2520 secs ||
lola: 108 tries, 107933791 fired transitions, 2525 secs ||
lola: 109 tries, 108163298 fired transitions, 2530 secs ||
lola: 109 tries, 108391432 fired transitions, 2535 secs ||
lola: 109 tries, 108619884 fired transitions, 2540 secs ||
lola: 109 tries, 108848744 fired transitions, 2545 secs ||
lola: 110 tries, 109077598 fired transitions, 2550 secs ||
lola: 110 tries, 109305661 fired transitions, 2555 secs ||
lola: 110 tries, 109534406 fired transitions, 2560 secs ||
lola: 110 tries, 109763879 fired transitions, 2565 secs ||
lola: 110 tries, 109995405 fired transitions, 2570 secs ||
lola: 111 tries, 110224911 fired transitions, 2575 secs ||
lola: 111 tries, 110454089 fired transitions, 2580 secs ||
lola: 111 tries, 110683249 fired transitions, 2585 secs ||
lola: 111 tries, 110912417 fired transitions, 2590 secs ||
lola: 112 tries, 111141863 fired transitions, 2595 secs ||
lola: 112 tries, 111370431 fired transitions, 2600 secs ||
lola: 112 tries, 111599513 fired transitions, 2605 secs ||
lola: 112 tries, 111828938 fired transitions, 2610 secs ||
lola: 113 tries, 112057716 fired transitions, 2615 secs ||
lola: 113 tries, 112287108 fired transitions, 2620 secs ||
lola: 113 tries, 112516204 fired transitions, 2625 secs ||
lola: 113 tries, 112745385 fired transitions, 2630 secs ||
lola: 113 tries, 112974809 fired transitions, 2635 secs ||
lola: 114 tries, 113217463 fired transitions, 2640 secs ||
lola: 114 tries, 113462218 fired transitions, 2645 secs ||
lola: 114 tries, 113707715 fired transitions, 2650 secs ||
lola: 114 tries, 113950623 fired transitions, 2655 secs ||
lola: 115 tries, 114182972 fired transitions, 2660 secs ||
lola: 115 tries, 114412792 fired transitions, 2665 secs ||
lola: 115 tries, 114642358 fired transitions, 2670 secs ||
lola: 115 tries, 114871918 fired transitions, 2675 secs ||
lola: 116 tries, 115097527 fired transitions, 2680 secs ||
lola: 116 tries, 115317800 fired transitions, 2685 secs ||
lola: 116 tries, 115536694 fired transitions, 2690 secs ||
lola: 116 tries, 115761116 fired transitions, 2695 secs ||
lola: 116 tries, 115983863 fired transitions, 2700 secs ||
lola: 117 tries, 116209251 fired transitions, 2705 secs ||
lola: 117 tries, 116433916 fired transitions, 2710 secs ||
lola: 117 tries, 116658643 fired transitions, 2715 secs ||
lola: 117 tries, 116882318 fired transitions, 2720 secs ||
lola: 118 tries, 117106343 fired transitions, 2725 secs ||
lola: 118 tries, 117330660 fired transitions, 2730 secs ||
lola: 118 tries, 117556625 fired transitions, 2735 secs ||
lola: 118 tries, 117779963 fired transitions, 2740 secs ||
lola: 119 tries, 118002190 fired transitions, 2745 secs ||
lola: 119 tries, 118224067 fired transitions, 2750 secs ||
lola: 119 tries, 118444524 fired transitions, 2755 secs ||
lola: 119 tries, 118659187 fired transitions, 2760 secs ||
lola: 119 tries, 118885982 fired transitions, 2765 secs ||
lola: 120 tries, 119115180 fired transitions, 2770 secs ||
lola: 120 tries, 119343961 fired transitions, 2775 secs ||
lola: 120 tries, 119572524 fired transitions, 2780 secs ||
lola: 120 tries, 119801062 fired transitions, 2785 secs ||
lola: 121 tries, 120031305 fired transitions, 2790 secs ||
lola: 121 tries, 120272693 fired transitions, 2795 secs ||
lola: 121 tries, 120515717 fired transitions, 2800 secs ||
lola: 121 tries, 120756486 fired transitions, 2805 secs ||
lola: 121 tries, 120999009 fired transitions, 2810 secs ||
lola: 122 tries, 121228093 fired transitions, 2815 secs ||
lola: 122 tries, 121456997 fired transitions, 2820 secs ||
lola: 122 tries, 121685123 fired transitions, 2825 secs ||
lola: 122 tries, 121913231 fired transitions, 2830 secs ||
lola: 123 tries, 122149552 fired transitions, 2835 secs ||
lola: 123 tries, 122390840 fired transitions, 2840 secs ||
lola: 123 tries, 122633576 fired transitions, 2845 secs ||
lola: 123 tries, 122876689 fired transitions, 2850 secs ||
lola: 124 tries, 123112168 fired transitions, 2855 secs ||
lola: 124 tries, 123340449 fired transitions, 2860 secs ||
lola: 124 tries, 123568812 fired transitions, 2865 secs ||
lola: 124 tries, 123796771 fired transitions, 2870 secs ||
lola: 125 tries, 124025227 fired transitions, 2875 secs ||
lola: 125 tries, 124253364 fired transitions, 2880 secs ||
lola: 125 tries, 124481701 fired transitions, 2885 secs ||
lola: 125 tries, 124709663 fired transitions, 2890 secs ||
lola: 125 tries, 124937427 fired transitions, 2895 secs ||
lola: 126 tries, 125164684 fired transitions, 2900 secs ||
lola: 126 tries, 125391618 fired transitions, 2905 secs ||
lola: 126 tries, 125618202 fired transitions, 2910 secs ||
lola: 126 tries, 125844596 fired transitions, 2915 secs ||
lola: 127 tries, 126071413 fired transitions, 2920 secs ||
lola: 127 tries, 126296556 fired transitions, 2925 secs ||
lola: 127 tries, 126522962 fired transitions, 2930 secs ||
lola: 127 tries, 126751653 fired transitions, 2935 secs ||
lola: 127 tries, 126978464 fired transitions, 2940 secs ||
lola: 128 tries, 127207682 fired transitions, 2945 secs ||
lola: 128 tries, 127437044 fired transitions, 2950 secs ||
lola: 128 tries, 127666399 fired transitions, 2955 secs ||
lola: 128 tries, 127895836 fired transitions, 2960 secs ||
lola: 129 tries, 128125396 fired transitions, 2965 secs ||
lola: 129 tries, 128355166 fired transitions, 2970 secs ||
lola: 129 tries, 128584469 fired transitions, 2975 secs ||
lola: 129 tries, 128814121 fired transitions, 2980 secs ||
lola: 130 tries, 129046404 fired transitions, 2985 secs ||
lola: 130 tries, 129290581 fired transitions, 2990 secs ||
lola: 130 tries, 129535855 fired transitions, 2995 secs ||
lola: 130 tries, 129779733 fired transitions, 3000 secs ||
lola: 131 tries, 130024276 fired transitions, 3005 secs ||
lola: 131 tries, 130254177 fired transitions, 3010 secs ||
lola: 131 tries, 130484293 fired transitions, 3015 secs ||
lola: 131 tries, 130713667 fired transitions, 3020 secs ||
lola: 131 tries, 130943734 fired transitions, 3025 secs ||
lola: 132 tries, 131173401 fired transitions, 3030 secs ||
lola: 132 tries, 131403197 fired transitions, 3035 secs ||
lola: 132 tries, 131632268 fired transitions, 3040 secs ||
lola: 132 tries, 131861924 fired transitions, 3045 secs ||
lola: 133 tries, 132091725 fired transitions, 3050 secs ||
lola: 133 tries, 132321408 fired transitions, 3055 secs ||
lola: 133 tries, 132551520 fired transitions, 3060 secs ||
lola: 133 tries, 132780951 fired transitions, 3065 secs ||
lola: 134 tries, 133010666 fired transitions, 3070 secs ||
lola: 134 tries, 133240925 fired transitions, 3075 secs ||
lola: 134 tries, 133470461 fired transitions, 3080 secs ||
lola: 134 tries, 133699796 fired transitions, 3085 secs ||
lola: 134 tries, 133929424 fired transitions, 3090 secs ||
lola: 135 tries, 134159213 fired transitions, 3095 secs ||
lola: 135 tries, 134389260 fired transitions, 3100 secs ||
lola: 135 tries, 134619375 fired transitions, 3105 secs ||
lola: 135 tries, 134849174 fired transitions, 3110 secs ||
lola: 136 tries, 135079182 fired transitions, 3115 secs ||
lola: 136 tries, 135308697 fired transitions, 3120 secs ||
lola: 136 tries, 135538333 fired transitions, 3125 secs ||
lola: 136 tries, 135767877 fired transitions, 3130 secs ||
lola: 136 tries, 135997695 fired transitions, 3135 secs ||
lola: 137 tries, 136227903 fired transitions, 3140 secs ||
lola: 137 tries, 136457242 fired transitions, 3145 secs ||
lola: 137 tries, 136686257 fired transitions, 3150 secs ||
lola: 137 tries, 136915180 fired transitions, 3155 secs ||
lola: 138 tries, 137144185 fired transitions, 3160 secs ||
lola: 138 tries, 137374356 fired transitions, 3165 secs ||
lola: 138 tries, 137604263 fired transitions, 3170 secs ||
lola: 138 tries, 137834012 fired transitions, 3175 secs ||
lola: 139 tries, 138063993 fired transitions, 3180 secs ||
lola: 139 tries, 138293819 fired transitions, 3185 secs ||
lola: 139 tries, 138523264 fired transitions, 3190 secs ||
lola: 139 tries, 138750609 fired transitions, 3195 secs ||
lola: 139 tries, 138976026 fired transitions, 3200 secs ||
lola: 140 tries, 139202156 fired transitions, 3205 secs ||
lola: 140 tries, 139427574 fired transitions, 3210 secs ||
lola: 140 tries, 139654238 fired transitions, 3215 secs ||
lola: 140 tries, 139881077 fired transitions, 3220 secs ||
lola: 141 tries, 140106362 fired transitions, 3225 secs ||
lola: 141 tries, 140330235 fired transitions, 3230 secs ||
lola: 141 tries, 140556383 fired transitions, 3235 secs ||
lola: 141 tries, 140782486 fired transitions, 3240 secs ||
lola: 142 tries, 141009073 fired transitions, 3245 secs ||
lola: 142 tries, 141250566 fired transitions, 3250 secs ||
lola: 142 tries, 141489456 fired transitions, 3255 secs ||
lola: 142 tries, 141728952 fired transitions, 3260 secs ||
lola: 142 tries, 141969225 fired transitions, 3265 secs ||
lola: 143 tries, 142207481 fired transitions, 3270 secs ||
lola: 143 tries, 142445963 fired transitions, 3275 secs ||
lola: 143 tries, 142685730 fired transitions, 3280 secs ||
lola: 143 tries, 142924123 fired transitions, 3285 secs ||
lola: 144 tries, 143156132 fired transitions, 3290 secs ||
lola: 144 tries, 143384932 fired transitions, 3295 secs ||
lola: 144 tries, 143614615 fired transitions, 3300 secs ||
lola: 144 tries, 143841872 fired transitions, 3305 secs ||
lola: 145 tries, 144068583 fired transitions, 3310 secs ||
lola: 145 tries, 144302902 fired transitions, 3315 secs ||
lola: 145 tries, 144544845 fired transitions, 3320 secs ||
lola: 145 tries, 144786556 fired transitions, 3325 secs ||
lola: 146 tries, 145030475 fired transitions, 3330 secs ||
lola: 146 tries, 145260510 fired transitions, 3335 secs ||
lola: 146 tries, 145490205 fired transitions, 3340 secs ||
lola: 146 tries, 145720261 fired transitions, 3345 secs ||
lola: 146 tries, 145950025 fired transitions, 3350 secs ||
lola: 147 tries, 146179959 fired transitions, 3355 secs ||
lola: 147 tries, 146410267 fired transitions, 3360 secs ||
lola: 147 tries, 146639875 fired transitions, 3365 secs ||
lola: 147 tries, 146869434 fired transitions, 3370 secs ||
lola: 148 tries, 147105518 fired transitions, 3375 secs ||
lola: 148 tries, 147351583 fired transitions, 3380 secs ||
lola: 148 tries, 147594944 fired transitions, 3385 secs ||
lola: 148 tries, 147838331 fired transitions, 3390 secs ||
lola: 149 tries, 148078429 fired transitions, 3395 secs ||
lola: 149 tries, 148308041 fired transitions, 3400 secs ||
lola: 149 tries, 148545485 fired transitions, 3405 secs ||
lola: 149 tries, 148787110 fired transitions, 3410 secs ||
lola: 150 tries, 149028837 fired transitions, 3415 secs ||
lola: 150 tries, 149272235 fired transitions, 3420 secs ||
lola: 150 tries, 149512828 fired transitions, 3425 secs ||
lola: 150 tries, 149757513 fired transitions, 3430 secs ||
lola: 150 tries, 149998934 fired transitions, 3435 secs ||
lola: 151 tries, 150227533 fired transitions, 3440 secs ||
lola: 151 tries, 150455214 fired transitions, 3445 secs ||
lola: 151 tries, 150683057 fired transitions, 3450 secs ||
lola: 151 tries, 150910612 fired transitions, 3455 secs ||
lola: 152 tries, 151147581 fired transitions, 3460 secs ||
lola: 152 tries, 151387616 fired transitions, 3465 secs ||
lola: 152 tries, 151629694 fired transitions, 3470 secs ||
lola: 152 tries, 151871187 fired transitions, 3475 secs ||
lola: 153 tries, 152106232 fired transitions, 3480 secs ||
lola: 153 tries, 152332549 fired transitions, 3485 secs ||
lola: 153 tries, 152552710 fired transitions, 3490 secs ||
lola: 153 tries, 152769709 fired transitions, 3495 secs ||
lola: 153 tries, 152988932 fired transitions, 3500 secs ||
lola: 154 tries, 153213606 fired transitions, 3505 secs ||
lola: 154 tries, 153442269 fired transitions, 3510 secs ||
lola: 154 tries, 153669584 fired transitions, 3515 secs ||
lola: 154 tries, 153897175 fired transitions, 3520 secs ||
lola: 155 tries, 154132773 fired transitions, 3525 secs ||
lola: 155 tries, 154374425 fired transitions, 3530 secs ||
lola: 155 tries, 154613844 fired transitions, 3535 secs ||
lola: 155 tries, 154857929 fired transitions, 3540 secs ||
lola: 156 tries, 155096911 fired transitions, 3545 secs ||
lola: 156 tries, 155326417 fired transitions, 3550 secs ||
lola: 156 tries, 155556349 fired transitions, 3555 secs ||
lola: 156 tries, 155785737 fired transitions, 3560 secs ||
lola: time limit reached - aborting
lola: memory consumption: 5955372 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 5961876 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1554424906443

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... xml LTLFireability.txt template) 179557289984.000000, (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--findpath) (--depthlimit) (--symmtimelimit) composition) 6897 markings, 551464 edges, 1379 markings/sec, 0 secs 15108 markings, 1283107 edges, 1642 markings/sec, 5 secs 22835 markings, 2054706 edges, 1545 markings/sec, 10 secs 29903 markings, 2814232 edges, 1414 markings/sec, 15 secs 37627 markings, 3541902 edges, 1545 markings/sec, 20 secs 45023 markings, 4253883 edges, 1479 markings/sec, 25 secs 52061 markings, 4964162 edges, 1408 markings/sec, 30 secs 59646 markings, 5696054 edges, 1517 markings/sec, 35 secs 67267 markings, 6439581 edges, 1524 markings/sec, 40 secs 73976 markings, 7171172 edges, 1342 markings/sec, 45 secs 82736 markings, 8053289 edges, 1752 markings/sec, 50 secs 90628 markings, 8887250 edges, 1578 markings/sec, 55 secs 98413 markings, 9698036 edges, 1557 markings/sec, 60 secs 106648 markings, 10535752 edges, 1647 markings/sec, 65 secs 114523 markings, 11377653 edges, 1575 markings/sec, 70 secs 122090 markings, 12221829 edges, 1513 markings/sec, 75 secs 129947 markings, 13060781 edges, 1571 markings/sec, 80 secs 138057 markings, 13880535 edges, 1622 markings/sec, 85 secs 145774 markings, 14687746 edges, 1543 markings/sec, 90 secs 153482 markings, 15521438 edges, 1542 markings/sec, 95 secs 161221 markings, 16392516 edges, 1548 markings/sec, 100 secs 168598 markings, 17200699 edges, 1475 markings/sec, 105 secs 176287 markings, 18013542 edges, 1538 markings/sec, 110 secs 184210 markings, 18821456 edges, 1585 markings/sec, 115 secs 191977 markings, 19653919 edges, 1553 markings/sec, 120 secs 199865 markings, 20475295 edges, 1578 markings/sec, 125 secs 208215 markings, 21346995 edges, 1670 markings/sec, 130 secs 215798 markings, 22146279 edges, 1517 markings/sec, 135 secs 223361 markings, 22965604 edges, 1513 markings/sec, 140 secs 230984 markings, 23791947 edges, 1525 markings/sec, 145 secs 238812 markings, 24608380 edges, 1566 markings/sec, 150 secs 246437 markings, 25437222 edges, 1525 markings/sec, 155 secs 254045 markings, 26241882 edges, 1522 markings/sec, 160 secs 261420 markings, 27026069 edges, 1475 markings/sec, 165 secs 268825 markings, 27865329 edges, 1481 markings/sec, 170 secs 276497 markings, 28700044 edges, 1534 markings/sec, 175 secs 283602 markings, 29480632 edges, 1421 markings/sec, 180 secs 291093 markings, 30367761 edges, 1498 markings/sec, 185 secs 298313 markings, 31189401 edges, 1444 markings/sec, 190 secs 305959 markings, 32001408 edges, 1529 markings/sec, 195 secs 313493 markings, 32822599 edges, 1507 markings/sec, 200 secs 321101 markings, 33676647 edges, 1522 markings/sec, 205 secs 328447 markings, 34470991 edges, 1469 markings/sec, 210 secs 335846 markings, 35279827 edges, 1480 markings/sec, 215 secs 341141 markings, 35894324 edges, 1059 markings/sec, 220 secs 344642 markings, 36340544 edges, 700 markings/sec, 225 secs 348463 markings, 36807377 edges, 764 markings/sec, 230 secs 351974 markings, 37272365 edges, 702 markings/sec, 235 secs 355627 markings, 37711892 edges, 731 markings/sec, 240 secs 359244 markings, 38142771 edges, 723 markings/sec, 245 secs 362754 markings, 38574429 edges, 702 markings/sec, 250 secs 369414 markings, 39345099 edges, 1332 markings/sec, 255 secs 376359 markings, 40144140 edges, 1389 markings/sec, 260 secs 383226 markings, 40922793 edges, 1373 markings/sec, 265 secs 390541 markings, 41736624 edges, 1463 markings/sec, 270 secs 397982 markings, 42540762 edges, 1488 markings/sec, 275 secs 405939 markings, 43418550 edges, 1591 markings/sec, 280 secs 413537 markings, 44272406 edges, 1520 markings/sec, 285 secs 419946 markings, 45053703 edges, 1282 markings/sec, 290 secs 427232 markings, 45850733 edges, 1457 markings/sec, 295 secs 434682 markings, 46667939 edges, 1490 markings/sec, 300 secs 441843 markings, 47470267 edges, 1432 markings/sec, 305 secs 449184 markings, 48285709 edges, 1468 markings/sec, 310 secs 456451 markings, 49125084 edges, 1453 markings/sec, 315 secs 463552 markings, 49987009 edges, 1420 markings/sec, 320 secs 471041 markings, 50815823 edges, 1498 markings/sec, 325 secs 478345 markings, 51650874 edges, 1461 markings/sec, 330 secs 485798 markings, 52459063 edges, 1491 markings/sec, 335 secs 492930 markings, 53259445 edges, 1426 markings/sec, 340 secs 499690 markings, 54059202 edges, 1352 markings/sec, 345 secs 506824 markings, 54878366 edges, 1427 markings/sec, 350 secs 513853 markings, 55678611 edges, 1406 markings/sec, 355 secs 521026 markings, 56479093 edges, 1435 markings/sec, 360 secs 528518 markings, 57323995 edges, 1498 markings/sec, 365 secs 535599 markings, 58138615 edges, 1416 markings/sec, 370 secs 542564 markings, 58936313 edges, 1393 markings/sec, 375 secs 549428 markings, 59730563 edges, 1373 markings/sec, 380 secs 556448 markings, 60549634 edges, 1404 markings/sec, 385 secs 561704 markings, 61274930 edges, 1051 markings/sec, 390 secs 568808 markings, 62067483 edges, 1421 markings/sec, 395 secs 576019 markings, 62854852 edges, 1442 markings/sec, 400 secs 581496 markings, 63474975 edges, 1095 markings/sec, 405 secs 588606 markings, 64273285 edges, 1422 markings/sec, 410 secs 595389 markings, 65071727 edges, 1357 markings/sec, 415 secs 603224 markings, 65935609 edges, 1567 markings/sec, 420 secs 607075 markings, 66412239 edges, 770 markings/sec, 425 secs 611458 markings, 66964118 edges, 877 markings/sec, 430 secs 618770 markings, 67781663 edges, 1462 markings/sec, 435 secs 625882 markings, 68612299 edges, 1422 markings/sec, 440 secs 632939 markings, 69429830 edges, 1411 markings/sec, 445 secs 640000 markings, 70247249 edges, 1412 markings/sec, 450 secs 645959 markings, 70955043 edges, 1192 markings/sec, 455 secs 649881 markings, 71451920 edges, 784 markings/sec, 460 secs 656515 markings, 72224771 edges, 1327 markings/sec, 465 secs 663992 markings, 73070760 edges, 1495 markings/sec, 470 secs 671715 markings, 73940586 edges, 1545 markings/sec, 475 secs 678870 markings, 74755282 edges, 1431 markings/sec, 480 secs 685957 markings, 75570568 edges, 1417 markings/sec, 485 secs 693041 markings, 76375526 edges, 1417 markings/sec, 490 secs 700201 markings, 77203585 edges, 1432 markings/sec, 495 secs 706688 markings, 78046350 edges, 1297 markings/sec, 500 secs 713533 markings, 78831728 edges, 1369 markings/sec, 505 secs 720794 markings, 79646214 edges, 1452 markings/sec, 510 secs 727991 markings, 80503446 edges, 1439 markings/sec, 515 secs 735467 markings, 81338084 edges, 1495 markings/sec, 520 secs 742690 markings, 82142509 edges, 1445 markings/sec, 525 secs 749376 markings, 82950157 edges, 1337 markings/sec, 530 secs 756329 markings, 83752526 edges, 1391 markings/sec, 535 secs 763168 markings, 84554620 edges, 1368 markings/sec, 540 secs 770301 markings, 85357522 edges, 1427 markings/sec, 545 secs 777142 markings, 86165589 edges, 1368 markings/sec, 550 secs 783923 markings, 86986357 edges, 1356 markings/sec, 555 secs 791168 markings, 87829748 edges, 1449 markings/sec, 560 secs 797998 markings, 88656978 edges, 1366 markings/sec, 565 secs 805493 markings, 89489508 edges, 1499 markings/sec, 570 secs 812789 markings, 90306184 edges, 1459 markings/sec, 575 secs 819954 markings, 91135976 edges, 1433 markings/sec, 580 secs 826890 markings, 91950601 edges, 1387 markings/sec, 585 secs 833725 markings, 92765990 edges, 1367 markings/sec, 590 secs 840930 markings, 93599299 edges, 1441 markings/sec, 595 secs 847703 markings, 94397659 edges, 1355 markings/sec, 600 secs 854458 markings, 95254806 edges, 1351 markings/sec, 605 secs 860789 markings, 96136574 edges, 1266 markings/sec, 610 secs 867487 markings, 96953336 edges, 1340 markings/sec, 615 secs 874282 markings, 97785071 edges, 1359 markings/sec, 620 secs 879905 markings, 98454119 edges, 1125 markings/sec, 625 secs 883403 markings, 98884330 edges, 700 markings/sec, 630 secs 886812 markings, 99330051 edges, 682 markings/sec, 635 secs 890370 markings, 99784395 edges, 712 markings/sec, 640 secs 893680 markings, 100239171 edges, 662 markings/sec, 645 secs 897201 markings, 100683419 edges, 704 markings/sec, 650 secs 900281 markings, 101103627 edges, 616 markings/sec, 655 secs 904183 markings, 101597296 edges, 780 markings/sec, 660 secs 910340 markings, 102309559 edges, 1231 markings/sec, 665 secs 918255 markings, 103186372 edges, 1583 markings/sec, 670 secs 926076 markings, 104068978 edges, 1564 markings/sec, 675 secs 930241 markings, 104600787 edges, 833 markings/sec, 680 secs 933641 markings, 105049786 edges, 680 markings/sec, 685 secs 937702 markings, 105551281 edges, 812 markings/sec, 690 secs 941101 markings, 106004607 edges, 680 markings/sec, 695 secs 944437 markings, 106432772 edges, 667 markings/sec, 700 secs 947723 markings, 106893746 edges, 657 markings/sec, 705 secs 950656 markings, 107323913 edges, 587 markings/sec, 710 secs 953913 markings, 107784505 edges, 651 markings/sec, 715 secs 957187 markings, 108244060 edges, 655 markings/sec, 720 secs 960524 markings, 108672942 edges, 667 markings/sec, 725 secs 964039 markings, 109119480 edges, 703 markings/sec, 730 secs 967300 markings, 109555135 edges, 652 markings/sec, 735 secs 973817 markings, 110297013 edges, 1303 markings/sec, 740 secs 981079 markings, 111131042 edges, 1452 markings/sec, 745 secs 987802 markings, 112004637 edges, 1345 markings/sec, 750 secs 994951 markings, 112857158 edges, 1430 markings/sec, 755 secs 1002692 markings, 113742917 edges, 1548 markings/sec, 760 secs 1009284 markings, 114551429 edges, 1318 markings/sec, 765 secs 1016008 markings, 115364140 edges, 1345 markings/sec, 770 secs 1023137 markings, 116215622 edges, 1426 markings/sec, 775 secs 1030364 markings, 117060711 edges, 1445 markings/sec, 780 secs 1037390 markings, 117903243 edges, 1405 markings/sec, 785 secs 1044549 markings, 118739700 edges, 1432 markings/sec, 790 secs 1051327 markings, 119536010 edges, 1356 markings/sec, 795 secs 1058267 markings, 120417643 edges, 1388 markings/sec, 800 secs 1065492 markings, 121267816 edges, 1445 markings/sec, 805 secs 1072873 markings, 122123870 edges, 1476 markings/sec, 810 secs 1079767 markings, 122962162 edges, 1379 markings/sec, 815 secs 1086806 markings, 123773032 edges, 1408 markings/sec, 820 secs 1093636 markings, 124584405 edges, 1366 markings/sec, 825 secs 1100077 markings, 125347722 edges, 1288 markings/sec, 830 secs 1106924 markings, 126159441 edges, 1369 markings/sec, 835 secs 1113837 markings, 127012248 edges, 1383 markings/sec, 840 secs 1120687 markings, 127791253 edges, 1370 markings/sec, 845 secs 1127461 markings, 128662735 edges, 1355 markings/sec, 850 secs 1134184 markings, 129446294 edges, 1345 markings/sec, 855 secs 1141743 markings, 130293500 edges, 1512 markings/sec, 860 secs 1148440 markings, 131097854 edges, 1339 markings/sec, 865 secs 1155238 markings, 131919098 edges, 1360 markings/sec, 870 secs 1161968 markings, 132714134 edges, 1346 markings/sec, 875 secs 1166349 markings, 133268772 edges, 876 markings/sec, 880 secs 1169522 markings, 133712361 edges, 635 markings/sec, 885 secs 1172916 markings, 134148416 edges, 679 markings/sec, 890 secs 1176056 markings, 134587838 edges, 628 markings/sec, 895 secs 1179599 markings, 135035358 edges, 709 markings/sec, 900 secs 1183817 markings, 135571837 edges, 844 markings/sec, 905 secs 1190710 markings, 136394951 edges, 1379 markings/sec, 910 secs 1197514 markings, 137198845 edges, 1361 markings/sec, 915 secs 1203750 markings, 137969376 edges, 1247 markings/sec, 920 secs 1210648 markings, 138797939 edges, 1380 markings/sec, 925 secs 1217349 markings, 139637974 edges, 1340 markings/sec, 930 secs 1224656 markings, 140479980 edges, 1461 markings/sec, 935 secs 1231749 markings, 141307739 edges, 1419 markings/sec, 940 secs 1238626 markings, 142125420 edges, 1375 markings/sec, 945 secs 1245799 markings, 142949714 edges, 1435 markings/sec, 950 secs 1252835 markings, 143797054 edges, 1407 markings/sec, 955 secs 1259834 markings, 144615272 edges, 1400 markings/sec, 960 secs 1266912 markings, 145431524 edges, 1416 markings/sec, 965 secs 1273967 markings, 146291319 edges, 1411 markings/sec, 970 secs 1281050 markings, 147113789 edges, 1417 markings/sec, 975 secs 1287720 markings, 147964759 edges, 1334 markings/sec, 980 secs 1294862 markings, 148806896 edges, 1428 markings/sec, 985 secs 1302364 markings, 149634497 edges, 1500 markings/sec, 990 secs 1309328 markings, 150479995 edges, 1393 markings/sec, 995 secs 1315704 markings, 151285090 edges, 1275 markings/sec, 1000 secs 1322468 markings, 152107472 edges, 1353 markings/sec, 1005 secs 1329654 markings, 152944065 edges, 1437 markings/sec, 1010 secs 1336502 markings, 153759365 edges, 1370 markings/sec, 1015 secs 1342896 markings, 154537291 edges, 1279 markings/sec, 1020 secs 1349551 markings, 155353774 edges, 1331 markings/sec, 1025 secs 1356432 markings, 156145663 edges, 1376 markings/sec, 1030 secs 1363220 markings, 156957302 edges, 1358 markings/sec, 1035 secs 1369710 markings, 157758305 edges, 1298 markings/sec, 1040 secs 1376157 markings, 158560690 edges, 1289 markings/sec, 1045 secs 1383447 markings, 159413506 edges, 1458 markings/sec, 1050 secs 1390579 markings, 160268957 edges, 1426 markings/sec, 1055 secs 1397920 markings, 161118772 edges, 1468 markings/sec, 1060 secs 1404753 markings, 161951308 edges, 1367 markings/sec, 1065 secs 1411266 markings, 162766170 edges, 1303 markings/sec, 1070 secs 1418043 markings, 163576644 edges, 1355 markings/sec, 1075 secs 1424724 markings, 164392283 edges, 1336 markings/sec, 1080 secs 1431214 markings, 165182354 edges, 1298 markings/sec, 1085 secs 1437847 markings, 166035132 edges, 1327 markings/sec, 1090 secs 1444420 markings, 166831753 edges, 1315 markings/sec, 1095 secs 1451270 markings, 167640764 edges, 1370 markings/sec, 1100 secs 1458079 markings, 168436954 edges, 1362 markings/sec, 1105 secs 1465227 markings, 169263189 edges, 1430 markings/sec, 1110 secs 1472112 markings, 170089009 edges, 1377 markings/sec, 1115 secs 1478947 markings, 170926639 edges, 1367 markings/sec, 1120 secs 1485605 markings, 171745755 edges, 1332 markings/sec, 1125 secs 1492770 markings, 172571665 edges, 1433 markings/sec, 1130 secs 1499340 markings, 173366421 edges, 1314 markings/sec, 1135 secs 1506426 markings, 174241680 edges, 1417 markings/sec, 1140 secs 1513382 markings, 175079780 edges, 1391 markings/sec, 1145 secs 1520289 markings, 175892411 edges, 1381 markings/sec, 1150 secs 1527068 markings, 176741584 edges, 1356 markings/sec, 1155 secs 1533703 markings, 177541247 edges, 1327 markings/sec, 1160 secs 1540750 markings, 178355755 edges, 1409 markings/sec, 1165 secs 1547388 markings, 179159466 edges, 1328 markings/sec, 1170 secs 1554632 markings, 180013640 edges, 1449 markings/sec, 1175 secs 1561217 markings, 180815851 edges, 1317 markings/sec, 1180 secs 1568408 markings, 181660887 edges, 1438 markings/sec, 1185 secs 1575153 markings, 182475397 edges, 1349 markings/sec, 1190 secs 1582254 markings, 183288586 edges, 1420 markings/sec, 1195 secs 1589190 markings, 184113796 edges, 1387 markings/sec, 1200 secs 1594178 markings, 184729627 edges, 998 markings/sec, 1205 secs 1597439 markings, 185177641 edges, 652 markings/sec, 1210 secs 1600759 markings, 185628804 edges, 664 markings/sec, 1215 secs 1603774 markings, 186073284 edges, 603 markings/sec, 1220 secs 1607112 markings, 186532123 edges, 668 markings/sec, 1225 secs 1610715 markings, 187012660 edges, 721 markings/sec, 1230 secs 1614193 markings, 187483998 edges, 696 markings/sec, 1235 secs 1620812 markings, 188318889 edges, 1324 markings/sec, 1240 secs 1627827 markings, 189164141 edges, 1403 markings/sec, 1245 secs 1634765 markings, 190019009 edges, 1388 markings/sec, 1250 secs 1641636 markings, 190844622 edges, 1374 markings/sec, 1255 secs 1648650 markings, 191699001 edges, 1403 markings/sec, 1260 secs 1655261 markings, 192576254 edges, 1322 markings/sec, 1265 secs 1662116 markings, 193411655 edges, 1371 markings/sec, 1270 secs 1668700 markings, 194263243 edges, 1317 markings/sec, 1275 secs 1675572 markings, 195086957 edges, 1374 markings/sec, 1280 secs 1682761 markings, 195932904 edges, 1438 markings/sec, 1285 secs 1689990 markings, 196795448 edges, 1446 markings/sec, 1290 secs 1696339 markings, 197616086 edges, 1270 markings/sec, 1295 secs 1702626 markings, 198445275 edges, 1257 markings/sec, 1300 secs 1709727 markings, 199266126 edges, 1420 markings/sec, 1305 secs 1716072 markings, 200105963 edges, 1269 markings/sec, 1310 secs 1722683 markings, 200922904 edges, 1322 markings/sec, 1315 secs 1727566 markings, 201552644 edges, 977 markings/sec, 1320 secs 1732679 markings, 202215048 edges, 1023 markings/sec, 1325 secs 1739750 markings, 203063470 edges, 1414 markings/sec, 1330 secs 1746391 markings, 203900158 edges, 1328 markings/sec, 1335 secs 1753148 markings, 204738717 edges, 1351 markings/sec, 1340 secs 1759872 markings, 205545294 edges, 1345 markings/sec, 1345 secs 1766464 markings, 206350004 edges, 1318 markings/sec, 1350 secs 1772830 markings, 207112197 edges, 1273 markings/sec, 1355 secs 1779478 markings, 207951149 edges, 1330 markings/sec, 1360 secs 1786410 markings, 208766230 edges, 1386 markings/sec, 1365 secs 1793200 markings, 209582357 edges, 1358 markings/sec, 1370 secs 1799765 markings, 210386041 edges, 1313 markings/sec, 1375 secs 1806737 markings, 211206440 edges, 1394 markings/sec, 1380 secs 1813413 markings, 212022260 edges, 1335 markings/sec, 1385 secs 1820271 markings, 212853839 edges, 1372 markings/sec, 1390 secs 1826613 markings, 213671941 edges, 1268 markings/sec, 1395 secs 1833677 markings, 214511017 edges, 1413 markings/sec, 1400 secs 1840425 markings, 215347802 edges, 1350 markings/sec, 1405 secs 1847388 markings, 216170330 edges, 1393 markings/sec, 1410 secs 1854096 markings, 217026680 edges, 1342 markings/sec, 1415 secs 1860983 markings, 217853554 edges, 1377 markings/sec, 1420 secs 1867414 markings, 218685496 edges, 1286 markings/sec, 1425 secs 1874382 markings, 219497203 edges, 1394 markings/sec, 1430 secs 1881482 markings, 220321153 edges, 1420 markings/sec, 1435 secs 1888374 markings, 221140360 edges, 1378 markings/sec, 1440 secs 1895037 markings, 221987252 edges, 1333 markings/sec, 1445 secs 1901802 markings, 222815604 edges, 1353 markings/sec, 1450 secs 1908343 markings, 223620803 edges, 1308 markings/sec, 1455 secs 1914700 markings, 224483566 edges, 1271 markings/sec, 1460 secs 1921509 markings, 225323662 edges, 1362 markings/sec, 1465 secs 1928221 markings, 226146042 edges, 1342 markings/sec, 1470 secs 1935160 markings, 226999873 edges, 1388 markings/sec, 1475 secs 1941910 markings, 227828977 edges, 1350 markings/sec, 1480 secs 1948723 markings, 228663155 edges, 1363 markings/sec, 1485 secs 1955418 markings, 229532494 edges, 1339 markings/sec, 1490 secs 1961911 markings, 230344154 edges, 1299 markings/sec, 1495 secs 1967834 markings, 231134636 edges, 1185 markings/sec, 1500 secs 1974238 markings, 231993574 edges, 1281 markings/sec, 1505 secs 1980938 markings, 232869474 edges, 1340 markings/sec, 1510 secs 1987812 markings, 233688491 edges, 1375 markings/sec, 1515 secs 1994863 markings, 234573873 edges, 1410 markings/sec, 1520 secs 2001098 markings, 235365883 edges, 1247 markings/sec, 1525 secs 2007661 markings, 236146966 edges, 1313 markings/sec, 1530 secs 2014153 markings, 236946177 edges, 1298 markings/sec, 1535 secs 2020685 markings, 237751487 edges, 1306 markings/sec, 1540 secs 2027882 markings, 238602246 edges, 1439 markings/sec, 1545 secs 2035348 markings, 239481895 edges, 1493 markings/sec, 1550 secs 2042802 markings, 240368093 edges, 1491 markings/sec, 1555 secs 2050294 markings, 241249151 edges, 1498 markings/sec, 1560 secs 2057646 markings, 242136166 edges, 1470 markings/sec, 1565 secs 2064895 markings, 243012745 edges, 1450 markings/sec, 1570 secs 2071376 markings, 243797820 edges, 1296 markings/sec, 1575 secs 2077630 markings, 244612726 edges, 1251 markings/sec, 1580 secs 2084105 markings, 245431668 edges, 1295 markings/sec, 1585 secs 2089596 markings, 246136947 edges, 1098 markings/sec, 1590 secs 2095938 markings, 246999615 edges, 1268 markings/sec, 1595 secs 2102748 markings, 247810751 edges, 1362 markings/sec, 1600 secs 2109426 markings, 248641282 edges, 1336 markings/sec, 1605 secs 2115757 markings, 249454152 edges, 1266 markings/sec, 1610 secs 2121604 markings, 250245263 edges, 1169 markings/sec, 1615 secs 2128039 markings, 251065945 edges, 1287 markings/sec, 1620 secs 2134539 markings, 251881321 edges, 1300 markings/sec, 1625 secs 2141630 markings, 252724118 edges, 1418 markings/sec, 1630 secs 2148802 markings, 253557541 edges, 1434 markings/sec, 1635 secs 2155539 markings, 254367409 edges, 1347 markings/sec, 1640 secs 2162535 markings, 255208958 edges, 1399 markings/sec, 1645 secs 2169241 markings, 256031492 edges, 1341 markings/sec, 1650 secs 2175643 markings, 256852390 edges, 1280 markings/sec, 1655 secs 2182155 markings, 257694245 edges, 1302 markings/sec, 1660 secs 2188474 markings, 258533959 edges, 1264 markings/sec, 1665 secs 2195337 markings, 259359448 edges, 1373 markings/sec, 1670 secs 2201965 markings, 260196779 edges, 1326 markings/sec, 1675 secs 2208707 markings, 261030693 edges, 1348 markings/sec, 1680 secs 2215542 markings, 261884461 edges, 1367 markings/sec, 1685 secs 2222230 markings, 262698807 edges, 1338 markings/sec, 1690 secs 2229024 markings, 263536466 edges, 1359 markings/sec, 1695 secs 2235874 markings, 264388645 edges, 1370 markings/sec, 1700 secs 2242185 markings, 265220137 edges, 1262 markings/sec, 1705 secs 2249080 markings, 266057965 edges, 1379 markings/sec, 1710 secs 2255866 markings, 266924640 edges, 1357 markings/sec, 1715 secs 2262725 markings, 267755764 edges, 1372 markings/sec, 1720 secs 2270005 markings, 268605057 edges, 1456 markings/sec, 1725 secs 2276686 markings, 269452287 edges, 1336 markings/sec, 1730 secs 2283269 markings, 270321383 edges, 1317 markings/sec, 1735 secs 2289637 markings, 271116496 edges, 1274 markings/sec, 1740 secs 2296175 markings, 271996579 edges, 1308 markings/sec, 1745 secs 2303088 markings, 272845175 edges, 1383 markings/sec, 1750 secs 2309569 markings, 273679346 edges, 1296 markings/sec, 1755 secs 2316022 markings, 274503039 edges, 1291 markings/sec, 1760 secs 2322528 markings, 275292790 edges, 1301 markings/sec, 1765 secs 2328897 markings, 276105191 edges, 1274 markings/sec, 1770 secs 2335574 markings, 276941175 edges, 1335 markings/sec, 1775 secs 2342730 markings, 277792137 edges, 1431 markings/sec, 1780 secs 2349018 markings, 278595314 edges, 1258 markings/sec, 1785 secs 2355600 markings, 279431849 edges, 1316 markings/sec, 1790 secs 2362238 markings, 280268611 edges, 1328 markings/sec, 1795 secs 2368751 markings, 281103166 edges, 1303 markings/sec, 1800 secs 2373955 markings, 281750933 edges, 1041 markings/sec, 1805 secs 2380898 markings, 282610928 edges, 1389 markings/sec, 1810 secs 2387833 markings, 283447633 edges, 1387 markings/sec, 1815 secs 2394652 markings, 284290178 edges, 1364 markings/sec, 1820 secs 2401170 markings, 285156763 edges, 1304 markings/sec, 1825 secs 2407799 markings, 285956570 edges, 1326 markings/sec, 1830 secs 2414408 markings, 286775935 edges, 1322 markings/sec, 1835 secs 2420794 markings, 287580851 edges, 1277 markings/sec, 1840 secs 2427434 markings, 288424794 edges, 1328 markings/sec, 1845 secs 2433230 markings, 289224030 edges, 1159 markings/sec, 1850 secs 2440143 markings, 290053352 edges, 1383 markings/sec, 1855 secs 2446999 markings, 290875583 edges, 1371 markings/sec, 1860 secs 2453804 markings, 291700879 edges, 1361 markings/sec, 1865 secs 2460391 markings, 292535231 edges, 1317 markings/sec, 1870 secs 2466835 markings, 293386558 edges, 1289 markings/sec, 1875 secs 2473131 markings, 294216832 edges, 1259 markings/sec, 1880 secs 2479419 markings, 295054835 edges, 1258 markings/sec, 1885 secs 2486099 markings, 295894600 edges, 1336 markings/sec, 1890 secs 2493130 markings, 296751918 edges, 1406 markings/sec, 1895 secs 2499867 markings, 297610487 edges, 1347 markings/sec, 1900 secs 2506792 markings, 298472694 edges, 1385 markings/sec, 1905 secs 2512681 markings, 299255689 edges, 1178 markings/sec, 1910 secs 2519258 markings, 300087787 edges, 1315 markings/sec, 1915 secs 2525739 markings, 300928812 edges, 1296 markings/sec, 1920 secs 2532114 markings, 301749902 edges, 1275 markings/sec, 1925 secs 2538908 markings, 302577745 edges, 1359 markings/sec, 1930 secs 2545300 markings, 303399996 edges, 1278 markings/sec, 1935 secs 2552324 markings, 304266880 edges, 1405 markings/sec, 1940 secs 2555767 markings, 304749294 edges, 689 markings/sec, 1945 secs 2558845 markings, 305191700 edges, 616 markings/sec, 1950 secs 2562017 markings, 305640060 edges, 634 markings/sec, 1955 secs 2565171 markings, 306102835 edges, 631 markings/sec, 1960 secs 2568537 markings, 306600354 edges, 673 markings/sec, 1965 secs 2574958 markings, 307435818 edges, 1284 markings/sec, 1970 secs 2581644 markings, 308269828 edges, 1337 markings/sec, 1975 secs 2588262 markings, 309090375 edges, 1324 markings/sec, 1980 secs 2595056 markings, 309933665 edges, 1359 markings/sec, 1985 secs 2601587 markings, 310754250 edges, 1306 markings/sec, 1990 secs 2608085 markings, 311596603 edges, 1300 markings/sec, 1995 secs 2614257 markings, 312408543 edges, 1234 markings/sec, 2000 secs 2620044 markings, 313207459 edges, 1157 markings/sec, 2005 secs 2626507 markings, 314031409 edges, 1293 markings/sec, 2010 secs 2632780 markings, 314844384 edges, 1255 markings/sec, 2015 secs 2639182 markings, 315676922 edges, 1280 markings/sec, 2020 secs 2645297 markings, 316480933 edges, 1223 markings/sec, 2025 secs 2651598 markings, 317299111 edges, 1260 markings/sec, 2030 secs 2657914 markings, 318109489 edges, 1263 markings/sec, 2035 secs 2664828 markings, 318967537 edges, 1383 markings/sec, 2040 secs 2671559 markings, 319789706 edges, 1346 markings/sec, 2045 secs 2678061 markings, 320596610 edges, 1300 markings/sec, 2050 secs 2684610 markings, 321440243 edges, 1310 markings/sec, 2055 secs 2691320 markings, 322257832 edges, 1342 markings/sec, 2060 secs 2698142 markings, 323100979 edges, 1364 markings/sec, 2065 secs 2704887 markings, 323934067 edges, 1349 markings/sec, 2070 secs 2711316 markings, 324764858 edges, 1286 markings/sec, 2075 secs 2717897 markings, 325599518 edges, 1316 markings/sec, 2080 secs 2724061 markings, 326411926 edges, 1233 markings/sec, 2085 secs 2730224 markings, 327202619 edges, 1233 markings/sec, 2090 secs 2735434 markings, 327919630 edges, 1042 markings/sec, 2095 secs 2741919 markings, 328742282 edges, 1297 markings/sec, 2100 secs 2748337 markings, 329561859 edges, 1284 markings/sec, 2105 secs 2754639 markings, 330359082 edges, 1260 markings/sec, 2110 secs 2760975 markings, 331197815 edges, 1267 markings/sec, 2115 secs 2767215 markings, 332041645 edges, 1248 markings/sec, 2120 secs 2773056 markings, 332786271 edges, 1168 markings/sec, 2125 secs 2779477 markings, 333586340 edges, 1284 markings/sec, 2130 secs 2785797 markings, 334447964 edges, 1264 markings/sec, 2135 secs 2791948 markings, 335227989 edges, 1230 markings/sec, 2140 secs 2798993 markings, 336098383 edges, 1409 markings/sec, 2145 secs 2805852 markings, 336939255 edges, 1372 markings/sec, 2150 secs 2812501 markings, 337767544 edges, 1330 markings/sec, 2155 secs 2819217 markings, 338626123 edges, 1343 markings/sec, 2160 secs 2825321 markings, 339480590 edges, 1221 markings/sec, 2165 secs 2831791 markings, 340347311 edges, 1294 markings/sec, 2170 secs 2838592 markings, 341164741 edges, 1360 markings/sec, 2175 secs 2844946 markings, 341997078 edges, 1271 markings/sec, 2180 secs 2851703 markings, 342817314 edges, 1351 markings/sec, 2185 secs 2858207 markings, 343646325 edges, 1301 markings/sec, 2190 secs 2864932 markings, 344456814 edges, 1345 markings/sec, 2195 secs 2871807 markings, 345297533 edges, 1375 markings/sec, 2200 secs 2878246 markings, 346165957 edges, 1288 markings/sec, 2205 secs 2884710 markings, 347002612 edges, 1293 markings/sec, 2210 secs 2891535 markings, 347866378 edges, 1365 markings/sec, 2215 secs 2898008 markings, 348676599 edges, 1295 markings/sec, 2220 secs 2904442 markings, 349521330 edges, 1287 markings/sec, 2225 secs 2911061 markings, 350349952 edges, 1324 markings/sec, 2230 secs 2917777 markings, 351224957 edges, 1343 markings/sec, 2235 secs 2924430 markings, 352081505 edges, 1331 markings/sec, 2240 secs 2930897 markings, 352899180 edges, 1293 markings/sec, 2245 secs 2937520 markings, 353702571 edges, 1325 markings/sec, 2250 secs 2944210 markings, 354544065 edges, 1338 markings/sec, 2255 secs 2950086 markings, 355335956 edges, 1175 markings/sec, 2260 secs 2957024 markings, 356164594 edges, 1388 markings/sec, 2265 secs 2963236 markings, 357049156 edges, 1242 markings/sec, 2270 secs 2969738 markings, 357881950 edges, 1300 markings/sec, 2275 secs 2976433 markings, 358737889 edges, 1339 markings/sec, 2280 secs 2982897 markings, 359559678 edges, 1293 markings/sec, 2285 secs 2989345 markings, 360384918 edges, 1290 markings/sec, 2290 secs 2996057 markings, 361212632 edges, 1342 markings/sec, 2295 secs 3002265 markings, 362012697 edges, 1242 markings/sec, 2300 secs 3008979 markings, 362861503 edges, 1343 markings/sec, 2305 secs 3015773 markings, 363732681 edges, 1359 markings/sec, 2310 secs 3022434 markings, 364587457 edges, 1332 markings/sec, 2315 secs 3029391 markings, 365458609 edges, 1391 markings/sec, 2320 secs 3035832 markings, 366341157 edges, 1288 markings/sec, 2325 secs 3042618 markings, 367202890 edges, 1357 markings/sec, 2330 secs 3049263 markings, 368053815 edges, 1329 markings/sec, 2335 secs 3056166 markings, 368883020 edges, 1381 markings/sec, 2340 secs 3062628 markings, 369703894 edges, 1292 markings/sec, 2345 secs 3068937 markings, 370537873 edges, 1262 markings/sec, 2350 secs 3075519 markings, 371372415 edges, 1316 markings/sec, 2355 secs 3082422 markings, 372195237 edges, 1381 markings/sec, 2360 secs 3088918 markings, 373037545 edges, 1299 markings/sec, 2365 secs 3095628 markings, 373865316 edges, 1342 markings/sec, 2370 secs 3102353 markings, 374715550 edges, 1345 markings/sec, 2375 secs 3109198 markings, 375550733 edges, 1369 markings/sec, 2380 secs 3115306 markings, 376359430 edges, 1222 markings/sec, 2385 secs 3121869 markings, 377175965 edges, 1313 markings/sec, 2390 secs 3128044 markings, 377994059 edges, 1235 markings/sec, 2395 secs 3134405 markings, 378813200 edges, 1272 markings/sec, 2400 secs 3140384 markings, 379616833 edges, 1196 markings/sec, 2405 secs 3146843 markings, 380461107 edges, 1292 markings/sec, 2410 secs 3153074 markings, 381282566 edges, 1246 markings/sec, 2415 secs 3159676 markings, 382119645 edges, 1320 markings/sec, 2420 secs 3166063 markings, 382974656 edges, 1277 markings/sec, 2425 secs 3172336 markings, 383820108 edges, 1255 markings/sec, 2430 secs 3178809 markings, 384702996 edges, 1295 markings/sec, 2435 secs 3185072 markings, 385532165 edges, 1253 markings/sec, 2440 secs 3192294 markings, 386417850 edges, 1444 markings/sec, 2445 secs 3196973 markings, 387023184 edges, 936 markings/sec, 2450 secs 3200021 markings, 387492372 edges, 610 markings/sec, 2455 secs 3205626 markings, 388194468 edges, 1121 markings/sec, 2460 secs 3212213 markings, 389011035 edges, 1317 markings/sec, 2465 secs 3218800 markings, 389840731 edges, 1317 markings/sec, 2470 secs 3225626 markings, 390660037 edges, 1365 markings/sec, 2475 secs 3232150 markings, 391491772 edges, 1305 markings/sec, 2480 secs 3238430 markings, 392292912 edges, 1256 markings/sec, 2485 secs 3245229 markings, 393170771 edges, 1360 markings/sec, 2490 secs 3251940 markings, 394000242 edges, 1342 markings/sec, 2495 secs 3258057 markings, 394848425 edges, 1223 markings/sec, 2500 secs 3265066 markings, 395714510 edges, 1402 markings/sec, 2505 secs 3271383 markings, 396537461 edges, 1263 markings/sec, 2510 secs 3277655 markings, 397367833 edges, 1254 markings/sec, 2515 secs 3284038 markings, 398185475 edges, 1277 markings/sec, 2520 secs 3290413 markings, 399048322 edges, 1275 markings/sec, 2525 secs 3297123 markings, 399891512 edges, 1342 markings/sec, 2530 secs 3304434 markings, 400780506 edges, 1462 markings/sec, 2535 secs 3311719 markings, 401672800 edges, 1457 markings/sec, 2540 secs 3318831 markings, 402571152 edges, 1422 markings/sec, 2545 secs 3326083 markings, 403462865 edges, 1450 markings/sec, 2550 secs 3333212 markings, 404350965 edges, 1426 markings/sec, 2555 secs 3340362 markings, 405243660 edges, 1430 markings/sec, 2560 secs 3346746 markings, 406085909 edges, 1277 markings/sec, 2565 secs 3353101 markings, 406912422 edges, 1271 markings/sec, 2570 secs 3359659 markings, 407785853 edges, 1312 markings/sec, 2575 secs 3366306 markings, 408651231 edges, 1329 markings/sec, 2580 secs 3372896 markings, 409491036 edges, 1318 markings/sec, 2585 secs 3379514 markings, 410330160 edges, 1324 markings/sec, 2590 secs 3386001 markings, 411214159 edges, 1297 markings/sec, 2595 secs 3393190 markings, 412083029 edges, 1438 markings/sec, 2600 secs 3399725 markings, 412939169 edges, 1307 markings/sec, 2605 secs 3406169 markings, 413768836 edges, 1289 markings/sec, 2610 secs 3412765 markings, 414648512 edges, 1319 markings/sec, 2615 secs 3419384 markings, 415490843 edges, 1324 markings/sec, 2620 secs 3425857 markings, 416348266 edges, 1295 markings/sec, 2625 secs 3432405 markings, 417202344 edges, 1310 markings/sec, 2630 secs 3438890 markings, 418043596 edges, 1297 markings/sec, 2635 secs 3445376 markings, 418876684 edges, 1297 markings/sec, 2640 secs 3451903 markings, 419708923 edges, 1305 markings/sec, 2645 secs 3458376 markings, 420563911 edges, 1295 markings/sec, 2650 secs 3465167 markings, 421391876 edges, 1358 markings/sec, 2655 secs 3471606 markings, 422221610 edges, 1288 markings/sec, 2660 secs 3478174 markings, 423063037 edges, 1314 markings/sec, 2665 secs 3484838 markings, 423919966 edges, 1333 markings/sec, 2670 secs 3491616 markings, 424781459 edges, 1356 markings/sec, 2675 secs 3498176 markings, 425603324 edges, 1312 markings/sec, 2680 secs 3504969 markings, 426455367 edges, 1359 markings/sec, 2685 secs 3511043 markings, 427307152 edges, 1215 markings/sec, 2690 secs 3517053 markings, 428101794 edges, 1202 markings/sec, 2695 secs 3523450 markings, 428973001 edges, 1279 markings/sec, 2700 secs 3529410 markings, 429773374 edges, 1192 markings/sec, 2705 secs 3536138 markings, 430638675 edges, 1346 markings/sec, 2710 secs 3542507 markings, 431454399 edges, 1274 markings/sec, 2715 secs 3548525 markings, 432258549 edges, 1204 markings/sec, 2720 secs 3555148 markings, 433076662 edges, 1325 markings/sec, 2725 secs 3560827 markings, 433898995 edges, 1136 markings/sec, 2730 secs 3566940 markings, 434743057 edges, 1223 markings/sec, 2735 secs 3573452 markings, 435550351 edges, 1302 markings/sec, 2740 secs 3579883 markings, 436374163 edges, 1286 markings/sec, 2745 secs 3586106 markings, 437212017 edges, 1245 markings/sec, 2750 secs 3592484 markings, 438029898 edges, 1276 markings/sec, 2755 secs 3599026 markings, 438850084 edges, 1308 markings/sec, 2760 secs 3605389 markings, 439684034 edges, 1273 markings/sec, 2765 secs 3611459 markings, 440498658 edges, 1214 markings/sec, 2770 secs 3617921 markings, 441306994 edges, 1292 markings/sec, 2775 secs 3624522 markings, 442161276 edges, 1320 markings/sec, 2780 secs 3631019 markings, 443016392 edges, 1299 markings/sec, 2785 secs 3637500 markings, 443859491 edges, 1296 markings/sec, 2790 secs 3644466 markings, 444704798 edges, 1393 markings/sec, 2795 secs 3651065 markings, 445534972 edges, 1320 markings/sec, 2800 secs 3658161 markings, 446394386 edges, 1419 markings/sec, 2805 secs 3664578 markings, 447272643 edges, 1283 markings/sec, 2810 secs 3670601 markings, 448114421 edges, 1205 markings/sec, 2815 secs 3677105 markings, 448949160 edges, 1301 markings/sec, 2820 secs 3683573 markings, 449787291 edges, 1294 markings/sec, 2825 secs 3690448 markings, 450651252 edges, 1375 markings/sec, 2830 secs 3696629 markings, 451480859 edges, 1236 markings/sec, 2835 secs 3703309 markings, 452364973 edges, 1336 markings/sec, 2840 secs 3709911 markings, 453211721 edges, 1320 markings/sec, 2845 secs 3716332 markings, 454055600 edges, 1284 markings/sec, 2850 secs 3722905 markings, 454907965 edges, 1315 markings/sec, 2855 secs 3729334 markings, 455737684 edges, 1286 markings/sec, 2860 secs 3735626 markings, 456570134 edges, 1258 markings/sec, 2865 secs 3742558 markings, 457446117 edges, 1386 markings/sec, 2870 secs 3749417 markings, 458354899 edges, 1372 markings/sec, 2875 secs 3756420 markings, 459220683 edges, 1401 markings/sec, 2880 secs 3762584 markings, 460022786 edges, 1233 markings/sec, 2885 secs 3769421 markings, 460874331 edges, 1367 markings/sec, 2890 secs 3776532 markings, 461769554 edges, 1422 markings/sec, 2895 secs 3783435 markings, 462625055 edges, 1381 markings/sec, 2900 secs 3789537 markings, 463443535 edges, 1220 markings/sec, 2905 secs 3795874 markings, 464268629 edges, 1267 markings/sec, 2910 secs 3802230 markings, 465124561 edges, 1271 markings/sec, 2915 secs 3808686 markings, 465936702 edges, 1291 markings/sec, 2920 secs 3815176 markings, 466747165 edges, 1298 markings/sec, 2925 secs 3821557 markings, 467583206 edges, 1276 markings/sec, 2930 secs 3827949 markings, 468405585 edges, 1278 markings/sec, 2935 secs 3834543 markings, 469267735 edges, 1319 markings/sec, 2940 secs 3840887 markings, 470090977 edges, 1269 markings/sec, 2945 secs 3847411 markings, 470894992 edges, 1305 markings/sec, 2950 secs 3853967 markings, 471709810 edges, 1311 markings/sec, 2955 secs 3860452 markings, 472562569 edges, 1297 markings/sec, 2960 secs 3866912 markings, 473407650 edges, 1292 markings/sec, 2965 secs 3873223 markings, 474264067 edges, 1262 markings/sec, 2970 secs 3879556 markings, 475139092 edges, 1267 markings/sec, 2975 secs 3886000 markings, 475988474 edges, 1289 markings/sec, 2980 secs 3893141 markings, 476860212 edges, 1428 markings/sec, 2985 secs 3899830 markings, 477689471 edges, 1338 markings/sec, 2990 secs 3906398 markings, 478554896 edges, 1314 markings/sec, 2995 secs 3913195 markings, 479436379 edges, 1359 markings/sec, 3000 secs 3919694 markings, 480305740 edges, 1300 markings/sec, 3005 secs 3925937 markings, 481132437 edges, 1249 markings/sec, 3010 secs 3932228 markings, 481974472 edges, 1258 markings/sec, 3015 secs 3938747 markings, 482816721 edges, 1304 markings/sec, 3020 secs 3945417 markings, 483686303 edges, 1334 markings/sec, 3025 secs 3951527 markings, 484557830 edges, 1222 markings/sec, 3030 secs 3957984 markings, 485410264 edges, 1291 markings/sec, 3035 secs 3964780 markings, 486271547 edges, 1359 markings/sec, 3040 secs 3971208 markings, 487118867 edges, 1286 markings/sec, 3045 secs 3977548 markings, 487907823 edges, 1268 markings/sec, 3050 secs 3983879 markings, 488785285 edges, 1266 markings/sec, 3055 secs 3989970 markings, 489615345 edges, 1218 markings/sec, 3060 secs 3996723 markings, 490471691 edges, 1351 markings/sec, 3065 secs 4003137 markings, 491341960 edges, 1283 markings/sec, 3070 secs 4009214 markings, 492170919 edges, 1215 markings/sec, 3075 secs 4015725 markings, 493010526 edges, 1302 markings/sec, 3080 secs 4021977 markings, 493856165 edges, 1250 markings/sec, 3085 secs 4028468 markings, 494742664 edges, 1298 markings/sec, 3090 secs 4034436 markings, 495554137 edges, 1194 markings/sec, 3095 secs 4040448 markings, 496376538 edges, 1202 markings/sec, 3100 secs 4046816 markings, 497207164 edges, 1274 markings/sec, 3105 secs 4053106 markings, 498050747 edges, 1258 markings/sec, 3110 secs 4059406 markings, 498911537 edges, 1260 markings/sec, 3115 secs 4066061 markings, 499787382 edges, 1331 markings/sec, 3120 secs 4072035 markings, 500641125 edges, 1195 markings/sec, 3125 secs 4078300 markings, 501468235 edges, 1253 markings/sec, 3130 secs 4084824 markings, 502320512 edges, 1305 markings/sec, 3135 secs 4090893 markings, 503141476 edges, 1214 markings/sec, 3140 secs 4097449 markings, 503964515 edges, 1311 markings/sec, 3145 secs 4104561 markings, 504841985 edges, 1422 markings/sec, 3150 secs 4111708 markings, 505735297 edges, 1429 markings/sec, 3155 secs 4118764 markings, 506623213 edges, 1411 markings/sec, 3160 secs 4124630 markings, 507441818 edges, 1173 markings/sec, 3165 secs 4131146 markings, 508283481 edges, 1303 markings/sec, 3170 secs 4137440 markings, 509100725 edges, 1259 markings/sec, 3175 secs 4143532 markings, 509943490 edges, 1218 markings/sec, 3180 secs 4149886 markings, 510800731 edges, 1271 markings/sec, 3185 secs 4156735 markings, 511663854 edges, 1370 markings/sec, 3190 secs 4163075 markings, 512525123 edges, 1268 markings/sec, 3195 secs 4169390 markings, 513403628 edges, 1263 markings/sec, 3200 secs 4176334 markings, 514253156 edges, 1389 markings/sec, 3205 secs 4183456 markings, 515148861 edges, 1424 markings/sec, 3210 secs 4189286 markings, 515943268 edges, 1166 markings/sec, 3215 secs 4195575 markings, 516792353 edges, 1258 markings/sec, 3220 secs 4202315 markings, 517665125 edges, 1348 markings/sec, 3225 secs 4208638 markings, 518481393 edges, 1265 markings/sec, 3230 secs 4215038 markings, 519313344 edges, 1280 markings/sec, 3235 secs 4221495 markings, 520159121 edges, 1291 markings/sec, 3240 secs 4227930 markings, 520974700 edges, 1287 markings/sec, 3245 secs 4234456 markings, 521890901 edges, 1305 markings/sec, 3250 secs 4240852 markings, 522736230 edges, 1279 markings/sec, 3255 secs 4247759 markings, 523586570 edges, 1381 markings/sec, 3260 secs 4254276 markings, 524448744 edges, 1303 markings/sec, 3265 secs 4260998 markings, 525304091 edges, 1344 markings/sec, 3270 secs 4267594 markings, 526139985 edges, 1319 markings/sec, 3275 secs 4274583 markings, 527009010 edges, 1398 markings/sec, 3280 secs 4281013 markings, 527876767 edges, 1286 markings/sec, 3285 secs 4287648 markings, 528712974 edges, 1327 markings/sec, 3290 secs 4293980 markings, 529565546 edges, 1266 markings/sec, 3295 secs 4300080 markings, 530400398 edges, 1220 markings/sec, 3300 secs 4306155 markings, 531244375 edges, 1215 markings/sec, 3305 secs 4313282 markings, 532130178 edges, 1425 markings/sec, 3310 secs 4318683 markings, 532936960 edges, 1080 markings/sec, 3315 secs 4325141 markings, 533770207 edges, 1292 markings/sec, 3320 secs 4332253 markings, 534606910 edges, 1422 markings/sec, 3325 secs 4338690 markings, 535441157 edges, 1287 markings/sec, 3330 secs 4344664 markings, 536307502 edges, 1195 markings/sec, 3335 secs 4350992 markings, 537138818 edges, 1266 markings/sec, 3340 secs 4357369 markings, 537958149 edges, 1275 markings/sec, 3345 secs 4363780 markings, 538802506 edges, 1282 markings/sec, 3350 secs 4370009 markings, 539660221 edges, 1246 markings/sec, 3355 secs 4376165 markings, 540450131 edges, 1231 markings/sec, 3360 secs 4382421 markings, 541302898 edges, 1251 markings/sec, 3365 secs 4388641 markings, 542137158 edges, 1244 markings/sec, 3370 secs 4395395 markings, 542979907 edges, 1351 markings/sec, 3375 secs 4401216 markings, 543786554 edges, 1164 markings/sec, 3380 secs 4407832 markings, 544637550 edges, 1323 markings/sec, 3385 secs 4414191 markings, 545514990 edges, 1272 markings/sec, 3390 secs 4420798 markings, 546407630 edges, 1321 markings/sec, 3395 secs 4427074 markings, 547241772 edges, 1255 markings/sec, 3400 secs 4433723 markings, 548135984 edges, 1330 markings/sec, 3405 secs 4440408 markings, 549007270 edges, 1337 markings/sec, 3410 secs 4447265 markings, 549861123 edges, 1371 markings/sec, 3415 secs 4454133 markings, 550693579 edges, 1374 markings/sec, 3420 secs 4460632 markings, 551537348 edges, 1300 markings/sec, 3425 secs 4467270 markings, 552381520 edges, 1328 markings/sec, 3430 secs 4473916 markings, 553249839 edges, 1329 markings/sec, 3435 secs 4480005 markings, 554087061 edges, 1218 markings/sec, 3440 secs 4486142 markings, 554968711 edges, 1227 markings/sec, 3445 secs 4492187 markings, 555829710 edges, 1209 markings/sec, 3450 secs 4498300 markings, 556712283 edges, 1223 markings/sec, 3455 secs 4504674 markings, 557557809 edges, 1275 markings/sec, 3460 secs 4511362 markings, 558373703 edges, 1338 markings/sec, 3465 secs 4517723 markings, 559192257 edges, 1272 markings/sec, 3470 secs 4524129 markings, 559984699 edges, 1281 markings/sec, 3475 secs 4530387 markings, 560805813 edges, 1252 markings/sec, 3480 secs 4536821 markings, 561647610 edges, 1287 markings/sec, 3485 secs 4543054 markings, 562476344 edges, 1247 markings/sec, 3490 secs 4549480 markings, 563307342 edges, 1285 markings/sec, 3495 secs 4555726 markings, 564164981 edges, 1249 markings/sec, 3500 secs 4562218 markings, 565032145 edges, 1298 markings/sec, 3505 secs 4568265 markings, 565869281 edges, 1209 markings/sec, 3510 secs 4574366 markings, 566735452 edges, 1220 markings/sec, 3515 secs 4580451 markings, 567543779 edges, 1217 markings/sec, 3520 secs 4586831 markings, 568382044 edges, 1276 markings/sec, 3525 secs 4593384 markings, 569189601 edges, 1311 markings/sec, 3530 secs 4600155 markings, 570027208 edges, 1354 markings/sec, 3535 secs 4606536 markings, 570862830 edges, 1276 markings/sec, 3540 secs 4613029 markings, 571690394 edges, 1299 markings/sec, 3545 secs 4619302 markings, 572509362 edges, 1255 markings/sec, 3550 secs 4625617 markings, 573351492 edges, 1263 markings/sec, 3555 secs 4631900 markings, 574183659 edges, 1257 markings/sec, 3560 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="Dekker-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 Dekker-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 r049-oct2-155234405800876"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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