CL-USER> (load "seheultresults1.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.62 1.00 1.00 T RID1 = 1.54662TO1. +++++++++++++++++ 29.62 1.00 1.00 RIDEV2 = 2TO3 + 2.23 0.93 1.00 RIDEV1 = 2TO3 + 2.23 0.93 1.00 RIDEV2 = 1TO2 + 1.90 0.91 1.00 RIDEV1 = 1TO2 + 1.90 0.91 1.00 RIDEV2 = 3TO4 1.30 0.85 1.00 RIDEV1 = 3TO4 1.30 0.85 1.00 RID2 = 1.46833TO1. 1.15 0.83 1.00 RIDEV2 = 2TO2 0.79 0.77 1.00 RIDEV1 = 2TO2 0.79 0.77 1.00 RID1 = 1.52018TO1. 0.52 0.72 1.00 RID2 = 1.51621TO1. 0.50 0.71 1.00 RID1 = 1.46833TO1. 0.49 0.71 1.00 RID2 = 1.51694TO1. 0.40 0.69 1.00 RIDEV2 = 3TO3 0.40 0.69 1.00 RIDEV1 = 3TO3 0.40 0.69 1.00 RID2 = 1.52018TO1. 0.19 0.65 1.00 RID1 = 1.51621TO1. 0.14 0.63 1.00 RID1 = 1.51694TO1. 0.06 0.61 1.00 RID2 = 1.51726TO1. 0.04 0.61 1.00 RID1 = 1.51924TO1. -0.03 0.59 1.00 RID1 = 1.51786TO1. - -0.13 0.57 1.00 RID1 = 1.51881TO1. - -0.19 0.55 1.00 RID1 = 1.51852TO1. - -0.20 0.55 1.00 RID1 = 1.51828TO1. - -0.24 0.54 1.00 RID2 = 1.51924TO1. - -0.29 0.53 1.00 RID1 = 1.51726TO1. - -0.33 0.52 1.00 RID2 = 1.51786TO1. - -0.34 0.52 1.00 RID2 = 1.51852TO1. - -0.43 0.49 1.00 RID2 = 1.51828TO1. - -0.45 0.49 1.00 RID2 = 1.51881TO1. - -0.45 0.49 1.00 RIDEV2 = 4TO4 - -0.84 0.39 1.00 RIDEV1 = 4TO4 - -0.84 0.39 1.00 RIDEV2 = 15TO15 ------------------ -30.0 .000 1.00 RIDEV1 = 15TO15 ------------------ -30.0 .000 1.00 RIDEV2 = 5TO15 ----------------------- -40.2 .000 .000 RIDEV1 = 5TO15 ----------------------- -40.2 .000 .000 RIDEV2 = 4TO5 ----------------------- -40.2 .000 .000 RIDEV1 = 4TO5 ----------------------- -40.2 .000 .000 2 1 ________________________________________________________________________________ C = 0.0TO1.4203018E-27 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 15TO15 +++++++++++++++++++++ 30.72 1.00 1.00 T RIDEV1 = 15TO15 +++++++++++++++++++++ 30.72 1.00 1.00 RIDEV2 = 4TO5 ++ 2.65 0.78 1.00 RIDEV1 = 4TO5 ++ 2.65 0.78 1.00 RIDEV2 = 5TO15 + 2.00 0.65 1.00 RIDEV1 = 5TO15 + 2.00 0.65 1.00 RID2 = 1.52018TO1. 0.67 0.33 1.00 RIDEV2 = 4TO4 0.62 0.32 1.00 RIDEV1 = 4TO4 0.62 0.32 1.00 RID2 = 1.51924TO1. 0.59 0.31 1.00 RID1 = 1.52018TO1. 0.32 0.26 1.00 RID1 = 1.51726TO1. 0.31 0.25 1.00 RID2 = 1.51881TO1. 0.27 0.25 1.00 RID1 = 1.51924TO1. 0.26 0.25 1.00 RID1 = 1.46833TO1. 0.18 0.23 1.00 RID2 = 1.51786TO1. 0.16 0.23 1.00 RID1 = 1.51621TO1. 0.06 0.21 1.00 RID2 = 1.51828TO1. -0.03 0.19 1.00 RID2 = 1.51852TO1. -0.04 0.19 1.00 RID1 = 1.51881TO1. -0.09 0.19 1.00 RID1 = 1.51786TO1. -0.19 0.17 1.00 RID2 = 1.51726TO1. -0.20 0.17 1.00 RID1 = 1.51694TO1. -0.22 0.17 1.00 RID1 = 1.51828TO1. -0.38 0.15 1.00 RID1 = 1.51852TO1. -0.48 0.13 1.00 RID2 = 1.51621TO1. -0.55 0.13 1.00 RID2 = 1.46833TO1. -0.66 0.11 1.00 RID2 = 1.51694TO1. - -0.95 0.09 1.00 RIDEV2 = 3TO3 - -1.45 0.06 1.00 RIDEV1 = 3TO3 - -1.45 0.06 1.00 RIDEV2 = 2TO2 - -1.84 0.04 1.00 RIDEV1 = 2TO2 - -1.84 0.04 1.00 RIDEV2 = 3TO4 - -1.88 0.04 1.00 RIDEV1 = 3TO4 - -1.88 0.04 1.00 RIDEV2 = 1TO2 -- -2.64 0.02 1.00 RIDEV1 = 1TO2 -- -2.64 0.02 1.00 RIDEV2 = 2TO3 -- -2.85 0.01 1.00 RIDEV1 = 2TO3 -- -2.85 0.01 1.00 RID2 = 1.54662TO1. ------------------- -29.3 .000 1.00 RID1 = 1.54662TO1. ------------------- -29.3 .000 .000 2 1 ________________________________________________________________________________ C = 1.4203018E-27TO10 attr range lor P(C) P(C)+ used ____ _____ ____ ____ _____ ____ RIDEV2 = 5TO15 ++ 0.78 0.35 0.35 T RIDEV1 = 5TO15 ++ 0.78 0.35 0.54 T RID2 = 1.51828TO1. + 0.61 0.32 0.69 T RID1 = 1.51852TO1. + 0.60 0.31 0.80 T RID1 = 1.51828TO1. + 0.60 0.31 0.88 RID2 = 1.51852TO1. + 0.60 0.31 0.93 RIDEV2 = 4TO4 + 0.49 0.29 0.96 RIDEV1 = 4TO4 + 0.49 0.29 0.97 RID2 = 1.51881TO1. + 0.36 0.26 0.98 RID1 = 1.51881TO1. + 0.35 0.26 0.99 RID1 = 1.51786TO1. + 0.34 0.26 0.99 RID2 = 1.51786TO1. + 0.33 0.26 0.99 RIDEV2 = 3TO3 + 0.31 0.25 0.99 RIDEV1 = 3TO3 + 0.31 0.25 1.00 RID1 = 1.51726TO1. + 0.16 0.23 1.00 RID2 = 1.51726TO1. + 0.13 0.22 1.00 RID2 = 1.51694TO1. + 0.13 0.22 1.00 RIDEV2 = 4TO5 + 0.12 0.22 1.00 RIDEV1 = 4TO5 + 0.12 0.22 1.00 RID1 = 1.51694TO1. + 0.12 0.22 1.00 RIDEV2 = 2TO2 -0.04 0.19 1.00 RIDEV1 = 2TO2 -0.04 0.19 1.00 RID2 = 1.51621TO1. -0.25 0.16 1.00 RID1 = 1.51924TO1. -0.26 0.16 1.00 RID2 = 1.51924TO1. -0.27 0.16 1.00 RID1 = 1.51621TO1. -0.28 0.16 0.99 RIDEV2 = 3TO4 -0.63 0.12 0.99 RIDEV1 = 3TO4 -0.63 0.12 0.98 RIDEV2 = 1TO2 - -1.15 0.07 0.94 RIDEV1 = 1TO2 - -1.15 0.07 0.83 RID2 = 1.46833TO1. - -1.39 0.06 0.56 RID1 = 1.46833TO1. - -1.40 0.06 0.24 RIDEV2 = 2TO3 -- -1.51 0.05 0.06 RIDEV1 = 2TO3 -- -1.51 0.05 0.01 RID1 = 1.52018TO1. -- -2.20 0.03 .002 RID2 = 1.52018TO1. -- -2.22 0.03 .000 RIDEV2 = 15TO15 -------------------------------------- -29.3 .000 .000 RIDEV1 = 15TO15 -------------------------------------- -29.3 .000 .000 RID2 = 1.54662TO1. -------------------------------------- -29.3 .000 .000 RID1 = 1.54662TO1. -------------------------------------- -29.3 .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