sds.default-abs.ap-sample

Model:	(crowds)
Parameter(s)	TotalRuns = 6, CrowdSize = 5

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=6,CrowdSize=5  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Walltime (MC-Time):	172.05898571014404s (NA)
Return code:	0
Note(s):	Tool does not support file export.

(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.110033 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0875986 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0575883 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0400519 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0400519 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0400519 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0400519 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0382631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0382631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0382631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0382631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0167697 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0167697 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0167697 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0167697 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0160748 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0139278 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.0116631 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00696388 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00696388 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00696388 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00696388 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00583155 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00583155 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00583155 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00583155 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00405576 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00405576 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00405576 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00405576 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366251 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366251 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366251 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366251 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366236 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00366180 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00351074 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00351074 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00351074 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00351070 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00254722 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00254722 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00254712 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00254707 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00252395 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202788 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202787 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202786 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00202784 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00183125 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00183124 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00183124 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00183124 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127361 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127361 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127360 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127359 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127358 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127357 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127356 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127351 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127349 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127345 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00127299 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00126506 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000885733 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000675960 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000675957 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000675934 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000675779 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000532824 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000532279 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000525100 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000523700 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000510752 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000510746 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000510652 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000510498 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000509916 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000508633 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442859 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442780 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442764 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442764 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442611 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442511 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442252 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442117 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000442097 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000441683 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000440403 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000437011 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000424480 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000424447 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000424416 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000424343 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000367243 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000367209 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000366495 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000363553 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000359567 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000265803 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000265565 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000265509 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000265346 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000264976 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000264222 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000263486 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000263209 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000263199 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000262219 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000261142 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000256972 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000254912 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000254735 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000254547 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000252812 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000221364 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000220551 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000220500 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000220199 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000220172 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000218426 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000209723 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000183410 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000182686 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000182500 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000182476 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000182185 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000181906 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000179960 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000177937 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000177472 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000176667 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000174315 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000173881 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000147233 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000146987 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000146876 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000146660 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000146275 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000145682 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000145455 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000144955 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000144211 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000143954 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000143516 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.000143000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 9.05671e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.77351e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.70768e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.67211e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.62439e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.60236e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.59300e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.56419e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.53601e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.23128e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.84940e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.61569e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.59452e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.55343e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.52384e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.50189e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.49118e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.47955e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.47541e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.47223e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.45411e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.39338e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.38879e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.33454e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.33035e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.29337e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.66492e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.64251e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.62160e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.52003e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.51084e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.50269e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.49576e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.49354e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.81856e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.79588e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.77942e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.77360e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.74910e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.70613e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.68219e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.67223e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.64327e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.63736e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.61775e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.60133e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.59154e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.48825e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.42750e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.37873e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.28225e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.21202e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.84997e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.83660e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.82674e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.81980e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.81862e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.80685e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.79466e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.76765e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.76128e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.75663e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.75175e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.74405e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.74385e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.74304e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.74119e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.73292e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.73181e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.72706e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.71535e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.71164e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.71082e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.70882e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.69753e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.67618e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.64383e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.63064e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.62130e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.57667e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,5,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.53031e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,5,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.50282e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.48337e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,5,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.47560e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.38263e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.30669e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.27866e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,5,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.27755e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.27684e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.26640e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.26483e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.25518e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.24543e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.24479e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.23050e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.22996e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.22640e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.12320e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.09920e-05 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 9.32632e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.88525e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.83661e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.76834e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.70866e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.57596e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.51610e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.50376e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.43012e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.38360e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.35488e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.25621e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.21768e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.95193e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,4,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.91679e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.87580e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.82071e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.03505e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.57589e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.56664e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.36992e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.14269e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.12691e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.00108e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.95226e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.78406e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.38764e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.24507e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.21009e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.16990e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,4,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.12618e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.08313e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.02401e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.01457e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.97930e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.93884e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.92177e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.89690e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.86579e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.74170e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.73537e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,3,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.66235e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.51398e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.48137e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.46119e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.34895e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.16064e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.01958e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.98861e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.96697e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.95484e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.93312e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.59394e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.56835e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.46625e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.24433e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.12647e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.07260e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.99327e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.80713e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.77584e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.67760e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.67261e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.62472e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.47343e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.44068e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.16268e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.09909e-06 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 9.91715e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.39838e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.33025e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.62355e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.38702e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.26241e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.23878e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 6.85426e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 6.64079e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 6.03321e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.46006e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.17887e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.77214e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.59942e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.51143e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.45102e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,2,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.91118e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.08978e-07 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 6.79735e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.91259e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.37588e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.25983e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.86641e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.54943e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.37531e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.23791e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.02345e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.86381e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.07154e-08 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 9.84130e-09 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 9.02252e-09 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.98440e-09 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.09183e-09 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.96481e-09 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.20124e-10 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,4,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.53243e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.52603e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.49682e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,1,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.49583e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.48175e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.47702e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.46992e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.42836e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.39765e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.38582e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 1.35669e-16 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.80913e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.42054e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.12062e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.06423e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.96465e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,0,3,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.88724e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 7.81807e-17 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.63206e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.62005e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 4.10693e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.91538e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.88281e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,4,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 2.87382e-18 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 8.33556e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,1,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 6.95922e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.52785e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.26039e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 5.24900e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.41834e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,1,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.20074e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,3,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 3.06157e-21 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,4,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,2,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,3,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,1,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,0,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,1,2,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,1,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,1,2,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,3,0,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,1,1,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)
(false,true,0,false,false,20,false,false,false,false,false,false,0,0,2,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0): 0.00000 (+ 0.0000)	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=6,CrowdSize=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 25, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 57, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 62, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    12019 loops (2403/sec), 746112 sampling steps, 10305 aborted
    loop condition 0.060931, exit probability 0.060346 in initial state
    8883 explored states, 148 states in BSSCs (148 absorbing)
    1331 component updates, 62756113 transient state updates
    Bounds: [0.087599+6.18646e-02]@[0.00000](118), [0.038263+6.08025e-02]@[0.00000](70), [0.057588+6.14420e-02]@[0.00000](61), [0.11003+6.10628e-02]@[0.00000](123), [0.040052+6.15525e-02]@[0.00000](64), [0.0053966+6.25836e-02]@[0.00000](15), [0.013872+6.09682e-02]@[0.00000](25), [0.011353+6.10193e-02]@[0.00000](10), [0.0068465+6.16143e-02]@[0.00000](16), [0.038263+6.14789e-02]@[0.00000](51) ... (148)
Sep 13, 2024 10:47:36 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 44, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    19472 loops (1490/sec), 1203234 sampling steps, 16829 aborted
    loop condition 0.028501, exit probability 0.027911 in initial state
    10788 explored states, 192 states in BSSCs (192 absorbing)
    2198 component updates, 132667792 transient state updates
    Bounds: [0.087599+2.87768e-02]@[0.00000](153), [0.038263+2.86491e-02]@[0.00000](93), [0.057588+2.88480e-02]@[0.00000](91), [0.11003+2.88876e-02]@[0.00000](157), [0.040052+2.95350e-02]@[0.00000](88), [0.0057600+2.97759e-02]@[0.00000](23), [0.013927+2.86385e-02]@[0.00000](40), [0.011653+2.89043e-02]@[0.00000](17), [0.0069551+2.91507e-02]@[0.00000](27), [0.038263+2.98466e-02]@[0.00000](79) ... (192)
Sep 13, 2024 10:47:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    25429 loops (1191/sec), 1564549 sampling steps, 22036 aborted
    loop condition 0.017389, exit probability 0.016803 in initial state
    11957 explored states, 192 states in BSSCs (192 absorbing)
    2921 component updates, 198436629 transient state updates
    Bounds: [0.087599+1.79718e-02]@[0.00000](189), [0.038263+1.80345e-02]@[0.00000](119), [0.057588+1.77928e-02]@[0.00000](114), [0.11003+1.80153e-02]@[0.00000](179), [0.040052+1.83149e-02]@[0.00000](106), [0.0058096+1.85938e-02]@[0.00000](31), [0.013928+1.78077e-02]@[0.00000](49), [0.011662+1.77405e-02]@[0.00000](20), [0.0069637+1.79074e-02]@[0.00000](40), [0.038263+1.88651e-02]@[0.00000](109) ... (192)
Sep 13, 2024 10:47:46 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 67, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    30795 loops (1073/sec), 1885041 sampling steps, 26744 aborted
    loop condition 0.012630, exit probability 0.011944 in initial state
    12809 explored states, 259 states in BSSCs (259 absorbing)
    3561 component updates, 263265681 transient state updates
    Bounds: [0.087599+1.30557e-02]@[0.00000](206), [0.038263+1.31975e-02]@[0.00000](147), [0.057588+1.30526e-02]@[0.00000](136), [0.11003+1.32734e-02]@[0.00000](196), [0.040052+1.33411e-02]@[0.00000](118), [0.0058286+1.33406e-02]@[0.00000](36), [0.013928+1.29333e-02]@[0.00000](56), [0.011663+1.28775e-02]@[0.00000](26), [0.0069638+1.30002e-02]@[0.00000](47), [0.038263+1.38747e-02]@[0.00000](128) ... (259)
Sep 13, 2024 10:47:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    35307 loops (902/sec), 2149954 sampling steps, 30756 aborted
    loop condition 0.010036, exit probability 0.0093741 in initial state
    13305 explored states, 259 states in BSSCs (259 absorbing)
    4049 component updates, 326315435 transient state updates
    Bounds: [0.087599+1.04214e-02]@[0.00000](226), [0.038263+1.06591e-02]@[0.00000](157), [0.057588+1.05198e-02]@[0.00000](147), [0.11003+1.07359e-02]@[0.00000](208), [0.040052+1.07940e-02]@[0.00000](127), [0.0058303+1.05818e-02]@[0.00000](44), [0.013928+1.04035e-02]@[0.00000](68), [0.011663+1.02628e-02]@[0.00000](31), [0.0069639+1.03257e-02]@[0.00000](53), [0.038263+1.11841e-02]@[0.00000](140) ... (259)
Sep 13, 2024 10:47:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    40041 loops (946/sec), 2425869 sampling steps, 34958 aborted
    loop condition 0.0081883, exit probability 0.0075370 in initial state
    13773 explored states, 259 states in BSSCs (259 absorbing)
    4573 component updates, 390307204 transient state updates
    Bounds: [0.087599+8.63215e-03]@[0.00000](243), [0.038263+8.80177e-03]@[0.00000](168), [0.057588+8.66657e-03]@[0.00000](161), [0.11003+8.93085e-03]@[0.00000](225), [0.040052+8.96042e-03]@[0.00000](137), [0.0058313+8.74678e-03]@[0.00000](46), [0.013928+8.61328e-03]@[0.00000](78), [0.011663+8.33447e-03]@[0.00000](41), [0.0069639+8.50354e-03]@[0.00000](58), [0.038263+9.34740e-03]@[0.00000](152) ... (259)
Sep 13, 2024 10:48:01 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 39, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    44252 loops (842/sec), 2669449 sampling steps, 38694 aborted
    loop condition 0.0068641, exit probability 0.0061792 in initial state
    14112 explored states, 298 states in BSSCs (298 absorbing)
    5039 component updates, 448674049 transient state updates
    Bounds: [0.087599+7.28156e-03]@[0.00000](258), [0.038263+7.40992e-03]@[0.00000](175), [0.057588+7.34263e-03]@[0.00000](171), [0.11003+7.68996e-03]@[0.00000](238), [0.040052+7.65914e-03]@[0.00000](147), [0.0058315+7.34880e-03]@[0.00000](48), [0.013928+7.07614e-03]@[0.00000](87), [0.011663+7.00246e-03]@[0.00000](45), [0.0069639+7.20562e-03]@[0.00000](65), [0.038263+7.97323e-03]@[0.00000](159) ... (298)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    48428 loops (835/sec), 2905213 sampling steps, 42388 aborted
    loop condition 0.0060139, exit probability 0.0052947 in initial state
    14480 explored states, 298 states in BSSCs (298 absorbing)
    5512 component updates, 508913581 transient state updates
    Bounds: [0.087599+6.39965e-03]@[0.00000](269), [0.038263+6.54382e-03]@[0.00000](190), [0.057588+6.44354e-03]@[0.00000](182), [0.11003+6.74137e-03]@[0.00000](251), [0.040052+6.79692e-03]@[0.00000](156), [0.0058315+6.44739e-03]@[0.00000](56), [0.013928+6.16980e-03]@[0.00000](92), [0.011663+6.13452e-03]@[0.00000](50), [0.0069639+6.30872e-03]@[0.00000](69), [0.038263+7.07910e-03]@[0.00000](171) ... (298)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    52841 loops (882/sec), 3153405 sampling steps, 46283 aborted
    loop condition 0.0052806, exit probability 0.0045348 in initial state
    14729 explored states, 298 states in BSSCs (298 absorbing)
    6028 component updates, 570937572 transient state updates
    Bounds: [0.087599+5.61520e-03]@[0.00000](288), [0.038263+5.77706e-03]@[0.00000](198), [0.057588+5.61519e-03]@[0.00000](193), [0.11003+5.92780e-03]@[0.00000](264), [0.040052+6.07187e-03]@[0.00000](170), [0.0058315+5.67281e-03]@[0.00000](65), [0.013928+5.43950e-03]@[0.00000](100), [0.011663+5.38132e-03]@[0.00000](53), [0.0069639+5.54879e-03]@[0.00000](78), [0.038263+6.25067e-03]@[0.00000](186) ... (298)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    57337 loops (899/sec), 3406584 sampling steps, 50269 aborted
    loop condition 0.0046654, exit probability 0.0038971 in initial state
    14936 explored states, 298 states in BSSCs (298 absorbing)
    6536 component updates, 632484656 transient state updates
    Bounds: [0.087599+4.99346e-03]@[0.00000](303), [0.038263+5.14079e-03]@[0.00000](209), [0.057588+4.96038e-03]@[0.00000](205), [0.11003+5.24253e-03]@[0.00000](274), [0.040052+5.39576e-03]@[0.00000](176), [0.0058315+4.96535e-03]@[0.00000](70), [0.013928+4.75606e-03]@[0.00000](113), [0.011663+4.75413e-03]@[0.00000](58), [0.0069639+4.88968e-03]@[0.00000](86), [0.038263+5.34115e-03]@[0.00000](200) ... (298)
Sep 13, 2024 10:48:20 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 28, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    61495 loops (831/sec), 3636279 sampling steps, 53940 aborted
    loop condition 0.0042178, exit probability 0.0034316 in initial state
    15182 explored states, 326 states in BSSCs (326 absorbing)
    7017 component updates, 690337149 transient state updates
    Bounds: [0.087599+4.52616e-03]@[0.00000](322), [0.038263+4.67697e-03]@[0.00000](225), [0.057588+4.48200e-03]@[0.00000](212), [0.11003+4.77407e-03]@[0.00000](285), [0.040052+4.92192e-03]@[0.00000](186), [0.0058315+4.49188e-03]@[0.00000](78), [0.013928+4.26725e-03]@[0.00000](116), [0.011663+4.29812e-03]@[0.00000](63), [0.0069639+4.32232e-03]@[0.00000](90), [0.038263+4.70458e-03]@[0.00000](214) ... (326)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    65820 loops (865/sec), 3871989 sampling steps, 57789 aborted
    loop condition 0.0038212, exit probability 0.0030090 in initial state
    15449 explored states, 326 states in BSSCs (326 absorbing)
    7486 component updates, 749175731 transient state updates
    Bounds: [0.087599+4.12510e-03]@[0.00000](336), [0.038263+4.21708e-03]@[0.00000](235), [0.057588+4.06522e-03]@[0.00000](223), [0.11003+4.32015e-03]@[0.00000](295), [0.040052+4.47410e-03]@[0.00000](194), [0.0058316+4.04550e-03]@[0.00000](82), [0.013928+3.85507e-03]@[0.00000](122), [0.011663+3.89949e-03]@[0.00000](68), [0.0069639+3.89027e-03]@[0.00000](97), [0.038263+4.25113e-03]@[0.00000](221) ... (326)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    70161 loops (868/sec), 4111381 sampling steps, 61616 aborted
    loop condition 0.0035069, exit probability 0.0026731 in initial state
    15650 explored states, 326 states in BSSCs (326 absorbing)
    7995 component updates, 807297338 transient state updates
    Bounds: [0.087599+3.80349e-03]@[0.00000](347), [0.038263+3.81844e-03]@[0.00000](245), [0.057588+3.74891e-03]@[0.00000](233), [0.11003+3.99369e-03]@[0.00000](303), [0.040052+4.14738e-03]@[0.00000](203), [0.0058316+3.72417e-03]@[0.00000](88), [0.013928+3.56509e-03]@[0.00000](127), [0.011663+3.58456e-03]@[0.00000](70), [0.0069639+3.58330e-03]@[0.00000](103), [0.038263+3.90145e-03]@[0.00000](233) ... (326)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    74468 loops (861/sec), 4347066 sampling steps, 65475 aborted
    loop condition 0.0031780, exit probability 0.0023492 in initial state
    15875 explored states, 326 states in BSSCs (326 absorbing)
    8441 component updates, 862738501 transient state updates
    Bounds: [0.087599+3.48281e-03]@[0.00000](364), [0.038263+3.43995e-03]@[0.00000](254), [0.057588+3.40735e-03]@[0.00000](244), [0.11003+3.68957e-03]@[0.00000](312), [0.040052+3.81647e-03]@[0.00000](220), [0.0058316+3.39391e-03]@[0.00000](97), [0.013928+3.24957e-03]@[0.00000](130), [0.011663+3.26703e-03]@[0.00000](76), [0.0069639+3.32428e-03]@[0.00000](108), [0.038263+3.53279e-03]@[0.00000](242) ... (326)
Sep 13, 2024 10:48:39 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 23, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    78698 loops (846/sec), 4576129 sampling steps, 69208 aborted
    loop condition 0.0029393, exit probability 0.0021130 in initial state
    16053 explored states, 349 states in BSSCs (349 absorbing)
    8934 component updates, 917659259 transient state updates
    Bounds: [0.087599+3.21358e-03]@[0.00000](379), [0.038263+3.17745e-03]@[0.00000](266), [0.057588+3.16703e-03]@[0.00000](248), [0.11003+3.46172e-03]@[0.00000](323), [0.040052+3.58220e-03]@[0.00000](229), [0.0058316+3.17690e-03]@[0.00000](98), [0.013928+3.01157e-03]@[0.00000](134), [0.011663+3.04790e-03]@[0.00000](81), [0.0069639+3.10333e-03]@[0.00000](113), [0.038263+3.30172e-03]@[0.00000](254) ... (349)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    82848 loops (830/sec), 4799271 sampling steps, 72880 aborted
    loop condition 0.0027343, exit probability 0.0018879 in initial state
    16155 explored states, 349 states in BSSCs (349 absorbing)
    9411 component updates, 970058553 transient state updates
    Bounds: [0.087599+2.96546e-03]@[0.00000](394), [0.038263+2.97241e-03]@[0.00000](278), [0.057588+2.95146e-03]@[0.00000](259), [0.11003+3.21537e-03]@[0.00000](337), [0.040052+3.37464e-03]@[0.00000](240), [0.0058316+2.95419e-03]@[0.00000](103), [0.013928+2.80523e-03]@[0.00000](142), [0.011663+2.84950e-03]@[0.00000](82), [0.0069639+2.87515e-03]@[0.00000](118), [0.038263+3.09627e-03]@[0.00000](259) ... (349)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    87252 loops (880/sec), 5037436 sampling steps, 76785 aborted
    loop condition 0.0025070, exit probability 0.0016299 in initial state
    16296 explored states, 349 states in BSSCs (349 absorbing)
    9908 component updates, 1023676426 transient state updates
    Bounds: [0.087599+2.71017e-03]@[0.00000](415), [0.038263+2.74470e-03]@[0.00000](283), [0.057588+2.69609e-03]@[0.00000](267), [0.11003+2.91493e-03]@[0.00000](351), [0.040052+3.12753e-03]@[0.00000](245), [0.0058316+2.73641e-03]@[0.00000](107), [0.013928+2.59340e-03]@[0.00000](151), [0.011663+2.62911e-03]@[0.00000](86), [0.0069639+2.63286e-03]@[0.00000](126), [0.038263+2.86096e-03]@[0.00000](273) ... (349)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    91612 loops (871/sec), 5272927 sampling steps, 80638 aborted
    loop condition 0.0023336, exit probability 0.0014494 in initial state
    16412 explored states, 349 states in BSSCs (349 absorbing)
    10413 component updates, 1074200812 transient state updates
    Bounds: [0.087599+2.53279e-03]@[0.00000](428), [0.038263+2.57351e-03]@[0.00000](295), [0.057588+2.48925e-03]@[0.00000](274), [0.11003+2.70432e-03]@[0.00000](365), [0.040052+2.94480e-03]@[0.00000](254), [0.0058316+2.54658e-03]@[0.00000](112), [0.013928+2.40883e-03]@[0.00000](154), [0.011663+2.46455e-03]@[0.00000](93), [0.0069639+2.44759e-03]@[0.00000](131), [0.038263+2.69540e-03]@[0.00000](284) ... (349)
Sep 13, 2024 10:49:00 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 16, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    95973 loops (868/sec), 5508470 sampling steps, 84540 aborted
    loop condition 0.0021845, exit probability 0.0012904 in initial state
    16540 explored states, 365 states in BSSCs (365 absorbing)
    10870 component updates, 1123872982 transient state updates
    Bounds: [0.087599+2.38014e-03]@[0.00000](442), [0.038263+2.43207e-03]@[0.00000](307), [0.057588+2.32064e-03]@[0.00000](282), [0.11003+2.50932e-03]@[0.00000](372), [0.040052+2.79164e-03]@[0.00000](263), [0.0058316+2.38350e-03]@[0.00000](115), [0.013928+2.25762e-03]@[0.00000](162), [0.011663+2.31786e-03]@[0.00000](95), [0.0069639+2.28264e-03]@[0.00000](137), [0.038263+2.51235e-03]@[0.00000](288) ... (365)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    100437 loops (892/sec), 5745504 sampling steps, 88530 aborted
    loop condition 0.0020469, exit probability 0.0011481 in initial state
    16682 explored states, 365 states in BSSCs (365 absorbing)
    11342 component updates, 1172250109 transient state updates
    Bounds: [0.087599+2.24044e-03]@[0.00000](450), [0.038263+2.27548e-03]@[0.00000](315), [0.057588+2.17576e-03]@[0.00000](298), [0.11003+2.34202e-03]@[0.00000](380), [0.040052+2.58702e-03]@[0.00000](279), [0.0058316+2.21485e-03]@[0.00000](117), [0.013928+2.12304e-03]@[0.00000](168), [0.011663+2.17319e-03]@[0.00000](101), [0.0069639+2.13078e-03]@[0.00000](143), [0.038263+2.36333e-03]@[0.00000](297) ... (365)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    105325 loops (977/sec), 6005211 sampling steps, 92889 aborted
    loop condition 0.0019328, exit probability 0.0010259 in initial state
    16791 explored states, 365 states in BSSCs (365 absorbing)
    11869 component updates, 1222534196 transient state updates
    Bounds: [0.087599+2.13072e-03]@[0.00000](472), [0.038263+2.13749e-03]@[0.00000](327), [0.057588+2.04958e-03]@[0.00000](304), [0.11003+2.21771e-03]@[0.00000](388), [0.040052+2.41931e-03]@[0.00000](295), [0.0058316+2.07925e-03]@[0.00000](122), [0.013928+2.00636e-03]@[0.00000](171), [0.011663+2.06540e-03]@[0.00000](103), [0.0069639+2.00600e-03]@[0.00000](156), [0.038263+2.22759e-03]@[0.00000](307) ... (365)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    110387 loops (1012/sec), 6275425 sampling steps, 97433 aborted
    loop condition 0.0018209, exit probability 0.00090317 in initial state
    16880 explored states, 365 states in BSSCs (365 absorbing)
    12387 component updates, 1272000687 transient state updates
    Bounds: [0.087599+2.00558e-03]@[0.00000](491), [0.038263+2.00125e-03]@[0.00000](339), [0.057588+1.93414e-03]@[0.00000](309), [0.11003+2.08247e-03]@[0.00000](401), [0.040052+2.26701e-03]@[0.00000](306), [0.0058316+1.97278e-03]@[0.00000](125), [0.013928+1.89204e-03]@[0.00000](179), [0.011663+1.95608e-03]@[0.00000](107), [0.0069639+1.88492e-03]@[0.00000](158), [0.038263+2.11582e-03]@[0.00000](315) ... (365)
Sep 13, 2024 10:49:20 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 15, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    115514 loops (1025/sec), 6547753 sampling steps, 101966 aborted
    loop condition 0.0017241, exit probability 0.00080414 in initial state
    16980 explored states, 380 states in BSSCs (380 absorbing)
    12980 component updates, 1320043999 transient state updates
    Bounds: [0.087599+1.90341e-03]@[0.00000](512), [0.038263+1.89477e-03]@[0.00000](353), [0.057588+1.83309e-03]@[0.00000](318), [0.11003+1.95427e-03]@[0.00000](415), [0.040052+2.13401e-03]@[0.00000](318), [0.0058316+1.87968e-03]@[0.00000](129), [0.013928+1.79910e-03]@[0.00000](186), [0.011663+1.85785e-03]@[0.00000](112), [0.0069639+1.78795e-03]@[0.00000](159), [0.038263+2.01861e-03]@[0.00000](328) ... (380)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    120765 loops (1050/sec), 6823637 sampling steps, 106652 aborted
    loop condition 0.0016355, exit probability 0.00072701 in initial state
    17062 explored states, 380 states in BSSCs (380 absorbing)
    13544 component updates, 1366098960 transient state updates
    Bounds: [0.087599+1.81917e-03]@[0.00000](527), [0.038263+1.81155e-03]@[0.00000](367), [0.057588+1.75146e-03]@[0.00000](331), [0.11003+1.83920e-03]@[0.00000](426), [0.040052+2.01564e-03]@[0.00000](330), [0.0058316+1.77360e-03]@[0.00000](137), [0.013928+1.70752e-03]@[0.00000](192), [0.011663+1.77789e-03]@[0.00000](115), [0.0069639+1.71332e-03]@[0.00000](169), [0.038263+1.93736e-03]@[0.00000](341) ... (380)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    126551 loops (1156/sec), 7131377 sampling steps, 111773 aborted
    loop condition 0.0015454, exit probability 0.00064806 in initial state
    17141 explored states, 380 states in BSSCs (380 absorbing)
    14208 component updates, 1413868848 transient state updates
    Bounds: [0.087599+1.72405e-03]@[0.00000](543), [0.038263+1.70906e-03]@[0.00000](376), [0.057588+1.67519e-03]@[0.00000](338), [0.11003+1.73480e-03]@[0.00000](435), [0.040052+1.90176e-03]@[0.00000](342), [0.0058316+1.65372e-03]@[0.00000](143), [0.013928+1.62556e-03]@[0.00000](203), [0.011663+1.70260e-03]@[0.00000](123), [0.0069639+1.62930e-03]@[0.00000](175), [0.038263+1.83007e-03]@[0.00000](356) ... (380)
Sep 13, 2024 10:49:37 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 9, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    131771 loops (1044/sec), 7406535 sampling steps, 116407 aborted
    loop condition 0.0014678, exit probability 0.00058790 in initial state
    17200 explored states, 389 states in BSSCs (389 absorbing)
    14794 component updates, 1453526542 transient state updates
    Bounds: [0.087599+1.64781e-03]@[0.00000](559), [0.038263+1.64271e-03]@[0.00000](390), [0.057588+1.62449e-03]@[0.00000](345), [0.11003+1.64927e-03]@[0.00000](450), [0.040052+1.81626e-03]@[0.00000](346), [0.0058316+1.57264e-03]@[0.00000](152), [0.013928+1.56356e-03]@[0.00000](210), [0.011663+1.63521e-03]@[0.00000](131), [0.0069639+1.55997e-03]@[0.00000](183), [0.038263+1.73034e-03]@[0.00000](366) ... (389)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    138289 loops (1303/sec), 7750286 sampling steps, 122221 aborted
    loop condition 0.0013874, exit probability 0.00052548 in initial state
    17322 explored states, 389 states in BSSCs (389 absorbing)
    15497 component updates, 1499855609 transient state updates
    Bounds: [0.087599+1.57582e-03]@[0.00000](574), [0.038263+1.56859e-03]@[0.00000](405), [0.057588+1.55301e-03]@[0.00000](356), [0.11003+1.56242e-03]@[0.00000](463), [0.040052+1.72186e-03]@[0.00000](358), [0.0058316+1.49901e-03]@[0.00000](162), [0.013928+1.48795e-03]@[0.00000](219), [0.011663+1.56884e-03]@[0.00000](136), [0.0069639+1.49378e-03]@[0.00000](194), [0.038263+1.64198e-03]@[0.00000](387) ... (389)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    145173 loops (1376/sec), 8112762 sampling steps, 128339 aborted
    loop condition 0.0013185, exit probability 0.00046851 in initial state
    17424 explored states, 389 states in BSSCs (389 absorbing)
    16263 component updates, 1544302708 transient state updates
    Bounds: [0.087599+1.50627e-03]@[0.00000](597), [0.038263+1.50733e-03]@[0.00000](418), [0.057588+1.49541e-03]@[0.00000](375), [0.11003+1.49449e-03]@[0.00000](476), [0.040052+1.63897e-03]@[0.00000](368), [0.0058316+1.43229e-03]@[0.00000](169), [0.013928+1.43791e-03]@[0.00000](238), [0.011663+1.50744e-03]@[0.00000](144), [0.0069639+1.44269e-03]@[0.00000](204), [0.038263+1.57087e-03]@[0.00000](398) ... (389)
Sep 13, 2024 10:49:52 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    152565 loops (1478/sec), 8502339 sampling steps, 134951 aborted
    loop condition 0.0012595, exit probability 0.00041379 in initial state
    17511 explored states, 400 states in BSSCs (400 absorbing)
    17043 component updates, 1587908904 transient state updates
    Bounds: [0.087599+1.45289e-03]@[0.00000](619), [0.038263+1.46035e-03]@[0.00000](428), [0.057588+1.43503e-03]@[0.00000](391), [0.11003+1.43229e-03]@[0.00000](497), [0.040052+1.56110e-03]@[0.00000](378), [0.0058316+1.37159e-03]@[0.00000](176), [0.013928+1.39043e-03]@[0.00000](247), [0.011663+1.43556e-03]@[0.00000](156), [0.0069639+1.38592e-03]@[0.00000](209), [0.038263+1.50262e-03]@[0.00000](417) ... (400)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    160444 loops (1575/sec), 8912827 sampling steps, 142008 aborted
    loop condition 0.0012011, exit probability 0.00035939 in initial state
    17560 explored states, 400 states in BSSCs (400 absorbing)
    17865 component updates, 1629740889 transient state updates
    Bounds: [0.087599+1.39257e-03]@[0.00000](641), [0.038263+1.39961e-03]@[0.00000](446), [0.057588+1.38531e-03]@[0.00000](397), [0.11003+1.36722e-03]@[0.00000](518), [0.040052+1.49199e-03]@[0.00000](393), [0.0058316+1.31919e-03]@[0.00000](180), [0.013928+1.34165e-03]@[0.00000](259), [0.011663+1.37715e-03]@[0.00000](161), [0.0069639+1.33147e-03]@[0.00000](221), [0.038263+1.44659e-03]@[0.00000](434) ... (400)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    169476 loops (1806/sec), 9386502 sampling steps, 150060 aborted
    loop condition 0.0011439, exit probability 0.00030665 in initial state
    17621 explored states, 400 states in BSSCs (400 absorbing)
    18845 component updates, 1672334506 transient state updates
    Bounds: [0.087599+1.33278e-03]@[0.00000](662), [0.038263+1.34873e-03]@[0.00000](458), [0.057588+1.33838e-03]@[0.00000](412), [0.11003+1.30261e-03]@[0.00000](542), [0.040052+1.41927e-03]@[0.00000](413), [0.0058316+1.26065e-03]@[0.00000](189), [0.013928+1.28812e-03]@[0.00000](272), [0.011663+1.31160e-03]@[0.00000](170), [0.0069639+1.28078e-03]@[0.00000](232), [0.038263+1.38384e-03]@[0.00000](453) ... (400)
Sep 13, 2024 10:50:04 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 7, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    179004 loops (1905/sec), 9881500 sampling steps, 158602 aborted
    loop condition 0.0010942, exit probability 0.00026590 in initial state
    17680 explored states, 407 states in BSSCs (407 absorbing)
    19831 component updates, 1710926832 transient state updates
    Bounds: [0.087599+1.28440e-03]@[0.00000](686), [0.038263+1.29235e-03]@[0.00000](484), [0.057588+1.28957e-03]@[0.00000](427), [0.11003+1.24541e-03]@[0.00000](563), [0.040052+1.35950e-03]@[0.00000](433), [0.0058316+1.21266e-03]@[0.00000](197), [0.013928+1.23788e-03]@[0.00000](282), [0.011663+1.24459e-03]@[0.00000](184), [0.0069639+1.23784e-03]@[0.00000](242), [0.038263+1.31586e-03]@[0.00000](466) ... (407)
Sep 13, 2024 10:50:13 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 9, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    189864 loops (2172/sec), 10449467 sampling steps, 168304 aborted
    loop condition 0.0010514, exit probability 0.00023090 in initial state
    17761 explored states, 416 states in BSSCs (416 absorbing)
    20988 component updates, 1748188891 transient state updates
    Bounds: [0.087599+1.23272e-03]@[0.00000](712), [0.038263+1.24844e-03]@[0.00000](503), [0.057588+1.24287e-03]@[0.00000](451), [0.11003+1.19950e-03]@[0.00000](592), [0.040052+1.30004e-03]@[0.00000](449), [0.0058316+1.17629e-03]@[0.00000](206), [0.013928+1.19335e-03]@[0.00000](301), [0.011663+1.19598e-03]@[0.00000](193), [0.0069639+1.20105e-03]@[0.00000](255), [0.038263+1.26155e-03]@[0.00000](493) ... (416)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    202736 loops (2574/sec), 11115043 sampling steps, 179848 aborted
    loop condition 0.0010120, exit probability 0.00019803 in initial state
    17850 explored states, 416 states in BSSCs (416 absorbing)
    22316 component updates, 1784529589 transient state updates
    Bounds: [0.087599+1.18448e-03]@[0.00000](756), [0.038263+1.20320e-03]@[0.00000](529), [0.057588+1.19985e-03]@[0.00000](480), [0.11003+1.16363e-03]@[0.00000](623), [0.040052+1.24322e-03]@[0.00000](461), [0.0058316+1.14365e-03]@[0.00000](215), [0.013928+1.15394e-03]@[0.00000](317), [0.011663+1.15767e-03]@[0.00000](203), [0.0069639+1.16122e-03]@[0.00000](278), [0.038263+1.21327e-03]@[0.00000](518) ... (416)
Sep 13, 2024 10:50:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    207498 loops (2861/sec), 11362288 sampling steps, 184117 aborted
    loop condition 0.0010000, exit probability 0.00018568 in initial state
    17902 explored states, 416 states in BSSCs (416 absorbing)
    22808 component updates, 1796115269 transient state updates
    Bounds: [0.087599+1.17171e-03]@[0.00000](770), [0.038263+1.18988e-03]@[0.00000](541), [0.057588+1.18671e-03]@[0.00000](496), [0.11003+1.14788e-03]@[0.00000](634), [0.040052+1.22566e-03]@[0.00000](476), [0.0058316+1.13266e-03]@[0.00000](219), [0.013928+1.14002e-03]@[0.00000](327), [0.011663+1.14573e-03]@[0.00000](206), [0.0069639+1.14905e-03]@[0.00000](287), [0.038263+1.20176e-03]@[0.00000](527) ... (416)