sds.default-abs.ap-naive

Benchmark
Model: (polling)
Parameter(s)N = 7
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/polling/polling.7.prism  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):2.156132936477661s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(6,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(3,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(2,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(4,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(7,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(5,0,0,0,0,0,0,0,0): 0.133366 (+ 0.00078051)
(6,0,0,0,0,0,0,1,0): 0.000824679 (+ 0.00078051)
(5,0,0,0,0,0,1,0,0): 0.000824679 (+ 0.00078051)
(3,0,0,0,1,0,0,0,0): 0.000824679 (+ 0.00078051)
(2,0,0,1,0,0,0,0,0): 0.000824679 (+ 0.00078051)
(1,0,1,0,0,0,0,0,0): 0.000824679 (+ 0.00078051)
(4,0,0,0,0,1,0,0,0): 0.000824679 (+ 0.00078051)
(7,0,0,0,0,0,0,0,1): 0.000824679 (+ 0.00078051)
(1,1,1,0,0,0,0,0,0): 0.000819882 (+ 0.00078051)
(2,1,0,1,0,0,0,0,0): 0.000819882 (+ 0.00078051)
(7,1,0,0,0,0,0,0,1): 0.000819882 (+ 0.00078051)
(4,1,0,0,0,1,0,0,0): 0.000819882 (+ 0.00078051)
(6,1,0,0,0,0,0,1,0): 0.000819882 (+ 0.00078051)
(5,1,0,0,0,0,1,0,0): 0.000819882 (+ 0.00078051)
(3,1,0,0,1,0,0,0,0): 0.000819882 (+ 0.00078051)
(3,0,0,0,0,1,0,0,0): 0.000590499 (+ 0.00078051)
(5,0,0,0,0,0,0,1,0): 0.000590499 (+ 0.00078051)
(7,0,1,0,0,0,0,0,0): 0.000590499 (+ 0.00078051)
(1,0,0,1,0,0,0,0,0): 0.000590499 (+ 0.00078051)
(6,0,0,0,0,0,0,0,1): 0.000590499 (+ 0.00078051)
(2,0,0,0,1,0,0,0,0): 0.000590499 (+ 0.00078051)
(4,0,0,0,0,0,1,0,0): 0.000590499 (+ 0.00078051)
(4,0,0,0,0,0,0,1,0): 0.000399275 (+ 0.00078051)
(7,0,0,1,0,0,0,0,0): 0.000399275 (+ 0.00078051)
(6,0,1,0,0,0,0,0,0): 0.000399275 (+ 0.00078051)
(2,0,0,0,0,1,0,0,0): 0.000399275 (+ 0.00078051)
(5,0,0,0,0,0,0,0,1): 0.000399275 (+ 0.00078051)
(1,0,0,0,1,0,0,0,0): 0.000399275 (+ 0.00078051)
(3,0,0,0,0,0,1,0,0): 0.000399275 (+ 0.00078051)
(5,0,1,0,0,0,0,0,0): 0.000254569 (+ 0.00078051)
(1,0,0,0,0,1,0,0,0): 0.000254569 (+ 0.00078051)
(3,0,0,0,0,0,0,1,0): 0.000254569 (+ 0.00078051)
(4,0,0,0,0,0,0,0,1): 0.000254569 (+ 0.00078051)
(6,0,0,1,0,0,0,0,0): 0.000254569 (+ 0.00078051)
(7,0,0,0,1,0,0,0,0): 0.000254569 (+ 0.00078051)
(2,0,0,0,0,0,1,0,0): 0.000254569 (+ 0.00078051)
(4,0,1,0,0,0,0,0,0): 0.000136616 (+ 0.00078051)
(3,0,0,0,0,0,0,0,1): 0.000136616 (+ 0.00078051)
(5,0,0,1,0,0,0,0,0): 0.000136616 (+ 0.00078051)
(1,0,0,0,0,0,1,0,0): 0.000136616 (+ 0.00078051)
(6,0,0,0,1,0,0,0,0): 0.000136616 (+ 0.00078051)
(7,0,0,0,0,1,0,0,0): 0.000136616 (+ 0.00078051)
(2,0,0,0,0,0,0,1,0): 0.000136616 (+ 0.00078051)
(2,1,0,1,1,0,0,0,0): 0.000134591 (+ 0.00078051)
(5,1,0,0,0,0,1,1,0): 0.000134591 (+ 0.00078051)
(3,1,0,0,1,1,0,0,0): 0.000134591 (+ 0.00078051)
(7,1,1,0,0,0,0,0,1): 0.000134591 (+ 0.00078051)
(1,1,1,1,0,0,0,0,0): 0.000134591 (+ 0.00078051)
(4,1,0,0,0,1,1,0,0): 0.000134591 (+ 0.00078051)
(6,1,0,0,0,0,0,1,1): 0.000134591 (+ 0.00078051)
(7,0,1,0,0,0,0,0,1): 0.000107202 (+ 0.00078051)
(4,0,0,0,0,1,1,0,0): 0.000107202 (+ 0.00078051)
(1,0,1,1,0,0,0,0,0): 0.000107202 (+ 0.00078051)
(5,0,0,0,0,0,1,1,0): 0.000107202 (+ 0.00078051)
(6,0,0,0,0,0,0,1,1): 0.000107202 (+ 0.00078051)
(3,0,0,0,1,1,0,0,0): 0.000107202 (+ 0.00078051)
(2,0,0,1,1,0,0,0,0): 0.000107202 (+ 0.00078051)
(1,1,1,0,1,0,0,0,0): 9.28682e-05 (+ 0.00078051)
(7,1,0,1,0,0,0,0,1): 9.28682e-05 (+ 0.00078051)
(2,1,0,1,0,1,0,0,0): 9.28682e-05 (+ 0.00078051)
(4,1,0,0,0,1,0,1,0): 9.28682e-05 (+ 0.00078051)
(5,1,0,0,0,0,1,0,1): 9.28682e-05 (+ 0.00078051)
(3,1,0,0,1,0,1,0,0): 9.28682e-05 (+ 0.00078051)
(6,1,1,0,0,0,0,1,0): 9.28682e-05 (+ 0.00078051)
(4,1,0,0,0,1,1,1,0): 6.92961e-05 (+ 0.00078051)
(2,1,0,1,1,1,0,0,0): 6.92961e-05 (+ 0.00078051)
(7,1,1,1,0,0,0,0,1): 6.92961e-05 (+ 0.00078051)
(3,1,0,0,1,1,1,0,0): 6.92961e-05 (+ 0.00078051)
(1,1,1,1,1,0,0,0,0): 6.92961e-05 (+ 0.00078051)
(5,1,0,0,0,0,1,1,1): 6.92961e-05 (+ 0.00078051)
(6,1,1,0,0,0,0,1,1): 6.92961e-05 (+ 0.00078051)
(3,0,0,0,1,0,1,0,0): 6.83270e-05 (+ 0.00078051)
(2,0,0,1,0,1,0,0,0): 6.83270e-05 (+ 0.00078051)
(1,0,1,0,1,0,0,0,0): 6.83270e-05 (+ 0.00078051)
(6,0,1,0,0,0,0,1,0): 6.83270e-05 (+ 0.00078051)
(4,0,0,0,0,1,0,1,0): 6.83270e-05 (+ 0.00078051)
(5,0,0,0,0,0,1,0,1): 6.83270e-05 (+ 0.00078051)
(7,0,0,1,0,0,0,0,1): 6.83270e-05 (+ 0.00078051)
(4,1,0,0,0,1,0,0,1): 6.35322e-05 (+ 0.00078051)
(1,1,1,0,0,1,0,0,0): 6.35322e-05 (+ 0.00078051)
(6,1,0,1,0,0,0,1,0): 6.35322e-05 (+ 0.00078051)
(2,1,0,1,0,0,1,0,0): 6.35322e-05 (+ 0.00078051)
(3,1,0,0,1,0,0,1,0): 6.35322e-05 (+ 0.00078051)
(5,1,1,0,0,0,1,0,0): 6.35322e-05 (+ 0.00078051)
(7,1,0,0,1,0,0,0,1): 6.35322e-05 (+ 0.00078051)
(3,0,0,0,0,1,1,0,0): 5.09191e-05 (+ 0.00078051)
(7,0,1,1,0,0,0,0,0): 5.09191e-05 (+ 0.00078051)
(2,0,0,0,1,1,0,0,0): 5.09191e-05 (+ 0.00078051)
(5,0,0,0,0,0,0,1,1): 5.09191e-05 (+ 0.00078051)
(1,0,0,1,1,0,0,0,0): 5.09191e-05 (+ 0.00078051)
(4,0,0,0,0,0,1,1,0): 5.09191e-05 (+ 0.00078051)
(6,0,1,0,0,0,0,0,1): 5.09191e-05 (+ 0.00078051)
(5,0,0,0,1,0,0,0,0): 4.60511e-05 (+ 0.00078051)
(7,0,0,0,0,0,1,0,0): 4.60511e-05 (+ 0.00078051)
(3,0,1,0,0,0,0,0,0): 4.60511e-05 (+ 0.00078051)
(6,0,0,0,0,1,0,0,0): 4.60511e-05 (+ 0.00078051)
(2,0,0,0,0,0,0,0,1): 4.60511e-05 (+ 0.00078051)
(4,0,0,1,0,0,0,0,0): 4.60511e-05 (+ 0.00078051)
(1,0,0,0,0,0,0,1,0): 4.60511e-05 (+ 0.00078051)
(1,1,1,1,0,1,0,0,0): 4.31854e-05 (+ 0.00078051)
(2,1,0,1,1,0,1,0,0): 4.31854e-05 (+ 0.00078051)
(7,1,1,0,1,0,0,0,1): 4.31854e-05 (+ 0.00078051)
(6,1,0,1,0,0,0,1,1): 4.31854e-05 (+ 0.00078051)
(4,1,0,0,0,1,1,0,1): 4.31854e-05 (+ 0.00078051)
(5,1,1,0,0,0,1,1,0): 4.31854e-05 (+ 0.00078051)
(3,1,0,0,1,1,0,1,0): 4.31854e-05 (+ 0.00078051)
(3,1,0,0,1,0,0,0,1): 4.17407e-05 (+ 0.00078051)
(6,1,0,0,1,0,0,1,0): 4.17407e-05 (+ 0.00078051)
(5,1,0,1,0,0,1,0,0): 4.17407e-05 (+ 0.00078051)
(7,1,0,0,0,1,0,0,1): 4.17407e-05 (+ 0.00078051)
(4,1,1,0,0,1,0,0,0): 4.17407e-05 (+ 0.00078051)
(1,1,1,0,0,0,1,0,0): 4.17407e-05 (+ 0.00078051)
(2,1,0,1,0,0,0,1,0): 4.17407e-05 (+ 0.00078051)
(7,0,1,1,0,0,0,0,1): 3.86448e-05 (+ 0.00078051)
(1,0,1,1,1,0,0,0,0): 3.86448e-05 (+ 0.00078051)
(2,0,0,1,1,1,0,0,0): 3.86448e-05 (+ 0.00078051)
(3,0,0,0,1,1,1,0,0): 3.86448e-05 (+ 0.00078051)
(5,0,0,0,0,0,1,1,1): 3.86448e-05 (+ 0.00078051)
(6,0,1,0,0,0,0,1,1): 3.86448e-05 (+ 0.00078051)
(4,0,0,0,0,1,1,1,0): 3.86448e-05 (+ 0.00078051)
(7,0,0,0,1,0,0,0,1): 3.83267e-05 (+ 0.00078051)
(5,0,1,0,0,0,1,0,0): 3.83267e-05 (+ 0.00078051)
(1,0,1,0,0,1,0,0,0): 3.83267e-05 (+ 0.00078051)
(2,0,0,1,0,0,1,0,0): 3.83267e-05 (+ 0.00078051)
(4,0,0,0,0,1,0,0,1): 3.83267e-05 (+ 0.00078051)
(6,0,0,1,0,0,0,1,0): 3.83267e-05 (+ 0.00078051)
(3,0,0,0,1,0,0,1,0): 3.83267e-05 (+ 0.00078051)
(3,1,0,0,1,0,1,1,0): 3.13486e-05 (+ 0.00078051)
(4,1,0,0,0,1,0,1,1): 3.13486e-05 (+ 0.00078051)
(7,1,0,1,1,0,0,0,1): 3.13486e-05 (+ 0.00078051)
(2,1,0,1,0,1,1,0,0): 3.13486e-05 (+ 0.00078051)
(5,1,1,0,0,0,1,0,1): 3.13486e-05 (+ 0.00078051)
(6,1,1,1,0,0,0,1,0): 3.13486e-05 (+ 0.00078051)
(1,1,1,0,1,1,0,0,0): 3.13486e-05 (+ 0.00078051)
(1,0,0,1,0,1,0,0,0): 2.78970e-05 (+ 0.00078051)
(2,0,0,0,1,0,1,0,0): 2.78970e-05 (+ 0.00078051)
(4,0,0,0,0,0,1,0,1): 2.78970e-05 (+ 0.00078051)
(7,0,1,0,1,0,0,0,0): 2.78970e-05 (+ 0.00078051)
(6,0,0,1,0,0,0,0,1): 2.78970e-05 (+ 0.00078051)
(5,0,1,0,0,0,0,1,0): 2.78970e-05 (+ 0.00078051)
(3,0,0,0,0,1,0,1,0): 2.78970e-05 (+ 0.00078051)
(5,1,0,0,1,0,1,0,0): 2.67773e-05 (+ 0.00078051)
(2,1,0,1,0,0,0,0,1): 2.67773e-05 (+ 0.00078051)
(7,1,0,0,0,0,1,0,1): 2.67773e-05 (+ 0.00078051)
(6,1,0,0,0,1,0,1,0): 2.67773e-05 (+ 0.00078051)
(4,1,0,1,0,1,0,0,0): 2.67773e-05 (+ 0.00078051)
(1,1,1,0,0,0,0,1,0): 2.67773e-05 (+ 0.00078051)
(3,1,1,0,1,0,0,0,0): 2.67773e-05 (+ 0.00078051)
(1,1,1,1,0,0,1,0,0): 2.64646e-05 (+ 0.00078051)
(3,1,0,0,1,1,0,0,1): 2.64646e-05 (+ 0.00078051)
(5,1,0,1,0,0,1,1,0): 2.64646e-05 (+ 0.00078051)
(6,1,0,0,1,0,0,1,1): 2.64646e-05 (+ 0.00078051)
(7,1,1,0,0,1,0,0,1): 2.64646e-05 (+ 0.00078051)
(2,1,0,1,1,0,0,1,0): 2.64646e-05 (+ 0.00078051)
(4,1,1,0,0,1,1,0,0): 2.64646e-05 (+ 0.00078051)
(7,1,1,1,1,0,0,0,1): 2.63080e-05 (+ 0.00078051)
(2,1,0,1,1,1,1,0,0): 2.63080e-05 (+ 0.00078051)
(5,1,1,0,0,0,1,1,1): 2.63080e-05 (+ 0.00078051)
(3,1,0,0,1,1,1,1,0): 2.63080e-05 (+ 0.00078051)
(1,1,1,1,1,1,0,0,0): 2.63080e-05 (+ 0.00078051)
(6,1,1,1,0,0,0,1,1): 2.63080e-05 (+ 0.00078051)
(4,1,0,0,0,1,1,1,1): 2.63080e-05 (+ 0.00078051)
(2,0,0,0,0,1,1,0,0): 2.10547e-05 (+ 0.00078051)
(3,0,0,0,0,0,1,1,0): 2.10547e-05 (+ 0.00078051)
(4,0,0,0,0,0,0,1,1): 2.10547e-05 (+ 0.00078051)
(1,0,0,0,1,1,0,0,0): 2.10547e-05 (+ 0.00078051)
(7,0,0,1,1,0,0,0,0): 2.10547e-05 (+ 0.00078051)
(5,0,1,0,0,0,0,0,1): 2.10547e-05 (+ 0.00078051)
(6,0,1,1,0,0,0,0,0): 2.10547e-05 (+ 0.00078051)
(7,1,0,1,0,1,0,0,1): 1.93988e-05 (+ 0.00078051)
(4,1,1,0,0,1,0,1,0): 1.93988e-05 (+ 0.00078051)
(2,1,0,1,0,1,0,1,0): 1.93988e-05 (+ 0.00078051)
(3,1,0,0,1,0,1,0,1): 1.93988e-05 (+ 0.00078051)
(1,1,1,0,1,0,1,0,0): 1.93988e-05 (+ 0.00078051)
(5,1,0,1,0,0,1,0,1): 1.93988e-05 (+ 0.00078051)
(6,1,1,0,1,0,0,1,0): 1.93988e-05 (+ 0.00078051)
(3,0,0,0,1,0,0,0,1): 1.93945e-05 (+ 0.00078051)
(4,0,1,0,0,1,0,0,0): 1.93945e-05 (+ 0.00078051)
(6,0,0,0,1,0,0,1,0): 1.93945e-05 (+ 0.00078051)
(5,0,0,1,0,0,1,0,0): 1.93945e-05 (+ 0.00078051)
(2,0,0,1,0,0,0,1,0): 1.93945e-05 (+ 0.00078051)
(7,0,0,0,0,1,0,0,1): 1.93945e-05 (+ 0.00078051)
(1,0,1,0,0,0,1,0,0): 1.93945e-05 (+ 0.00078051)
(3,0,0,0,1,1,0,1,0): 1.77522e-05 (+ 0.00078051)
(4,0,0,0,0,1,1,0,1): 1.77522e-05 (+ 0.00078051)
(6,0,0,1,0,0,0,1,1): 1.77522e-05 (+ 0.00078051)
(1,0,1,1,0,1,0,0,0): 1.77522e-05 (+ 0.00078051)
(5,0,1,0,0,0,1,1,0): 1.77522e-05 (+ 0.00078051)
(2,0,0,1,1,0,1,0,0): 1.77522e-05 (+ 0.00078051)
(7,0,1,0,1,0,0,0,1): 1.77522e-05 (+ 0.00078051)
(2,1,1,1,0,0,0,0,0): 1.74942e-05 (+ 0.00078051)
(7,1,0,0,0,0,0,1,1): 1.74942e-05 (+ 0.00078051)
(5,1,0,0,0,1,1,0,0): 1.74942e-05 (+ 0.00078051)
(1,1,1,0,0,0,0,0,1): 1.74942e-05 (+ 0.00078051)
(3,1,0,1,1,0,0,0,0): 1.74942e-05 (+ 0.00078051)
(4,1,0,0,1,1,0,0,0): 1.74942e-05 (+ 0.00078051)
(6,1,0,0,0,0,1,1,0): 1.74942e-05 (+ 0.00078051)
(4,1,0,1,0,1,1,0,0): 1.64873e-05 (+ 0.00078051)
(2,1,0,1,1,0,0,0,1): 1.64873e-05 (+ 0.00078051)
(7,1,1,0,0,0,1,0,1): 1.64873e-05 (+ 0.00078051)
(3,1,1,0,1,1,0,0,0): 1.64873e-05 (+ 0.00078051)
(6,1,0,0,0,1,0,1,1): 1.64873e-05 (+ 0.00078051)
(5,1,0,0,1,0,1,1,0): 1.64873e-05 (+ 0.00078051)
(1,1,1,1,0,0,0,1,0): 1.64873e-05 (+ 0.00078051)
(2,1,0,1,0,0,1,1,0): 1.48704e-05 (+ 0.00078051)
(1,1,1,0,0,1,1,0,0): 1.48704e-05 (+ 0.00078051)
(3,1,0,0,1,0,0,1,1): 1.48704e-05 (+ 0.00078051)
(4,1,1,0,0,1,0,0,1): 1.48704e-05 (+ 0.00078051)
(7,1,0,0,1,1,0,0,1): 1.48704e-05 (+ 0.00078051)
(5,1,1,1,0,0,1,0,0): 1.48704e-05 (+ 0.00078051)
(6,1,0,1,1,0,0,1,0): 1.48704e-05 (+ 0.00078051)
(4,1,1,0,0,1,1,1,0): 1.29197e-05 (+ 0.00078051)
(1,1,1,1,1,0,1,0,0): 1.29197e-05 (+ 0.00078051)
(3,1,0,0,1,1,1,0,1): 1.29197e-05 (+ 0.00078051)
(5,1,0,1,0,0,1,1,1): 1.29197e-05 (+ 0.00078051)
(7,1,1,1,0,1,0,0,1): 1.29197e-05 (+ 0.00078051)
(6,1,1,0,1,0,0,1,1): 1.29197e-05 (+ 0.00078051)
(2,1,0,1,1,1,0,1,0): 1.29197e-05 (+ 0.00078051)
(7,0,0,1,1,0,0,0,1): 1.25130e-05 (+ 0.00078051)
(5,0,1,0,0,0,1,0,1): 1.25130e-05 (+ 0.00078051)
(2,0,0,1,0,1,1,0,0): 1.25130e-05 (+ 0.00078051)
(6,0,1,1,0,0,0,1,0): 1.25130e-05 (+ 0.00078051)
(1,0,1,0,1,1,0,0,0): 1.25130e-05 (+ 0.00078051)
(3,0,0,0,1,0,1,1,0): 1.25130e-05 (+ 0.00078051)
(4,0,0,0,0,1,0,1,1): 1.25130e-05 (+ 0.00078051)
(7,1,0,1,0,0,1,0,1): 1.19232e-05 (+ 0.00078051)
(3,1,1,0,1,0,1,0,0): 1.19232e-05 (+ 0.00078051)
(4,1,0,1,0,1,0,1,0): 1.19232e-05 (+ 0.00078051)
(2,1,0,1,0,1,0,0,1): 1.19232e-05 (+ 0.00078051)
(1,1,1,0,1,0,0,1,0): 1.19232e-05 (+ 0.00078051)
(5,1,0,0,1,0,1,0,1): 1.19232e-05 (+ 0.00078051)
(6,1,1,0,0,1,0,1,0): 1.19232e-05 (+ 0.00078051)
(5,0,1,0,0,0,1,1,1): 1.17035e-05 (+ 0.00078051)
(7,0,1,1,1,0,0,0,1): 1.17035e-05 (+ 0.00078051)
(2,0,0,1,1,1,1,0,0): 1.17035e-05 (+ 0.00078051)
(4,0,0,0,0,1,1,1,1): 1.17035e-05 (+ 0.00078051)
(6,0,1,1,0,0,0,1,1): 1.17035e-05 (+ 0.00078051)
(1,0,1,1,1,1,0,0,0): 1.17035e-05 (+ 0.00078051)
(3,0,0,0,1,1,1,1,0): 1.17035e-05 (+ 0.00078051)
(5,1,1,1,0,0,1,1,1): 8.85346e-06 (+ 0.00078051)
(2,1,0,1,1,1,1,1,0): 8.85346e-06 (+ 0.00078051)
(7,1,1,1,1,1,0,0,1): 8.85346e-06 (+ 0.00078051)
(1,1,1,1,1,1,1,0,0): 8.85346e-06 (+ 0.00078051)
(6,1,1,1,1,0,0,1,1): 8.85346e-06 (+ 0.00078051)
(3,1,0,0,1,1,1,1,1): 8.85346e-06 (+ 0.00078051)
(4,1,1,0,0,1,1,1,1): 8.85346e-06 (+ 0.00078051)
(2,0,0,0,1,0,0,1,0): 8.56778e-06 (+ 0.00078051)
(7,0,1,0,0,1,0,0,0): 8.56778e-06 (+ 0.00078051)
(3,0,0,0,0,1,0,0,1): 8.56778e-06 (+ 0.00078051)
(6,0,0,0,1,0,0,0,1): 8.56778e-06 (+ 0.00078051)
(1,0,0,1,0,0,1,0,0): 8.56778e-06 (+ 0.00078051)
(4,0,1,0,0,0,1,0,0): 8.56778e-06 (+ 0.00078051)
(5,0,0,1,0,0,0,1,0): 8.56778e-06 (+ 0.00078051)
(5,1,1,1,0,0,1,1,0): 8.42081e-06 (+ 0.00078051)
(4,1,1,0,0,1,1,0,1): 8.42081e-06 (+ 0.00078051)
(3,1,0,0,1,1,0,1,1): 8.42081e-06 (+ 0.00078051)
(7,1,1,0,1,1,0,0,1): 8.42081e-06 (+ 0.00078051)
(1,1,1,1,0,1,1,0,0): 8.42081e-06 (+ 0.00078051)
(6,1,0,1,1,0,0,1,1): 8.42081e-06 (+ 0.00078051)
(2,1,0,1,1,0,1,1,0): 8.42081e-06 (+ 0.00078051)
(6,0,1,1,0,0,0,0,1): 7.96472e-06 (+ 0.00078051)
(2,0,0,0,1,1,1,0,0): 7.96472e-06 (+ 0.00078051)
(7,0,1,1,1,0,0,0,0): 7.96472e-06 (+ 0.00078051)
(5,0,1,0,0,0,0,1,1): 7.96472e-06 (+ 0.00078051)
(1,0,0,1,1,1,0,0,0): 7.96472e-06 (+ 0.00078051)
(4,0,0,0,0,0,1,1,1): 7.96472e-06 (+ 0.00078051)
(3,0,0,0,0,1,1,1,0): 7.96472e-06 (+ 0.00078051)
(4,1,0,1,0,1,1,1,0): 6.95440e-06 (+ 0.00078051)
(1,1,1,1,1,0,0,1,0): 6.95440e-06 (+ 0.00078051)
(7,1,1,1,0,0,1,0,1): 6.95440e-06 (+ 0.00078051)
(3,1,1,0,1,1,1,0,0): 6.95440e-06 (+ 0.00078051)
(2,1,0,1,1,1,0,0,1): 6.95440e-06 (+ 0.00078051)
(6,1,1,0,0,1,0,1,1): 6.95440e-06 (+ 0.00078051)
(5,1,0,0,1,0,1,1,1): 6.95440e-06 (+ 0.00078051)
(2,1,1,1,1,0,0,0,0): 5.60592e-06 (+ 0.00078051)
(5,1,0,0,0,1,1,1,0): 5.60592e-06 (+ 0.00078051)
(1,1,1,1,0,0,0,0,1): 5.60592e-06 (+ 0.00078051)
(3,1,0,1,1,1,0,0,0): 5.60592e-06 (+ 0.00078051)
(6,1,0,0,0,0,1,1,1): 5.60592e-06 (+ 0.00078051)
(7,1,1,0,0,0,0,1,1): 5.60592e-06 (+ 0.00078051)
(4,1,0,0,1,1,1,0,0): 5.60592e-06 (+ 0.00078051)
(3,1,1,0,1,0,0,1,0): 5.57799e-06 (+ 0.00078051)
(6,1,0,1,0,1,0,1,0): 5.57799e-06 (+ 0.00078051)
(1,1,1,0,0,1,0,1,0): 5.57799e-06 (+ 0.00078051)
(4,1,0,1,0,1,0,0,1): 5.57799e-06 (+ 0.00078051)
(2,1,0,1,0,0,1,0,1): 5.57799e-06 (+ 0.00078051)
(5,1,1,0,1,0,1,0,0): 5.57799e-06 (+ 0.00078051)
(7,1,0,0,1,0,1,0,1): 5.57799e-06 (+ 0.00078051)
(5,0,0,1,0,0,1,1,0): 5.30031e-06 (+ 0.00078051)
(3,0,0,0,1,1,0,0,1): 5.30031e-06 (+ 0.00078051)
(6,0,0,0,1,0,0,1,1): 5.30031e-06 (+ 0.00078051)
(1,0,1,1,0,0,1,0,0): 5.30031e-06 (+ 0.00078051)
(2,0,0,1,1,0,0,1,0): 5.30031e-06 (+ 0.00078051)
(4,0,1,0,0,1,1,0,0): 5.30031e-06 (+ 0.00078051)
(7,0,1,0,0,1,0,0,1): 5.30031e-06 (+ 0.00078051)
(4,1,1,0,0,1,0,1,1): 4.69878e-06 (+ 0.00078051)
(6,1,1,1,1,0,0,1,0): 4.69878e-06 (+ 0.00078051)
(5,1,1,1,0,0,1,0,1): 4.69878e-06 (+ 0.00078051)
(7,1,0,1,1,1,0,0,1): 4.69878e-06 (+ 0.00078051)
(1,1,1,0,1,1,1,0,0): 4.69878e-06 (+ 0.00078051)
(3,1,0,0,1,0,1,1,1): 4.69878e-06 (+ 0.00078051)
(2,1,0,1,0,1,1,1,0): 4.69878e-06 (+ 0.00078051)
(1,0,1,0,1,0,1,0,0): 2.18938e-06 (+ 0.00078051)
(4,0,1,0,0,1,0,1,0): 2.18938e-06 (+ 0.00078051)
(5,0,0,1,0,0,1,0,1): 2.18938e-06 (+ 0.00078051)
(6,0,1,0,1,0,0,1,0): 2.18938e-06 (+ 0.00078051)
(7,0,0,1,0,1,0,0,1): 2.18938e-06 (+ 0.00078051)
(3,0,0,0,1,0,1,0,1): 2.18938e-06 (+ 0.00078051)
(2,0,0,1,0,1,0,1,0): 2.18938e-06 (+ 0.00078051)
(7,1,1,1,1,0,1,0,1): 2.08712e-06 (+ 0.00078051)
(6,1,1,1,0,1,0,1,1): 2.08712e-06 (+ 0.00078051)
(4,1,0,1,0,1,1,1,1): 2.08712e-06 (+ 0.00078051)
(1,1,1,1,1,1,0,1,0): 2.08712e-06 (+ 0.00078051)
(2,1,0,1,1,1,1,0,1): 2.08712e-06 (+ 0.00078051)
(3,1,1,0,1,1,1,1,0): 2.08712e-06 (+ 0.00078051)
(5,1,1,0,1,0,1,1,1): 2.08712e-06 (+ 0.00078051)
(3,1,1,0,1,1,0,1,0): 1.53747e-06 (+ 0.00078051)
(7,1,1,0,1,0,1,0,1): 1.53747e-06 (+ 0.00078051)
(1,1,1,1,0,1,0,1,0): 1.53747e-06 (+ 0.00078051)
(2,1,0,1,1,0,1,0,1): 1.53747e-06 (+ 0.00078051)
(6,1,0,1,0,1,0,1,1): 1.53747e-06 (+ 0.00078051)
(5,1,1,0,1,0,1,1,0): 1.53747e-06 (+ 0.00078051)
(4,1,0,1,0,1,1,0,1): 1.53747e-06 (+ 0.00078051)
(4,0,1,0,0,1,1,1,0): 9.69561e-07 (+ 0.00078051)
(7,0,1,1,0,1,0,0,1): 9.69561e-07 (+ 0.00078051)
(1,0,1,1,1,0,1,0,0): 9.69561e-07 (+ 0.00078051)
(3,0,0,0,1,1,1,0,1): 9.69561e-07 (+ 0.00078051)
(5,0,0,1,0,0,1,1,1): 9.69561e-07 (+ 0.00078051)
(6,0,1,0,1,0,0,1,1): 9.69561e-07 (+ 0.00078051)
(2,0,0,1,1,1,0,1,0): 9.69561e-07 (+ 0.00078051)
(2,0,0,0,0,1,0,1,0): 7.74072e-07 (+ 0.00078051)
(1,0,0,0,1,0,1,0,0): 7.74072e-07 (+ 0.00078051)
(7,0,0,1,0,1,0,0,0): 7.74072e-07 (+ 0.00078051)
(6,0,1,0,1,0,0,0,0): 7.74072e-07 (+ 0.00078051)
(3,0,0,0,0,0,1,0,1): 7.74072e-07 (+ 0.00078051)
(5,0,0,1,0,0,0,0,1): 7.74072e-07 (+ 0.00078051)
(4,0,1,0,0,0,0,1,0): 7.74072e-07 (+ 0.00078051)
(1,0,1,0,0,0,0,1,0): 6.88237e-07 (+ 0.00078051)
(7,0,0,0,0,0,1,0,1): 6.88237e-07 (+ 0.00078051)
(3,0,1,0,1,0,0,0,0): 6.88237e-07 (+ 0.00078051)
(6,0,0,0,0,1,0,1,0): 6.88237e-07 (+ 0.00078051)
(4,0,0,1,0,1,0,0,0): 6.88237e-07 (+ 0.00078051)
(5,0,0,0,1,0,1,0,0): 6.88237e-07 (+ 0.00078051)
(2,0,0,1,0,0,0,0,1): 6.88237e-07 (+ 0.00078051)
(7,0,0,0,1,1,0,0,0): 6.44861e-07 (+ 0.00078051)
(6,0,0,1,1,0,0,0,0): 6.44861e-07 (+ 0.00078051)
(5,0,1,1,0,0,0,0,0): 6.44861e-07 (+ 0.00078051)
(1,0,0,0,0,1,1,0,0): 6.44861e-07 (+ 0.00078051)
(2,0,0,0,0,0,1,1,0): 6.44861e-07 (+ 0.00078051)
(3,0,0,0,0,0,0,1,1): 6.44861e-07 (+ 0.00078051)
(4,0,1,0,0,0,0,0,1): 6.44861e-07 (+ 0.00078051)
(7,0,1,1,0,1,0,0,0): 4.41453e-09 (+ 0.00078051)
(2,0,0,0,1,1,0,1,0): 4.41453e-09 (+ 0.00078051)
(4,0,1,0,0,0,1,1,0): 4.41453e-09 (+ 0.00078051)
(1,0,0,1,1,0,1,0,0): 4.41453e-09 (+ 0.00078051)
(6,0,1,0,1,0,0,0,1): 4.41453e-09 (+ 0.00078051)
(5,0,0,1,0,0,0,1,1): 4.41453e-09 (+ 0.00078051)
(3,0,0,0,0,1,1,0,1): 4.41453e-09 (+ 0.00078051)
(6,0,0,1,1,0,0,1,0): 4.13843e-09 (+ 0.00078051)
(5,0,1,1,0,0,1,0,0): 4.13843e-09 (+ 0.00078051)
(3,0,0,0,1,0,0,1,1): 4.13843e-09 (+ 0.00078051)
(7,0,0,0,1,1,0,0,1): 4.13843e-09 (+ 0.00078051)
(4,0,1,0,0,1,0,0,1): 4.13843e-09 (+ 0.00078051)
(2,0,0,1,0,0,1,1,0): 4.13843e-09 (+ 0.00078051)
(1,0,1,0,0,1,1,0,0): 4.13843e-09 (+ 0.00078051)
(5,0,1,1,0,0,1,1,0): 2.62407e-11 (+ 0.00078051)
(1,0,1,1,0,1,1,0,0): 2.62407e-11 (+ 0.00078051)
(3,0,0,0,1,1,0,1,1): 2.62407e-11 (+ 0.00078051)
(7,0,1,0,1,1,0,0,1): 2.62407e-11 (+ 0.00078051)
(4,0,1,0,0,1,1,0,1): 2.62407e-11 (+ 0.00078051)
(2,0,0,1,1,0,1,1,0): 2.62407e-11 (+ 0.00078051)
(6,0,0,1,1,0,0,1,1): 2.62407e-11 (+ 0.00078051)
(1,0,1,1,1,1,1,0,0): 1.62214e-13 (+ 0.00078051)
(5,0,1,1,0,0,1,1,1): 1.62211e-13 (+ 0.00078051)
(2,0,0,1,1,1,1,1,0): 1.62211e-13 (+ 0.00078051)
(4,0,1,0,0,1,1,1,1): 1.62211e-13 (+ 0.00078051)
(3,0,0,0,1,1,1,1,1): 1.62211e-13 (+ 0.00078051)
(7,0,1,1,1,1,0,0,1): 1.62211e-13 (+ 0.00078051)
(6,0,1,1,1,0,0,1,1): 1.62207e-13 (+ 0.00078051)
(1,0,0,0,0,0,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,0,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,0,0,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,0,0,0): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,0,0,0,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,0,0,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,0,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,0,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,0,0,0): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(5,1,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,0,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(5,0,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(2,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(2,0,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,1,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,0,0,0): 0.00000 (+ 0.00078051)
(2,0,0,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,0,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(3,1,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(7,1,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(5,1,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(3,1,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,1,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(4,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(3,1,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,1,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(7,1,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(6,1,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,1,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,0,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,1,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(3,1,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(3,1,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,1,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,1,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(2,1,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(7,1,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,0,1,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(5,1,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,1,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,0,1,0,0): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(2,1,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(5,1,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,1,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,1,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(6,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(5,1,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,1,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(6,1,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,1,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(6,1,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(6,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(6,1,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,1,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(6,1,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(3,1,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,0,0,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,1,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,1,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,1,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,0,0,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,0,0,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(1,0,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(2,1,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,1,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,1,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(2,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,1,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,1,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,1,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,1,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(4,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(1,1,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(1,1,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(2,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(6,1,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(1,1,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(7,1,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,1,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(2,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(2,1,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(7,1,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(7,1,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,0,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,1,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(3,1,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(6,1,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,1,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,1,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(7,1,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(2,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(6,1,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(2,0,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,1,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,1,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,0,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(5,1,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,1,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,0,0,0): 0.00000 (+ 0.00078051)
(6,0,1,0,1,0,1,0,0): 0.00000 (+ 0.00078051)
(5,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(4,1,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(7,1,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,1,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(7,0,0,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,0,0,0,1): 0.00000 (+ 0.00078051)
(7,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,1,0,0): 0.00000 (+ 0.00078051)
(2,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,1,0,0): 0.00000 (+ 0.00078051)
(6,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,0,0,0,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,1,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,0,0,0): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,0,1,0): 0.00000 (+ 0.00078051)
(5,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,0,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,1,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(1,0,0,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(6,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,0,1,0): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,0,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,0,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(4,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(2,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(7,0,1,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,0,0,0): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,0,1,0): 0.00000 (+ 0.00078051)
(6,0,1,0,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,1,1,0,0,1,1,0): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,0,1,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,1,0,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,1,0,1,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,0,1,1): 0.00000 (+ 0.00078051)
(2,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,1,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,1,1,1): 0.00000 (+ 0.00078051)
(7,0,0,1,0,1,1,1,0): 0.00000 (+ 0.00078051)
(1,0,0,1,0,0,1,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,0,0,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(1,0,0,1,1,0,1,1,1): 0.00000 (+ 0.00078051)
(6,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,1,0,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,1,0,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,0,1,0,1,1,1,1): 0.00000 (+ 0.00078051)
(1,0,1,0,1,1,1,1,1): 0.00000 (+ 0.00078051)
(6,0,1,1,1,1,1,1,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,1,0,1): 0.00000 (+ 0.00078051)
(5,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,0,0,1): 0.00000 (+ 0.00078051)
(4,0,1,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(5,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(4,0,1,1,1,0,1,0,0): 0.00000 (+ 0.00078051)
(3,0,1,1,0,0,0,1,1): 0.00000 (+ 0.00078051)
(3,0,1,1,0,1,0,0,1): 0.00000 (+ 0.00078051)
(6,0,1,0,1,1,1,0,0): 0.00000 (+ 0.00078051)
(5,0,0,1,1,1,0,1,1): 0.00000 (+ 0.00078051)
(1,0,0,0,0,1,1,1,1): 0.00000 (+ 0.00078051)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.7.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:02 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5157 loops (3342/sec), 1499403 sampling steps, 5006 aborted
    loop condition 0.00078051, exit probability 0.0000 in initial state
    1344 explored states, 1344 states in BSSCs (0 absorbing)
    59 component updates, 0 transient state updates
    Bounds: =1.0000@[0.00078](59)