;;; Lisp code for DT DT2

(defun APPROX-DT2-OF-SECURITY (objet)
  (MULTI-OR (CASE (IF (> (PU OBJET) 1087.105) 'YES 'NO)
              (YES
               (CASE (IF (< (QU OBJET) 115.083) 'YES 'NO)
                 (YES
                  (CASE (IF (< (VINF OBJET) 1.10705) 'YES 'NO)
                    (YES
                     (CASE (IF (> (PU OBJET) 1098.89) 'YES 'NO)
                       (YES
                        (CASE (IF (< (VL OBJET) 1.0918801) 'YES 'NO)
                          (YES (VALUES 'INSECURE 189/191))
                          (NO (VALUES 'INSECURE 40/47))
                          (T (VALUES 'INSECURE 38/39))))
                       (NO
                        (CASE (IF (< (VL OBJET) 1.0485649) 'YES 'NO)
                          (YES (VALUES 'INSECURE 1))
                          (NO (VALUES 'SECURE 4/7))
                          (T (VALUES 'INSECURE 23/31))))
                       (T (VALUES 'INSECURE 441/460))))
                    (NO
                     (CASE (IF (> (PU OBJET) 1184.5449) 'YES 'NO)
                       (YES (VALUES 'INSECURE 11/13))
                       (NO (VALUES 'SECURE 27/31))
                       (T (VALUES 'SECURE 31/57))))
                    (T (VALUES 'INSECURE 467/517))))
                 (NO
                  (CASE (IF (< (VINF OBJET) 1.0648) 'YES 'NO)
                    (YES
                     (CASE (IF (> (PU OBJET) 1161.935) 'YES 'NO)
                       (YES
                        (CASE (IF (> (XINF OBJET) 57.3824) 'YES 'NO)
                          (YES (VALUES 'INSECURE 151/162))
                          (NO
                           (CASE (IF (< (QU OBJET) 632.8705) 'YES 'NO)
                             (YES (VALUES 'INSECURE 5/6))
                             (NO (VALUES 'SECURE 21/26))
                             (T (VALUES 'INSECURE 45/74))))
                          (T (VALUES 'INSECURE 49/59))))
                       (NO
                        (CASE (IF (< (VL OBJET) 0.992) 'YES 'NO)
                          (YES (VALUES 'INSECURE 20/23))
                          (NO
                           (CASE (IF (> (XINF OBJET) 59.911) 'YES 'NO)
                             (YES
                              (CASE (IF
                                     (< (QU OBJET) 773.1605)
                                     'YES
                                     'NO)
                                (YES (VALUES 'INSECURE 22/35))
                                (NO (VALUES 'SECURE 1))
                                (T (VALUES 'SECURE 23/45))))
                             (NO (VALUES 'SECURE 1))
                             (T (VALUES 'SECURE 37/48))))
                          (T (VALUES 'SECURE 11/17))))
                       (T (VALUES 'INSECURE 238/355))))
                    (NO
                     (CASE (IF (> (PU OBJET) 1239.965) 'YES 'NO)
                       (YES
                        (CASE (IF (< (QU OBJET) 770.01904) 'YES 'NO)
                          (YES (VALUES 'INSECURE 25/34))
                          (NO (VALUES 'SECURE 1))
                          (T (VALUES 'INSECURE 25/43))))
                       (NO
                        (CASE (IF (> (XINF OBJET) 66.10585) 'YES 'NO)
                          (YES
                           (CASE (IF (> (PU OBJET) 1171.285) 'YES 'NO)
                             (YES (VALUES 'INSECURE 2/3))
                             (NO (VALUES 'SECURE 1))
                             (T (VALUES 'SECURE 11/15))))
                          (NO (VALUES 'SECURE 127/129))
                          (T (VALUES 'SECURE 149/159))))
                       (T (VALUES 'SECURE 167/202))))
                    (T (VALUES 'SECURE 284/557))))
                 (T (VALUES 'INSECURE 370/537))))
              (NO
               (CASE (IF (< (QU OBJET) -267.385) 'YES 'NO)
                 (YES
                  (CASE (IF (> (PU OBJET) 958.864) 'YES 'NO)
                    (YES
                     (CASE (IF (< (VINF OBJET) 1.03187) 'YES 'NO)
                       (YES (VALUES 'INSECURE 1))
                       (NO
                        (CASE (IF (> (PU OBJET) 1010.95) 'YES 'NO)
                          (YES
                           (CASE (IF (< (VL OBJET) 1.10949) 'YES 'NO)
                             (YES (VALUES 'INSECURE 44/51))
                             (NO (VALUES 'SECURE 14/15))
                             (T (VALUES 'INSECURE 15/22))))
                          (NO (VALUES 'SECURE 35/41))
                          (T (VALUES 'SECURE 56/107))))
                       (T (VALUES 'INSECURE 27/41))))
                    (NO
                     (CASE (IF (< (VINF OBJET) 0.99035) 'YES 'NO)
                       (YES
                        (CASE (IF (> (PU OBJET) 804.3905) 'YES 'NO)
                          (YES (VALUES 'INSECURE 12/13))
                          (NO (VALUES 'SECURE 5/6))
                          (T (VALUES 'INSECURE 13/19))))
                       (NO (VALUES 'SECURE 26/27))
                       (T (VALUES 'SECURE 68/77))))
                    (T (VALUES 'SECURE 41/59))))
                 (NO
                  (CASE (IF (< (VINF OBJET) 0.94735) 'YES 'NO)
                    (YES
                     (CASE (IF (> (PU OBJET) 997.484) 'YES 'NO)
                       (YES (VALUES 'INSECURE 3/4))
                       (NO (VALUES 'SECURE 10/11))
                       (T (VALUES 'SECURE 23/34))))
                    (NO
                     (CASE (IF (> (PU OBJET) 966.74304) 'YES 'NO)
                       (YES
                        (CASE (IF (< (VL OBJET) 0.98445) 'YES 'NO)
                          (YES (VALUES 'SECURE 16/31))
                          (NO
                           (CASE (IF (< (QU OBJET) 7.9132605) 'YES 'NO)
                             (YES
                              (CASE (IF
                                     (< (VINF OBJET) 1.028195)
                                     'YES
                                     'NO)
                                (YES
                                 (CASE
                                  (IF
                                   (> (XINF OBJET) 62.35355)
                                   'YES
                                   'NO)
                                  (YES (VALUES 'INSECURE 1))
                                  (NO (VALUES 'SECURE 11/15))
                                  (T (VALUES 'INSECURE 16/27))))
                                (NO (VALUES 'SECURE 14/15))
                                (T (VALUES 'SECURE 67/87))))
                             (NO (VALUES 'SECURE 337/341))
                             (T (VALUES 'SECURE 101/107))))
                          (T (VALUES 'SECURE 140/153))))
                       (NO (VALUES 'SECURE 958/961))
                       (T (VALUES 'SECURE 689/710))))
                    (T (VALUES 'SECURE 1401/1454))))
                 (T (VALUES 'SECURE 1729/1926))))
              (T (VALUES 'SECURE 2063/3000)))
            'INSECURE)
  )

;;; value specificcations

(setf (get 'APPROX-DT2-OF-SECURITY 'valeurs) '(MEMBER SECURE INSECURE)
      (get 'APPROX-DT2-OF-SECURITY 'type) 'ORDONNE
      )