CL-USER> (load "seheultresults2.lisp") STYLE-WARNING: redefining SEHEULTBINNED in DEFUN T CL-USER> (nomo :source #'seheultbinned) 2 1 ________________________________________________________________________________ C = 0.0TO0.0 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RID2 = 1.54662TO1. ++++++++++++++++++++ 29.47 1.00 1.00 T RID1 = 1.54662TO1. ++++++++++++++++++++ 29.47 1.00 1.00 RIDEV2 = 2TO3 + 1.79 0.93 1.00 RIDEV1 = 2TO3 + 1.79 0.93 1.00 RIDEV2 = 1TO2 + 1.46 0.91 1.00 RIDEV1 = 1TO2 + 1.46 0.91 1.00 RID2 = 1.46833TO1. + 1.23 0.89 1.00 RID1 = 1.52018TO1. + 1.09 0.87 1.00 RID1 = 1.46833TO1. 0.93 0.86 1.00 RIDEV2 = 3TO4 0.85 0.85 1.00 RIDEV1 = 3TO4 0.85 0.85 1.00 RID2 = 1.52018TO1. 0.72 0.83 1.00 RIDEV2 = 2TO2 0.35 0.77 1.00 RIDEV1 = 2TO2 0.35 0.77 1.00 RID2 = 1.51621TO1. 0.35 0.77 1.00 RID1 = 1.51621TO1. 0.16 0.73 1.00 RID1 = 1.51924TO1. 0.14 0.73 1.00 RIDEV2 = 4TO5 0.12 0.73 1.00 RIDEV1 = 4TO5 0.12 0.73 1.00 RID2 = 1.51694TO1. 0.12 0.72 1.00 RID1 = 1.51694TO1. 0.01 0.70 1.00 RIDEV2 = 3TO3 -0.04 0.69 1.00 RIDEV1 = 3TO3 -0.04 0.69 1.00 RID2 = 1.51726TO1. -0.09 0.68 1.00 RID2 = 1.51924TO1. -0.12 0.67 1.00 RID2 = 1.51786TO1. -0.19 0.66 1.00 RIDEV2 = 4TO4 -0.25 0.65 1.00 RIDEV1 = 4TO4 -0.25 0.65 1.00 RID1 = 1.51786TO1. -0.28 0.64 1.00 RID1 = 1.51881TO1. -0.29 0.64 1.00 RID1 = 1.51726TO1. -0.32 0.63 1.00 RID2 = 1.51828TO1. -0.42 0.61 1.00 RID1 = 1.51852TO1. - -0.43 0.60 1.00 RID1 = 1.51828TO1. - -0.44 0.60 1.00 RID2 = 1.51852TO1. - -0.50 0.59 1.00 RID2 = 1.51881TO1. - -0.50 0.59 1.00 RIDEV2 = 5TO15 --- -4.62 0.02 1.00 RIDEV1 = 5TO15 --- -4.62 0.02 1.00 RIDEV2 = 15TO15 -------------------- -30.3 .000 1.00 RIDEV1 = 15TO15 -------------------- -30.3 .000 0.42 2 1 ________________________________________________________________________________ C = 0.0TO1.424545E-27 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 15TO15 +++++++++++++++++++++ 31.42 1.00 1.00 T RIDEV1 = 15TO15 +++++++++++++++++++++ 31.42 1.00 1.00 RIDEV2 = 5TO15 ++ 2.71 0.63 1.00 RIDEV1 = 5TO15 ++ 2.71 0.63 1.00 RID2 = 1.51924TO1. 0.58 0.17 1.00 RID2 = 1.51881TO1. 0.46 0.15 1.00 RID2 = 1.52018TO1. 0.43 0.15 1.00 RID1 = 1.51726TO1. 0.41 0.14 1.00 RID1 = 1.51924TO1. 0.11 0.11 1.00 RID1 = 1.51621TO1. 0.09 0.11 1.00 RID1 = 1.51881TO1. 0.04 0.10 1.00 RID1 = 1.51786TO1. 0.03 0.10 1.00 RID2 = 1.51852TO1. 0.002 0.10 1.00 RID2 = 1.51726TO1. -0.01 0.10 1.00 RID1 = 1.52018TO1. -0.01 0.10 1.00 RID1 = 1.51828TO1. -0.16 0.09 1.00 RID1 = 1.46833TO1. -0.16 0.09 1.00 RID2 = 1.51786TO1. -0.20 0.08 1.00 RID1 = 1.51852TO1. -0.22 0.08 1.00 RID2 = 1.51828TO1. -0.27 0.08 1.00 RID1 = 1.51694TO1. -0.27 0.08 1.00 RID2 = 1.51621TO1. -0.39 0.07 1.00 RIDEV2 = 4TO4 - -0.48 0.06 1.00 RIDEV1 = 4TO4 - -0.48 0.06 1.00 RIDEV2 = 3TO3 - -0.64 0.06 1.00 RIDEV1 = 3TO3 - -0.64 0.06 1.00 RID2 = 1.51694TO1. - -0.66 0.05 1.00 RIDEV2 = 4TO5 - -0.67 0.05 1.00 RIDEV1 = 4TO5 - -0.67 0.05 1.00 RID2 = 1.46833TO1. - -0.69 0.05 1.00 RIDEV2 = 2TO2 - -1.03 0.04 1.00 RIDEV1 = 2TO2 - -1.03 0.04 1.00 RIDEV2 = 3TO4 - -1.07 0.04 1.00 RIDEV1 = 3TO4 - -1.07 0.04 1.00 RIDEV2 = 1TO2 - -1.83 0.02 1.00 RIDEV1 = 1TO2 - -1.83 0.02 1.00 RIDEV2 = 2TO3 -- -2.04 0.01 1.00 RIDEV1 = 2TO3 -- -2.04 0.01 1.00 RID2 = 1.54662TO1. ------------------- -29.2 .000 1.00 RID1 = 1.54662TO1. ------------------- -29.2 .000 .000 2 1 ________________________________________________________________________________ C = 1.424545E-27TO2.7827982E-5 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 5TO15 + 0.67 0.18 0.18 T RIDEV1 = 5TO15 + 0.67 0.18 0.30 T RID2 = 1.51852TO1. 0.48 0.15 0.40 T RID1 = 1.51852TO1. 0.47 0.15 0.52 T RID1 = 1.51828TO1. 0.42 0.15 0.62 RIDEV2 = 4TO4 0.42 0.14 0.72 RIDEV1 = 4TO4 0.42 0.14 0.79 RID2 = 1.51828TO1. 0.41 0.14 0.85 RID2 = 1.51881TO1. 0.35 0.14 0.89 RID1 = 1.51881TO1. 0.34 0.14 0.92 RID2 = 1.51786TO1. 0.33 0.13 0.94 RID1 = 1.51786TO1. 0.32 0.13 0.96 RIDEV2 = 3TO3 0.23 0.12 0.97 RIDEV1 = 3TO3 0.23 0.12 0.97 RID1 = 1.51726TO1. 0.23 0.12 0.98 RID2 = 1.51726TO1. 0.20 0.12 0.98 RIDEV2 = 4TO5 0.18 0.12 0.98 RIDEV1 = 4TO5 0.18 0.12 0.99 RID2 = 1.51694TO1. -0.05 0.10 0.99 RID1 = 1.51694TO1. -0.06 0.09 0.99 RIDEV2 = 2TO2 - -0.10 0.09 0.98 RIDEV1 = 2TO2 - -0.10 0.09 0.98 RID2 = 1.51621TO1. - -0.13 0.09 0.98 RID1 = 1.51621TO1. - -0.15 0.09 0.98 RID1 = 1.51924TO1. - -0.18 0.09 0.97 RID2 = 1.51924TO1. - -0.18 0.08 0.97 RIDEV2 = 3TO4 - -0.48 0.06 0.95 RIDEV1 = 3TO4 - -0.48 0.06 0.92 RIDEV2 = 1TO2 -- -1.02 0.04 0.81 RIDEV1 = 1TO2 -- -1.02 0.04 0.60 RID2 = 1.46833TO1. -- -1.25 0.03 0.30 RID1 = 1.46833TO1. -- -1.28 0.03 0.11 RIDEV2 = 2TO3 -- -1.35 0.03 0.03 RIDEV1 = 2TO3 -- -1.35 0.03 0.01 RID1 = 1.52018TO1. --- -1.91 0.02 .001 RID2 = 1.52018TO1. --- -1.94 0.02 .000 RIDEV2 = 15TO15 --------------------------------------- -29.2 .000 .000 RIDEV1 = 15TO15 --------------------------------------- -29.2 .000 .000 RID2 = 1.54662TO1. --------------------------------------- -29.2 .000 .000 RID1 = 1.54662TO1. --------------------------------------- -29.2 .000 .000 2 1 ________________________________________________________________________________ C = 10TO10 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 5TO15 +++ 2.30 .000 .000 T RIDEV1 = 5TO15 +++ 2.30 .000 .000 T RID2 = 1.51852TO1. ++ 2.30 .000 .004 T RID1 = 1.51881TO1. ++ 2.30 .000 0.04 T RIDEV2 = 15TO15 --------------------------- -29.1 .000 .000 RIDEV1 = 15TO15 --------------------------- -29.1 .000 .000 RID2 = 1.54662TO1. --------------------------- -29.1 .000 .000 RID1 = 1.54662TO1. --------------------------- -29.1 .000 .000 RID2 = 1.52018TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.52018TO1. ------------------------------------- -39.2 .000 .000 RIDEV2 = 4TO5 ------------------------------------- -39.2 .000 .000 RIDEV2 = 4TO4 ------------------------------------- -39.2 .000 .000 RIDEV2 = 3TO4 ------------------------------------- -39.2 .000 .000 RIDEV2 = 2TO3 ------------------------------------- -39.2 .000 .000 RIDEV2 = 1TO2 ------------------------------------- -39.2 .000 .000 RIDEV1 = 4TO5 ------------------------------------- -39.2 .000 .000 RIDEV1 = 4TO4 ------------------------------------- -39.2 .000 .000 RIDEV1 = 3TO4 ------------------------------------- -39.2 .000 .000 RIDEV1 = 2TO3 ------------------------------------- -39.2 .000 .000 RIDEV1 = 1TO2 ------------------------------------- -39.2 .000 .000 RID2 = 1.51924TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51881TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51828TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51786TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51726TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51694TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.51621TO1. ------------------------------------- -39.2 .000 .000 RID2 = 1.46833TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51924TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51852TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51828TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51786TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51726TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51694TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.51621TO1. ------------------------------------- -39.2 .000 .000 RID1 = 1.46833TO1. ------------------------------------- -39.2 .000 .000 RIDEV2 = 3TO3 ------------------------------------- -39.9 .000 .000 RIDEV2 = 2TO2 ------------------------------------- -39.9 .000 .000 RIDEV1 = 3TO3 ------------------------------------- -39.9 .000 .000 RIDEV1 = 2TO2 ------------------------------------- -39.9 .000 .000 2 1 ________________________________________________________________________________ C = 2.7827982E-5TO10 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 5TO15 + 0.64 0.17 0.17 T RIDEV1 = 5TO15 + 0.64 0.17 0.29 T RID2 = 1.51828TO1. 0.63 0.17 0.43 T RID1 = 1.51828TO1. 0.60 0.17 0.58 T RID1 = 1.51852TO1. 0.56 0.16 0.71 RID2 = 1.51852TO1. 0.54 0.16 0.81 RIDEV2 = 4TO4 0.42 0.14 0.86 RIDEV1 = 4TO4 0.42 0.14 0.91 RIDEV2 = 3TO3 0.30 0.13 0.93 RIDEV1 = 3TO3 0.30 0.13 0.95 RID2 = 1.51881TO1. 0.28 0.13 0.96 RID1 = 1.51786TO1. 0.27 0.13 0.97 RID1 = 1.51881TO1. 0.26 0.13 0.98 RID2 = 1.51694TO1. 0.25 0.13 0.98 RID2 = 1.51786TO1. 0.25 0.12 0.98 RID1 = 1.51694TO1. 0.25 0.12 0.99 RID1 = 1.51726TO1. 0.05 0.10 0.99 RIDEV2 = 4TO5 0.03 0.10 0.99 RIDEV1 = 4TO5 0.03 0.10 0.99 RIDEV2 = 2TO2 0.02 0.10 0.99 RIDEV1 = 2TO2 0.02 0.10 0.99 RID2 = 1.51726TO1. 0.01 0.10 0.99 RID1 = 1.51924TO1. - -0.29 0.08 0.99 RID2 = 1.51924TO1. - -0.31 0.08 0.98 RID2 = 1.51621TO1. - -0.34 0.07 0.97 RID1 = 1.51621TO1. - -0.37 0.07 0.96 RIDEV2 = 3TO4 - -0.68 0.05 0.93 RIDEV1 = 3TO4 - -0.68 0.05 0.87 RIDEV2 = 1TO2 -- -1.14 0.03 0.69 RIDEV1 = 1TO2 -- -1.14 0.03 0.41 RID1 = 1.46833TO1. -- -1.34 0.03 0.16 RID2 = 1.46833TO1. -- -1.35 0.03 0.05 RIDEV2 = 2TO3 -- -1.50 0.02 0.01 RIDEV1 = 2TO3 -- -1.50 0.02 .002 RID2 = 1.52018TO1. --- -2.32 0.01 .000 RID1 = 1.52018TO1. --- -2.32 0.01 .000 RIDEV2 = 15TO15 --------------------------------------- -29.2 .000 .000 RIDEV1 = 15TO15 --------------------------------------- -29.2 .000 .000 RID2 = 1.54662TO1. --------------------------------------- -29.2 .000 .000 RID1 = 1.54662TO1. --------------------------------------- -29.2 .000 .000