expected
  1  0 0.001000 
  2  1 0.003000 
  3  2 0.006000 
  4  3 0.010000 
  5  4 0.015000 
  6  5 0.021000 
  7  6 0.028000 
  8  7 0.036000 
  9  8 0.045000 
 10  9 0.055000 
 11  10 0.066000 
 12  11 0.078000 
 13  12 0.091000 
 14  13 0.105000 
 15  14 0.120000 
 16  15 0.136000 
 17  16 0.153000 
 18  17 0.171000 
 19  18 0.190000 
 20  19 0.210000 
 21  20 0.231000 
 22  21 0.253000 
 23  22 0.276000 
 24  23 0.300000 
 25  24 0.325000 
 26  25 0.351000 
 27  26 0.378000 
 28  27 0.406000 
 29  28 0.435000 
 30  29 0.465000 
 31  30 0.496000 
 32  31 0.528000 
 33  32 0.561000 
 34  33 0.595000 
 35  34 0.630000 
 36  35 0.666000 
 37  36 0.703000 
 38  37 0.741000 
 39  38 0.780000 
 40  39 0.820000 
 41  40 0.861000 
 42  41 0.903000 
 43  42 0.946000 
 44  43 0.990000 
 45  44 1.035000 
 46  45 1.081000 
 47  46 1.128000 
 48  47 1.176000 
 49  48 1.225000 
 50  49 1.275000 
 51  50 1.326000 
 52  51 1.378000 
 53  52 1.431000 
 54  53 1.485000 
 55  54 1.540000 
 56  55 1.596000 
 57  56 1.653000 
 58  57 1.711000 
 59  58 1.770000 
 60  59 1.830000 
 61  60 1.891000 
 62  61 1.953000 
 63  62 2.016000 
 64  63 2.080000 
 65  64 2.145000 
 66  65 2.211000 
 67  66 2.278000 
 68  67 2.346000 
 69  68 2.415000 
 70  69 2.485000 
 71  70 2.556000 
 72  71 2.628000 
 73  72 2.701000 
 74  73 2.775000 
 75  74 2.850000 
 76  75 2.926000 
 77  76 3.003000 
 78  77 3.081000 
 79  78 3.160000 
 80  79 3.240000 
 81  80 3.321000 
 82  81 3.403000 
 83  82 3.486000 
 84  83 3.570000 
 85  84 3.655000 
 86  85 3.741000 
 87  86 3.828000 
 88  87 3.916000 
 89  88 4.005000 
 90  89 4.095000 
 91  90 4.186000 
 92  91 4.278000 
 93  92 4.371000 
 94  93 4.465000 
 95  94 4.560000 
 96  95 4.656000 
 97  96 4.753000 
 98  97 4.851000 
 99  98 4.950000 
100  99 5.050000 
101  100 5.151000 
102  101 5.253000 
103  102 5.356000 
104  103 5.460000 
105  104 5.565000 
106  105 5.671000 
107  106 5.778000 
108  107 5.886000 
109  108 5.995000 
110  109 6.105000 
111  110 6.216000 
112  111 6.328000 
113  112 6.441000 
114  113 6.555000 
115  114 6.670000 
116  115 6.786000 
117  116 6.903000 
118  117 7.021000 
119  118 7.140000 
120  119 7.260000 
121  120 7.381000 
122  121 7.503000 
123  122 7.626000 
124  123 7.750000 
125  124 7.875000 
126  125 8.001000 
127  126 8.128000 
128  127 8.256000 
129  128 8.385000 
130  129 8.515000 
131  130 8.646000 
132  131 8.778000 
133  132 8.911000 
134  133 9.045000 
135  134 9.180000 
136  135 9.316000 
137  136 9.453000 
138  137 9.591000 
139  138 9.730000 
140  139 9.870000 
141  140 10.011000 
142  141 10.153000 
143  142 10.296000 
144  143 10.440000 
145  144 10.585000 
146  145 10.731000 
147  146 10.878000 
148  147 11.026000 
149  148 11.175000 
150  149 11.325000 
151  150 11.476000 
152  151 11.628000 
153  152 11.781000 
154  153 11.935000 
155  154 12.090000 
156  155 12.246000 
157  156 12.403000 
158  157 12.561000 
159  158 12.720000 
160  159 12.880000 
161  160 13.041000 
162  161 13.203000 
163  162 13.366000 
164  163 13.530000 
165  164 13.695000 
166  165 13.861000 
167  166 14.028000 
168  167 14.196000 
169  168 14.365000 
170  169 14.535000 
171  170 14.706000 
172  171 14.878000 
173  172 15.051000 
174  173 15.225000 
175  174 15.400000 
176  175 15.576000 
177  176 15.753000 
178  177 15.931000 
179  178 16.110000 
180  179 16.290000 
181  180 16.471000 
182  181 16.653000 
183  182 16.836000 
184  183 17.020000 
185  184 17.205000 
186  185 17.391000 
187  186 17.578000 
188  187 17.766000 
189  188 17.955000 
190  189 18.145000 
191  190 18.336000 
192  191 18.528000 
193  192 18.721000 
194  193 18.915000 
195  194 19.110000 
196  195 19.306000 
197  196 19.503000 
198  197 19.701000 
199  198 19.900000 
200  199 20.100000 
201  200 20.301000 
202  201 20.503000 
203  202 20.706000 
204  203 20.910000 
205  204 21.115000 
206  205 21.321000 
207  206 21.528000 
208  207 21.736000 
209  208 21.945000 
210  209 22.155000 
211  210 22.366000 
212  211 22.578000 
213  212 22.791000 
214  213 23.005000 
215  214 23.220000 
216  215 23.436000 
217  216 23.653000 
218  217 23.871000 
219  218 24.090000 
220  219 24.310000 
221  220 24.531000 
222  221 24.753000 
223  222 24.976000 
224  223 25.200000 
225  224 25.425000 
226  225 25.651000 
227  226 25.878000 
228  227 26.106000 
229  228 26.335000 
230  229 26.565000 
231  230 26.796000 
232  231 27.028000 
233  232 27.261000 
234  233 27.495000 
235  234 27.730000 
236  235 27.966000 
237  236 28.203000 
238  237 28.441000 
239  238 28.680000 
240  239 28.920000 
241  240 29.161000 
242  241 29.403000 
243  242 29.646000 
244  243 29.890000 
245  244 30.135000 
246  245 30.381000 
247  246 30.628000 
248  247 30.876000 
249  248 31.125000 
250  249 31.375000 
251  250 31.626000 
252  251 31.878000 
253  252 32.131000 
254  253 32.385000 
255  254 32.640000 
256  255 32.896000 
257  256 33.153000 
258  257 33.411000 
259  258 33.670000 
260  259 33.930000 
261  260 34.191000 
262  261 34.453000 
263  262 34.716000 
264  263 34.980000 
265  264 35.245000 
266  265 35.511000 
267  266 35.778000 
268  267 36.046000 
269  268 36.315000 
270  269 36.585000 
271  270 36.856000 
272  271 37.128000 
273  272 37.401000 
274  273 37.675000 
275  274 37.950000 
276  275 38.226000 
277  276 38.503000 
278  277 38.781000 
279  278 39.060000 
280  279 39.340000 
281  280 39.621000 
282  281 39.903000 
283  282 40.186000 
284  283 40.470000 
285  284 40.755000 
286  285 41.041000 
287  286 41.328000 
288  287 41.616000 
289  288 41.905000 
290  289 42.195000 
291  290 42.486000 
292  291 42.778000 
293  292 43.071000 
294  293 43.365000 
295  294 43.660000 
296  295 43.956000 
297  296 44.253000 
298  297 44.551000 
299  298 44.850000 
300  299 45.150000 
301  300 45.451000 
302  301 45.753000 
303  302 46.056000 
304  303 46.360000 
305  304 46.665000 
306  305 46.971000 
307  306 47.278000 
308  307 47.586000 
309  308 47.895000 
310  309 48.205000 
311  310 48.516000 
312  311 48.828000 
313  312 49.141000 
314  313 49.455000 
315  314 49.770000 
316  315 50.086000 
317  316 50.403000 
318  317 50.721000 
319  318 51.040000 
320  319 51.360000 
321  320 51.681000 
322  321 52.003000 
323  322 52.326000 
324  323 52.650000 
325  324 52.975000 
326  325 53.301000 
327  326 53.628000 
328  327 53.956000 
329  328 54.285000 
330  329 54.615000 
331  330 54.946000 
332  331 55.278000 
333  332 55.611000 
334  333 55.945000 
335  334 56.280000 
336  335 56.616000 
337  336 56.953000 
338  337 57.291000 
339  338 57.630000 
340  339 57.970000 
341  340 58.311000 
342  341 58.653000 
343  342 58.996000 
344  343 59.340000 
345  344 59.685000 
346  345 60.031000 
347  346 60.378000 
348  347 60.726000 
349  348 61.075000 
350  349 61.425000 
351  350 61.776000 
352  351 62.128000 
353  352 62.481000 
354  353 62.835000 
355  354 63.190000 
356  355 63.546000 
357  356 63.903000 
358  357 64.261000 
359  358 64.620000 
360  359 64.980000 
361  360 65.341000 
362  361 65.703000 
363  362 66.066000 
364  363 66.430000 
365  364 66.795000 
366  365 67.161000 
367  366 67.528000 
368  367 67.896000 
369  368 68.265000 
370  369 68.635000 
371  370 69.006000 
372  371 69.378000 
373  372 69.751000 
374  373 70.125000 
375  374 70.500000 
376  375 70.876000 
377  376 71.253000 
378  377 71.631000 
379  378 72.010000 
380  379 72.390000 
381  380 72.771000 
382  381 73.153000 
383  382 73.536000 
384  383 73.920000 
385  384 74.305000 
386  385 74.691000 
387  386 75.078000 
388  387 75.466000 
389  388 75.855000 
390  389 76.245000 
391  390 76.636000 
392  391 77.028000 
393  392 77.421000 
394  393 77.815000 
395  394 78.210000 
396  395 78.606000 
397  396 79.003000 
398  397 79.401000 
399  398 79.800000 
400  399 80.200000 
401  400 80.599000 
402  401 80.997000 
403  402 81.394000 
404  403 81.790000 
405  404 82.185000 
406  405 82.579000 
407  406 82.972000 
408  407 83.364000 
409  408 83.755000 
410  409 84.145000 
411  410 84.534000 
412  411 84.922000 
413  412 85.309000 
414  413 85.695000 
415  414 86.080000 
416  415 86.464000 
417  416 86.847000 
418  417 87.229000 
419  418 87.610000 
420  419 87.990000 
421  420 88.369000 
422  421 88.747000 
423  422 89.124000 
424  423 89.500000 
425  424 89.875000 
426  425 90.249000 
427  426 90.622000 
428  427 90.994000 
429  428 91.365000 
430  429 91.735000 
431  430 92.104000 
432  431 92.472000 
433  432 92.839000 
434  433 93.205000 
435  434 93.570000 
436  435 93.934000 
437  436 94.297000 
438  437 94.659000 
439  438 95.020000 
440  439 95.380000 
441  440 95.739000 
442  441 96.097000 
443  442 96.454000 
444  443 96.810000 
445  444 97.165000 
446  445 97.519000 
447  446 97.872000 
448  447 98.224000 
449  448 98.575000 
450  449 98.925000 
451  450 99.274000 
452  451 99.622000 
453  452 99.969000 
454  453 100.315000 
455  454 100.660000 
456  455 101.004000 
457  456 101.347000 
458  457 101.689000 
459  458 102.030000 
460  459 102.370000 
461  460 102.709000 
462  461 103.047000 
463  462 103.384000 
464  463 103.720000 
465  464 104.055000 
466  465 104.389000 
467  466 104.722000 
468  467 105.054000 
469  468 105.385000 
470  469 105.715000 
471  470 106.044000 
472  471 106.372000 
473  472 106.699000 
474  473 107.025000 
475  474 107.350000 
476  475 107.674000 
477  476 107.997000 
478  477 108.319000 
479  478 108.640000 
480  479 108.960000 
481  480 109.279000 
482  481 109.597000 
483  482 109.914000 
484  483 110.230000 
485  484 110.545000 
486  485 110.859000 
487  486 111.172000 
488  487 111.484000 
489  488 111.795000 
490  489 112.105000 
491  490 112.414000 
492  491 112.722000 
493  492 113.029000 
494  493 113.335000 
495  494 113.640000 
496  495 113.944000 
497  496 114.247000 
498  497 114.549000 
499  498 114.850000 
500  499 115.150000 
501  500 115.449000 
502  501 115.747000 
503  502 116.044000 
504  503 116.340000 
505  504 116.635000 
506  505 116.929000 
507  506 117.222000 
508  507 117.514000 
509  508 117.805000 
510  509 118.095000 
511  510 118.384000 
512  511 118.672000 
513  512 118.959000 
514  513 119.245000 
515  514 119.530000 
516  515 119.814000 
517  516 120.097000 
518  517 120.379000 
519  518 120.660000 
520  519 120.940000 
521  520 121.219000 
522  521 121.497000 
523  522 121.774000 
524  523 122.050000 
525  524 122.325000 
526  525 122.599000 
527  526 122.872000 
528  527 123.144000 
529  528 123.415000 
530  529 123.685000 
531  530 123.954000 
532  531 124.222000 
533  532 124.489000 
534  533 124.755000 
535  534 125.020000 
536  535 125.284000 
537  536 125.547000 
538  537 125.809000 
539  538 126.070000 
540  539 126.330000 
541  540 126.589000 
542  541 126.847000 
543  542 127.104000 
544  543 127.360000 
545  544 127.615000 
546  545 127.869000 
547  546 128.122000 
548  547 128.374000 
549  548 128.625000 
550  549 128.875000 
551  550 129.124000 
552  551 129.372000 
553  552 129.619000 
554  553 129.865000 
555  554 130.110000 
556  555 130.354000 
557  556 130.597000 
558  557 130.839000 
559  558 131.080000 
560  559 131.320000 
561  560 131.559000 
562  561 131.797000 
563  562 132.034000 
564  563 132.270000 
565  564 132.505000 
566  565 132.739000 
567  566 132.972000 
568  567 133.204000 
569  568 133.435000 
570  569 133.665000 
571  570 133.894000 
572  571 134.122000 
573  572 134.349000 
574  573 134.575000 
575  574 134.800000 
576  575 135.024000 
577  576 135.247000 
578  577 135.469000 
579  578 135.690000 
580  579 135.910000 
581  580 136.129000 
582  581 136.347000 
583  582 136.564000 
584  583 136.780000 
585  584 136.995000 
586  585 137.209000 
587  586 137.422000 
588  587 137.634000 
589  588 137.845000 
590  589 138.055000 
591  590 138.264000 
592  591 138.472000 
593  592 138.679000 
594  593 138.885000 
595  594 139.090000 
596  595 139.294000 
597  596 139.497000 
598  597 139.699000 
599  598 139.900000 
600  599 140.100000 
601  600 140.299000 
602  601 140.497000 
603  602 140.694000 
604  603 140.890000 
605  604 141.085000 
606  605 141.279000 
607  606 141.472000 
608  607 141.664000 
609  608 141.855000 
610  609 142.045000 
611  610 142.234000 
612  611 142.422000 
613  612 142.609000 
614  613 142.795000 
615  614 142.980000 
616  615 143.164000 
617  616 143.347000 
618  617 143.529000 
619  618 143.710000 
620  619 143.890000 
621  620 144.069000 
622  621 144.247000 
623  622 144.424000 
624  623 144.600000 
625  624 144.775000 
626  625 144.949000 
627  626 145.122000 
628  627 145.294000 
629  628 145.465000 
630  629 145.635000 
631  630 145.804000 
632  631 145.972000 
633  632 146.139000 
634  633 146.305000 
635  634 146.470000 
636  635 146.634000 
637  636 146.797000 
638  637 146.959000 
639  638 147.120000 
640  639 147.280000 
641  640 147.439000 
642  641 147.597000 
643  642 147.754000 
644  643 147.910000 
645  644 148.065000 
646  645 148.219000 
647  646 148.372000 
648  647 148.524000 
649  648 148.675000 
650  649 148.825000 
651  650 148.974000 
652  651 149.122000 
653  652 149.269000 
654  653 149.415000 
655  654 149.560000 
656  655 149.704000 
657  656 149.847000 
658  657 149.989000 
659  658 150.130000 
660  659 150.270000 
661  660 150.409000 
662  661 150.547000 
663  662 150.684000 
664  663 150.820000 
665  664 150.955000 
666  665 151.089000 
667  666 151.222000 
668  667 151.354000 
669  668 151.485000 
670  669 151.615000 
671  670 151.744000 
672  671 151.872000 
673  672 151.999000 
674  673 152.125000 
675  674 152.250000 
676  675 152.374000 
677  676 152.497000 
678  677 152.619000 
679  678 152.740000 
680  679 152.860000 
681  680 152.979000 
682  681 153.097000 
683  682 153.214000 
684  683 153.330000 
685  684 153.445000 
686  685 153.559000 
687  686 153.672000 
688  687 153.784000 
689  688 153.895000 
690  689 154.005000 
691  690 154.114000 
692  691 154.222000 
693  692 154.329000 
694  693 154.435000 
695  694 154.540000 
696  695 154.644000 
697  696 154.747000 
698  697 154.849000 
699  698 154.950000 
700  699 155.050000 
701  700 155.149000 
702  701 155.247000 
703  702 155.344000 
704  703 155.440000 
705  704 155.535000 
706  705 155.629000 
707  706 155.722000 
708  707 155.814000 
709  708 155.905000 
710  709 155.995000 
711  710 156.084000 
712  711 156.172000 
713  712 156.259000 
714  713 156.345000 
715  714 156.430000 
716  715 156.514000 
717  716 156.597000 
718  717 156.679000 
719  718 156.760000 
720  719 156.840000 
721  720 156.919000 
722  721 156.997000 
723  722 157.074000 
724  723 157.150000 
725  724 157.225000 
726  725 157.299000 
727  726 157.372000 
728  727 157.444000 
729  728 157.515000 
730  729 157.585000 
731  730 157.654000 
732  731 157.722000 
733  732 157.789000 
734  733 157.855000 
735  734 157.920000 
736  735 157.984000 
737  736 158.047000 
738  737 158.109000 
739  738 158.170000 
740  739 158.230000 
741  740 158.289000 
742  741 158.347000 
743  742 158.404000 
744  743 158.460000 
745  744 158.515000 
746  745 158.569000 
747  746 158.622000 
748  747 158.674000 
749  748 158.725000 
750  749 158.775000 
751  750 158.824000 
752  751 158.872000 
753  752 158.919000 
754  753 158.965000 
755  754 159.010000 
756  755 159.054000 
757  756 159.097000 
758  757 159.139000 
759  758 159.180000 
760  759 159.220000 
761  760 159.259000 
762  761 159.297000 
763  762 159.334000 
764  763 159.370000 
765  764 159.405000 
766  765 159.439000 
767  766 159.472000 
768  767 159.504000 
769  768 159.535000 
770  769 159.565000 
771  770 159.594000 
772  771 159.622000 
773  772 159.649000 
774  773 159.675000 
775  774 159.700000 
776  775 159.724000 
777  776 159.747000 
778  777 159.769000 
779  778 159.790000 
780  779 159.810000 
781  780 159.829000 
782  781 159.847000 
783  782 159.864000 
784  783 159.880000 
785  784 159.895000 
786  785 159.909000 
787  786 159.922000 
788  787 159.934000 
789  788 159.945000 
790  789 159.955000 
791  790 159.964000 
792  791 159.972000 
793  792 159.979000 
794  793 159.985000 
795  794 159.990000 
796  795 159.994000 
797  796 159.997000 
798  797 159.999000 
799  798 160.000000 
800  799 160.000000