commit 040c8fb8c22a1883384f31a4076f9b81e7da64af parent 20d98c1504d1fc68c9c2f2e501001f65f0bd80ee Author: Miroslav Urbanek <mu@miroslavurbanek.com> Date: Thu, 29 Jun 2017 01:49:35 +0200 Add a simulation of many-body localization The system of 2 particles in a 4 x 4 lattice is too small to observe a crossover from thermalization to localization. The calculation serves as a simple example. Diffstat:
README | | | 73 | +++++++++++++++++++++++++++++++++++++++++++++++-------------------------- |
contrib/openblas-0.2.6.patch | | | 57 | --------------------------------------------------------- |
examples/mbl.lisp | | | 104 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
inputs/conv.lisp | | | 57 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
inputs/gsl.lisp | | | 46 | ++++++++++++++++++++++++++++++++++++++++++++++ |
inputs/mbl-w-4-h-4.pot | | | 2 | ++ |
inputs/mbl.lisp | | | 118 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
inputs/printpot.lisp | | | 23 | +++++++++++++++++++++++ |
outputs/mbl | | | 916 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
9 files changed, 1313 insertions(+), 83 deletions(-)
diff --git a/README b/README @@ -1,41 +1,44 @@ 1. INTRODUCTION -TEBDOL is a program for calculating time evolution of a system of -ultracold atoms in an optical lattice. It utilizes the time-evolving -block decimation algorithm (TEBD). It is written in Common Lisp and -supports parallelization using MPI. +TEBDOL [1] is a program for calculating time evolution of a system of +ultracold atoms in one-dimensional and two-dimensional optical +lattices. It utilizes the time-evolving block decimation algorithm +(TEBD). One-dimensional version is parallelized using MPI. 2. INSTALLATION -TEBDOL has following dependencies: +TEBDOL is written in Common Lisp and has the following dependencies: -* SBCL +* Steel Bank Common Lisp (SBCL) SBCL is an ANSI Common Lisp compiler. Source and binaries are - available at http://sbcl.org/. TEBDOL was tested with version 1.2.3. + available at http://sbcl.org/. TEBDOL was tested with version 1.2.4. -* BLAS and LAPACK +* Basic Linear Algebra Subprograms (BLAS) and Linear Algebra Package + (LAPACK) BLAS and LAPACK libraries provide vector and matrix routines. There are several vendor-provided implementations available. TEBDOL was - tested with OpenBLAS 0.2.6, which can be download at - http://www.openblas.net/. Due to a numerical bug in LAPACK, a patch - in the file "contrib/openblas-0.2.6.patch" has to be applied to this - version of OpenBLAS. TEBDOL should also work with Intel MKL. + tested with OpenBLAS 0.2.12, which can be download at + http://www.openblas.net/. It also works with Intel MKL. -* MPI +* Message Passing Interface (MPI) MPI provides support for parallelization. TEBDOL was tested with - OpenMPI 1.4.3. + version 1.6.5. -After installing SBCL, BLAS/LAPACK, and MPI, you'll need to edit the -parameters in the script "run" in the top-level directory: +* GNU Scientific Library (GSL) -* LD_LIBRARY_PATH Path to directories with BLAS/LAPACK and MPI - libraries. -* SBCL Path to the SBCL binary. -* DSS Maximum amount of memory allocated for a single - SBCL process. + GSL is used for random number generation. TEBDOL was tested with + version 1.16. + +After installing SBCL, BLAS/LAPACK, MPI, and GSL, you'll need to edit +the parameters in the script "run" in the top-level directory: + +* LD_LIBRARY_PATH Paths to directories containing the libraries. +* SBCL Path to the SBCL binary. +* DSS Maximum amount of memory allocated for a single + SBCL process. You'll probably also need to edit the file "conf.lisp", where you can specify the name of the BLAS/LAPACK library and switch MPI @@ -76,12 +79,20 @@ There are several examples in the directory "examples": * Equilibration example ("trotzky.lisp"). - This example simulates time evolution of a model from an article - [1]. Usage is similar to previous examples: + This example simulates time evolution of a model from article + [2]. Usage is similar to previous examples: $ ./run inputs/trotzky.lisp $ ./run examples/trotzky.lisp +* Many-body localization in two dimensions ("mbl.lisp"). + + This example is inspired by article [3]. Usage is similar to + previous examples: + + $ ./run inputs/mbl.lisp + $ ./run examples/mbl.lisp + The sample outputs are in the directory "outputs". 4. FILES @@ -104,10 +115,20 @@ tebdol/serial.lisp: Serialization routines. tebdol/tebd.lisp: Time-evolving block decimation algorithm. tebdol/tebdol.asd: System definition. tebdol/tensor.lisp: Symmetric tensor routines. +tebdol/ttns.lisp: Routines for working with tree tensor network states. tebdol/util.lisp: Miscellaneous utilities. 5. REFERENCES -[1] Trotzky S. et al. Probing the relaxation towards equilibrium in an -isolated strongly correlated one-dimensional Bose gas. Nature Phys. 8, -325–330 (2012). doi:10.1038/nphys2232 +[1] M. Urbanek and P. Soldán, "Parallel implementation of the +time-evolving block decimation algorithm for the Bose–Hubbard model", +Comput. Phys. Commun. 199, 170–177 +(2016). doi:10.1016/j.cpc.2015.10.016 + +[2] Trotzky S. et al., "Probing the relaxation towards equilibrium in +an isolated strongly correlated one-dimensional Bose gas", Nature +Physics 8, 325–330 (2012). doi:10.1038/nphys2232 + +[3] Choi J.-y. et al., "Exploring the many-body localization +transition in two dimension", Science 352, 1547–1552 +(2016). doi:10.1126/science.aaf8834 diff --git a/contrib/openblas-0.2.6.patch b/contrib/openblas-0.2.6.patch @@ -1,57 +0,0 @@ -diff --git a/Makefile.rule b/Makefile.rule -index 4e23857..8ea235e 100644 ---- a/Makefile.rule -+++ b/Makefile.rule -@@ -105,7 +105,7 @@ VERSION = 0.2.6 - # If any gemm arguement m, n or k is less or equal this threshold, gemm will be execute - # with single thread. You can use this flag to avoid the overhead of multi-threading - # in small matrix sizes. The default value is 50. --# GEMM_MULTITHREAD_THRESHOLD = 50 -+# GEMM_MULTITHREAD_THRESHOLD = 4 - - # If you need santy check by comparing reference BLAS. It'll be very - # slow (Not implemented yet). -diff --git a/Makefile.system b/Makefile.system -index fc89d2d..ab9ead0 100644 ---- a/Makefile.system -+++ b/Makefile.system -@@ -53,7 +53,7 @@ GETARCH_FLAGS += -DUSE64BITINT - endif - - ifndef GEMM_MULTITHREAD_THRESHOLD --GEMM_MULTITHREAD_THRESHOLD=50 -+GEMM_MULTITHREAD_THRESHOLD=4 - endif - GETARCH_FLAGS += -DGEMM_MULTITHREAD_THRESHOLD=$(GEMM_MULTITHREAD_THRESHOLD) - -diff --git a/c_check b/c_check -index 4d82237..f26fce2 100644 ---- a/c_check -+++ b/c_check -@@ -241,7 +241,7 @@ print CONFFILE "#define FUNDERSCORE\t$need_fu\n" if $need_fu ne ""; - - if ($os eq "LINUX") { - -- @pthread = split(/\s+/, `nm /lib/libpthread.so* | grep _pthread_create`); -+ @pthread = split(/\s+/, `nm /lib/*-linux-gnu/libpthread.so* | grep _pthread_create`); - - if ($pthread[2] ne "") { - print CONFFILE "#define PTHREAD_CREATE_FUNC $pthread[2]\n"; -diff --git a/kernel/x86/lsame.S b/kernel/x86/lsame.S -index d7e48ad..3ac7a73 100644 ---- a/kernel/x86/lsame.S -+++ b/kernel/x86/lsame.S -@@ -74,11 +74,11 @@ - #else - movl %eax, %ecx - subl $32, %ecx -- cmovg %ecx, %eax -+ cmovge %ecx, %eax - - movl %edx, %ecx - subl $32, %ecx -- cmovg %ecx, %edx -+ cmovge %ecx, %edx - - subl %eax, %edx - movl $0, %eax diff --git a/examples/mbl.lisp b/examples/mbl.lisp @@ -0,0 +1,104 @@ +;; many-body localization in a two-dimensional optical lattice + +;; parameters + +(defparameter *potential* #p"inputs/mbl-w-4-h-4.pot") +(defparameter *diameter* 2) +(defparameter *u* 24.4d0) ;; *j* = 1 + +(defparameter *dimension* 7) +(defparameter *step* (/ 16d0)) + +(defparameter *maxdim* + (list (* (expt 2 32) double-float-epsilon) nil 128)) + +;; libraries + +(load "conf.lisp") +(require :tebdol) + +(use-package '(:blas :ttns :tebd :bhm)) +(setf *print-level* 2) + +;; functions + +(defun make-half-circle-ttns (width height diameter dimension) + (loop + with p = (make-vacuum-ttns width height dimension) + with xshift = (ceiling (- width diameter) 2) + with yshift = (floor (- height diameter) 2) + for i below (ceiling diameter 2) + do + (loop + for j below diameter + when (and (<= + (sqrt + (+ (expt (- i (/ (1- diameter) 2)) 2) + (expt (- j (/ (1- diameter) 2)) 2))) + (/ diameter 2)) + (>= (+ i xshift) 0) + (>= (+ j yshift) 0) + (< (+ i xshift) width) + (< (+ j yshift) height)) + do + (ttns-create-particle p (+ i xshift) (+ j yshift) dimension)) + finally + (compress-ttns p nil) + (return p))) + +(defun imbalance (pn) + (loop + with w = (array-dimension pn 0) + with h = (array-dimension pn 1) + for i below w + for s = (loop + for j below h + sum (aref pn i j)) + when (< i (/ w 2)) + sum s into l + else + sum s into r + finally + (return (/ (- l r) (+ l r))))) + +(defun load-potential (pathname) + (with-standard-io-syntax + (with-open-file (s pathname) + (read s)))) + +;; initialization + +(defparameter *potarray* (load-potential *potential*)) +(defparameter *width* (array-dimension *potarray* 0)) +(defparameter *height* (array-dimension *potarray* 1)) + +(defparameter *tbhsh* (bose-hubbard-site-hamiltonian *dimension* 1d0 0d0 0d0)) +(defparameter *ssps* (make-ssps *width* *height* *dimension* *u* *potarray* (/ *step* 2))) +(defparameter *dsps* (make-dsps *width* *height* *dimension* *u* *potarray* (/ *step* 2))) +(defparameter *dspy* (make-double-site-propagator *tbhsh* *tbhsh* (/ *step* 2))) + +(defparameter *ttns* (make-half-circle-ttns *width* *height* *diameter* *dimension*)) +(defparameter *pn* (all-pn-operators *width* *height* *dimension*)) + +(format t "# potential = ~A~%" *potential*) +(format t "# width = ~A~%" *width*) +(format t "# height = ~A~%" *height*) +(format t "# diameter = ~A~%" *diameter*) +(format t "# u = ~A~%" *u*) +(format t "# step = ~A~%" *step*) +(format t "# maxdim = ~A~%" *maxdim*) +(format t "~%# time imbalance norm~%# ----~%# density~%# ----~%~%") + +;; main loop + +(loop + for i to 128 + do + (unless (zerop i) + (ttns-tebd-evolve *ttns* *ssps* *dsps* *dspy* *maxdim*)) + (let* ((n (realpart (ttns-overlap *ttns* *ttns*))) + (p (all-pn *ttns* n *pn*))) + (format t "~,4f ~F ~F~%" (* i *step*) (imbalance p) n) + (format t "----~%") + (print-pn p) + (format t "----~%"))) diff --git a/inputs/conv.lisp b/inputs/conv.lisp @@ -0,0 +1,57 @@ +(defpackage :conv + (:use :common-lisp) + (:export :normalized-gaussian + :convolve)) + +(in-package :conv) + +(defun gaussian (width height sigma) + (loop + with a = (make-array (list width height)) + for i below width + do (loop + for j below height + do (setf (aref a i j) + (exp (/ (+ (expt (- i (/ (1- width) 2)) 2) + (expt (- j (/ (1- height) 2)) 2)) + (* -2 (expt sigma 2)))))) + finally (return a))) + +(defun sum-array (array) + (loop + for i below (array-total-size array) + sum (row-major-aref array i))) + +(defun normalize-array (array) + (loop + with a = (make-array (array-dimensions array)) + with s = (sum-array array) + for i below (array-total-size a) + do (setf (row-major-aref a i) (/ (row-major-aref array i) s)) + finally (return a))) + +(defun normalized-gaussian (width height sigma) + (normalize-array (gaussian width height sigma))) + +(defun convolve (array kernel) + (loop + with a = (make-array (array-dimensions array)) + with aw = (array-dimension array 0) + with ah = (array-dimension array 1) + with kw = (array-dimension kernel 0) + with kh = (array-dimension kernel 1) + for i below aw + do (loop + for j below ah + do (setf (aref a i j) + (loop + for k below kw + for m = (+ i (- k (floor kw 2))) + when (and (>= m 0) (< m aw)) + sum (loop + for l below kh + for n = (+ j (- l (floor kh 2))) + when (and (>= n 0) (< n ah)) + sum (* (aref array m n) + (aref kernel k l)))))) + finally (return a))) diff --git a/inputs/gsl.lisp b/inputs/gsl.lisp @@ -0,0 +1,46 @@ +(defpackage :gsl + (:use :common-lisp :sb-alien) + (:export :gsl-rng-type + :gsl-rng + :+gsl-rng-ranlxd2+ + :*gsl-rng-default* + :*gsl-rng-default-seed* + :gsl-rng-alloc + :gsl-rng-set + :gsl-rng-free + :gsl-rng-env-setup + :gsl-ran-binomial)) + +(in-package :gsl) + +(load-shared-object "libgslcblas.so.0") +(load-shared-object "libgsl.so.0") + +(define-alien-type gsl-rng-type (struct nil)) +(define-alien-type gsl-rng (struct nil)) + +(define-alien-variable ("gsl_rng_ranlxd2" +gsl-rng-ranlxd2+) + (* gsl-rng-type)) + +(define-alien-variable ("gsl_rng_default" *gsl-rng-default*) + (* gsl-rng-type)) + +(define-alien-variable ("gsl_rng_default_seed" *gsl-rng-default-seed*) + unsigned-long) + +(define-alien-routine gsl-rng-alloc (* gsl-rng) + (type (* gsl-rng-type))) + +(define-alien-routine gsl-rng-set void + (r (* gsl-rng)) + (s unsigned-long)) + +(define-alien-routine gsl-rng-free void + (r (* gsl-rng))) + +(define-alien-routine gsl-rng-env-setup (* gsl-rng-type)) + +(define-alien-routine gsl-ran-binomial unsigned-int + (r (* gsl-rng)) + (p double) + (n unsigned-int)) diff --git a/inputs/mbl-w-4-h-4.pot b/inputs/mbl-w-4-h-4.pot @@ -0,0 +1,2 @@ +;; width = 4, height = 4, diameter = 2, epp = 0.14d0, fwhm = 1.0d0, seed = 0 +#2A((29.651652249358083d0 16.567252253892597d0 17.860483916475815d0 31.17380679705555d0) (16.052735710640196d0 3.2574307872105224d0 3.5240962865932723d0 18.307746347439696d0) (16.92775153011918d0 3.479964227027768d0 3.051200719491302d0 17.40290802941907d0) (30.935305770523602d0 17.062230185470135d0 17.04918426851492d0 30.630766615907486d0)) diff --git a/inputs/mbl.lisp b/inputs/mbl.lisp @@ -0,0 +1,118 @@ +;; random lattice potential + +;; parameters + +(defparameter *width* 4) +(defparameter *height* 4) +(defparameter *diameter* 2) +(defparameter *epp* 1.4d-1) +(defparameter *fwhm* 1d0) + +;; fixed seed +(defparameter *seed* 0) + +;; random seed, uncomment to get a real random potential +;; (defparameter *seed* (random #x100000000 (make-random-state t))) + +;; libraries + +(load (merge-pathnames "gsl.lisp" *load-truename*)) +(load (merge-pathnames "conv.lisp" *load-truename*)) +(use-package '(:gsl :conv)) + +;; main + +(defun harmonic-potential (width height) + (loop + with a = (make-array (list width height)) + for i below width + do (loop + for j below height + do (setf (aref a i j) + (+ (expt (- i (/ (1- width) 2)) 2) + (expt (- j (/ (1- height) 2)) 2)))) + finally (return a))) + +(defun half-circle-mean-energy (potential diameter) + (loop + with m = (ceiling (- (array-dimension potential 0) diameter) 2) + with n = (floor (- (array-dimension potential 1) diameter) 2) + with p = 0 + with e = 0 + for i below (/ diameter 2) + do (loop + for j below diameter + when (<= (sqrt (+ (expt (- i (/ (1- diameter) 2)) 2) + (expt (- j (/ (1- diameter) 2)) 2))) + (/ diameter 2)) + do + (incf p) + (incf e (aref potential (+ i m) (+ j n)))) + finally (return (/ e p)))) + +(defun scaled-harmonic-potential (width height diameter epp) + (loop + with a = (harmonic-potential width height) + with c = (/ (* 24.4d0 epp) (half-circle-mean-energy a diameter)) + for i below (array-total-size a) + do (setf (row-major-aref a i) (* c (row-major-aref a i))) + finally (return a))) + +(defparameter *gsl-rng* (gsl-rng-alloc +gsl-rng-ranlxd2+)) + +(gsl-rng-set *gsl-rng* *seed*) + +(defun binomial-variate (p n) + (gsl-ran-binomial *gsl-rng* p n)) + +(defun squared-binomial-mean (p n) + (/ (+ p (* (expt p 2) (1- n))) n)) + +(defconstant +squared-binomial-fwhm+ 1.06d-1) ;; measured value + +(defun squared-binomial-potential (width height fwhm) + (loop + with c = (/ fwhm +squared-binomial-fwhm+) + with m = (squared-binomial-mean 5d-1 49) + with a = (make-array (list width height)) + for i below (array-total-size a) + do (setf (row-major-aref a i) + (* c (- (expt (/ (binomial-variate 5d-1 49) 49) 2) m))) + finally (return a))) + +(defun convolved-potential (width height fwhm) + (loop + with p = (squared-binomial-potential (+ width 8) (+ height 8) fwhm) + with g = (normalized-gaussian 9 9 5d-1) + with a = (convolve p g) + with b = (make-array (list width height)) + for i below width + do (loop + for j below height + do (setf (aref b i j) + (aref a (+ i 4) (+ j 4)))) + finally (return b))) + +(defun full-potential (width height diameter epp fwhm) + (loop + with a = (scaled-harmonic-potential width height diameter epp) + with b = (convolved-potential width height fwhm) + for i below (array-total-size a) + do (incf (row-major-aref a i) (row-major-aref b i)) + finally (return a))) + +(defun save-potential (potential pathname) + (when (or (not (probe-file pathname)) (y-or-n-p "Overwrite potential ~S?" pathname)) + (with-standard-io-syntax + (with-open-file (s pathname :direction :output :if-exists :supersede) + (format s ";; width = ~A, height = ~A, diameter = ~A, epp = ~A, fwhm = ~A, seed = ~A~%" + *width* *height* *diameter* *epp* *fwhm* *seed*) + (prin1 potential s) + (terpri s))))) + +(save-potential + (full-potential *width* *height* *diameter* *epp* *fwhm*) + (pathname + (format nil "inputs/mbl-w-~A-h-~A.pot" *width* *height*))) + +(gsl-rng-free *gsl-rng*) diff --git a/inputs/printpot.lisp b/inputs/printpot.lisp @@ -0,0 +1,23 @@ +;; print potential + +(unless (= (length *posix-argv*) 2) + (format t "usage: printpot filename~%") + (exit :code 1)) + +(defun read-potential (pathname) + (with-standard-io-syntax + (with-open-file (s pathname) + (read s)))) + +(defun print-potential (potential) + (loop + with w = (array-dimension potential 0) + with h = (array-dimension potential 1) + for j from (1- h) downto 0 + do (loop + for i below w + do (format t "~6,3F~:[ ~;~%~]" + (aref potential i j) + (eql i (1- w)))))) + +(print-potential (read-potential (pathname (second *posix-argv*)))) diff --git a/outputs/mbl b/outputs/mbl @@ -0,0 +1,916 @@ +# potential = inputs/mbl-w-4-h-4.pot +# width = 4 +# height = 4 +# diameter = 2 +# u = 24.4d0 +# step = 0.0625d0 +# maxdim = (4.768371582031251d-7 NIL 128) + +# time imbalance norm +# ---- +# density +# ---- + +0.0000 1.0 1.0 +---- +0.0 0.0 0.0 0.0 +0.0 1.0 0.0 0.0 +0.0 1.0 0.0 0.0 +0.0 0.0 0.0 0.0 +---- +0.0625 0.9922418850847765 0.9999998297813255 +---- +0.000011568924772761605 0.003099318434514578 0.000011556715763915659 0.0 +0.0036696620656758105 0.9892125918480463 0.0038625218028969913 0.0000037757773706609104 +0.003698386874444776 0.9892562447151854 0.0038642580807774084 0.000003771631798138162 +0.000012075708426906586 0.003282036513709711 0.000012218144595733203 0.000000012762020625683063 +---- +0.1250 0.969444930412789 0.9999969719129144 +---- +0.00012400265494990405 0.009706178168958432 0.00014653587708548835 0.0 +0.011733777215919207 0.9626358525457173 0.0150765320683529 0.000048130322888661976 +0.012189537973648001 0.9620447422912766 0.01507406595579576 0.00004777972334106194 +0.00013450340727393721 0.010876336155045845 0.00016174679280364995 0.0000002788469435081509 +---- +0.1875 0.9330229053989856 0.9999944467381765 +---- +0.00031432039525705456 0.014291676586032327 0.0004934110828400442 0.000001316953314827173 +0.018047770271392045 0.9330963313656053 0.03280360268759707 0.00018860359846899829 +0.019855934668119815 0.9292773004836973 0.03271125556629923 0.0001877786978979983 +0.00036338619276511257 0.017776185436116577 0.000588000147286824 0.000003125867309360402 +---- +0.2500 0.883885126104464 0.9999916517949358 +---- +0.0003485310960510135 0.013314147927472913 0.0008216690731162194 0.000007105245108400462 +0.018359425335757195 0.909336608490222 0.05686030513445887 0.0004234762584487288 +0.022236446022875448 0.9000879458211568 0.056445980493744385 0.0004246355407593805 +0.0004473365440234456 0.019754684866905084 0.0011235519496993877 0.000008150200200595383 +---- +0.3125 0.8221435635793508 0.9999893497311904 +---- +0.00018414617330279445 0.007784775654994568 0.0007443493328959602 0.000010161402678277692 +0.013049097455473693 0.8889493297474469 0.0876304751530576 0.0006770378855499107 +0.018473349261361287 0.8775726140878152 0.08679038258663958 0.0006809244913214445 +0.00028632082765086696 0.015843930371305416 0.0013144156159555925 0.000008689952550801741 +---- +0.3750 0.7507789833604956 0.999986697067915 +---- +0.00004410143084416724 0.0020758695724142785 0.00027602007805548127 0.000004403688520227213 +0.006187129482747823 0.8642128539046272 0.1235985239982392 0.0008517766389144623 +0.011262654335004191 0.8582644378574364 0.12274665732649943 0.0008502506601268641 +0.00009474352378478086 0.00863719325363695 0.0008899480519171687 0.0000034361972313981678 +---- +0.4375 0.6746117504448133 0.9999837044890723 +---- +0.000012125172747717056 0.00040189772089488206 0.0000670728085935481 0.0000007908550183721018 +0.002432103063702241 0.8305548003253023 0.16186207674716346 0.0008984189895974222 +0.00505292210342478 0.8335319656797637 0.16145398426656088 0.000889101373781967 +0.000020505364225334335 0.002605431014752106 0.00021663889530791045 0.000000165619163247041 +---- +0.5000 0.593522489771994 0.9999798831042124 +---- +0.000008067709918371645 0.0034763673460319468 0.0008772816407461944 0.000006986016799755309 +0.0036525109547807318 0.786843706025919 0.2019445143730805 0.0008749515575730948 +0.003229342464668312 0.7951754573720645 0.20170335382424168 0.0008685153491217166 +0.000009054909768642559 0.0011279829888424825 0.00020105044509637342 0.0000008570213467192367 +---- +0.5625 0.5056110099186605 0.9999754417305264 +---- +0.000060207238037270736 0.008074501572255305 0.002713979108195825 0.000011477262941777743 +0.007828100424733657 0.7355216808001248 0.2444211216113672 0.0009311541419662716 +0.006030461579461162 0.743793359447007 0.2437897227241034 0.0009287479305105505 +0.00006436645239311636 0.00423833240464787 0.0015903881816367856 0.000002399120617627458 +---- +0.6250 0.4169534522890992 0.9999723277723898 +---- +0.0001962937893589195 0.010088378518775785 0.004512509577447645 0.000009803611864961813 +0.0111754261882231 0.6856611130932742 0.2866862265518905 0.0011786037489290141 +0.010935236215722658 0.6896418102780311 0.28529536060543004 0.001168902290155213 +0.000234369808854702 0.0090208243968589 0.004185065041575274 0.000010076283608166407 +---- +0.6875 0.3354966150566486 0.9999700498233595 +---- +0.0002683450346877085 0.0081084492842274 0.0048637337350428255 0.000013156153651092877 +0.011370891953876956 0.6461425073800349 0.32641668124713946 0.0015798704841123708 +0.01483619081990496 0.6423125299558096 0.32338312877101477 0.0015586389799410012 +0.000388290475259247 0.012069410152847957 0.006662963572725587 0.00002521199972418751 +---- +0.7500 0.258951506767409 0.9999678833700917 +---- +0.00020006301394744137 0.004122061933480694 0.0033595752147766744 0.000017755885022456767 +0.008891653364737797 0.6145795585450148 0.3656258833361976 0.0019869184319302752 +0.015753158800244835 0.6033602374279312 0.3606751511199426 0.0019583765687572817 +0.00036152249795857387 0.011683251184093552 0.007393659169715784 0.000031173506248253206 +---- +0.8125 0.18444761943239027 0.9999648445858739 +---- +0.0001160555578771032 0.0013038604467284754 0.0012959734774740277 0.000009169551400976138 +0.0059611290951752495 0.5831520007007882 0.40372546151647337 0.0022858070365791476 +0.013409098607349417 0.571872160243269 0.40017441959570593 0.002242631612588368 +0.00021655038240643739 0.008416764398796135 0.00579985788502601 0.000019059892361764917 +---- +0.8750 0.12186616427029245 0.9999617852721093 +---- +0.00008399919908511801 0.001361086069288712 0.0007175288391441207 0.0 +0.004709574844920076 0.5524452469297225 0.4333678367796226 0.0024543305991645394 +0.009300555728918662 0.5495008204943368 0.43613379275297126 0.0024080404041575475 +0.00010809630109453672 0.004356784702926069 0.003045659678652267 0.000006646675995249894 +---- +0.9375 0.07947434210934612 0.9999596811819574 +---- +0.000042492695873610334 0.0035188383163094854 0.002485896870000324 0.000011496297299752336 +0.005683948120263827 0.5282728700383156 0.4514214175703769 0.0025160003081847564 +0.006049915866373814 0.5340554533883589 0.4603068419846947 0.002528234417411852 +0.00005458813981413833 0.0017962355440368164 0.001248200579194382 0.000007569863491310142 +---- +1.0000 0.04872190290219881 0.999957841997145 +---- +0.000016006120334833903 0.005477675436780397 0.005415138193606959 0.00003136205380812748 +0.00760075413998871 0.5107988317653044 0.46459544022162186 0.0024890397486675986 +0.00573103016415523 0.5172263857791806 0.47428660473125556 0.0026082373316388737 +0.000040596242326315585 0.0018306232541280465 0.0018402811033811119 0.000011993713820961536 +---- +1.0625 0.021914555817756035 0.9999559552848644 +---- +0.00007592622108134692 0.005466875753827937 0.0073995880920697905 0.00003264153633883921 +0.008561581778986398 0.4986261423708106 0.4765727385636434 0.0023896079651150536 +0.008330814941801353 0.4969323890595368 0.4845375948057611 0.002562856604239321 +0.000127908057492292 0.0037929176342191653 0.004576537011420174 0.00001387960365609828 +---- +1.1250 0.00884175698107631 0.9999541065128378 +---- +0.00014811347172783042 0.0036639800371522997 0.007248049795735575 0.000023086223657388856 +0.007625012656605671 0.496187753936233 0.4812786388295774 0.002241184322097828 +0.011820639372247883 0.4830809354514808 0.490105784673054 0.0023541307015337806 +0.00029111950431401736 0.006024202551314857 0.007883495154119433 0.000023873319148416848 +---- +1.1875 0.01830343500606968 0.9999516830603172 +---- +0.00013726211695648985 0.0017590674198556078 0.005465035658771676 0.00002260315525587277 +0.00546060913389921 0.5062022842008579 0.4749878609762326 0.0020997043271682634 +0.01374375786435809 0.4834627576765682 0.48701710851908164 0.002091465620049147 +0.00036268082851727734 0.007175015765057045 0.009976403771617773 0.00003638296575342598 +---- +1.2500 0.04219673902368743 0.9999487177488002 +---- +0.00011070153049637156 0.001269658340730741 0.0035622780706963584 0.000018828892205650482 +0.003738686470495017 0.5225661406869591 0.4618098947064848 0.002074924823826556 +0.012877563455919694 0.4944555996305809 0.47840417013874675 0.0019784857115908152 +0.00027520823280703573 0.00690318067569847 0.009922450433299321 0.00003222819946230229 +---- +1.3125 0.07331839550402466 0.9999455498958265 +---- +0.000130701803779148 0.002316004711819533 0.00281449598563867 0.000005542706496814652 +0.003916368361567716 0.539202478154745 0.4431752810661121 0.0022306613414259917 +0.009972483346532222 0.5119729325092266 0.46818237563405685 0.002140723559931655 +0.00016042926725638731 0.005646997349098452 0.008112896619203691 0.00001962758311000853 +---- +1.3750 0.11846807334611276 0.9999428866445286 +---- +0.0001214678977411113 0.003778463948018276 0.0033660158222290205 0.000009152508617659521 +0.006129094449651797 0.55892600785917 0.4157440041142788 0.002450350583510151 +0.00731739673888006 0.537892693343073 0.45157838658477584 0.002510552672546784 +0.00012096884864722584 0.004181980260931365 0.005853241915729427 0.000020222452199470554 +---- +1.4375 0.18122672901681458 0.9999405199361696 +---- +0.00006533207531496431 0.0043954357949945256 0.004380208499182213 0.000029476638415213937 +0.008902780498448884 0.5874619111670432 0.38142574359333903 0.0024895616978296985 +0.007130596289382601 0.5698821846543471 0.42324641383131767 0.002816882008104958 +0.00011751774282932768 0.003270970794454006 0.004360337571800854 0.000024647143195761594 +---- +1.5000 0.2516201272880943 0.9999381578329909 +---- +0.00006183590995965078 0.003830863716057775 0.004997380927224287 0.00003270082321198887 +0.01033089799877833 0.6239335017865213 0.34657102401905904 0.0021843102318234767 +0.009691796892812913 0.6003552162756278 0.3878563537470186 0.0027248582065303767 +0.00013966106605440854 0.0032763536422819642 0.0039958173246149266 0.00001742743242305115 +---- +1.5625 0.32217939608316115 0.9999352582372478 +---- +0.00010596897256776744 0.0028613426044685154 0.005011191127061835 0.000020138467781257993 +0.00959092107808254 0.6624296751277406 0.3116818166214591 0.0016011823356810511 +0.012992649374014177 0.6299436369775616 0.352938509036327 0.002129633202919907 +0.00022990350061916727 0.0040252984481069405 0.004426942235995914 0.000011190889612958782 +---- +1.6250 0.3968135028218633 0.9999329702065927 +---- +0.00010679840088358447 0.0025355219402384377 0.00471162403197917 0.000018445945177882193 +0.007357770272067047 0.7005983210214792 0.27265838897973016 0.0010218636845471063 +0.01452902082825257 0.6662895477914401 0.3182180390447003 0.0013344120667660858 +0.00031171008595438243 0.00508481248154776 0.005208731585503113 0.000014991839732750992 +---- +1.6875 0.4781193909580228 0.9999312212844317 +---- +0.0001028405696419024 0.0031984727050281834 0.004294794186416988 0.000021074611055452804 +0.005170363739732265 0.7411948347772672 0.2300580531416534 0.0007433729153085554 +0.013420439277553722 0.7086979460650756 0.2799446049280736 0.0008179151429607786 +0.0002751730381889895 0.006059320785534724 0.005985112854147812 0.000015681262360615236 +---- +1.7500 0.5600600224751366 0.9999297845452816 +---- +0.00016059823866645072 0.004361800704791317 0.0037035849405340276 0.000012530343884392974 +0.004583252602835439 0.7831119718438996 0.18873852277978864 0.000824409504820127 +0.010843177410923048 0.7501556023458366 0.2394425991702754 0.0007993131703646586 +0.00018803646729659415 0.006655582860887396 0.006405668346348955 0.00001334926884722128 +---- +1.8125 0.6362620720692493 0.9999272634061915 +---- +0.00018957837859213473 0.005223174034997271 0.002962980431017776 0.0000070770546463105515 +0.006214804595600933 0.8181772515898874 0.1512930732486799 0.0010403504524284912 +0.00886577973582684 0.7906571841801389 0.20112907802961683 0.0010788046603069092 +0.0001751355420906612 0.006759164012115144 0.006205958826154836 0.00002060522789968544 +---- +1.8750 0.7057149224959932 0.9999252622037101 +---- +0.0001342905288027925 0.005180251413931353 0.0023306977166270906 0.000013966972147499074 +0.008976943985784972 0.8439313647042024 0.11746847859287957 0.0011108148471265615 +0.008979556171289168 0.8317487795453974 0.16661326006408053 0.0012839206275177568 +0.00020072034718552796 0.00656301579939995 0.005435591898024715 0.000028346785603054516 +---- +1.9375 0.7689100754091495 0.9999226227512328 +---- +0.00010677143068449767 0.004294484051992207 0.0020710278998225013 0.000017720130521996324 +0.010826134100431265 0.8697477490422488 0.0874130255423551 0.0009345025059304771 +0.011144594284960934 0.866223316283328 0.1349847563323201 0.0011909836422780346 +0.00020781312076162853 0.006359213094741209 0.004455540256490646 0.000022368281131660994 +---- +2.0000 0.823698125402444 0.9999203523561182 +---- +0.00012824453259069658 0.0035340905154925997 0.002127465689646817 0.000013391999314311759 +0.010753884589613778 0.8991615953739841 0.06260238975988429 0.0006197378413592116 +0.013863952425400821 0.8897168181249432 0.10641471771103309 0.0008669377538427031 +0.00026773183889546156 0.00627180800152384 0.0036451812155170395 0.000012052626958430805 +---- +2.0625 0.8659411907450952 0.9999180797300137 +---- +0.00009156699283229115 0.003978052347133306 0.0021914636561647938 0.000011518718819496058 +0.009597605307994623 0.9196572606681608 0.044635995873391635 0.0003653308281714453 +0.015463038923254247 0.9103515094439697 0.08311104173890202 0.0005772287324786314 +0.0003627720097615659 0.006439385051988616 0.003158164990929175 0.000008064716047648676 +---- +2.1250 0.8933736539096269 0.9999165949702977 +---- +0.0000596874006279033 0.005531058332459884 0.0020745072384615276 0.000012546420183883904 +0.008855720775512168 0.9237533336908359 0.03368528353041447 0.00031596939374052443 +0.015421994012906672 0.9322517465449554 0.0671072647383893 0.0005296983498190517 +0.00031934530376141556 0.007180767848567864 0.002893929700055446 0.000007146719308851143 +---- +2.1875 0.9076536956083399 0.9999144767318975 +---- +0.00015940780250864114 0.006908880082076063 0.0018326608830096004 0.000011367903843728602 +0.009260701514173094 0.9226445226576976 0.02877541408656756 0.00046232039052683033 +0.014242861674795439 0.9457154555300408 0.057911378468413675 0.0006698189119372979 +0.0001721211598708221 0.008549745187177278 0.0026759718201432095 0.000007371927218273943 +---- +2.2500 0.9102508497237649 0.9999127287697562 +---- +0.0002558105831809852 0.006974799722076936 0.001618980943470164 0.000009605871485360356 +0.010431898601202002 0.9239061549073575 0.030272958760158557 0.000661235038679321 +0.012438772736020454 0.9460831174482405 0.05395116093010033 0.0007608923263964688 +0.00017168611194019975 0.009988609613745598 0.0024636740129954145 0.000010642392949433601 +---- +2.3125 0.89882849549814 0.9999115642941816 +---- +0.00019686875898469066 0.005686377029184857 0.0014677840245735218 0.000009002122824114802 +0.011073020987146364 0.9176821729890118 0.039795688206672765 0.0007667053033390914 +0.01029564627131502 0.9428225574828799 0.0561344362499649 0.000644485577008557 +0.00030450864184561864 0.010767343337771875 0.0023392204661657847 0.000014182551311158271 +---- +2.3750 0.8718378277259302 0.9999100642095172 +---- +0.0001245423925459675 0.00403337577072462 0.001317719984738962 0.00000905320903692418 +0.00991655115311694 0.8990497873207198 0.056864798291366446 0.0007471614866178349 +0.008464746908346801 0.9395087695192198 0.06641913747210366 0.0004212830957998463 +0.0003213345687296591 0.01041872009252615 0.0023677425281371095 0.000015276206268935127 +---- +2.4375 0.8323257725470745 0.9999059245516333 +---- +0.00014219683669266795 0.0035358903957440685 0.001124748928559288 0.000008854610636166923 +0.007428987607033964 0.8783284785556991 0.07959079352787374 0.0007004779909842312 +0.008016275512895727 0.9257894082518554 0.08336740630792042 0.0003739683479336739 +0.00025841466484559757 0.008826120722307785 0.002494863042124331 0.000013114696893539405 +---- +2.5000 0.7825967188725934 0.9999023751231366 +---- +0.00010763883384306141 0.005031181179523797 0.0009562431171144407 0.000006126712153191373 +0.0059458603140755606 0.8573597627112313 0.10810913265249167 0.0007834969167602295 +0.00963744161483477 0.8975922417609226 0.10434111026099216 0.0006754197591022749 +0.0003279547202663814 0.006594637737896304 0.0025242510523707513 0.000007500656421796876 +---- +2.5625 0.7216081202741522 0.999899622494642 +---- +0.000022734882400448577 0.007464820515218352 0.0009581628059177682 0.000003310240706721413 +0.007362507766283781 0.8236023216974223 0.1422756555985514 0.0011011899232721925 +0.01285231950265478 0.8646514034483701 0.13061728275159076 0.0011780137685637325 +0.00040093098713213246 0.005251081474670362 0.002253644277147662 0.000004620360097500035 +---- +2.6250 0.651218428876721 0.9998963820395856 +---- +0.0000775591536902418 0.00855760107624461 0.001173054325464134 0.000007608648619524771 +0.010979122630315918 0.7770725015246082 0.17879977546127962 0.0016051075897998552 +0.01587124808172039 0.8322068437689645 0.1639055554685996 0.0015481403351826199 +0.0002604105300111289 0.006193142111165757 0.0017343795338112058 0.000007949760522406632 +---- +2.6875 0.576688919781979 0.9998935528806588 +---- +0.00021784277610154218 0.007095348147945033 0.0014151575887778164 0.000014424011073049808 +0.014036067337745447 0.7349351691177858 0.21613416955193757 0.002070278340912961 +0.01643974495436488 0.7946657896639974 0.2007547742020384 0.0016011143456745335 +0.00011732952642499969 0.009181628257614313 0.001312658313959244 0.000008503863647643938 +---- +2.7500 0.49939558818049296 0.999891471449952 +---- +0.00022690810009279205 0.004135200358341896 0.0014458777541803203 0.000013019006979181737 +0.014066040878166045 0.7035648292526392 0.25677295447953064 0.002225645110944413 +0.01357804877758952 0.7511986125822535 0.2373878309776516 0.0014654849603439992 +0.0002263301284046967 0.012399618103005284 0.0012882177151166618 0.000005381814760269186 +---- +2.8125 0.4183860330286765 0.9998887762329032 +---- +0.0001499329098243532 0.0019263275378216288 0.0013005238226541926 0.000006373504610225625 +0.010665889939055376 0.6722560758147068 0.30000437305220073 0.0019876356444762794 +0.008687850441009384 0.710439868202763 0.27523291354058566 0.0014442837873308867 +0.00038424126324279904 0.013875846920252857 0.0016296629823463918 0.000008200637118940514 +---- +2.8750 0.3377940644394956 0.999886879056701 +---- +0.0001384344611049145 0.0021445075842051833 0.0012692363977170923 0.000005089792259067872 +0.005913928051065012 0.6356100731902734 0.34055592744673086 0.0015906766614703438 +0.004699307031307451 0.6763538990496143 0.3149378992072952 0.0017453364844505466 +0.0003562446173165293 0.012577670454608414 0.0020867104628651463 0.00001505910771601347 +---- +2.9375 0.26298789887885793 0.9998840288996023 +---- +0.00013417177635101452 0.004715314520551904 0.0015175651643441852 0.000008248079612871267 +0.0029637326429298103 0.5995166611126291 0.3772204350855828 0.0014554789847873242 +0.00400410300353788 0.6423534765572702 0.35210658753322094 0.0022702479784236255 +0.00029906164578998034 0.009001377619797912 0.0024200534614486754 0.000013484833721443359 +---- +3.0000 0.1935026374375003 0.9998811783872386 +---- +0.0000781659563651778 0.007680264158485688 0.00192284925156156 0.000008372307131187718 +0.0036902745824911203 0.5667692873816949 0.4124062578679855 0.00188827281936593 +0.0069062790370093595 0.6027734675381361 0.38512775003403327 0.002655171206586084 +0.00033956226820915314 0.005265336515109231 0.002479454751793509 0.000009234324042892506 +---- +3.0625 0.1287762619155332 0.9998783938963641 +---- +0.00008338935309372208 0.008608320385356933 0.0022718254464264903 0.000008495024933865066 +0.007296660426375846 0.5354374426378732 0.4432428561904629 0.002815062376835212 +0.011442710731420619 0.5617689174859073 0.41794293739044003 0.002624116487065402 +0.0003106921606145425 0.0038281287348910496 0.002304211010287509 0.000014234158015458714 +---- +3.1250 0.0740735900238107 0.9998765715067727 +---- +0.00017585415940656933 0.006698202319981454 0.002439886047871117 0.000014841827415952018 +0.011003265121974849 0.5086035907983375 0.4651204332213756 0.003738218505865947 +0.014627585119901875 0.5272896550164102 0.4500441724812097 0.002328589326162784 +0.00017417322817354623 0.005501264259624723 0.0022247713805903 0.000015497185697959218 +---- +3.1875 0.033113419388930705 0.9998748131637893 +---- +0.00022401999079056027 0.003477629281068295 0.0024390655582925353 0.000019934977220542787 +0.012122219737092457 0.4923555666712231 0.48085882836221616 0.004047200225950803 +0.014510018217372172 0.5014081143122848 0.47471355284841915 0.002203132299206892 +0.00014835758600204518 0.00886749359309696 0.0025984453960125795 0.000006420943750413483 +---- +3.2500 0.0033065505302147247 0.999872707268195 +---- +0.00019858252032567165 0.0013846639532606746 0.002434481694386985 0.00001417437698840476 +0.009921277008146077 0.48671473961723766 0.49418581195721795 0.003507310685947033 +0.011449918675618747 0.48173815924774466 0.4906750255705665 0.0025077500527318085 +0.0002805238321797192 0.01161868567570169 0.003360038716907306 0.000008856415039309523 +---- +3.3125 -0.016144527464313385 0.9998691531179437 +---- +0.00017759734830504476 0.0018166953449749777 0.0026014114188622085 0.000005893815597415415 +0.00617933832788762 0.4859529090075386 0.5004901637333715 0.002483902614500329 +0.007532592890842 0.46973072751985673 0.5033932075249999 0.003105306959606783 +0.0003795205153986762 0.01208609158088312 0.004037462328265695 0.000027179069109669503 +---- +3.3750 -0.020978254920987316 0.9998671398643141 +---- +0.00015760932440058258 0.004243795358402157 0.002846581471563182 0.000007039225691214922 +0.003660506066043393 0.4866331466024412 0.4954286974970611 0.0016722210986366826 +0.005048586402081312 0.46891839990744455 0.5131902444735784 0.0036061934017914345 +0.00037258878736596385 0.009987112630833636 0.004195306616761374 0.00003197113590374056 +---- +3.4375 -0.010237614510187844 0.9998654720187813 +---- +0.00011569316033081505 0.006678371188764027 0.0028709567940765636 0.000011137419367785839 +0.0038042638712388207 0.4915390027096669 0.48365113977209667 0.0015864376692634773 +0.005342327617259937 0.47534317694615896 0.5147370431631704 0.0036455701375660296 +0.00033643633956783686 0.006603113656824621 0.003720049117746831 0.00001528043689994153 +---- +3.5000 0.011560867075914194 0.9998629521700929 +---- +0.00011018313776945021 0.00717958421491121 0.0026309755566094966 0.0000095994963691336 +0.0058448731902879985 0.5046062950260565 0.4692556090890899 0.0022074217748675154 +0.008196127433172036 0.4812626462072534 0.5083254156769882 0.0031304963759779137 +0.00028620662343196453 0.0040749512430316446 0.0028712666540934234 0.00000834830009023224 +---- +3.5625 0.04233092258958465 0.9998609929188165 +---- +0.00015840776916471936 0.005389110615343039 0.0024915534308073465 0.000010446932608832587 +0.00785273957007968 0.5244420352878096 0.4482947289271995 0.003006471809192886 +0.011884947537479616 0.48848208289953576 0.49922780445789294 0.002369631769435894 +0.00021204917976398895 0.003909549730408192 0.002253840780113002 0.000014599303165018672 +---- +3.6250 0.08410197700175215 0.9998582415877154 +---- +0.00019485754904939608 0.002789736847343806 0.0027465123968263964 0.000018570814351514448 +0.008409489508486629 0.5474489037681964 0.41828622072766397 0.003333363324263366 +0.014357351038523617 0.5048042110314431 0.4870927191412718 0.0018558182545850548 +0.00017222682658693975 0.005925200432122276 0.002553411914631205 0.000011406424654615751 +---- +3.6875 0.13666938307287696 0.999856760018377 +---- +0.00020026332020666636 0.0013995030841873358 0.0031973924999715657 0.000020477002157420666 +0.007467849626162736 0.5744854333883357 0.3841684793122985 0.0029117648905510785 +0.014596518884385594 0.5296984246051788 0.46720646137227745 0.0018616489928232791 +0.0002134570442023416 0.008607933120218077 0.0039560774220049775 0.000008315435039099172 +---- +3.7500 0.19624072567032802 0.9998536430782617 +---- +0.00019777609455700414 0.002158250651008044 0.0033761751792403946 0.000010183108884928936 +0.006297264676047576 0.6055950117369923 0.34982627618186396 0.0020187437948391966 +0.012799493222187089 0.5585472039978608 0.4404294015405866 0.002261815962257717 +0.0003155742565245514 0.010330151035150555 0.0058105438582949035 0.000026134703704243034 +---- +3.8125 0.25959349750643196 0.9998515623124258 +---- +0.00018011892865142513 0.004286615469736793 0.00308181790756633 0.0000034681487917248674 +0.006267653536903223 0.6341039358279392 0.3136938178284681 0.0012073733690037523 +0.009875581680243417 0.5941782209313905 0.4126325038353167 0.0027134071683336414 +0.00042038195023787786 0.010280989181329766 0.007027106107445537 0.00004700812864237293 +---- +3.8750 0.3253062417855703 0.999849502847322 +---- +0.0001565188556844494 0.005965639552338185 0.002578116766821171 0.000009549971516134999 +0.007320012543770548 0.6581663095915465 0.27518531482141656 0.0008592384984690456 +0.007247867680423864 0.6371785724247605 0.38625637329765167 0.0029029930748620176 +0.0004342675215092809 0.008837053615537237 0.00685870486497368 0.000043466918719563865 +---- +3.9375 0.3921344716648352 0.9998474851368223 +---- +0.00015301870653090308 0.005888117622626007 0.002309837264444484 0.000012369732646111098 +0.008196091837251486 0.6873742639405035 0.23733889606645417 0.0009543028148139365 +0.0064520219031583 0.6766347623005933 0.3591120817756592 0.0026845184666437366 +0.0003209090420718916 0.007115286312099679 0.005425507837846394 0.000028014376656752574 +---- +4.0000 0.4582427505612989 0.9998460007906949 +---- +0.0001500812023975392 0.004318906184049733 0.0024706205764189718 0.0000120054703774283 +0.008005076095369067 0.7238386897494665 0.20244084802181944 0.0011800447171008257 +0.008102437427164379 0.70764978242287 0.32986431280264294 0.0021369646321718287 +0.0002109114962438222 0.005966865983737606 0.003630021172813751 0.000022432045355952546 +---- +4.0625 0.5210115771156251 0.9998442242790923 +---- +0.00014070218257096001 0.002686458071054562 0.0028456884965768646 0.00001810545272560941 +0.007059006788602942 0.7531104188995545 0.1703736240619375 0.0012460029920733735 +0.011429421662247603 0.740735507252838 0.300398021788921 0.0015199718294687597 +0.00022341153953608345 0.0056266507192201 0.0025664518192013565 0.000020556443470383785 +---- +4.1250 0.5777635684584228 0.9998426719539377 +---- +0.0001627497190689589 0.0022610880638955625 0.003043816291584461 0.000022077847282786926 +0.006257858628223918 0.7686438617450755 0.140966919243308 0.0011002768060129457 +0.014967916797012227 0.7792282808254193 0.27315865034787923 0.0010982031111889637 +0.00026698588054925923 0.0059748267991779755 0.0028296126662862636 0.000016875228034543668 +---- +4.1875 0.6270987006258715 0.9998405284909789 +---- +0.0001926507186086102 0.003200118837892799 0.002857353084720191 0.000015170891671631839 +0.006250650339669037 0.7825249657689701 0.11569887729992731 0.0008675372556830786 +0.017173718457207936 0.8108317090673463 0.24822529630707668 0.000996065518090757 +0.000261026221158059 0.006663861215018524 0.004217312652871442 0.000023686364087539448 +---- +4.2500 0.6678306128231057 0.9998384290720429 +---- +0.0001732454425087103 0.004540240232980363 0.002452520842786749 0.000005239521430483995 +0.007272767393704088 0.7984749514427065 0.09722506423722674 0.0006660152493630423 +0.016745540631928877 0.8330697147798571 0.2247216583985644 0.0011629309920563131 +0.0003222490294985191 0.007231903869921796 0.00589294098050499 0.000043016954961604154 +---- +4.3125 0.6971875934755117 0.9998362827208792 +---- +0.00015181377519192169 0.004995494521702151 0.0021929287907606486 0.0000014537122216207423 +0.008975082332639718 0.8035313704625807 0.08666747717416687 0.0005326252167371223 +0.013642640380306879 0.857929442313042 0.20500341555734478 0.0014333945498336551 +0.00046510584835817825 0.007496643841689789 0.0069249196009738305 0.00005619192244976666 +---- +4.3750 0.7129043930352804 0.9998338739289374 +---- +0.00018930985541424172 0.004122067096790214 0.0022579246493665897 0.000004602621687335887 +0.010399210355345955 0.7970735574618538 0.08226949480299063 0.00046978281747982995 +0.009820364307768977 0.8830692382776413 0.193514029415767 0.0016366117808350644 +0.0004632782559687527 0.007767367424497785 0.006894164778113608 0.00004899609847958974 +---- +4.4375 0.7160528625227273 0.9998316940411922 +---- +0.000216689673766492 0.002820565834682967 0.0024650235510371796 0.000008440896628017366 +0.010582340183155828 0.79446361646681 0.08322486010737434 0.0005031055576095234 +0.007901637540532545 0.8915868652298877 0.18989990464045195 0.0016905523425598452 +0.0002779313563749591 0.008203216237516447 0.00612433329038488 0.00003091709122687995 +---- +4.5000 0.708978649186665 0.9998284314594181 +---- +0.00017269134697493646 0.0024564844230095203 0.002522078752275873 0.000010749199003949182 +0.009324093875421761 0.7949200564401437 0.09183446114181468 0.0006640661362467343 +0.008887435748303633 0.8846525179783441 0.18901517241428475 0.0016269451736114348 +0.0001887995947252042 0.008376569779741907 0.0053266958646173744 0.000021182131480181317 +---- +4.5625 0.6918699276618101 0.9998264789517197 +---- +0.00013858210566067614 0.003423002855968215 0.0024317298323706447 0.000014224432157041443 +0.007404905597311971 0.7812188397625038 0.10830676601632777 0.0009374526826675574 +0.01168218798246384 0.8797401955305182 0.19000790444038354 0.0015165145893715028 +0.0002908703244869832 0.007971343502896426 0.0048898431887858486 0.000025637156126040145 +---- +4.6250 0.6635425002095321 0.9998247998318057 +---- +0.00016705386848343666 0.004735359721900981 0.0024522941740089993 0.000017357841126410557 +0.0060821078150788185 0.753624350685504 0.12901966759182945 0.0012341478739208128 +0.01439711617960445 0.876969828232824 0.19757386914229852 0.001410458710084577 +0.00035021269758261556 0.007216471008553599 0.004715618690947602 0.00003408576625162338 +---- +4.6875 0.6239446108317618 0.9998225590371846 +---- +0.00018646863454219374 0.0050225298611997135 0.0027106210367244927 0.000014478032947095341 +0.006283430748218698 0.7290310983934372 0.1533858509058267 0.0014126146738725075 +0.015433686898429262 0.8612644330730013 0.2124718226272362 0.0013573869501387215 +0.00029537674236941987 0.006427586480563992 0.004659131829587087 0.00004348311190527129 +---- +4.7500 0.5743477301311366 0.9998214941190352 +---- +0.00016059583839330297 0.003860575183035567 0.0030311135082648592 0.000007094642185644451 +0.007978525145960154 0.7086803035640818 0.18467993198528823 0.0013797990748652938 +0.014056438354766228 0.8335757592409248 0.23026506546551323 0.0014126891120477072 +0.0003179376454990047 0.005717595158475715 0.004819019928340572 0.000057556152357815094 +---- +4.8125 0.516334934655237 0.9998196075206298 +---- +0.00015858344244067013 0.0022041816338067115 0.003179486917488751 0.000003857920328642063 +0.009938407173796649 0.6796930270763495 0.22199827574128794 0.0012072492133864332 +0.011043368074876053 0.807559455699238 0.2501801675231436 0.0016254143504736362 +0.00042760530160553553 0.005310306253124233 0.005409988688724801 0.000060624989929231165 +---- +4.8750 0.45157943896411185 0.9998174765819549 +---- +0.00020431502187357012 0.0015900020921827687 0.0030881212346529573 0.000006539128067135147 +0.010458845722843087 0.6429254318794952 0.260751359392562 0.001119787263347434 +0.008534350921331089 0.781910665580641 0.27510056606351235 0.0019592954610975237 +0.0004212023049171144 0.005534625440827746 0.006355039992809835 0.00003985249983886199 +---- +4.9375 0.38245001432493003 0.9998161199342984 +---- +0.00021597549013877988 0.002724518637008893 0.002800221656548608 0.0000075466692116723 +0.008901707055268009 0.6108162764405697 0.3005302885444112 0.0013382028629606339 +0.008381289645452573 0.7448739906957307 0.30348219118150865 0.002268505299115485 +0.000294938025413286 0.006241318335348627 0.007101560780321616 0.000021468680992363068 +---- +5.0000 0.3122781944574091 0.9998143053298912 +---- +0.0001572504114222504 0.00466432537930235 0.0024226864554292562 0.00000677295748548095 +0.006541234711410696 0.5845786580851061 0.34232999516658214 0.0019194597859780135 +0.010477733254974446 0.6988356297378694 0.33168012172099026 0.002408516091800606 +0.00024805040847632626 0.006775312468847329 0.006926195684874175 0.000028057679450937993 +---- +5.0625 0.2436102093053641 0.9998113592603284 +---- +0.00011107096448187045 0.0055502952958473495 0.0021634098727708905 0.000010098920669019775 +0.005580080134184495 0.5556509173383062 0.38204776159079457 0.0026901993426836786 +0.01292367783863516 0.6567607140425626 0.3615328741485378 0.002359843505869015 +0.000319981990519617 0.00671347170082661 0.005548269098840914 0.000037334214469887113 +---- +5.1250 0.17641757466783825 0.9998099535425783 +---- +0.00014016980429306267 0.004402099135563937 0.002228280077742097 0.000015595382760144904 +0.006990396500378905 0.5232392332872486 0.41673659924123246 0.0032896753628023265 +0.013658732230995379 0.6213816845423099 0.3953304576561765 0.0022489005775151033 +0.0003717445110944267 0.006233514655953869 0.0036990726723970684 0.000033844361536067803 +---- +5.1875 0.11078211403911972 0.9998088296926387 +---- +0.0001845523852144036 0.002166226381562309 0.0026921110610425058 0.000014666528545948348 +0.009521798400234495 0.4949804325614657 0.44987280940977964 0.0033699543599672393 +0.01189419470840768 0.5858421554346747 0.4281544936728416 0.002268044533690624 +0.00035605443221576786 0.005836699735344667 0.0028037820625942574 0.000042024332418216654 +---- +5.2500 0.05046570368588217 0.9998069656449888 +---- +0.00017913664338734195 0.0008643444165234458 0.0034807909679380276 0.000008018106217439832 +0.010791640380259138 0.4749186923948103 0.4821418635230853 0.0028851481170167155 +0.008471223237010946 0.5489371014278546 0.4546030848596883 0.002556978408748694 +0.0003496256324309651 0.005953939553605191 0.0037971617562483437 0.00006125057517481148 +---- +5.3125 -0.0004673085696812463 0.9998049326759946 +---- +0.00016154608607411093 0.0017382389014430058 0.004278176122965161 0.000009421502920279986 +0.009414426861143046 0.45964493407110874 0.5077467960141132 0.0021968882912877137 +0.005371059137477357 0.5161758774930679 0.4769404496260556 0.0030704995848925645 +0.0003817709662880006 0.006644837913716483 0.0061698867607722285 0.000055190666674490154 +---- +5.3750 -0.04256623233826535 0.9998021089702377 +---- +0.0001713863206188737 0.004197449353436173 0.004514689309612706 0.000015492176581184414 +0.006278448662449573 0.44519152068511453 0.5254229615918445 0.0018615162448364128 +0.004648039336663711 0.48913154592420144 0.49898336793052994 0.003524327239004143 +0.00040248143621065483 0.007412895943039702 0.00821313026070326 0.00003074758515297425 +---- +5.4375 -0.0770709245516523 0.9997995550538998 +---- +0.00016117007966176693 0.006311350032508273 0.0038080211842730907 0.000014188118737091243 +0.003833243896853641 0.4339421052176973 0.5397833808549982 0.0022390266863215424 +0.007049633801051634 0.4637756162374818 0.5192135617472252 0.0036146567446048877 +0.0003751239840138952 0.007480832199079573 0.008369363109906441 0.00002872610558612589 +---- +5.5000 -0.10076259913831725 0.999797277847289 +---- +0.0001111025092425495 0.00633468869136226 0.0024946837480331707 0.000009035083858634317 +0.00413878536284713 0.4309351041156719 0.5493293739768849 0.0032073837844654963 +0.011184441238356959 0.43973544985046303 0.5359576965518761 0.0032961059375421057 +0.0003250651642017492 0.006472763929537238 0.00642722086776704 0.00004109918788997178 +---- +5.5625 -0.11108568614106384 0.9997952152900492 +---- +0.00010390148869931029 0.004203426087259096 0.0014685909079374055 0.000015159835507100893 +0.007052717855331895 0.43441477361419273 0.5478496028688044 0.00417052776767673 +0.014203215694587325 0.4237229698030572 0.5511166821483343 0.002805632681181885 +0.00032825158327785744 0.004885057732530863 0.003623553031159782 0.000035936900462307586 +---- +5.6250 -0.11121461308317612 0.9997919846585623 +---- +0.00017100984893934904 0.001797043541109408 0.0013780036249135493 0.000025255972092884214 +0.010201152639436084 0.4384266344299557 0.537042499834145 0.004446269776457968 +0.013862323372010675 0.4199522863274563 0.5640654609261622 0.002479301153654583 +0.00039522754934784543 0.003979709208568304 0.001750394225045284 0.000027427570704310673 +---- +5.6875 -0.10355853599031767 0.9997896034832101 +---- +0.00021775244578570686 0.0013634852587707568 0.0021382888870914787 0.000019638898601949267 +0.010940753306732722 0.44464733078803637 0.5233277089195747 0.0037890409322220145 +0.010220185938491937 0.42365880553210356 0.569828811591098 0.0025406817106475884 +0.00042937925303280567 0.004963771486728631 0.0018750836908025704 0.0000392813602793611 +---- +5.7500 -0.0847704688062133 0.9997876180374966 +---- +0.0001930712500425963 0.0034330328448002136 0.003124999609627716 0.000007866311263771248 +0.008626905943311787 0.45915082793047185 0.505717031979363 0.0025920427515090947 +0.005471755453813271 0.4300611040685111 0.5667158502400931 0.0029478540870853352 +0.00040701157277292586 0.007885822130063032 0.003616020717018816 0.00004880311025249721 +---- +5.8125 -0.05327927669378309 0.9997847549156625 +---- +0.00016307755545595144 0.0063064333338873554 0.0036631940129177266 0.000010574874883584499 +0.005316828986722424 0.4788622607483719 0.4798888464714408 0.0015799043388830605 +0.002556380908820602 0.4418499070699202 0.559158658592123 0.003396273979904929 +0.0004340032341777912 0.011231831468860351 0.005544093595887163 0.000037730827742618175 +---- +5.8750 -0.014331253931751001 0.9997823133292716 +---- +0.0001557025325661167 0.00760710558559248 0.003433301115420913 0.000015456687971092735 +0.003908545784294082 0.49666185525795425 0.4485687678512418 0.0012817985013163346 +0.003661150264118091 0.46034042210086906 0.5511114192884058 0.003546556601023984 +0.0004987726789290915 0.012835191863925545 0.006344974908314145 0.000028978978056979298 +---- +5.9375 0.027812134124617693 0.9997787803098764 +---- +0.00013051596861006858 0.006309272672567084 0.00261831177259189 0.000008749879857671146 +0.005505669246609417 0.5148921429027772 0.4169669084227372 0.0016987364917275959 +0.008737522539950766 0.4803817120769622 0.5418436375602224 0.003311187623492093 +0.00044806362250399796 0.011407235094637194 0.005708321014296853 0.00003201311045678941 +---- +6.0000 0.07508178724935657 0.9997764614249488 +---- +0.00011902150864331616 0.0035383479120100875 0.0017374948752316665 0.000004958017025955995 +0.008501428036240943 0.5377800841173658 0.38428857728952276 0.002390376475125285 +0.014827902976121075 0.5025353351244926 0.5293614968004539 0.0028636978481230446 +0.0003297888174616248 0.007449878757021538 0.00424089461896772 0.000030716826193574535 +---- +6.0625 0.1285565535094491 0.9997735825343378 +---- +0.0001811567973385951 0.0016952682569684636 0.0012240540212015392 0.000016677488555310123 +0.010193466220510792 0.5598693235287755 0.3479479598056837 0.0028342941100287437 +0.017822126676770272 0.5351454594470918 0.5142082433917673 0.0024145803941499166 +0.00035725311543325245 0.003292499466560448 0.002770062917857444 0.000027574361306962543 +---- +6.1250 0.18349322287970446 0.9997715339615251 +---- +0.00025301653204766385 0.002503558303376229 0.0011452857818385212 0.00002454551475228129 +0.009258155560704018 0.5767828043341051 0.3102363809343106 0.0027645629394012832 +0.0157885587315242 0.5763737251926724 0.4983641084299884 0.0020795976701024335 +0.00046964779527312834 0.0020637564300016024 0.0018601014807953823 0.00003219436910641417 +---- +6.1875 0.23547736886510406 0.9997698385307942 +---- +0.0002361956204936914 0.005404031470374021 0.0012992223234052497 0.000015695694324429373 +0.006728116589164996 0.5936532331598658 0.27550648361989705 0.0022449888408590485 +0.010326819980591512 0.6132836525767772 0.48178867860432145 0.0019052606025649612 +0.000446655713147622 0.005398663754688927 0.0017305727492026568 0.00003172870032092149 +---- +6.2500 0.2855273850409146 0.99976821858236 +---- +0.00017321620922856347 0.007904449339522685 0.001493226465770985 0.000008380926049719366 +0.004958713985849767 0.6114835278123043 0.24493882316271173 0.001530428791153307 +0.004857945766465051 0.6440790075652998 0.4622701939946445 0.0019043259097490347 +0.00039932220216286834 0.01167120216008149 0.002301735545572606 0.000025500163433454737 +---- +6.3125 0.3351095920166464 0.9997654541414136 +---- +0.0001505420257582852 0.007797419604479416 0.00165609635622787 0.000010482593747194462 +0.0054405162558793995 0.623467816021446 0.21703703464731788 0.0008983354016434879 +0.0024769187763265805 0.6782422273081857 0.43992725500889496 0.002073547526668593 +0.0005264961242217606 0.017007655900348972 0.0032556768469588736 0.000031979601894704426 +---- +6.3750 0.38041069997262056 0.9997624319461235 +---- +0.00013780505411950566 0.005184057716921157 0.001728984608045013 0.000011683224327429797 +0.007532858106684221 0.6306667615958492 0.19159342806945745 0.0005356041783036304 +0.0047499840533581075 0.7132850771189538 0.419176203193873 0.0023739836990372565 +0.0006107389089520932 0.01824341741778214 0.004130916462905672 0.000038496591429863416 +---- +6.4375 0.4159114900514497 0.9997604547426052 +---- +0.0001006613891085739 0.002288949279739023 0.001647265393656827 0.000008500971902090098 +0.009189713445587683 0.6400016459880228 0.1715931340632008 0.0005173102737163156 +0.010728288335868785 0.7384129075373348 0.4031463397818133 0.00265900045076593 +0.0004352719140213438 0.014754052161767043 0.004492897091530697 0.000024061921964642938 +---- +6.5000 0.44134796716747143 0.9997583211104071 +---- +0.00011706981607798222 0.0014143307171585098 0.0015039628005273354 0.000013632645533995174 +0.009065026536314223 0.6464300153458936 0.15970871929603114 0.0008304823330652034 +0.017028308476312856 0.7585622743205747 0.3897951915373418 0.002680663634673164 +0.0003005299967999344 0.008430411958339561 0.0041048409686212615 0.000014539616734557139 +---- +6.5625 0.45996149361789457 0.999755142827478 +---- +0.00020565912930154648 0.0030683759592677515 0.001577865931555874 0.00002372782505067172 +0.007790243179062775 0.6401502983986244 0.15400854735698272 0.0013684157774059439 +0.020209397067361155 0.7851813452036375 0.3776499100015186 0.0023071505544817197 +0.0004530904290609676 0.0029030842515784644 0.0030716590857940837 0.000031229849315808656 +---- +6.6250 0.4708019256640666 0.9997527544905288 +---- +0.0002384750377325726 0.005708264175648697 0.001954686865750793 0.00002733960707810782 +0.006880285978606006 0.626538688471566 0.15176747981713562 0.0018778433521163844 +0.01915396552735975 0.8100817561964686 0.36989148188850707 0.0017150972200616083 +0.0005799024091077136 0.0016205878675769037 0.0019260385701621579 0.000038107015121491915 +---- +6.6875 0.4696390078344073 0.9997503446046462 +---- +0.00017006398084193445 0.007059940290457161 0.0022482490688823047 0.00002649238716071202 +0.007090143241403193 0.6165866866820876 0.15578614834391052 0.0020214768700838053 +0.014816573626581462 0.8182465907482067 0.3675685294187127 0.0012731798684547913 +0.00046461109225769397 0.005204398172571533 0.0014115754635035261 0.0000253407448842326 +---- +6.7500 0.4575007224132645 0.9997475260194604 +---- +0.00011973103337059694 0.005978435993549969 0.0020159440303017754 0.000022819899362549514 +0.007972313901181667 0.6075768875068095 0.1697350990604616 0.0016575575039224856 +0.009043163876706272 0.8155712114999027 0.36574015651741015 0.0012774750644606939 +0.0004095773555260405 0.010829401246217986 0.0020171209408681176 0.00003310456994803643 +---- +6.8125 0.43940913141662824 0.999745154277351 +---- +0.00013100226407902925 0.0033627373707066713 0.0014131122448841624 0.000012670189881721941 +0.00866582162354361 0.5922665822615711 0.1904718022678521 0.0010313865777548145 +0.004486411485945058 0.8151928896556322 0.36232772158972903 0.0017695007037095776 +0.0005389356946810074 0.014764751060469528 0.003512962984684128 0.00005171202487607247 +---- +6.8750 0.4143613647197355 0.999742219345757 +---- +0.00012921274452322069 0.0012646629783538605 0.001182519090340904 0.000006288883736205099 +0.008620846253667493 0.5738769186394453 0.21338536827529814 0.0006324330969136382 +0.003973996119832695 0.8108356254759291 0.3629722506522232 0.0024633510631109725 +0.0005307724160219334 0.015129330091961879 0.004961779643145539 0.00003464457549590863 +---- +6.9375 0.37738429435448284 0.9997408254825632 +---- +0.00011861912571134331 0.001064136582368882 0.0019548253056226586 0.000013351159879960431 +0.007771082571859787 0.5567970293142954 0.2399051493348965 0.0008459147795494458 +0.008169679038364821 0.7909101929766945 0.3715776957931783 0.0028967003264153694 +0.00035355689943627686 0.01219999784575127 0.005413452415548277 0.000008616530426575594 +---- +7.0000 0.33113901466911716 0.9997388000224898 +---- +0.00014765659844024302 0.002475905473630375 0.0035649734653426636 0.000025022899267629253 +0.0066820320417564204 0.5365690129975554 0.2715591002935383 0.0016574841077697962 +0.014416482163802135 0.7628053305769097 0.3844963715312163 0.0028308978150197337 +0.00037069294572704333 0.007671901871295844 0.004704326877613134 0.00002280834111529261 +---- +7.0625 0.2829605459086571 0.9997360466242529 +---- +0.00016914837305878 0.004043300099031879 0.004972727725228316 0.000033189963707270245 +0.006185141306609133 0.5101529103790399 0.3048689975005825 0.002606700823544765 +0.018738681218065885 0.7391006105229054 0.3984312327322625 0.002470228356897103 +0.000580197189616644 0.003990556820329104 0.0036122500377667793 0.00004412695135355206 +---- +7.1250 0.23246404780947466 0.9997340336501839 +---- +0.0001412414508363055 0.004410185887392025 0.004993033822295491 0.00003980835766100894 +0.006593839179378881 0.4833121596545642 0.33901616494861886 0.0030936443048759548 +0.01861706960854776 0.715814557305712 0.41497112449730633 0.002196240939278125 +0.0006230802408726772 0.0029519144821706774 0.0031866518682646333 0.00003928345222484432 +---- +7.1875 0.17560389514506855 0.9997315805322152 +---- +0.0001111214535775207 0.0033513835021873072 0.0034671685731871168 0.00003782952717391587 +0.0076129093680526935 0.46163769245585656 0.37776579942969357 0.002865837965044615 +0.014194495251845504 0.6838117519919229 0.4340301006410266 0.0022263175038510935 +0.0004918230457182866 0.004392718075907543 0.003955479494127836 0.00004757172082652027 +---- +7.2500 0.11652420317261697 0.9997303168760827 +---- +0.00011185988126749103 0.0018202829458905249 0.0017275605011300944 0.00002143830302551181 +0.008668680387752313 0.4441128168250801 0.4191507581342883 0.0022378663008699984 +0.008137966406970764 0.6466162559113624 0.45212031220796906 0.002570217779655892 +0.0004430079593051945 0.0066133328549882915 0.005576333497547122 0.00007131010289713059 +---- +7.3125 0.0615342499992243 0.9997292766491935 +---- +0.0001368148892280676 0.0010116617522150895 0.0015291404260207914 0.000010470962017435714 +0.009148327970684845 0.4272816975505566 0.45566791025503867 0.0018073057490288135 +0.004266935742493863 0.6112058598131089 0.46934772685578235 0.003039460067669369 +0.0004439348259246643 0.008039017455012233 0.007010011108391941 0.000053724576826398945 +---- +7.3750 0.008475805073664466 0.9997274730464628 +---- +0.00018356469038427153 0.0013633632620053656 0.00336082126829031 0.000020220399683556426 +0.00862790239151598 0.4102008855066534 0.48620405359385127 0.0019669223371868547 +0.004948050462392853 0.5747539693799824 0.48941370393006967 0.0032984194309663207 +0.0003765797512319905 0.00802148962949809 0.0072479126605590645 0.00001214130572840284 +---- +7.4375 -0.044866423463090395 0.9997250046226721 +---- +0.0002069311220986042 0.0023431745026720476 0.005934324173369141 0.000034305998963357453 +0.007276753390853732 0.39564433446970554 0.514906445055538 0.0026476689746797568 +0.009193204913466011 0.5334667019373561 0.5120102189842497 0.0031506249248198334 +0.00039446442295959245 0.006608011777797777 0.0061660678640022715 0.000016767487468359055 +---- +7.5000 -0.09194129972208914 0.9997233449338051 +---- +0.00015725444459181685 0.0029818764227088697 0.007345239648639378 0.000037895776816292595 +0.006006589517110774 0.386498996199894 0.5406046095272307 0.003418406349975047 +0.013578358230125567 0.4937531117892137 0.5329792191440725 0.002803100234021006 +0.0005681279793050337 0.0045143856949611885 0.004707116059158542 0.00004571298217572751 +---- +7.5625 -0.12854947808472034 0.9997214783394145 +---- +0.0000945796993575485 0.0026878342467186326 0.006665343463747035 0.000038940932685288854 +0.0057575096271623456 0.38027663477721724 0.5598719971814126 0.0038241788091669497 +0.014964893312474865 0.46416062929031054 0.5513780858441757 0.0026629653466526118 +0.0006624080867532263 0.002846032875285307 0.004065592329626893 0.000042374177253244124 +---- +7.6250 -0.16009009523690595 0.9997201115882478 +---- +0.00009207010277879289 0.0017833999066504734 0.0046163616689295145 0.00003851821734522347 +0.006693477053951264 0.37265459410126944 0.5746981561642936 0.003714260694992512 +0.01252149573233792 0.4433036473263511 0.5692743391246259 0.002929183776774016 +0.0005733145694607467 0.002287905970294235 0.004778670084098381 0.00004060550584681274 +---- +7.6875 -0.18847222241674383 0.9997181451078136 +---- +0.00010718173113390058 0.0011824675682365567 0.0028885397505385374 0.000029481662195810912 +0.008096504241554248 0.3667727106896747 0.5860833521599277 0.0033038665042572414 +0.008040182606638786 0.42405933721868894 0.5860615435691959 0.0034976439702795563 +0.00046544452362709055 0.0028039490037019394 0.006537054794732252 0.00007074000561711928 +---- +7.7500 -0.20642841625284195 0.9997170835537567 +---- +0.00011007368728843222 0.0014722656403156243 0.0027241028150333454 0.000020908421575259233 +0.008844546261179498 0.3689946815729854 0.588788722340239 0.002932160488323937 +0.004609752820810031 0.4051322593812361 0.599376990019741 0.0040602456984957505 +0.00039493243528414425 0.0040130719480586784 0.008452050203518847 0.00007323626591464168 +---- +7.8125 -0.21169572456836938 0.9997153231330895 +---- +0.00015293357441221314 0.002464096501168357 0.003912862044022135 0.000024364500917755638 +0.008339617900117589 0.3766401768631021 0.5812848980080352 0.002772374060371804 +0.004380091953356892 0.39063077247042893 0.6099586556501838 0.004201562360190322 +0.00031893118044921075 0.0053776549885951345 0.009511858144102358 0.00002914980054573068 +---- +7.8750 -0.21133707576391886 0.9997129565355488 +---- +0.00020372133649106434 0.0035045543789637913 0.005187702720113252 0.00003138394150280458 +0.0070125865607950175 0.38281451054406956 0.570139557523769 0.0027695358539369837 +0.007169161560221049 0.3814215257084303 0.6203486323525036 0.0037022359338561286 +0.00035879797320928855 0.006178066173900873 0.009143333808649345 0.000014693629587662565 +---- +7.9375 -0.20733961143996438 0.999710794798758 +---- +0.00016374110097171834 0.0039041552604728975 0.005533330119768756 0.000030416951200527332 +0.005868989074212188 0.3892611037993162 0.5583339795073416 0.0028048181272090035 +0.010979817967888116 0.3759923966292671 0.6300727953069383 0.0028654704681174434 +0.000572637623526045 0.005917547104381492 0.00765338189012907 0.00004541906925968347 +---- +8.0000 -0.19305593237615765 0.9997078508111785 +---- +0.00007854633950434878 0.0033377955168891285 0.004964559764582388 0.000026409852147221412 +0.005646837212322469 0.4007347270243235 0.5406125151758011 0.002827995062521068 +0.01346906164632451 0.37816025204877046 0.6362120436990134 0.0023345155938711117 +0.0007320718139255635 0.004784776021782312 0.006024983709675985 0.000052909518545309486 +----