prism.explicit-rel.default

Log
PRISM
=====

Version: 4.8.1
Date: Fri Sep 13 10:52:05 GMT+01:00 2024
Hostname: r23m0195.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=1g
Command line: prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.7.prism -steadystate -explicit -relative -epsilon 0.001

Parsing model file "/rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.7.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7
Variables:   s a s1 s2 s3 s4 s5 s6 s7

---------------------------------------------------------------------

Computing steady-state probabilities...

Building model...

Computing reachable states... 1344 states
Reachable states exploration and model construction done in 0.049 secs.
Sorting reachable states list...

Time for model construction: 0.075 seconds.

Type:        CTMC
States:      1344 (1 initial)
Transitions: 5824
Building embedded DTMC...
Doing steady-state computation in embedded DTMC (with exit-rate weighting for BSCC probabilities)...

Initial states are all in one BSCC (so no reachability probabilities computed)
Starting value iteration...
Power method: 146 iterations in 0.084 seconds.

Printing steady-state probabilities in plain text format below:
0:(1,0,0,0,0,0,0,0,0)=0.03432564732965444
1:(1,0,0,0,0,0,0,0,1)=2.441316292144097E-5
2:(1,0,0,0,0,0,0,1,0)=6.317017085378916E-5
3:(1,0,0,0,0,0,0,1,1)=6.233824918802469E-8
4:(1,0,0,0,0,0,1,0,0)=1.0482476788202463E-4
5:(1,0,0,0,0,0,1,0,1)=9.198912537869843E-8
6:(1,0,0,0,0,0,1,1,0)=3.0923977029748737E-6
7:(1,0,0,0,0,0,1,1,1)=2.3131067413823256E-9
8:(1,0,0,0,0,1,0,0,0)=1.5010987974650622E-4
9:(1,0,0,0,0,1,0,0,1)=1.2422586227435423E-7
10:(1,0,0,0,0,1,0,1,0)=3.5033803146100638E-6
11:(1,0,0,0,0,1,0,1,1)=2.6289635648920683E-9
12:(1,0,0,0,0,1,1,0,0)=7.765446620168082E-6
13:(1,0,0,0,0,1,1,0,1)=5.6869249610195495E-9
14:(1,0,0,0,0,1,1,1,0)=1.0816787116854463E-6
15:(1,0,0,0,0,1,1,1,1)=7.788432384678106E-10
16:(1,0,0,0,1,0,0,0,0)=2.0001992690374683E-4
17:(1,0,0,0,1,0,0,0,1)=1.5975701650393126E-7
18:(1,0,0,0,1,0,0,1,0)=4.012746495456156E-6
19:(1,0,0,0,1,0,0,1,1)=3.0173123403137664E-9
20:(1,0,0,0,1,0,1,0,0)=8.849360173341309E-6
21:(1,0,0,0,1,0,1,0,1)=6.48480327455256E-9
22:(1,0,0,0,1,0,1,1,0)=1.1914833840149694E-6
23:(1,0,0,0,1,0,1,1,1)=8.580171017431753E-10
24:(1,0,0,0,1,1,0,0,0)=1.5035354913489646E-5
25:(1,0,0,0,1,1,0,0,1)=1.0915948216997698E-8
26:(1,0,0,0,1,1,0,1,0)=1.4262203392611832E-6
27:(1,0,0,0,1,1,0,1,1)=1.0288346633048295E-9
28:(1,0,0,0,1,1,1,0,0)=3.34762289170968E-6
29:(1,0,0,0,1,1,1,0,1)=2.4036958788666597E-9
30:(1,0,0,0,1,1,1,1,0)=6.622804249996508E-7
31:(1,0,0,0,1,1,1,1,1)=4.762355842437646E-10
32:(1,0,0,1,0,0,0,0,0)=2.559535091365425E-4
33:(1,0,0,1,0,0,0,0,1)=1.9957921049309166E-7
34:(1,0,0,1,0,0,0,1,0)=4.659617911105569E-6
35:(1,0,0,1,0,0,0,1,1)=3.5067638338755375E-9
36:(1,0,0,1,0,0,1,0,0)=1.0231014523831611E-5
37:(1,0,0,1,0,0,1,0,1)=7.49804096058859E-9
38:(1,0,0,1,0,0,1,1,0)=1.3343080408216866E-6
39:(1,0,0,1,0,0,1,1,1)=9.60979793741363E-10
40:(1,0,0,1,0,1,0,0,0)=1.731755761393267E-5
41:(1,0,0,1,0,1,0,0,1)=1.257117718018742E-8
42:(1,0,0,1,0,1,0,1,0)=1.6031731680792656E-6
43:(1,0,0,1,0,1,0,1,1)=1.1566079419329308E-9
44:(1,0,0,1,0,1,1,0,0)=3.752182557222948E-6
45:(1,0,0,1,0,1,1,0,1)=2.69423202321475E-9
46:(1,0,0,1,0,1,1,1,0)=7.305554567256936E-7
47:(1,0,0,1,0,1,1,1,1)=5.253558235370205E-10
48:(1,0,0,1,1,0,0,0,0)=2.654729002792759E-5
49:(1,0,0,1,1,0,0,0,1)=1.9174461188196922E-8
50:(1,0,0,1,1,0,0,1,0)=1.9639842378827024E-6
51:(1,0,0,1,1,0,0,1,1)=1.4189827387016232E-9
52:(1,0,0,1,1,0,1,0,0)=4.5561966358293895E-6
53:(1,0,0,1,1,0,1,0,1)=3.2730790465858903E-9
54:(1,0,0,1,1,0,1,1,0)=8.453320831599025E-7
55:(1,0,0,1,1,0,1,1,1)=6.079559526184336E-10
56:(1,0,0,1,1,1,0,0,0)=8.135730040696726E-6
57:(1,0,0,1,1,1,0,0,1)=5.832932264268028E-9
58:(1,0,0,1,1,1,0,1,0)=1.0887660499339811E-6
59:(1,0,0,1,1,1,0,1,1)=7.838270861142699E-10
60:(1,0,0,1,1,1,1,0,0)=2.6604353528151048E-6
61:(1,0,0,1,1,1,1,0,1)=1.9090255005549168E-9
62:(1,0,0,1,1,1,1,1,0)=6.661888955133971E-7
63:(1,0,0,1,1,1,1,1,1)=4.789052595515059E-10
64:(1,0,1,0,0,0,0,0,0)=3.1997438159051184E-4
65:(1,0,1,0,0,0,0,0,1)=2.451631617752169E-7
66:(1,0,1,0,0,0,0,1,0)=5.5079639746932605E-6
67:(1,0,1,0,0,0,0,1,1)=4.143990892445272E-9
68:(1,0,1,0,0,0,1,0,0)=1.2048624227001919E-5
69:(1,0,1,0,0,0,1,0,1)=8.826265686072237E-9
70:(1,0,1,0,0,0,1,1,0)=1.5263095436309539E-6
71:(1,0,1,0,0,0,1,1,1)=1.0993684139798346E-9
72:(1,0,1,0,0,1,0,0,0)=2.0320474984472583E-5
73:(1,0,1,0,0,1,0,0,1)=1.4744469150063466E-8
74:(1,0,1,0,0,1,0,1,0)=1.8422353160916792E-6
75:(1,0,1,0,0,1,0,1,1)=1.329182942698026E-9
76:(1,0,1,0,0,1,1,0,0)=4.297612263658327E-6
77:(1,0,1,0,0,1,1,0,1)=3.0859018723477306E-9
78:(1,0,1,0,0,1,1,1,0)=8.232161346581497E-7
79:(1,0,1,0,0,1,1,1,1)=5.92023315644412E-10
80:(1,0,1,0,1,0,0,0,0)=3.102322887129603E-5
81:(1,0,1,0,1,0,0,0,1)=2.2398014386292146E-8
82:(1,0,1,0,1,0,0,1,0)=2.2627869080466293E-6
83:(1,0,1,0,1,0,0,1,1)=1.634941769395915E-9
84:(1,0,1,0,1,0,1,0,0)=5.233811214423365E-6
85:(1,0,1,0,1,0,1,0,1)=3.759835987834126E-9
86:(1,0,1,0,1,0,1,1,0)=9.554560805180705E-7
87:(1,0,1,0,1,0,1,1,1)=6.871956121814337E-10
88:(1,0,1,0,1,1,0,0,0)=9.310862732517525E-6
89:(1,0,1,0,1,1,0,0,1)=6.675318107028029E-9
90:(1,0,1,0,1,1,0,1,0)=1.2347093649316461E-6
91:(1,0,1,0,1,1,0,1,1)=8.889281268152762E-10
92:(1,0,1,0,1,1,1,0,0)=3.0066524694812344E-6
93:(1,0,1,0,1,1,1,0,1)=2.1575021613189425E-9
94:(1,0,1,0,1,1,1,1,0)=7.446780029956713E-7
95:(1,0,1,0,1,1,1,1,1)=5.353576420747136E-10
96:(1,0,1,1,0,0,0,0,0)=4.530677414394013E-5
97:(1,0,1,1,0,0,0,0,1)=3.2607555683281795E-8
98:(1,0,1,1,0,0,0,1,0)=2.8457350048876787E-6
99:(1,0,1,1,0,0,0,1,1)=2.0584801761775104E-9
100:(1,0,1,1,0,0,1,0,0)=6.528913981572475E-6
101:(1,0,1,1,0,0,1,0,1)=4.691861930587764E-9
102:(1,0,1,1,0,0,1,1,0)=1.138914989244262E-6
103:(1,0,1,1,0,0,1,1,1)=8.192322835090496E-10
104:(1,0,1,1,0,1,0,0,0)=1.151056189922507E-5
105:(1,0,1,1,0,1,0,0,1)=8.253253570401642E-9
106:(1,0,1,1,0,1,0,1,0)=1.4745657798672337E-6
107:(1,0,1,1,0,1,0,1,1)=1.0617207772136976E-9
108:(1,0,1,1,0,1,1,0,0)=3.5668825052251753E-6
109:(1,0,1,1,0,1,1,0,1)=2.559549058256305E-9
110:(1,0,1,1,0,1,1,1,0)=8.620259536913073E-7
111:(1,0,1,1,0,1,1,1,1)=6.197580053718477E-10
112:(1,0,1,1,1,0,0,0,0)=1.8554396000315105E-5
113:(1,0,1,1,1,0,0,0,1)=1.328825991879858E-8
114:(1,0,1,1,1,0,0,1,0)=1.954030228505272E-6
115:(1,0,1,1,1,0,0,1,1)=1.4080585832030374E-9
116:(1,0,1,1,1,0,1,0,0)=4.659315237981303E-6
117:(1,0,1,1,1,0,1,0,1)=3.34405298348283E-9
118:(1,0,1,1,1,0,1,1,0)=1.058989739690473E-6
119:(1,0,1,1,1,0,1,1,1)=7.614380895585297E-10
120:(1,0,1,1,1,1,0,0,0)=8.654577672266148E-6
121:(1,0,1,1,1,1,0,0,1)=6.2027719754776785E-9
122:(1,0,1,1,1,1,0,1,0)=1.473220379798828E-6
123:(1,0,1,1,1,1,0,1,1)=1.059902247642348E-9
124:(1,0,1,1,1,1,1,0,0)=3.7283074165781827E-6
125:(1,0,1,1,1,1,1,0,1)=2.675188445072621E-9
126:(1,0,1,1,1,1,1,1,0)=1.1256887827344132E-6
127:(1,0,1,1,1,1,1,1,1)=8.091961810754615E-10
128:(1,1,1,0,0,0,0,0,0)=0.03446602249422382
129:(1,1,1,0,0,0,0,0,1)=0.002901416551959514
130:(1,1,1,0,0,0,0,1,0)=0.00351571281792026
131:(1,1,1,0,0,0,0,1,1)=5.840566837083362E-4
132:(1,1,1,0,0,0,1,0,0)=0.004279209730355435
133:(1,1,1,0,0,0,1,0,1)=6.54102226074941E-4
134:(1,1,1,0,0,0,1,1,0)=9.032136919505141E-4
135:(1,1,1,0,0,0,1,1,1)=2.143628418232656E-4
136:(1,1,1,0,0,1,0,0,0)=0.005244849844693404
137:(1,1,1,0,0,1,0,0,1)=7.426983395228316E-4
138:(1,1,1,0,0,1,0,1,0)=0.0010312986738325208
139:(1,1,1,0,0,1,0,1,1)=2.36078863133114E-4
140:(1,1,1,0,0,1,1,0,0)=0.0014134484375981666
141:(1,1,1,0,0,1,1,0,1)=2.815740977050092E-4
142:(1,1,1,0,0,1,1,1,0)=4.5026526369866624E-4
143:(1,1,1,0,0,1,1,1,1)=1.3151503358163337E-4
144:(1,1,1,0,1,0,0,0,0)=0.006494354265121867
145:(1,1,1,0,1,0,0,0,1)=8.57346325850235E-4
146:(1,1,1,0,1,0,0,1,0)=0.0011985450322529935
147:(1,1,1,0,1,0,0,1,1)=2.6433370997374744E-4
148:(1,1,1,0,1,0,1,0,0)=0.0016463853509441056
149:(1,1,1,0,1,0,1,0,1)=3.164562436860339E-4
150:(1,1,1,0,1,0,1,1,0)=5.088498940357474E-4
151:(1,1,1,0,1,0,1,1,1)=1.4506680031440569E-4
152:(1,1,1,0,1,1,0,0,0)=0.002253508865828581
153:(1,1,1,0,1,1,0,0,1)=3.864894804295636E-4
154:(1,1,1,0,1,1,0,1,0)=6.21558502288876E-4
155:(1,1,1,0,1,1,0,1,1)=1.678347305753274E-4
156:(1,1,1,0,1,1,1,0,0)=9.528740206128983E-4
157:(1,1,1,0,1,1,1,0,1)=2.1572806858210494E-4
158:(1,1,1,0,1,1,1,1,0)=3.976023618092879E-4
159:(1,1,1,0,1,1,1,1,1)=1.3239210409817396E-4
160:(1,1,1,1,0,0,0,0,0)=0.008162029745842302
161:(1,1,1,1,0,0,0,0,1)=0.0010103752182436324
162:(1,1,1,1,0,0,0,1,0)=0.0014245392679236631
163:(1,1,1,1,0,0,0,1,1)=3.0232893917461095E-4
164:(1,1,1,1,0,0,1,0,0)=0.001963110247497253
165:(1,1,1,1,0,0,1,0,1)=3.636056402030703E-4
166:(1,1,1,1,0,0,1,1,0)=5.888845164705255E-4
167:(1,1,1,1,0,0,1,1,1)=1.6345894003976704E-4
168:(1,1,1,1,0,1,0,0,0)=0.0026854879295847562
169:(1,1,1,1,0,1,0,0,1)=4.452679373718161E-4
170:(1,1,1,1,0,1,0,1,0)=7.210372306809779E-4
171:(1,1,1,1,0,1,0,1,1)=1.896900624488274E-4
172:(1,1,1,1,0,1,1,0,0)=0.0011063395983206006
173:(1,1,1,1,0,1,1,0,1)=2.446431819965598E-4
174:(1,1,1,1,0,1,1,1,0)=4.529163244017344E-4
175:(1,1,1,1,0,1,1,1,1)=1.4798424730836146E-4
176:(1,1,1,1,1,0,0,0,0)=0.0036964144118506867
177:(1,1,1,1,1,0,0,0,1)=5.586294758209986E-4
178:(1,1,1,1,1,0,0,1,0)=9.061521600362186E-4
179:(1,1,1,1,1,0,0,1,1)=2.2608215008201944E-4
180:(1,1,1,1,1,0,1,0,0)=0.0013839375311137454
181:(1,1,1,1,1,0,1,0,1)=2.921281383222365E-4
182:(1,1,1,1,1,0,1,1,0)=5.41569752499302E-4
183:(1,1,1,1,1,0,1,1,1)=1.712941180493864E-4
184:(1,1,1,1,1,1,0,0,0)=0.002076837387413439
185:(1,1,1,1,1,1,0,0,1)=3.865034469901171E-4
186:(1,1,1,1,1,1,0,1,0)=7.103657078038931E-4
187:(1,1,1,1,1,1,0,1,1)=2.1040656776455396E-4
188:(1,1,1,1,1,1,1,0,0)=0.0011943070521414337
189:(1,1,1,1,1,1,1,0,1)=2.923703486351567E-4
190:(1,1,1,1,1,1,1,1,0)=6.096169349302007E-4
191:(1,1,1,1,1,1,1,1,1)=2.2378552672140748E-4
192:(2,0,0,0,0,0,0,0,0)=0.03432564732965445
193:(2,0,0,0,0,0,0,0,1)=6.317017085378916E-5
194:(2,0,0,0,0,0,0,1,0)=1.0482476788202463E-4
195:(2,0,0,0,0,0,0,1,1)=3.092397702974873E-6
196:(2,0,0,0,0,0,1,0,0)=1.5010987974650614E-4
197:(2,0,0,0,0,0,1,0,1)=3.5033803146100625E-6
198:(2,0,0,0,0,0,1,1,0)=7.76544662016808E-6
199:(2,0,0,0,0,0,1,1,1)=1.0816787116854459E-6
200:(2,0,0,0,0,1,0,0,0)=2.000199269037468E-4
201:(2,0,0,0,0,1,0,0,1)=4.012746495456156E-6
202:(2,0,0,0,0,1,0,1,0)=8.849360173341309E-6
203:(2,0,0,0,0,1,0,1,1)=1.1914833840149694E-6
204:(2,0,0,0,0,1,1,0,0)=1.5035354913489646E-5
205:(2,0,0,0,0,1,1,0,1)=1.4262203392611832E-6
206:(2,0,0,0,0,1,1,1,0)=3.347622891709679E-6
207:(2,0,0,0,0,1,1,1,1)=6.622804249996506E-7
208:(2,0,0,0,1,0,0,0,0)=2.559535091365425E-4
209:(2,0,0,0,1,0,0,0,1)=4.659617911105569E-6
210:(2,0,0,0,1,0,0,1,0)=1.0231014523831611E-5
211:(2,0,0,0,1,0,0,1,1)=1.3343080408216866E-6
212:(2,0,0,0,1,0,1,0,0)=1.7317557613932676E-5
213:(2,0,0,0,1,0,1,0,1)=1.6031731680792664E-6
214:(2,0,0,0,1,0,1,1,0)=3.7521825572229484E-6
215:(2,0,0,0,1,0,1,1,1)=7.305554567256936E-7
216:(2,0,0,0,1,1,0,0,0)=2.654729002792759E-5
217:(2,0,0,0,1,1,0,0,1)=1.9639842378827024E-6
218:(2,0,0,0,1,1,0,1,0)=4.5561966358293895E-6
219:(2,0,0,0,1,1,0,1,1)=8.453320831599025E-7
220:(2,0,0,0,1,1,1,0,0)=8.135730040696729E-6
221:(2,0,0,0,1,1,1,0,1)=1.0887660499339811E-6
222:(2,0,0,0,1,1,1,1,0)=2.660435352815104E-6
223:(2,0,0,0,1,1,1,1,1)=6.661888955133972E-7
224:(2,0,0,1,0,0,0,0,0)=3.199743815905119E-4
225:(2,0,0,1,0,0,0,0,1)=5.5079639746932605E-6
226:(2,0,0,1,0,0,0,1,0)=1.2048624227001917E-5
227:(2,0,0,1,0,0,0,1,1)=1.5263095436309539E-6
228:(2,0,0,1,0,0,1,0,0)=2.0320474984472586E-5
229:(2,0,0,1,0,0,1,0,1)=1.8422353160916798E-6
230:(2,0,0,1,0,0,1,1,0)=4.297612263658328E-6
231:(2,0,0,1,0,0,1,1,1)=8.232161346581499E-7
232:(2,0,0,1,0,1,0,0,0)=3.102322887129603E-5
233:(2,0,0,1,0,1,0,0,1)=2.2627869080466293E-6
234:(2,0,0,1,0,1,0,1,0)=5.233811214423366E-6
235:(2,0,0,1,0,1,0,1,1)=9.554560805180705E-7
236:(2,0,0,1,0,1,1,0,0)=9.310862732517525E-6
237:(2,0,0,1,0,1,1,0,1)=1.2347093649316461E-6
238:(2,0,0,1,0,1,1,1,0)=3.006652469481234E-6
239:(2,0,0,1,0,1,1,1,1)=7.446780029956711E-7
240:(2,0,0,1,1,0,0,0,0)=4.530677414394011E-5
241:(2,0,0,1,1,0,0,0,1)=2.845735004887679E-6
242:(2,0,0,1,1,0,0,1,0)=6.528913981572475E-6
243:(2,0,0,1,1,0,0,1,1)=1.1389149892442623E-6
244:(2,0,0,1,1,0,1,0,0)=1.1510561899225076E-5
245:(2,0,0,1,1,0,1,0,1)=1.474565779867234E-6
246:(2,0,0,1,1,0,1,1,0)=3.5668825052251753E-6
247:(2,0,0,1,1,0,1,1,1)=8.620259536913074E-7
248:(2,0,0,1,1,1,0,0,0)=1.855439600031511E-5
249:(2,0,0,1,1,1,0,0,1)=1.954030228505272E-6
250:(2,0,0,1,1,1,0,1,0)=4.659315237981302E-6
251:(2,0,0,1,1,1,0,1,1)=1.0589897396904734E-6
252:(2,0,0,1,1,1,1,0,0)=8.65457767226615E-6
253:(2,0,0,1,1,1,1,0,1)=1.4732203797988281E-6
254:(2,0,0,1,1,1,1,1,0)=3.728307416578184E-6
255:(2,0,0,1,1,1,1,1,1)=1.125688782734413E-6
256:(2,0,1,0,0,0,0,0,0)=2.4413162921440975E-5
257:(2,0,1,0,0,0,0,0,1)=6.23382491880247E-8
258:(2,0,1,0,0,0,0,1,0)=9.198912537869846E-8
259:(2,0,1,0,0,0,0,1,1)=2.313106741382325E-9
260:(2,0,1,0,0,0,1,0,0)=1.2422586227435423E-7
261:(2,0,1,0,0,0,1,0,1)=2.6289635648920683E-9
262:(2,0,1,0,0,0,1,1,0)=5.6869249610195495E-9
263:(2,0,1,0,0,0,1,1,1)=7.788432384678106E-10
264:(2,0,1,0,0,1,0,0,0)=1.5975701650393124E-7
265:(2,0,1,0,0,1,0,0,1)=3.0173123403137664E-9
266:(2,0,1,0,0,1,0,1,0)=6.48480327455256E-9
267:(2,0,1,0,0,1,0,1,1)=8.580171017431756E-10
268:(2,0,1,0,0,1,1,0,0)=1.0915948216997698E-8
269:(2,0,1,0,0,1,1,0,1)=1.0288346633048288E-9
270:(2,0,1,0,0,1,1,1,0)=2.4036958788666597E-9
271:(2,0,1,0,0,1,1,1,1)=4.762355842437646E-10
272:(2,0,1,0,1,0,0,0,0)=1.9957921049309166E-7
273:(2,0,1,0,1,0,0,0,1)=3.506763833875537E-9
274:(2,0,1,0,1,0,0,1,0)=7.498040960588591E-9
275:(2,0,1,0,1,0,0,1,1)=9.60979793741363E-10
276:(2,0,1,0,1,0,1,0,0)=1.2571177180187424E-8
277:(2,0,1,0,1,0,1,0,1)=1.156607941932931E-9
278:(2,0,1,0,1,0,1,1,0)=2.694232023214752E-9
279:(2,0,1,0,1,0,1,1,1)=5.253558235370207E-10
280:(2,0,1,0,1,1,0,0,0)=1.917446118819693E-8
281:(2,0,1,0,1,1,0,0,1)=1.4189827387016234E-9
282:(2,0,1,0,1,1,0,1,0)=3.2730790465858895E-9
283:(2,0,1,0,1,1,0,1,1)=6.079559526184336E-10
284:(2,0,1,0,1,1,1,0,0)=5.832932264268027E-9
285:(2,0,1,0,1,1,1,0,1)=7.838270861142697E-10
286:(2,0,1,0,1,1,1,1,0)=1.909025500554917E-9
287:(2,0,1,0,1,1,1,1,1)=4.789052595515059E-10
288:(2,0,1,1,0,0,0,0,0)=2.451631617752169E-7
289:(2,0,1,1,0,0,0,0,1)=4.143990892445271E-9
290:(2,0,1,1,0,0,0,1,0)=8.826265686072237E-9
291:(2,0,1,1,0,0,0,1,1)=1.0993684139798346E-9
292:(2,0,1,1,0,0,1,0,0)=1.4744469150063464E-8
293:(2,0,1,1,0,0,1,0,1)=1.3291829426980266E-9
294:(2,0,1,1,0,0,1,1,0)=3.0859018723477327E-9
295:(2,0,1,1,0,0,1,1,1)=5.920233156444121E-10
296:(2,0,1,1,0,1,0,0,0)=2.2398014386292143E-8
297:(2,0,1,1,0,1,0,0,1)=1.634941769395915E-9
298:(2,0,1,1,0,1,0,1,0)=3.759835987834127E-9
299:(2,0,1,1,0,1,0,1,1)=6.871956121814337E-10
300:(2,0,1,1,0,1,1,0,0)=6.6753181070280275E-9
301:(2,0,1,1,0,1,1,0,1)=8.88928126815276E-10
302:(2,0,1,1,0,1,1,1,0)=2.1575021613189417E-9
303:(2,0,1,1,0,1,1,1,1)=5.353576420747136E-10
304:(2,0,1,1,1,0,0,0,0)=3.260755568328178E-8
305:(2,0,1,1,1,0,0,0,1)=2.0584801761775104E-9
306:(2,0,1,1,1,0,0,1,0)=4.691861930587763E-9
307:(2,0,1,1,1,0,0,1,1)=8.192322835090492E-10
308:(2,0,1,1,1,0,1,0,0)=8.25325357040164E-9
309:(2,0,1,1,1,0,1,0,1)=1.061720777213698E-9
310:(2,0,1,1,1,0,1,1,0)=2.5595490582563056E-9
311:(2,0,1,1,1,0,1,1,1)=6.197580053718477E-10
312:(2,0,1,1,1,1,0,0,0)=1.328825991879858E-8
313:(2,0,1,1,1,1,0,0,1)=1.4080585832030376E-9
314:(2,0,1,1,1,1,0,1,0)=3.3440529834828294E-9
315:(2,0,1,1,1,1,0,1,1)=7.614380895585294E-10
316:(2,0,1,1,1,1,1,0,0)=6.2027719754776785E-9
317:(2,0,1,1,1,1,1,0,1)=1.059902247642348E-9
318:(2,0,1,1,1,1,1,1,0)=2.6751884450726204E-9
319:(2,0,1,1,1,1,1,1,1)=8.091961810754617E-10
320:(2,1,0,1,0,0,0,0,0)=0.03446602249422383
321:(2,1,0,1,0,0,0,0,1)=0.0035157128179202613
322:(2,1,0,1,0,0,0,1,0)=0.004279209730355435
323:(2,1,0,1,0,0,0,1,1)=9.032136919505141E-4
324:(2,1,0,1,0,0,1,0,0)=0.005244849844693406
325:(2,1,0,1,0,0,1,0,1)=0.0010312986738325208
326:(2,1,0,1,0,0,1,1,0)=0.0014134484375981668
327:(2,1,0,1,0,0,1,1,1)=4.5026526369866635E-4
328:(2,1,0,1,0,1,0,0,0)=0.006494354265121867
329:(2,1,0,1,0,1,0,0,1)=0.0011985450322529933
330:(2,1,0,1,0,1,0,1,0)=0.0016463853509441056
331:(2,1,0,1,0,1,0,1,1)=5.088498940357474E-4
332:(2,1,0,1,0,1,1,0,0)=0.0022535088658285803
333:(2,1,0,1,0,1,1,0,1)=6.215585022888759E-4
334:(2,1,0,1,0,1,1,1,0)=9.528740206128979E-4
335:(2,1,0,1,0,1,1,1,1)=3.976023618092878E-4
336:(2,1,0,1,1,0,0,0,0)=0.008162029745842302
337:(2,1,0,1,1,0,0,0,1)=0.0014245392679236631
338:(2,1,0,1,1,0,0,1,0)=0.0019631102474972533
339:(2,1,0,1,1,0,0,1,1)=5.888845164705255E-4
340:(2,1,0,1,1,0,1,0,0)=0.002685487929584757
341:(2,1,0,1,1,0,1,0,1)=7.210372306809779E-4
342:(2,1,0,1,1,0,1,1,0)=0.0011063395983206006
343:(2,1,0,1,1,0,1,1,1)=4.529163244017344E-4
344:(2,1,0,1,1,1,0,0,0)=0.0036964144118506867
345:(2,1,0,1,1,1,0,0,1)=9.061521600362186E-4
346:(2,1,0,1,1,1,0,1,0)=0.0013839375311137454
347:(2,1,0,1,1,1,0,1,1)=5.41569752499302E-4
348:(2,1,0,1,1,1,1,0,0)=0.002076837387413439
349:(2,1,0,1,1,1,1,0,1)=7.103657078038931E-4
350:(2,1,0,1,1,1,1,1,0)=0.0011943070521414335
351:(2,1,0,1,1,1,1,1,1)=6.096169349302007E-4
352:(2,1,1,1,0,0,0,0,0)=0.0029014165519595145
353:(2,1,1,1,0,0,0,0,1)=5.840566837083362E-4
354:(2,1,1,1,0,0,0,1,0)=6.541022260749413E-4
355:(2,1,1,1,0,0,0,1,1)=2.1436284182326567E-4
356:(2,1,1,1,0,0,1,0,0)=7.426983395228317E-4
357:(2,1,1,1,0,0,1,0,1)=2.3607886313311397E-4
358:(2,1,1,1,0,0,1,1,0)=2.815740977050091E-4
359:(2,1,1,1,0,0,1,1,1)=1.315150335816334E-4
360:(2,1,1,1,0,1,0,0,0)=8.57346325850235E-4
361:(2,1,1,1,0,1,0,0,1)=2.6433370997374744E-4
362:(2,1,1,1,0,1,0,1,0)=3.164562436860339E-4
363:(2,1,1,1,0,1,0,1,1)=1.4506680031440569E-4
364:(2,1,1,1,0,1,1,0,0)=3.8648948042956343E-4
365:(2,1,1,1,0,1,1,0,1)=1.6783473057532737E-4
366:(2,1,1,1,0,1,1,1,0)=2.1572806858210494E-4
367:(2,1,1,1,0,1,1,1,1)=1.3239210409817396E-4
368:(2,1,1,1,1,0,0,0,0)=0.0010103752182436326
369:(2,1,1,1,1,0,0,0,1)=3.0232893917461095E-4
370:(2,1,1,1,1,0,0,1,0)=3.6360564020307027E-4
371:(2,1,1,1,1,0,0,1,1)=1.6345894003976704E-4
372:(2,1,1,1,1,0,1,0,0)=4.452679373718161E-4
373:(2,1,1,1,1,0,1,0,1)=1.896900624488274E-4
374:(2,1,1,1,1,0,1,1,0)=2.446431819965599E-4
375:(2,1,1,1,1,0,1,1,1)=1.479842473083615E-4
376:(2,1,1,1,1,1,0,0,0)=5.586294758209986E-4
377:(2,1,1,1,1,1,0,0,1)=2.260821500820195E-4
378:(2,1,1,1,1,1,0,1,0)=2.9212813832223643E-4
379:(2,1,1,1,1,1,0,1,1)=1.7129411804938643E-4
380:(2,1,1,1,1,1,1,0,0)=3.8650344699011697E-4
381:(2,1,1,1,1,1,1,0,1)=2.1040656776455396E-4
382:(2,1,1,1,1,1,1,1,0)=2.923703486351567E-4
383:(2,1,1,1,1,1,1,1,1)=2.2378552672140748E-4
384:(3,0,0,0,0,0,0,0,0)=0.03432564732965445
385:(3,0,0,0,0,0,0,0,1)=1.0482476788202466E-4
386:(3,0,0,0,0,0,0,1,0)=1.5010987974650616E-4
387:(3,0,0,0,0,0,0,1,1)=7.76544662016808E-6
388:(3,0,0,0,0,0,1,0,0)=2.000199269037468E-4
389:(3,0,0,0,0,0,1,0,1)=8.849360173341309E-6
390:(3,0,0,0,0,0,1,1,0)=1.5035354913489646E-5
391:(3,0,0,0,0,0,1,1,1)=3.347622891709679E-6
392:(3,0,0,0,0,1,0,0,0)=2.559535091365425E-4
393:(3,0,0,0,0,1,0,0,1)=1.0231014523831611E-5
394:(3,0,0,0,0,1,0,1,0)=1.731755761393267E-5
395:(3,0,0,0,0,1,0,1,1)=3.752182557222948E-6
396:(3,0,0,0,0,1,1,0,0)=2.654729002792759E-5
397:(3,0,0,0,0,1,1,0,1)=4.556196635829389E-6
398:(3,0,0,0,0,1,1,1,0)=8.135730040696727E-6
399:(3,0,0,0,0,1,1,1,1)=2.6604353528151044E-6
400:(3,0,0,0,1,0,0,0,0)=3.199743815905119E-4
401:(3,0,0,0,1,0,0,0,1)=1.2048624227001917E-5
402:(3,0,0,0,1,0,0,1,0)=2.0320474984472586E-5
403:(3,0,0,0,1,0,0,1,1)=4.2976122636583295E-6
404:(3,0,0,0,1,0,1,0,0)=3.1023228871296045E-5
405:(3,0,0,0,1,0,1,0,1)=5.233811214423366E-6
406:(3,0,0,0,1,0,1,1,0)=9.310862732517529E-6
407:(3,0,0,0,1,0,1,1,1)=3.0066524694812348E-6
408:(3,0,0,0,1,1,0,0,0)=4.530677414394013E-5
409:(3,0,0,0,1,1,0,0,1)=6.528913981572475E-6
410:(3,0,0,0,1,1,0,1,0)=1.1510561899225074E-5
411:(3,0,0,0,1,1,0,1,1)=3.5668825052251757E-6
412:(3,0,0,0,1,1,1,0,0)=1.8554396000315105E-5
413:(3,0,0,0,1,1,1,0,1)=4.659315237981302E-6
414:(3,0,0,0,1,1,1,1,0)=8.65457767226615E-6
415:(3,0,0,0,1,1,1,1,1)=3.728307416578184E-6
416:(3,0,0,1,0,0,0,0,0)=2.4413162921440975E-5
417:(3,0,0,1,0,0,0,0,1)=9.198912537869846E-8
418:(3,0,0,1,0,0,0,1,0)=1.2422586227435423E-7
419:(3,0,0,1,0,0,0,1,1)=5.6869249610195495E-9
420:(3,0,0,1,0,0,1,0,0)=1.5975701650393124E-7
421:(3,0,0,1,0,0,1,0,1)=6.48480327455256E-9
422:(3,0,0,1,0,0,1,1,0)=1.0915948216997698E-8
423:(3,0,0,1,0,0,1,1,1)=2.4036958788666597E-9
424:(3,0,0,1,0,1,0,0,0)=1.9957921049309164E-7
425:(3,0,0,1,0,1,0,0,1)=7.49804096058859E-9
426:(3,0,0,1,0,1,0,1,0)=1.2571177180187424E-8
427:(3,0,0,1,0,1,0,1,1)=2.694232023214752E-9
428:(3,0,0,1,0,1,1,0,0)=1.917446118819693E-8
429:(3,0,0,1,0,1,1,0,1)=3.2730790465858903E-9
430:(3,0,0,1,0,1,1,1,0)=5.832932264268027E-9
431:(3,0,0,1,0,1,1,1,1)=1.909025500554917E-9
432:(3,0,0,1,1,0,0,0,0)=2.451631617752169E-7
433:(3,0,0,1,1,0,0,0,1)=8.826265686072237E-9
434:(3,0,0,1,1,0,0,1,0)=1.4744469150063464E-8
435:(3,0,0,1,1,0,0,1,1)=3.0859018723477327E-9
436:(3,0,0,1,1,0,1,0,0)=2.239801438629215E-8
437:(3,0,0,1,1,0,1,0,1)=3.759835987834129E-9
438:(3,0,0,1,1,0,1,1,0)=6.67531810702803E-9
439:(3,0,0,1,1,0,1,1,1)=2.1575021613189425E-9
440:(3,0,0,1,1,1,0,0,0)=3.260755568328179E-8
441:(3,0,0,1,1,1,0,0,1)=4.691861930587765E-9
442:(3,0,0,1,1,1,0,1,0)=8.25325357040164E-9
443:(3,0,0,1,1,1,0,1,1)=2.5595490582563056E-9
444:(3,0,0,1,1,1,1,0,0)=1.3288259918798584E-8
445:(3,0,0,1,1,1,1,0,1)=3.3440529834828294E-9
446:(3,0,0,1,1,1,1,1,0)=6.2027719754776785E-9
447:(3,0,0,1,1,1,1,1,1)=2.6751884450726204E-9
448:(3,0,1,0,0,0,0,0,0)=6.317017085378916E-5
449:(3,0,1,0,0,0,0,0,1)=3.092397702974873E-6
450:(3,0,1,0,0,0,0,1,0)=3.5033803146100625E-6
451:(3,0,1,0,0,0,0,1,1)=1.0816787116854463E-6
452:(3,0,1,0,0,0,1,0,0)=4.012746495456155E-6
453:(3,0,1,0,0,0,1,0,1)=1.1914833840149694E-6
454:(3,0,1,0,0,0,1,1,0)=1.4262203392611832E-6
455:(3,0,1,0,0,0,1,1,1)=6.622804249996508E-7
456:(3,0,1,0,0,1,0,0,0)=4.659617911105569E-6
457:(3,0,1,0,0,1,0,0,1)=1.3343080408216866E-6
458:(3,0,1,0,0,1,0,1,0)=1.603173168079266E-6
459:(3,0,1,0,0,1,0,1,1)=7.305554567256938E-7
460:(3,0,1,0,0,1,1,0,0)=1.9639842378827024E-6
461:(3,0,1,0,0,1,1,0,1)=8.453320831599025E-7
462:(3,0,1,0,0,1,1,1,0)=1.0887660499339811E-6
463:(3,0,1,0,0,1,1,1,1)=6.661888955133972E-7
464:(3,0,1,0,1,0,0,0,0)=5.507963974693259E-6
465:(3,0,1,0,1,0,0,0,1)=1.5263095436309539E-6
466:(3,0,1,0,1,0,0,1,0)=1.8422353160916792E-6
467:(3,0,1,0,1,0,0,1,1)=8.232161346581499E-7
468:(3,0,1,0,1,0,1,0,0)=2.2627869080466293E-6
469:(3,0,1,0,1,0,1,0,1)=9.55456080518071E-7
470:(3,0,1,0,1,0,1,1,0)=1.2347093649316468E-6
471:(3,0,1,0,1,0,1,1,1)=7.44678002995671E-7
472:(3,0,1,0,1,1,0,0,0)=2.845735004887679E-6
473:(3,0,1,0,1,1,0,0,1)=1.1389149892442623E-6
474:(3,0,1,0,1,1,0,1,0)=1.4745657798672344E-6
475:(3,0,1,0,1,1,0,1,1)=8.620259536913076E-7
476:(3,0,1,0,1,1,1,0,0)=1.9540302285052727E-6
477:(3,0,1,0,1,1,1,0,1)=1.0589897396904734E-6
478:(3,0,1,0,1,1,1,1,0)=1.4732203797988281E-6
479:(3,0,1,0,1,1,1,1,1)=1.125688782734413E-6
480:(3,0,1,1,0,0,0,0,0)=6.23382491880247E-8
481:(3,0,1,1,0,0,0,0,1)=2.3131067413823256E-9
482:(3,0,1,1,0,0,0,1,0)=2.6289635648920687E-9
483:(3,0,1,1,0,0,0,1,1)=7.78843238467811E-10
484:(3,0,1,1,0,0,1,0,0)=3.017312340313766E-9
485:(3,0,1,1,0,0,1,0,1)=8.580171017431759E-10
486:(3,0,1,1,0,0,1,1,0)=1.028834663304829E-9
487:(3,0,1,1,0,0,1,1,1)=4.762355842437646E-10
488:(3,0,1,1,0,1,0,0,0)=3.5067638338755375E-9
489:(3,0,1,1,0,1,0,0,1)=9.609797937413634E-10
490:(3,0,1,1,0,1,0,1,0)=1.156607941932931E-9
491:(3,0,1,1,0,1,0,1,1)=5.253558235370207E-10
492:(3,0,1,1,0,1,1,0,0)=1.4189827387016234E-9
493:(3,0,1,1,0,1,1,0,1)=6.079559526184336E-10
494:(3,0,1,1,0,1,1,1,0)=7.838270861142694E-10
495:(3,0,1,1,0,1,1,1,1)=4.789052595515059E-10
496:(3,0,1,1,1,0,0,0,0)=4.143990892445271E-9
497:(3,0,1,1,1,0,0,0,1)=1.0993684139798348E-9
498:(3,0,1,1,1,0,0,1,0)=1.3291829426980266E-9
499:(3,0,1,1,1,0,0,1,1)=5.920233156444121E-10
500:(3,0,1,1,1,0,1,0,0)=1.634941769395915E-9
501:(3,0,1,1,1,0,1,0,1)=6.871956121814337E-10
502:(3,0,1,1,1,0,1,1,0)=8.889281268152762E-10
503:(3,0,1,1,1,0,1,1,1)=5.353576420747136E-10
504:(3,0,1,1,1,1,0,0,0)=2.05848017617751E-9
505:(3,0,1,1,1,1,0,0,1)=8.192322835090496E-10
506:(3,0,1,1,1,1,0,1,0)=1.061720777213698E-9
507:(3,0,1,1,1,1,0,1,1)=6.197580053718477E-10
508:(3,0,1,1,1,1,1,0,0)=1.408058583203038E-9
509:(3,0,1,1,1,1,1,0,1)=7.614380895585294E-10
510:(3,0,1,1,1,1,1,1,0)=1.059902247642348E-9
511:(3,0,1,1,1,1,1,1,1)=8.091961810754614E-10
512:(3,1,0,0,1,0,0,0,0)=0.034466022494223814
513:(3,1,0,0,1,0,0,0,1)=0.004279209730355435
514:(3,1,0,0,1,0,0,1,0)=0.005244849844693406
515:(3,1,0,0,1,0,0,1,1)=0.0014134484375981668
516:(3,1,0,0,1,0,1,0,0)=0.006494354265121868
517:(3,1,0,0,1,0,1,0,1)=0.001646385350944106
518:(3,1,0,0,1,0,1,1,0)=0.002253508865828581
519:(3,1,0,0,1,0,1,1,1)=9.528740206128979E-4
520:(3,1,0,0,1,1,0,0,0)=0.008162029745842304
521:(3,1,0,0,1,1,0,0,1)=0.0019631102474972533
522:(3,1,0,0,1,1,0,1,0)=0.002685487929584757
523:(3,1,0,0,1,1,0,1,1)=0.0011063395983206006
524:(3,1,0,0,1,1,1,0,0)=0.0036964144118506875
525:(3,1,0,0,1,1,1,0,1)=0.0013839375311137448
526:(3,1,0,0,1,1,1,1,0)=0.002076837387413439
527:(3,1,0,0,1,1,1,1,1)=0.0011943070521414337
528:(3,1,0,1,1,0,0,0,0)=0.0029014165519595145
529:(3,1,0,1,1,0,0,0,1)=6.541022260749413E-4
530:(3,1,0,1,1,0,0,1,0)=7.426983395228317E-4
531:(3,1,0,1,1,0,0,1,1)=2.815740977050091E-4
532:(3,1,0,1,1,0,1,0,0)=8.573463258502351E-4
533:(3,1,0,1,1,0,1,0,1)=3.164562436860338E-4
534:(3,1,0,1,1,0,1,1,0)=3.8648948042956343E-4
535:(3,1,0,1,1,0,1,1,1)=2.1572806858210502E-4
536:(3,1,0,1,1,1,0,0,0)=0.0010103752182436326
537:(3,1,0,1,1,1,0,0,1)=3.636056402030702E-4
538:(3,1,0,1,1,1,0,1,0)=4.452679373718161E-4
539:(3,1,0,1,1,1,0,1,1)=2.446431819965599E-4
540:(3,1,0,1,1,1,1,0,0)=5.586294758209986E-4
541:(3,1,0,1,1,1,1,0,1)=2.9212813832223643E-4
542:(3,1,0,1,1,1,1,1,0)=3.865034469901171E-4
543:(3,1,0,1,1,1,1,1,1)=2.923703486351566E-4
544:(3,1,1,0,1,0,0,0,0)=0.0035157128179202613
545:(3,1,1,0,1,0,0,0,1)=9.032136919505141E-4
546:(3,1,1,0,1,0,0,1,0)=0.001031298673832521
547:(3,1,1,0,1,0,0,1,1)=4.5026526369866624E-4
548:(3,1,1,0,1,0,1,0,0)=0.0011985450322529935
549:(3,1,1,0,1,0,1,0,1)=5.088498940357474E-4
550:(3,1,1,0,1,0,1,1,0)=6.21558502288876E-4
551:(3,1,1,0,1,0,1,1,1)=3.97602361809288E-4
552:(3,1,1,0,1,1,0,0,0)=0.0014245392679236633
553:(3,1,1,0,1,1,0,0,1)=5.888845164705255E-4
554:(3,1,1,0,1,1,0,1,0)=7.210372306809779E-4
555:(3,1,1,0,1,1,0,1,1)=4.529163244017344E-4
556:(3,1,1,0,1,1,1,0,0)=9.061521600362186E-4
557:(3,1,1,0,1,1,1,0,1)=5.41569752499302E-4
558:(3,1,1,0,1,1,1,1,0)=7.103657078038931E-4
559:(3,1,1,0,1,1,1,1,1)=6.096169349302005E-4
560:(3,1,1,1,1,0,0,0,0)=5.840566837083362E-4
561:(3,1,1,1,1,0,0,0,1)=2.143628418232656E-4
562:(3,1,1,1,1,0,0,1,0)=2.3607886313311397E-4
563:(3,1,1,1,1,0,0,1,1)=1.315150335816334E-4
564:(3,1,1,1,1,0,1,0,0)=2.643337099737474E-4
565:(3,1,1,1,1,0,1,0,1)=1.4506680031440569E-4
566:(3,1,1,1,1,0,1,1,0)=1.678347305753274E-4
567:(3,1,1,1,1,0,1,1,1)=1.3239210409817396E-4
568:(3,1,1,1,1,1,0,0,0)=3.023289391746109E-4
569:(3,1,1,1,1,1,0,0,1)=1.634589400397671E-4
570:(3,1,1,1,1,1,0,1,0)=1.896900624488274E-4
571:(3,1,1,1,1,1,0,1,1)=1.479842473083615E-4
572:(3,1,1,1,1,1,1,0,0)=2.2608215008201944E-4
573:(3,1,1,1,1,1,1,0,1)=1.712941180493864E-4
574:(3,1,1,1,1,1,1,1,0)=2.1040656776455396E-4
575:(3,1,1,1,1,1,1,1,1)=2.2378552672140746E-4
576:(4,0,0,0,0,0,0,0,0)=0.03432564732965445
577:(4,0,0,0,0,0,0,0,1)=1.5010987974650614E-4
578:(4,0,0,0,0,0,0,1,0)=2.000199269037468E-4
579:(4,0,0,0,0,0,0,1,1)=1.5035354913489646E-5
580:(4,0,0,0,0,0,1,0,0)=2.559535091365425E-4
581:(4,0,0,0,0,0,1,0,1)=1.731755761393267E-5
582:(4,0,0,0,0,0,1,1,0)=2.654729002792759E-5
583:(4,0,0,0,0,0,1,1,1)=8.13573004069673E-6
584:(4,0,0,0,0,1,0,0,0)=3.199743815905118E-4
585:(4,0,0,0,0,1,0,0,1)=2.032047498447258E-5
586:(4,0,0,0,0,1,0,1,0)=3.1023228871296045E-5
587:(4,0,0,0,0,1,0,1,1)=9.310862732517529E-6
588:(4,0,0,0,0,1,1,0,0)=4.530677414394013E-5
589:(4,0,0,0,0,1,1,0,1)=1.1510561899225076E-5
590:(4,0,0,0,0,1,1,1,0)=1.8554396000315105E-5
591:(4,0,0,0,0,1,1,1,1)=8.65457767226615E-6
592:(4,0,0,0,1,0,0,0,0)=2.4413162921440975E-5
593:(4,0,0,0,1,0,0,0,1)=1.2422586227435418E-7
594:(4,0,0,0,1,0,0,1,0)=1.5975701650393124E-7
595:(4,0,0,0,1,0,0,1,1)=1.0915948216997698E-8
596:(4,0,0,0,1,0,1,0,0)=1.9957921049309166E-7
597:(4,0,0,0,1,0,1,0,1)=1.2571177180187424E-8
598:(4,0,0,0,1,0,1,1,0)=1.917446118819693E-8
599:(4,0,0,0,1,0,1,1,1)=5.832932264268028E-9
600:(4,0,0,0,1,1,0,0,0)=2.4516316177521687E-7
601:(4,0,0,0,1,1,0,0,1)=1.4744469150063466E-8
602:(4,0,0,0,1,1,0,1,0)=2.239801438629215E-8
603:(4,0,0,0,1,1,0,1,1)=6.67531810702803E-9
604:(4,0,0,0,1,1,1,0,0)=3.260755568328179E-8
605:(4,0,0,0,1,1,1,0,1)=8.25325357040164E-9
606:(4,0,0,0,1,1,1,1,0)=1.328825991879858E-8
607:(4,0,0,0,1,1,1,1,1)=6.2027719754776785E-9
608:(4,0,0,1,0,0,0,0,0)=6.317017085378916E-5
609:(4,0,0,1,0,0,0,0,1)=3.503380314610061E-6
610:(4,0,0,1,0,0,0,1,0)=4.012746495456155E-6
611:(4,0,0,1,0,0,0,1,1)=1.4262203392611832E-6
612:(4,0,0,1,0,0,1,0,0)=4.659617911105569E-6
613:(4,0,0,1,0,0,1,0,1)=1.6031731680792664E-6
614:(4,0,0,1,0,0,1,1,0)=1.9639842378827024E-6
615:(4,0,0,1,0,0,1,1,1)=1.0887660499339811E-6
616:(4,0,0,1,0,1,0,0,0)=5.507963974693258E-6
617:(4,0,0,1,0,1,0,0,1)=1.8422353160916792E-6
618:(4,0,0,1,0,1,0,1,0)=2.2627869080466293E-6
619:(4,0,0,1,0,1,0,1,1)=1.2347093649316468E-6
620:(4,0,0,1,0,1,1,0,0)=2.845735004887679E-6
621:(4,0,0,1,0,1,1,0,1)=1.474565779867234E-6
622:(4,0,0,1,0,1,1,1,0)=1.954030228505272E-6
623:(4,0,0,1,0,1,1,1,1)=1.4732203797988281E-6
624:(4,0,0,1,1,0,0,0,0)=6.23382491880247E-8
625:(4,0,0,1,1,0,0,0,1)=2.6289635648920683E-9
626:(4,0,0,1,1,0,0,1,0)=3.017312340313766E-9
627:(4,0,0,1,1,0,0,1,1)=1.028834663304829E-9
628:(4,0,0,1,1,0,1,0,0)=3.5067638338755375E-9
629:(4,0,0,1,1,0,1,0,1)=1.1566079419329308E-9
630:(4,0,0,1,1,0,1,1,0)=1.4189827387016234E-9
631:(4,0,0,1,1,0,1,1,1)=7.838270861142696E-10
632:(4,0,0,1,1,1,0,0,0)=4.143990892445271E-9
633:(4,0,0,1,1,1,0,0,1)=1.3291829426980266E-9
634:(4,0,0,1,1,1,0,1,0)=1.634941769395915E-9
635:(4,0,0,1,1,1,0,1,1)=8.88928126815276E-10
636:(4,0,0,1,1,1,1,0,0)=2.05848017617751E-9
637:(4,0,0,1,1,1,1,0,1)=1.0617207772136976E-9
638:(4,0,0,1,1,1,1,1,0)=1.4080585832030376E-9
639:(4,0,0,1,1,1,1,1,1)=1.059902247642348E-9
640:(4,0,1,0,0,0,0,0,0)=1.0482476788202466E-4
641:(4,0,1,0,0,0,0,0,1)=7.76544662016808E-6
642:(4,0,1,0,0,0,0,1,0)=8.849360173341309E-6
643:(4,0,1,0,0,0,0,1,1)=3.3476228917096803E-6
644:(4,0,1,0,0,0,1,0,0)=1.0231014523831608E-5
645:(4,0,1,0,0,0,1,0,1)=3.7521825572229496E-6
646:(4,0,1,0,0,0,1,1,0)=4.556196635829391E-6
647:(4,0,1,0,0,0,1,1,1)=2.6604353528151044E-6
648:(4,0,1,0,0,1,0,0,0)=1.2048624227001917E-5
649:(4,0,1,0,0,1,0,0,1)=4.2976122636583295E-6
650:(4,0,1,0,0,1,0,1,0)=5.233811214423366E-6
651:(4,0,1,0,0,1,0,1,1)=3.0066524694812344E-6
652:(4,0,1,0,0,1,1,0,0)=6.528913981572475E-6
653:(4,0,1,0,0,1,1,0,1)=3.5668825052251753E-6
654:(4,0,1,0,0,1,1,1,0)=4.659315237981302E-6
655:(4,0,1,0,0,1,1,1,1)=3.7283074165781827E-6
656:(4,0,1,0,1,0,0,0,0)=9.198912537869846E-8
657:(4,0,1,0,1,0,0,0,1)=5.68692496101955E-9
658:(4,0,1,0,1,0,0,1,0)=6.48480327455256E-9
659:(4,0,1,0,1,0,0,1,1)=2.40369587886666E-9
660:(4,0,1,0,1,0,1,0,0)=7.498040960588591E-9
661:(4,0,1,0,1,0,1,0,1)=2.694232023214752E-9
662:(4,0,1,0,1,0,1,1,0)=3.2730790465858903E-9
663:(4,0,1,0,1,0,1,1,1)=1.909025500554917E-9
664:(4,0,1,0,1,1,0,0,0)=8.826265686072237E-9
665:(4,0,1,0,1,1,0,0,1)=3.085901872347732E-9
666:(4,0,1,0,1,1,0,1,0)=3.759835987834129E-9
667:(4,0,1,0,1,1,0,1,1)=2.157502161318942E-9
668:(4,0,1,0,1,1,1,0,0)=4.691861930587764E-9
669:(4,0,1,0,1,1,1,0,1)=2.5595490582563056E-9
670:(4,0,1,0,1,1,1,1,0)=3.3440529834828294E-9
671:(4,0,1,0,1,1,1,1,1)=2.6751884450726204E-9
672:(4,0,1,1,0,0,0,0,0)=3.092397702974873E-6
673:(4,0,1,1,0,0,0,0,1)=1.0816787116854467E-6
674:(4,0,1,1,0,0,0,1,0)=1.1914833840149694E-6
675:(4,0,1,1,0,0,0,1,1)=6.622804249996508E-7
676:(4,0,1,1,0,0,1,0,0)=1.3343080408216866E-6
677:(4,0,1,1,0,0,1,0,1)=7.305554567256938E-7
678:(4,0,1,1,0,0,1,1,0)=8.453320831599025E-7
679:(4,0,1,1,0,0,1,1,1)=6.661888955133972E-7
680:(4,0,1,1,0,1,0,0,0)=1.5263095436309539E-6
681:(4,0,1,1,0,1,0,0,1)=8.232161346581499E-7
682:(4,0,1,1,0,1,0,1,0)=9.55456080518071E-7
683:(4,0,1,1,0,1,0,1,1)=7.446780029956711E-7
684:(4,0,1,1,0,1,1,0,0)=1.1389149892442623E-6
685:(4,0,1,1,0,1,1,0,1)=8.620259536913074E-7
686:(4,0,1,1,0,1,1,1,0)=1.0589897396904734E-6
687:(4,0,1,1,0,1,1,1,1)=1.125688782734413E-6
688:(4,0,1,1,1,0,0,0,0)=2.3131067413823256E-9
689:(4,0,1,1,1,0,0,0,1)=7.78843238467811E-10
690:(4,0,1,1,1,0,0,1,0)=8.580171017431757E-10
691:(4,0,1,1,1,0,0,1,1)=4.762355842437646E-10
692:(4,0,1,1,1,0,1,0,0)=9.60979793741363E-10
693:(4,0,1,1,1,0,1,0,1)=5.253558235370205E-10
694:(4,0,1,1,1,0,1,1,0)=6.079559526184336E-10
695:(4,0,1,1,1,0,1,1,1)=4.78905259551506E-10
696:(4,0,1,1,1,1,0,0,0)=1.0993684139798348E-9
697:(4,0,1,1,1,1,0,0,1)=5.920233156444121E-10
698:(4,0,1,1,1,1,0,1,0)=6.871956121814337E-10
699:(4,0,1,1,1,1,0,1,1)=5.353576420747135E-10
700:(4,0,1,1,1,1,1,0,0)=8.192322835090492E-10
701:(4,0,1,1,1,1,1,0,1)=6.197580053718477E-10
702:(4,0,1,1,1,1,1,1,0)=7.614380895585294E-10
703:(4,0,1,1,1,1,1,1,1)=8.091961810754617E-10
704:(4,1,0,0,0,1,0,0,0)=0.034466022494223814
705:(4,1,0,0,0,1,0,0,1)=0.005244849844693406
706:(4,1,0,0,0,1,0,1,0)=0.006494354265121868
707:(4,1,0,0,0,1,0,1,1)=0.002253508865828581
708:(4,1,0,0,0,1,1,0,0)=0.008162029745842302
709:(4,1,0,0,0,1,1,0,1)=0.002685487929584757
710:(4,1,0,0,0,1,1,1,0)=0.0036964144118506867
711:(4,1,0,0,0,1,1,1,1)=0.002076837387413439
712:(4,1,0,0,1,1,0,0,0)=0.0029014165519595145
713:(4,1,0,0,1,1,0,0,1)=7.426983395228318E-4
714:(4,1,0,0,1,1,0,1,0)=8.573463258502353E-4
715:(4,1,0,0,1,1,0,1,1)=3.864894804295636E-4
716:(4,1,0,0,1,1,1,0,0)=0.0010103752182436326
717:(4,1,0,0,1,1,1,0,1)=4.452679373718161E-4
718:(4,1,0,0,1,1,1,1,0)=5.586294758209986E-4
719:(4,1,0,0,1,1,1,1,1)=3.8650344699011697E-4
720:(4,1,0,1,0,1,0,0,0)=0.0035157128179202604
721:(4,1,0,1,0,1,0,0,1)=0.001031298673832521
722:(4,1,0,1,0,1,0,1,0)=0.0011985450322529935
723:(4,1,0,1,0,1,0,1,1)=6.21558502288876E-4
724:(4,1,0,1,0,1,1,0,0)=0.0014245392679236633
725:(4,1,0,1,0,1,1,0,1)=7.210372306809779E-4
726:(4,1,0,1,0,1,1,1,0)=9.061521600362186E-4
727:(4,1,0,1,0,1,1,1,1)=7.103657078038931E-4
728:(4,1,0,1,1,1,0,0,0)=5.840566837083364E-4
729:(4,1,0,1,1,1,0,0,1)=2.36078863133114E-4
730:(4,1,0,1,1,1,0,1,0)=2.6433370997374744E-4
731:(4,1,0,1,1,1,0,1,1)=1.6783473057532737E-4
732:(4,1,0,1,1,1,1,0,0)=3.0232893917461095E-4
733:(4,1,0,1,1,1,1,0,1)=1.896900624488274E-4
734:(4,1,0,1,1,1,1,1,0)=2.2608215008201944E-4
735:(4,1,0,1,1,1,1,1,1)=2.1040656776455396E-4
736:(4,1,1,0,0,1,0,0,0)=0.004279209730355435
737:(4,1,1,0,0,1,0,0,1)=0.001413448437598167
738:(4,1,1,0,0,1,0,1,0)=0.001646385350944106
739:(4,1,1,0,0,1,0,1,1)=9.528740206128979E-4
740:(4,1,1,0,0,1,1,0,0)=0.0019631102474972533
741:(4,1,1,0,0,1,1,0,1)=0.0011063395983206006
742:(4,1,1,0,0,1,1,1,0)=0.0013839375311137454
743:(4,1,1,0,0,1,1,1,1)=0.0011943070521414337
744:(4,1,1,0,1,1,0,0,0)=6.541022260749414E-4
745:(4,1,1,0,1,1,0,0,1)=2.815740977050092E-4
746:(4,1,1,0,1,1,0,1,0)=3.1645624368603387E-4
747:(4,1,1,0,1,1,0,1,1)=2.15728068582105E-4
748:(4,1,1,0,1,1,1,0,0)=3.636056402030703E-4
749:(4,1,1,0,1,1,1,0,1)=2.446431819965599E-4
750:(4,1,1,0,1,1,1,1,0)=2.921281383222365E-4
751:(4,1,1,0,1,1,1,1,1)=2.923703486351566E-4
752:(4,1,1,1,0,1,0,0,0)=9.032136919505143E-4
753:(4,1,1,1,0,1,0,0,1)=4.5026526369866635E-4
754:(4,1,1,1,0,1,0,1,0)=5.088498940357474E-4
755:(4,1,1,1,0,1,0,1,1)=3.976023618092878E-4
756:(4,1,1,1,0,1,1,0,0)=5.888845164705255E-4
757:(4,1,1,1,0,1,1,0,1)=4.529163244017344E-4
758:(4,1,1,1,0,1,1,1,0)=5.41569752499302E-4
759:(4,1,1,1,0,1,1,1,1)=6.096169349302006E-4
760:(4,1,1,1,1,1,0,0,0)=2.1436284182326567E-4
761:(4,1,1,1,1,1,0,0,1)=1.3151503358163345E-4
762:(4,1,1,1,1,1,0,1,0)=1.4506680031440569E-4
763:(4,1,1,1,1,1,0,1,1)=1.3239210409817393E-4
764:(4,1,1,1,1,1,1,0,0)=1.6345894003976704E-4
765:(4,1,1,1,1,1,1,0,1)=1.4798424730836152E-4
766:(4,1,1,1,1,1,1,1,0)=1.712941180493864E-4
767:(4,1,1,1,1,1,1,1,1)=2.2378552672140748E-4
768:(5,0,0,0,0,0,0,0,0)=0.03432564732965445
769:(5,0,0,0,0,0,0,0,1)=2.000199269037468E-4
770:(5,0,0,0,0,0,0,1,0)=2.559535091365425E-4
771:(5,0,0,0,0,0,0,1,1)=2.654729002792759E-5
772:(5,0,0,0,0,0,1,0,0)=3.1997438159051184E-4
773:(5,0,0,0,0,0,1,0,1)=3.102322887129604E-5
774:(5,0,0,0,0,0,1,1,0)=4.530677414394013E-5
775:(5,0,0,0,0,0,1,1,1)=1.855439600031511E-5
776:(5,0,0,0,0,1,0,0,0)=2.4413162921440975E-5
777:(5,0,0,0,0,1,0,0,1)=1.5975701650393116E-7
778:(5,0,0,0,0,1,0,1,0)=1.9957921049309164E-7
779:(5,0,0,0,0,1,0,1,1)=1.9174461188196925E-8
780:(5,0,0,0,0,1,1,0,0)=2.451631617752169E-7
781:(5,0,0,0,0,1,1,0,1)=2.239801438629215E-8
782:(5,0,0,0,0,1,1,1,0)=3.260755568328179E-8
783:(5,0,0,0,0,1,1,1,1)=1.328825991879858E-8
784:(5,0,0,0,1,0,0,0,0)=6.317017085378916E-5
785:(5,0,0,0,1,0,0,0,1)=4.012746495456155E-6
786:(5,0,0,0,1,0,0,1,0)=4.659617911105569E-6
787:(5,0,0,0,1,0,0,1,1)=1.963984237882702E-6
788:(5,0,0,0,1,0,1,0,0)=5.507963974693261E-6
789:(5,0,0,0,1,0,1,0,1)=2.262786908046628E-6
790:(5,0,0,0,1,0,1,1,0)=2.8457350048876787E-6
791:(5,0,0,0,1,0,1,1,1)=1.954030228505272E-6
792:(5,0,0,0,1,1,0,0,0)=6.23382491880247E-8
793:(5,0,0,0,1,1,0,0,1)=3.017312340313766E-9
794:(5,0,0,0,1,1,0,1,0)=3.5067638338755375E-9
795:(5,0,0,0,1,1,0,1,1)=1.4189827387016228E-9
796:(5,0,0,0,1,1,1,0,0)=4.143990892445272E-9
797:(5,0,0,0,1,1,1,0,1)=1.634941769395915E-9
798:(5,0,0,0,1,1,1,1,0)=2.05848017617751E-9
799:(5,0,0,0,1,1,1,1,1)=1.4080585832030376E-9
800:(5,0,0,1,0,0,0,0,0)=1.0482476788202466E-4
801:(5,0,0,1,0,0,0,0,1)=8.849360173341307E-6
802:(5,0,0,1,0,0,0,1,0)=1.0231014523831611E-5
803:(5,0,0,1,0,0,0,1,1)=4.5561966358293895E-6
804:(5,0,0,1,0,0,1,0,0)=1.2048624227001919E-5
805:(5,0,0,1,0,0,1,0,1)=5.233811214423365E-6
806:(5,0,0,1,0,0,1,1,0)=6.528913981572475E-6
807:(5,0,0,1,0,0,1,1,1)=4.659315237981302E-6
808:(5,0,0,1,0,1,0,0,0)=9.198912537869846E-8
809:(5,0,0,1,0,1,0,0,1)=6.48480327455256E-9
810:(5,0,0,1,0,1,0,1,0)=7.498040960588591E-9
811:(5,0,0,1,0,1,0,1,1)=3.2730790465858903E-9
812:(5,0,0,1,0,1,1,0,0)=8.826265686072237E-9
813:(5,0,0,1,0,1,1,0,1)=3.759835987834127E-9
814:(5,0,0,1,0,1,1,1,0)=4.691861930587763E-9
815:(5,0,0,1,0,1,1,1,1)=3.3440529834828294E-9
816:(5,0,0,1,1,0,0,0,0)=3.0923977029748737E-6
817:(5,0,0,1,1,0,0,0,1)=1.1914833840149698E-6
818:(5,0,0,1,1,0,0,1,0)=1.3343080408216866E-6
819:(5,0,0,1,1,0,0,1,1)=8.453320831599025E-7
820:(5,0,0,1,1,0,1,0,0)=1.5263095436309537E-6
821:(5,0,0,1,1,0,1,0,1)=9.55456080518071E-7
822:(5,0,0,1,1,0,1,1,0)=1.1389149892442623E-6
823:(5,0,0,1,1,0,1,1,1)=1.0589897396904734E-6
824:(5,0,0,1,1,1,0,0,0)=2.3131067413823256E-9
825:(5,0,0,1,1,1,0,0,1)=8.580171017431759E-10
826:(5,0,0,1,1,1,0,1,0)=9.609797937413627E-10
827:(5,0,0,1,1,1,0,1,1)=6.079559526184336E-10
828:(5,0,0,1,1,1,1,0,0)=1.0993684139798346E-9
829:(5,0,0,1,1,1,1,0,1)=6.871956121814337E-10
830:(5,0,0,1,1,1,1,1,0)=8.192322835090492E-10
831:(5,0,0,1,1,1,1,1,1)=7.614380895585294E-10
832:(5,0,1,0,0,0,0,0,0)=1.5010987974650616E-4
833:(5,0,1,0,0,0,0,0,1)=1.5035354913489646E-5
834:(5,0,1,0,0,0,0,1,0)=1.7317557613932676E-5
835:(5,0,1,0,0,0,0,1,1)=8.135730040696729E-6
836:(5,0,1,0,0,0,1,0,0)=2.0320474984472586E-5
837:(5,0,1,0,0,0,1,0,1)=9.310862732517529E-6
838:(5,0,1,0,0,0,1,1,0)=1.1510561899225076E-5
839:(5,0,1,0,0,0,1,1,1)=8.65457767226615E-6
840:(5,0,1,0,0,1,0,0,0)=1.2422586227435423E-7
841:(5,0,1,0,0,1,0,0,1)=1.0915948216997698E-8
842:(5,0,1,0,0,1,0,1,0)=1.257117718018742E-8
843:(5,0,1,0,0,1,0,1,1)=5.832932264268028E-9
844:(5,0,1,0,0,1,1,0,0)=1.4744469150063466E-8
845:(5,0,1,0,0,1,1,0,1)=6.67531810702803E-9
846:(5,0,1,0,0,1,1,1,0)=8.25325357040164E-9
847:(5,0,1,0,0,1,1,1,1)=6.2027719754776785E-9
848:(5,0,1,0,1,0,0,0,0)=3.5033803146100625E-6
849:(5,0,1,0,1,0,0,0,1)=1.4262203392611834E-6
850:(5,0,1,0,1,0,0,1,0)=1.6031731680792664E-6
851:(5,0,1,0,1,0,0,1,1)=1.0887660499339807E-6
852:(5,0,1,0,1,0,1,0,0)=1.8422353160916794E-6
853:(5,0,1,0,1,0,1,0,1)=1.2347093649316466E-6
854:(5,0,1,0,1,0,1,1,0)=1.474565779867234E-6
855:(5,0,1,0,1,0,1,1,1)=1.473220379798828E-6
856:(5,0,1,0,1,1,0,0,0)=2.628963564892069E-9
857:(5,0,1,0,1,1,0,0,1)=1.0288346633048295E-9
858:(5,0,1,0,1,1,0,1,0)=1.1566079419329308E-9
859:(5,0,1,0,1,1,0,1,1)=7.838270861142696E-10
860:(5,0,1,0,1,1,1,0,0)=1.3291829426980266E-9
861:(5,0,1,0,1,1,1,0,1)=8.889281268152762E-10
862:(5,0,1,0,1,1,1,1,0)=1.061720777213698E-9
863:(5,0,1,0,1,1,1,1,1)=1.059902247642348E-9
864:(5,0,1,1,0,0,0,0,0)=7.76544662016808E-6
865:(5,0,1,1,0,0,0,0,1)=3.3476228917096803E-6
866:(5,0,1,1,0,0,0,1,0)=3.7521825572229484E-6
867:(5,0,1,1,0,0,0,1,1)=2.6604353528151044E-6
868:(5,0,1,1,0,0,1,0,0)=4.2976122636583295E-6
869:(5,0,1,1,0,0,1,0,1)=3.0066524694812344E-6
870:(5,0,1,1,0,0,1,1,0)=3.5668825052251753E-6
871:(5,0,1,1,0,0,1,1,1)=3.7283074165781827E-6
872:(5,0,1,1,0,1,0,0,0)=5.6869249610195495E-9
873:(5,0,1,1,0,1,0,0,1)=2.4036958788666597E-9
874:(5,0,1,1,0,1,0,1,0)=2.694232023214751E-9
875:(5,0,1,1,0,1,0,1,1)=1.909025500554917E-9
876:(5,0,1,1,0,1,1,0,0)=3.085901872347732E-9
877:(5,0,1,1,0,1,1,0,1)=2.157502161318942E-9
878:(5,0,1,1,0,1,1,1,0)=2.559549058256305E-9
879:(5,0,1,1,0,1,1,1,1)=2.67518844507262E-9
880:(5,0,1,1,1,0,0,0,0)=1.0816787116854467E-6
881:(5,0,1,1,1,0,0,0,1)=6.622804249996508E-7
882:(5,0,1,1,1,0,0,1,0)=7.305554567256936E-7
883:(5,0,1,1,1,0,0,1,1)=6.661888955133972E-7
884:(5,0,1,1,1,0,1,0,0)=8.232161346581499E-7
885:(5,0,1,1,1,0,1,0,1)=7.44678002995671E-7
886:(5,0,1,1,1,0,1,1,0)=8.620259536913073E-7
887:(5,0,1,1,1,0,1,1,1)=1.1256887827344128E-6
888:(5,0,1,1,1,1,0,0,0)=7.78843238467811E-10
889:(5,0,1,1,1,1,0,0,1)=4.762355842437646E-10
890:(5,0,1,1,1,1,0,1,0)=5.253558235370205E-10
891:(5,0,1,1,1,1,0,1,1)=4.789052595515059E-10
892:(5,0,1,1,1,1,1,0,0)=5.920233156444119E-10
893:(5,0,1,1,1,1,1,0,1)=5.353576420747135E-10
894:(5,0,1,1,1,1,1,1,0)=6.197580053718477E-10
895:(5,0,1,1,1,1,1,1,1)=8.091961810754617E-10
896:(5,1,0,0,0,0,1,0,0)=0.034466022494223814
897:(5,1,0,0,0,0,1,0,1)=0.006494354265121868
898:(5,1,0,0,0,0,1,1,0)=0.008162029745842302
899:(5,1,0,0,0,0,1,1,1)=0.0036964144118506867
900:(5,1,0,0,0,1,1,0,0)=0.0029014165519595145
901:(5,1,0,0,0,1,1,0,1)=8.573463258502351E-4
902:(5,1,0,0,0,1,1,1,0)=0.0010103752182436328
903:(5,1,0,0,0,1,1,1,1)=5.586294758209985E-4
904:(5,1,0,0,1,0,1,0,0)=0.0035157128179202613
905:(5,1,0,0,1,0,1,0,1)=0.0011985450322529935
906:(5,1,0,0,1,0,1,1,0)=0.0014245392679236633
907:(5,1,0,0,1,0,1,1,1)=9.061521600362183E-4
908:(5,1,0,0,1,1,1,0,0)=5.840566837083362E-4
909:(5,1,0,0,1,1,1,0,1)=2.643337099737474E-4
910:(5,1,0,0,1,1,1,1,0)=3.0232893917461095E-4
911:(5,1,0,0,1,1,1,1,1)=2.2608215008201944E-4
912:(5,1,0,1,0,0,1,0,0)=0.004279209730355435
913:(5,1,0,1,0,0,1,0,1)=0.001646385350944106
914:(5,1,0,1,0,0,1,1,0)=0.0019631102474972533
915:(5,1,0,1,0,0,1,1,1)=0.001383937531113745
916:(5,1,0,1,0,1,1,0,0)=6.541022260749413E-4
917:(5,1,0,1,0,1,1,0,1)=3.1645624368603376E-4
918:(5,1,0,1,0,1,1,1,0)=3.636056402030702E-4
919:(5,1,0,1,0,1,1,1,1)=2.9212813832223643E-4
920:(5,1,0,1,1,0,1,0,0)=9.032136919505141E-4
921:(5,1,0,1,1,0,1,0,1)=5.088498940357474E-4
922:(5,1,0,1,1,0,1,1,0)=5.888845164705253E-4
923:(5,1,0,1,1,0,1,1,1)=5.41569752499302E-4
924:(5,1,0,1,1,1,1,0,0)=2.143628418232656E-4
925:(5,1,0,1,1,1,1,0,1)=1.4506680031440566E-4
926:(5,1,0,1,1,1,1,1,0)=1.6345894003976704E-4
927:(5,1,0,1,1,1,1,1,1)=1.7129411804938635E-4
928:(5,1,1,0,0,0,1,0,0)=0.005244849844693406
929:(5,1,1,0,0,0,1,0,1)=0.002253508865828581
930:(5,1,1,0,0,0,1,1,0)=0.0026854879295847562
931:(5,1,1,0,0,0,1,1,1)=0.002076837387413439
932:(5,1,1,0,0,1,1,0,0)=7.426983395228317E-4
933:(5,1,1,0,0,1,1,0,1)=3.864894804295633E-4
934:(5,1,1,0,0,1,1,1,0)=4.452679373718159E-4
935:(5,1,1,0,0,1,1,1,1)=3.8650344699011697E-4
936:(5,1,1,0,1,0,1,0,0)=0.0010312986738325208
937:(5,1,1,0,1,0,1,0,1)=6.21558502288876E-4
938:(5,1,1,0,1,0,1,1,0)=7.21037230680978E-4
939:(5,1,1,0,1,0,1,1,1)=7.10365707803893E-4
940:(5,1,1,0,1,1,1,0,0)=2.3607886313311397E-4
941:(5,1,1,0,1,1,1,0,1)=1.678347305753274E-4
942:(5,1,1,0,1,1,1,1,0)=1.8969006244882737E-4
943:(5,1,1,0,1,1,1,1,1)=2.1040656776455388E-4
944:(5,1,1,1,0,0,1,0,0)=0.0014134484375981666
945:(5,1,1,1,0,0,1,0,1)=9.528740206128979E-4
946:(5,1,1,1,0,0,1,1,0)=0.0011063395983206006
947:(5,1,1,1,0,0,1,1,1)=0.0011943070521414335
948:(5,1,1,1,0,1,1,0,0)=2.8157409770500905E-4
949:(5,1,1,1,0,1,1,0,1)=2.1572806858210494E-4
950:(5,1,1,1,0,1,1,1,0)=2.446431819965598E-4
951:(5,1,1,1,0,1,1,1,1)=2.923703486351566E-4
952:(5,1,1,1,1,0,1,0,0)=4.5026526369866624E-4
953:(5,1,1,1,1,0,1,0,1)=3.976023618092879E-4
954:(5,1,1,1,1,0,1,1,0)=4.529163244017344E-4
955:(5,1,1,1,1,0,1,1,1)=6.096169349302005E-4
956:(5,1,1,1,1,1,1,0,0)=1.3151503358163337E-4
957:(5,1,1,1,1,1,1,0,1)=1.3239210409817393E-4
958:(5,1,1,1,1,1,1,1,0)=1.4798424730836146E-4
959:(5,1,1,1,1,1,1,1,1)=2.2378552672140746E-4
960:(6,0,0,0,0,0,0,0,0)=0.03432564732965444
961:(6,0,0,0,0,0,0,0,1)=2.559535091365424E-4
962:(6,0,0,0,0,0,0,1,0)=3.199743815905118E-4
963:(6,0,0,0,0,0,0,1,1)=4.530677414394012E-5
964:(6,0,0,0,0,0,1,0,0)=2.4413162921440964E-5
965:(6,0,0,0,0,0,1,0,1)=1.9957921049309164E-7
966:(6,0,0,0,0,0,1,1,0)=2.4516316177521687E-7
967:(6,0,0,0,0,0,1,1,1)=3.260755568328179E-8
968:(6,0,0,0,0,1,0,0,0)=6.317017085378916E-5
969:(6,0,0,0,0,1,0,0,1)=4.659617911105568E-6
970:(6,0,0,0,0,1,0,1,0)=5.50796397469326E-6
971:(6,0,0,0,0,1,0,1,1)=2.8457350048876787E-6
972:(6,0,0,0,0,1,1,0,0)=6.23382491880247E-8
973:(6,0,0,0,0,1,1,0,1)=3.5067638338755375E-9
974:(6,0,0,0,0,1,1,1,0)=4.143990892445271E-9
975:(6,0,0,0,0,1,1,1,1)=2.058480176177509E-9
976:(6,0,0,0,1,0,0,0,0)=1.0482476788202463E-4
977:(6,0,0,0,1,0,0,0,1)=1.0231014523831608E-5
978:(6,0,0,0,1,0,0,1,0)=1.2048624227001917E-5
979:(6,0,0,0,1,0,0,1,1)=6.528913981572475E-6
980:(6,0,0,0,1,0,1,0,0)=9.198912537869846E-8
981:(6,0,0,0,1,0,1,0,1)=7.498040960588591E-9
982:(6,0,0,0,1,0,1,1,0)=8.826265686072237E-9
983:(6,0,0,0,1,0,1,1,1)=4.691861930587762E-9
984:(6,0,0,0,1,1,0,0,0)=3.092397702974873E-6
985:(6,0,0,0,1,1,0,0,1)=1.3343080408216866E-6
986:(6,0,0,0,1,1,0,1,0)=1.5263095436309537E-6
987:(6,0,0,0,1,1,0,1,1)=1.1389149892442623E-6
988:(6,0,0,0,1,1,1,0,0)=2.3131067413823256E-9
989:(6,0,0,0,1,1,1,0,1)=9.609797937413627E-10
990:(6,0,0,0,1,1,1,1,0)=1.0993684139798346E-9
991:(6,0,0,0,1,1,1,1,1)=8.192322835090492E-10
992:(6,0,0,1,0,0,0,0,0)=1.5010987974650616E-4
993:(6,0,0,1,0,0,0,0,1)=1.731755761393267E-5
994:(6,0,0,1,0,0,0,1,0)=2.032047498447258E-5
995:(6,0,0,1,0,0,0,1,1)=1.1510561899225076E-5
996:(6,0,0,1,0,0,1,0,0)=1.2422586227435423E-7
997:(6,0,0,1,0,0,1,0,1)=1.257117718018742E-8
998:(6,0,0,1,0,0,1,1,0)=1.4744469150063464E-8
999:(6,0,0,1,0,0,1,1,1)=8.25325357040164E-9
1000:(6,0,0,1,0,1,0,0,0)=3.5033803146100625E-6
1001:(6,0,0,1,0,1,0,0,1)=1.6031731680792656E-6
1002:(6,0,0,1,0,1,0,1,0)=1.8422353160916792E-6
1003:(6,0,0,1,0,1,0,1,1)=1.4745657798672337E-6
1004:(6,0,0,1,0,1,1,0,0)=2.6289635648920687E-9
1005:(6,0,0,1,0,1,1,0,1)=1.1566079419329301E-9
1006:(6,0,0,1,0,1,1,1,0)=1.3291829426980262E-9
1007:(6,0,0,1,0,1,1,1,1)=1.061720777213698E-9
1008:(6,0,0,1,1,0,0,0,0)=7.76544662016808E-6
1009:(6,0,0,1,1,0,0,0,1)=3.7521825572229484E-6
1010:(6,0,0,1,1,0,0,1,0)=4.297612263658328E-6
1011:(6,0,0,1,1,0,0,1,1)=3.5668825052251745E-6
1012:(6,0,0,1,1,0,1,0,0)=5.6869249610195495E-9
1013:(6,0,0,1,1,0,1,0,1)=2.694232023214751E-9
1014:(6,0,0,1,1,0,1,1,0)=3.0859018723477306E-9
1015:(6,0,0,1,1,0,1,1,1)=2.559549058256305E-9
1016:(6,0,0,1,1,1,0,0,0)=1.0816787116854465E-6
1017:(6,0,0,1,1,1,0,0,1)=7.305554567256936E-7
1018:(6,0,0,1,1,1,0,1,0)=8.232161346581499E-7
1019:(6,0,0,1,1,1,0,1,1)=8.620259536913073E-7
1020:(6,0,0,1,1,1,1,0,0)=7.788432384678109E-10
1021:(6,0,0,1,1,1,1,0,1)=5.253558235370205E-10
1022:(6,0,0,1,1,1,1,1,0)=5.920233156444119E-10
1023:(6,0,0,1,1,1,1,1,1)=6.197580053718477E-10
1024:(6,0,1,0,0,0,0,0,0)=2.0001992690374683E-4
1025:(6,0,1,0,0,0,0,0,1)=2.654729002792759E-5
1026:(6,0,1,0,0,0,0,1,0)=3.1023228871296045E-5
1027:(6,0,1,0,0,0,0,1,1)=1.8554396000315105E-5
1028:(6,0,1,0,0,0,1,0,0)=1.5975701650393126E-7
1029:(6,0,1,0,0,0,1,0,1)=1.9174461188196925E-8
1030:(6,0,1,0,0,0,1,1,0)=2.2398014386292153E-8
1031:(6,0,1,0,0,0,1,1,1)=1.328825991879858E-8
1032:(6,0,1,0,0,1,0,0,0)=4.012746495456155E-6
1033:(6,0,1,0,0,1,0,0,1)=1.9639842378827024E-6
1034:(6,0,1,0,0,1,0,1,0)=2.262786908046628E-6
1035:(6,0,1,0,0,1,0,1,1)=1.954030228505272E-6
1036:(6,0,1,0,0,1,1,0,0)=3.0173123403137664E-9
1037:(6,0,1,0,0,1,1,0,1)=1.4189827387016224E-9
1038:(6,0,1,0,0,1,1,1,0)=1.6349417693959143E-9
1039:(6,0,1,0,0,1,1,1,1)=1.4080585832030374E-9
1040:(6,0,1,0,1,0,0,0,0)=8.84936017334131E-6
1041:(6,0,1,0,1,0,0,0,1)=4.5561966358293895E-6
1042:(6,0,1,0,1,0,0,1,0)=5.233811214423365E-6
1043:(6,0,1,0,1,0,0,1,1)=4.659315237981302E-6
1044:(6,0,1,0,1,0,1,0,0)=6.4848032745525586E-9
1045:(6,0,1,0,1,0,1,0,1)=3.2730790465858895E-9
1046:(6,0,1,0,1,0,1,1,0)=3.759835987834127E-9
1047:(6,0,1,0,1,0,1,1,1)=3.3440529834828294E-9
1048:(6,0,1,0,1,1,0,0,0)=1.1914833840149694E-6
1049:(6,0,1,0,1,1,0,0,1)=8.453320831599021E-7
1050:(6,0,1,0,1,1,0,1,0)=9.554560805180703E-7
1051:(6,0,1,0,1,1,0,1,1)=1.0589897396904734E-6
1052:(6,0,1,0,1,1,1,0,0)=8.580171017431753E-10
1053:(6,0,1,0,1,1,1,0,1)=6.079559526184336E-10
1054:(6,0,1,0,1,1,1,1,0)=6.871956121814334E-10
1055:(6,0,1,0,1,1,1,1,1)=7.614380895585294E-10
1056:(6,0,1,1,0,0,0,0,0)=1.5035354913489646E-5
1057:(6,0,1,1,0,0,0,0,1)=8.135730040696729E-6
1058:(6,0,1,1,0,0,0,1,0)=9.310862732517525E-6
1059:(6,0,1,1,0,0,0,1,1)=8.65457767226615E-6
1060:(6,0,1,1,0,0,1,0,0)=1.0915948216997698E-8
1061:(6,0,1,1,0,0,1,0,1)=5.832932264268028E-9
1062:(6,0,1,1,0,0,1,1,0)=6.6753181070280275E-9
1063:(6,0,1,1,0,0,1,1,1)=6.202771975477677E-9
1064:(6,0,1,1,0,1,0,0,0)=1.4262203392611832E-6
1065:(6,0,1,1,0,1,0,0,1)=1.0887660499339807E-6
1066:(6,0,1,1,0,1,0,1,0)=1.234709364931646E-6
1067:(6,0,1,1,0,1,0,1,1)=1.473220379798828E-6
1068:(6,0,1,1,0,1,1,0,0)=1.028834663304829E-9
1069:(6,0,1,1,0,1,1,0,1)=7.838270861142696E-10
1070:(6,0,1,1,0,1,1,1,0)=8.889281268152756E-10
1071:(6,0,1,1,0,1,1,1,1)=1.059902247642348E-9
1072:(6,0,1,1,1,0,0,0,0)=3.34762289170968E-6
1073:(6,0,1,1,1,0,0,0,1)=2.6604353528151044E-6
1074:(6,0,1,1,1,0,0,1,0)=3.006652469481234E-6
1075:(6,0,1,1,1,0,0,1,1)=3.7283074165781827E-6
1076:(6,0,1,1,1,0,1,0,0)=2.403695878866659E-9
1077:(6,0,1,1,1,0,1,0,1)=1.909025500554917E-9
1078:(6,0,1,1,1,0,1,1,0)=2.157502161318942E-9
1079:(6,0,1,1,1,0,1,1,1)=2.6751884450726204E-9
1080:(6,0,1,1,1,1,0,0,0)=6.622804249996506E-7
1081:(6,0,1,1,1,1,0,0,1)=6.661888955133972E-7
1082:(6,0,1,1,1,1,0,1,0)=7.44678002995671E-7
1083:(6,0,1,1,1,1,0,1,1)=1.1256887827344128E-6
1084:(6,0,1,1,1,1,1,0,0)=4.762355842437646E-10
1085:(6,0,1,1,1,1,1,0,1)=4.789052595515058E-10
1086:(6,0,1,1,1,1,1,1,0)=5.353576420747136E-10
1087:(6,0,1,1,1,1,1,1,1)=8.091961810754615E-10
1088:(6,1,0,0,0,0,0,1,0)=0.034466022494223814
1089:(6,1,0,0,0,0,0,1,1)=0.008162029745842304
1090:(6,1,0,0,0,0,1,1,0)=0.0029014165519595154
1091:(6,1,0,0,0,0,1,1,1)=0.0010103752182436326
1092:(6,1,0,0,0,1,0,1,0)=0.0035157128179202613
1093:(6,1,0,0,0,1,0,1,1)=0.0014245392679236631
1094:(6,1,0,0,0,1,1,1,0)=5.840566837083363E-4
1095:(6,1,0,0,0,1,1,1,1)=3.023289391746109E-4
1096:(6,1,0,0,1,0,0,1,0)=0.004279209730355436
1097:(6,1,0,0,1,0,0,1,1)=0.001963110247497253
1098:(6,1,0,0,1,0,1,1,0)=6.541022260749413E-4
1099:(6,1,0,0,1,0,1,1,1)=3.6360564020307027E-4
1100:(6,1,0,0,1,1,0,1,0)=9.032136919505141E-4
1101:(6,1,0,0,1,1,0,1,1)=5.888845164705255E-4
1102:(6,1,0,0,1,1,1,1,0)=2.1436284182326567E-4
1103:(6,1,0,0,1,1,1,1,1)=1.6345894003976704E-4
1104:(6,1,0,1,0,0,0,1,0)=0.005244849844693406
1105:(6,1,0,1,0,0,0,1,1)=0.0026854879295847562
1106:(6,1,0,1,0,0,1,1,0)=7.426983395228317E-4
1107:(6,1,0,1,0,0,1,1,1)=4.452679373718161E-4
1108:(6,1,0,1,0,1,0,1,0)=0.0010312986738325208
1109:(6,1,0,1,0,1,0,1,1)=7.210372306809778E-4
1110:(6,1,0,1,0,1,1,1,0)=2.3607886313311392E-4
1111:(6,1,0,1,0,1,1,1,1)=1.8969006244882737E-4
1112:(6,1,0,1,1,0,0,1,0)=0.0014134484375981666
1113:(6,1,0,1,1,0,0,1,1)=0.0011063395983206006
1114:(6,1,0,1,1,0,1,1,0)=2.815740977050092E-4
1115:(6,1,0,1,1,0,1,1,1)=2.446431819965599E-4
1116:(6,1,0,1,1,1,0,1,0)=4.5026526369866624E-4
1117:(6,1,0,1,1,1,0,1,1)=4.529163244017344E-4
1118:(6,1,0,1,1,1,1,1,0)=1.315150335816334E-4
1119:(6,1,0,1,1,1,1,1,1)=1.479842473083615E-4
1120:(6,1,1,0,0,0,0,1,0)=0.006494354265121868
1121:(6,1,1,0,0,0,0,1,1)=0.0036964144118506867
1122:(6,1,1,0,0,0,1,1,0)=8.57346325850235E-4
1123:(6,1,1,0,0,0,1,1,1)=5.586294758209986E-4
1124:(6,1,1,0,0,1,0,1,0)=0.0011985450322529935
1125:(6,1,1,0,0,1,0,1,1)=9.061521600362182E-4
1126:(6,1,1,0,0,1,1,1,0)=2.643337099737474E-4
1127:(6,1,1,0,0,1,1,1,1)=2.2608215008201944E-4
1128:(6,1,1,0,1,0,0,1,0)=0.0016463853509441056
1129:(6,1,1,0,1,0,0,1,1)=0.001383937531113745
1130:(6,1,1,0,1,0,1,1,0)=3.164562436860339E-4
1131:(6,1,1,0,1,0,1,1,1)=2.9212813832223654E-4
1132:(6,1,1,0,1,1,0,1,0)=5.088498940357474E-4
1133:(6,1,1,0,1,1,0,1,1)=5.415697524993021E-4
1134:(6,1,1,0,1,1,1,1,0)=1.4506680031440569E-4
1135:(6,1,1,0,1,1,1,1,1)=1.7129411804938638E-4
1136:(6,1,1,1,0,0,0,1,0)=0.0022535088658285803
1137:(6,1,1,1,0,0,0,1,1)=0.002076837387413439
1138:(6,1,1,1,0,0,1,1,0)=3.864894804295636E-4
1139:(6,1,1,1,0,0,1,1,1)=3.865034469901171E-4
1140:(6,1,1,1,0,1,0,1,0)=6.215585022888759E-4
1141:(6,1,1,1,0,1,0,1,1)=7.103657078038931E-4
1142:(6,1,1,1,0,1,1,1,0)=1.6783473057532735E-4
1143:(6,1,1,1,0,1,1,1,1)=2.1040656776455396E-4
1144:(6,1,1,1,1,0,0,1,0)=9.528740206128983E-4
1145:(6,1,1,1,1,0,0,1,1)=0.0011943070521414337
1146:(6,1,1,1,1,0,1,1,0)=2.15728068582105E-4
1147:(6,1,1,1,1,0,1,1,1)=2.923703486351567E-4
1148:(6,1,1,1,1,1,0,1,0)=3.976023618092878E-4
1149:(6,1,1,1,1,1,0,1,1)=6.096169349302006E-4
1150:(6,1,1,1,1,1,1,1,0)=1.3239210409817393E-4
1151:(6,1,1,1,1,1,1,1,1)=2.2378552672140746E-4
1152:(7,0,0,0,0,0,0,0,0)=0.03432564732965443
1153:(7,0,0,0,0,0,0,0,1)=3.199743815905118E-4
1154:(7,0,0,0,0,0,0,1,0)=2.4413162921440964E-5
1155:(7,0,0,0,0,0,0,1,1)=2.451631617752169E-7
1156:(7,0,0,0,0,0,1,0,0)=6.317017085378916E-5
1157:(7,0,0,0,0,0,1,0,1)=5.507963974693259E-6
1158:(7,0,0,0,0,0,1,1,0)=6.23382491880247E-8
1159:(7,0,0,0,0,0,1,1,1)=4.143990892445271E-9
1160:(7,0,0,0,0,1,0,0,0)=1.0482476788202463E-4
1161:(7,0,0,0,0,1,0,0,1)=1.2048624227001917E-5
1162:(7,0,0,0,0,1,0,1,0)=9.198912537869846E-8
1163:(7,0,0,0,0,1,0,1,1)=8.826265686072237E-9
1164:(7,0,0,0,0,1,1,0,0)=3.0923977029748737E-6
1165:(7,0,0,0,0,1,1,0,1)=1.5263095436309537E-6
1166:(7,0,0,0,0,1,1,1,0)=2.313106741382326E-9
1167:(7,0,0,0,0,1,1,1,1)=1.0993684139798346E-9
1168:(7,0,0,0,1,0,0,0,0)=1.5010987974650616E-4
1169:(7,0,0,0,1,0,0,0,1)=2.0320474984472583E-5
1170:(7,0,0,0,1,0,0,1,0)=1.2422586227435426E-7
1171:(7,0,0,0,1,0,0,1,1)=1.4744469150063464E-8
1172:(7,0,0,0,1,0,1,0,0)=3.5033803146100625E-6
1173:(7,0,0,0,1,0,1,0,1)=1.8422353160916794E-6
1174:(7,0,0,0,1,0,1,1,0)=2.628963564892069E-9
1175:(7,0,0,0,1,0,1,1,1)=1.3291829426980262E-9
1176:(7,0,0,0,1,1,0,0,0)=7.76544662016808E-6
1177:(7,0,0,0,1,1,0,0,1)=4.297612263658328E-6
1178:(7,0,0,0,1,1,0,1,0)=5.6869249610195495E-9
1179:(7,0,0,0,1,1,0,1,1)=3.085901872347732E-9
1180:(7,0,0,0,1,1,1,0,0)=1.0816787116854467E-6
1181:(7,0,0,0,1,1,1,0,1)=8.232161346581499E-7
1182:(7,0,0,0,1,1,1,1,0)=7.78843238467811E-10
1183:(7,0,0,0,1,1,1,1,1)=5.920233156444119E-10
1184:(7,0,0,1,0,0,0,0,0)=2.0001992690374683E-4
1185:(7,0,0,1,0,0,0,0,1)=3.1023228871296045E-5
1186:(7,0,0,1,0,0,0,1,0)=1.5975701650393126E-7
1187:(7,0,0,1,0,0,0,1,1)=2.239801438629215E-8
1188:(7,0,0,1,0,0,1,0,0)=4.012746495456156E-6
1189:(7,0,0,1,0,0,1,0,1)=2.2627869080466293E-6
1190:(7,0,0,1,0,0,1,1,0)=3.0173123403137664E-9
1191:(7,0,0,1,0,0,1,1,1)=1.634941769395915E-9
1192:(7,0,0,1,0,1,0,0,0)=8.849360173341309E-6
1193:(7,0,0,1,0,1,0,0,1)=5.233811214423364E-6
1194:(7,0,0,1,0,1,0,1,0)=6.484803274552558E-9
1195:(7,0,0,1,0,1,0,1,1)=3.759835987834127E-9
1196:(7,0,0,1,0,1,1,0,0)=1.1914833840149692E-6
1197:(7,0,0,1,0,1,1,0,1)=9.55456080518071E-7
1198:(7,0,0,1,0,1,1,1,0)=8.580171017431753E-10
1199:(7,0,0,1,0,1,1,1,1)=6.871956121814334E-10
1200:(7,0,0,1,1,0,0,0,0)=1.5035354913489646E-5
1201:(7,0,0,1,1,0,0,0,1)=9.310862732517525E-6
1202:(7,0,0,1,1,0,0,1,0)=1.0915948216997698E-8
1203:(7,0,0,1,1,0,0,1,1)=6.67531810702803E-9
1204:(7,0,0,1,1,0,1,0,0)=1.4262203392611836E-6
1205:(7,0,0,1,1,0,1,0,1)=1.2347093649316461E-6
1206:(7,0,0,1,1,0,1,1,0)=1.0288346633048295E-9
1207:(7,0,0,1,1,0,1,1,1)=8.88928126815276E-10
1208:(7,0,0,1,1,1,0,0,0)=3.34762289170968E-6
1209:(7,0,0,1,1,1,0,0,1)=3.0066524694812344E-6
1210:(7,0,0,1,1,1,0,1,0)=2.403695878866659E-9
1211:(7,0,0,1,1,1,0,1,1)=2.157502161318942E-9
1212:(7,0,0,1,1,1,1,0,0)=6.622804249996507E-7
1213:(7,0,0,1,1,1,1,0,1)=7.44678002995671E-7
1214:(7,0,0,1,1,1,1,1,0)=4.762355842437646E-10
1215:(7,0,0,1,1,1,1,1,1)=5.353576420747136E-10
1216:(7,0,1,0,0,0,0,0,0)=2.559535091365425E-4
1217:(7,0,1,0,0,0,0,0,1)=4.530677414394013E-5
1218:(7,0,1,0,0,0,0,1,0)=1.9957921049309166E-7
1219:(7,0,1,0,0,0,0,1,1)=3.260755568328178E-8
1220:(7,0,1,0,0,0,1,0,0)=4.659617911105569E-6
1221:(7,0,1,0,0,0,1,0,1)=2.845735004887679E-6
1222:(7,0,1,0,0,0,1,1,0)=3.5067638338755375E-9
1223:(7,0,1,0,0,0,1,1,1)=2.05848017617751E-9
1224:(7,0,1,0,0,1,0,0,0)=1.0231014523831611E-5
1225:(7,0,1,0,0,1,0,0,1)=6.528913981572474E-6
1226:(7,0,1,0,0,1,0,1,0)=7.49804096058859E-9
1227:(7,0,1,0,0,1,0,1,1)=4.691861930587762E-9
1228:(7,0,1,0,0,1,1,0,0)=1.3343080408216861E-6
1229:(7,0,1,0,0,1,1,0,1)=1.1389149892442623E-6
1230:(7,0,1,0,0,1,1,1,0)=9.609797937413627E-10
1231:(7,0,1,0,0,1,1,1,1)=8.19232283509049E-10
1232:(7,0,1,0,1,0,0,0,0)=1.731755761393267E-5
1233:(7,0,1,0,1,0,0,0,1)=1.1510561899225074E-5
1234:(7,0,1,0,1,0,0,1,0)=1.257117718018742E-8
1235:(7,0,1,0,1,0,0,1,1)=8.25325357040164E-9
1236:(7,0,1,0,1,0,1,0,0)=1.6031731680792664E-6
1237:(7,0,1,0,1,0,1,0,1)=1.4745657798672341E-6
1238:(7,0,1,0,1,0,1,1,0)=1.1566079419329308E-9
1239:(7,0,1,0,1,0,1,1,1)=1.061720777213698E-9
1240:(7,0,1,0,1,1,0,0,0)=3.7521825572229484E-6
1241:(7,0,1,0,1,1,0,0,1)=3.5668825052251753E-6
1242:(7,0,1,0,1,1,0,1,0)=2.6942320232147514E-9
1243:(7,0,1,0,1,1,0,1,1)=2.559549058256305E-9
1244:(7,0,1,0,1,1,1,0,0)=7.305554567256936E-7
1245:(7,0,1,0,1,1,1,0,1)=8.620259536913073E-7
1246:(7,0,1,0,1,1,1,1,0)=5.253558235370205E-10
1247:(7,0,1,0,1,1,1,1,1)=6.197580053718477E-10
1248:(7,0,1,1,0,0,0,0,0)=2.654729002792759E-5
1249:(7,0,1,1,0,0,0,0,1)=1.855439600031511E-5
1250:(7,0,1,1,0,0,0,1,0)=1.9174461188196925E-8
1251:(7,0,1,1,0,0,0,1,1)=1.328825991879858E-8
1252:(7,0,1,1,0,0,1,0,0)=1.9639842378827024E-6
1253:(7,0,1,1,0,0,1,0,1)=1.954030228505272E-6
1254:(7,0,1,1,0,0,1,1,0)=1.4189827387016232E-9
1255:(7,0,1,1,0,0,1,1,1)=1.4080585832030376E-9
1256:(7,0,1,1,0,1,0,0,0)=4.556196635829389E-6
1257:(7,0,1,1,0,1,0,0,1)=4.659315237981302E-6
1258:(7,0,1,1,0,1,0,1,0)=3.2730790465858895E-9
1259:(7,0,1,1,0,1,0,1,1)=3.3440529834828294E-9
1260:(7,0,1,1,0,1,1,0,0)=8.453320831599022E-7
1261:(7,0,1,1,0,1,1,0,1)=1.0589897396904734E-6
1262:(7,0,1,1,0,1,1,1,0)=6.079559526184335E-10
1263:(7,0,1,1,0,1,1,1,1)=7.614380895585293E-10
1264:(7,0,1,1,1,0,0,0,0)=8.135730040696729E-6
1265:(7,0,1,1,1,0,0,0,1)=8.65457767226615E-6
1266:(7,0,1,1,1,0,0,1,0)=5.832932264268028E-9
1267:(7,0,1,1,1,0,0,1,1)=6.202771975477677E-9
1268:(7,0,1,1,1,0,1,0,0)=1.0887660499339807E-6
1269:(7,0,1,1,1,0,1,0,1)=1.4732203797988281E-6
1270:(7,0,1,1,1,0,1,1,0)=7.838270861142697E-10
1271:(7,0,1,1,1,0,1,1,1)=1.059902247642348E-9
1272:(7,0,1,1,1,1,0,0,0)=2.660435352815104E-6
1273:(7,0,1,1,1,1,0,0,1)=3.7283074165781827E-6
1274:(7,0,1,1,1,1,0,1,0)=1.9090255005549168E-9
1275:(7,0,1,1,1,1,0,1,1)=2.6751884450726196E-9
1276:(7,0,1,1,1,1,1,0,0)=6.661888955133972E-7
1277:(7,0,1,1,1,1,1,0,1)=1.1256887827344128E-6
1278:(7,0,1,1,1,1,1,1,0)=4.789052595515059E-10
1279:(7,0,1,1,1,1,1,1,1)=8.091961810754617E-10
1280:(7,1,0,0,0,0,0,0,1)=0.03446602249422382
1281:(7,1,0,0,0,0,0,1,1)=0.0029014165519595145
1282:(7,1,0,0,0,0,1,0,1)=0.0035157128179202604
1283:(7,1,0,0,0,0,1,1,1)=5.840566837083364E-4
1284:(7,1,0,0,0,1,0,0,1)=0.004279209730355436
1285:(7,1,0,0,0,1,0,1,1)=6.541022260749414E-4
1286:(7,1,0,0,0,1,1,0,1)=9.032136919505143E-4
1287:(7,1,0,0,0,1,1,1,1)=2.1436284182326564E-4
1288:(7,1,0,0,1,0,0,0,1)=0.005244849844693406
1289:(7,1,0,0,1,0,0,1,1)=7.426983395228318E-4
1290:(7,1,0,0,1,0,1,0,1)=0.0010312986738325208
1291:(7,1,0,0,1,0,1,1,1)=2.36078863133114E-4
1292:(7,1,0,0,1,1,0,0,1)=0.0014134484375981668
1293:(7,1,0,0,1,1,0,1,1)=2.815740977050092E-4
1294:(7,1,0,0,1,1,1,0,1)=4.5026526369866624E-4
1295:(7,1,0,0,1,1,1,1,1)=1.3151503358163337E-4
1296:(7,1,0,1,0,0,0,0,1)=0.006494354265121867
1297:(7,1,0,1,0,0,0,1,1)=8.573463258502351E-4
1298:(7,1,0,1,0,0,1,0,1)=0.0011985450322529935
1299:(7,1,0,1,0,0,1,1,1)=2.6433370997374744E-4
1300:(7,1,0,1,0,1,0,0,1)=0.0016463853509441062
1301:(7,1,0,1,0,1,0,1,1)=3.164562436860338E-4
1302:(7,1,0,1,0,1,1,0,1)=5.088498940357471E-4
1303:(7,1,0,1,0,1,1,1,1)=1.4506680031440569E-4
1304:(7,1,0,1,1,0,0,0,1)=0.002253508865828581
1305:(7,1,0,1,1,0,0,1,1)=3.864894804295636E-4
1306:(7,1,0,1,1,0,1,0,1)=6.21558502288876E-4
1307:(7,1,0,1,1,0,1,1,1)=1.678347305753274E-4
1308:(7,1,0,1,1,1,0,0,1)=9.528740206128979E-4
1309:(7,1,0,1,1,1,0,1,1)=2.1572806858210494E-4
1310:(7,1,0,1,1,1,1,0,1)=3.976023618092878E-4
1311:(7,1,0,1,1,1,1,1,1)=1.3239210409817396E-4
1312:(7,1,1,0,0,0,0,0,1)=0.008162029745842302
1313:(7,1,1,0,0,0,0,1,1)=0.0010103752182436326
1314:(7,1,1,0,0,0,1,0,1)=0.0014245392679236633
1315:(7,1,1,0,0,0,1,1,1)=3.0232893917461095E-4
1316:(7,1,1,0,0,1,0,0,1)=0.0019631102474972533
1317:(7,1,1,0,0,1,0,1,1)=3.636056402030702E-4
1318:(7,1,1,0,0,1,1,0,1)=5.888845164705252E-4
1319:(7,1,1,0,0,1,1,1,1)=1.63458940039767E-4
1320:(7,1,1,0,1,0,0,0,1)=0.0026854879295847562
1321:(7,1,1,0,1,0,0,1,1)=4.452679373718161E-4
1322:(7,1,1,0,1,0,1,0,1)=7.210372306809779E-4
1323:(7,1,1,0,1,0,1,1,1)=1.896900624488274E-4
1324:(7,1,1,0,1,1,0,0,1)=0.0011063395983206006
1325:(7,1,1,0,1,1,0,1,1)=2.4464318199655987E-4
1326:(7,1,1,0,1,1,1,0,1)=4.529163244017344E-4
1327:(7,1,1,0,1,1,1,1,1)=1.4798424730836146E-4
1328:(7,1,1,1,0,0,0,0,1)=0.0036964144118506867
1329:(7,1,1,1,0,0,0,1,1)=5.586294758209986E-4
1330:(7,1,1,1,0,0,1,0,1)=9.061521600362186E-4
1331:(7,1,1,1,0,0,1,1,1)=2.2608215008201944E-4
1332:(7,1,1,1,0,1,0,0,1)=0.0013839375311137448
1333:(7,1,1,1,0,1,0,1,1)=2.9212813832223643E-4
1334:(7,1,1,1,0,1,1,0,1)=5.41569752499302E-4
1335:(7,1,1,1,0,1,1,1,1)=1.7129411804938635E-4
1336:(7,1,1,1,1,0,0,0,1)=0.002076837387413439
1337:(7,1,1,1,1,0,0,1,1)=3.865034469901171E-4
1338:(7,1,1,1,1,0,1,0,1)=7.103657078038931E-4
1339:(7,1,1,1,1,0,1,1,1)=2.1040656776455396E-4
1340:(7,1,1,1,1,1,0,0,1)=0.0011943070521414335
1341:(7,1,1,1,1,1,0,1,1)=2.923703486351567E-4
1342:(7,1,1,1,1,1,1,0,1)=6.096169349302007E-4
1343:(7,1,1,1,1,1,1,1,1)=2.2378552672140746E-4

Time for steady-state probability computation: 0.134 seconds.
Model:	(polling)
Parameter(s)	N = 7
Walltime (MC-Time):	1.2291672229766846s (0.134s)
Return code:	0
Note(s):	Tool does not support file export.