perm filename VVL6[1,LMM] blob
sn#053199 filedate 1973-07-07 generic text, type T, neo UTF8
(PROGN (LISPXPRIN1 (QUOTE "FILE CREATED ")
T)
(LISPXPRIN1 (QUOTE " 5-APR-73 19:09:38")
T)
(LISPXTERPRI T))
(LISPXPRINT (QUOTE VVL6VARS)
T)
(RPAQQ VVL6VARS
((RECORD FORMAT)
(FNS VVLFORMAT GETVARS VVLDRIVER WITHIN+ ISTHERE? CHECK)
(VARS STRUC09039 S:09039 STRUC09493 S:09493 STRUC09320
S:09320 F0 F1 STRUC09598 STRUC09041 STRUC09494 S:09598
S:09041 S:09494 STRUC09490 S:09490 F70 F71)
(ADVISE BREAKBOND1)
(ADVISE BONDS)))
(DEFLIST(QUOTE(
(FORMAT (AFF ATOMN DEG SIZ))
))(QUOTE RECORD))
(RECORD (QUOTE FORMAT))
(DEFINEQ
(VVLFORMAT
[LAMBDA (RAD)
(PROG (VAL)
(SETQ VAL (COND
((CDDR RAD)
(MAPCAR (CDDR RAD)
(FUNCTION VVLFORMAT)))
(T NIL)))
(RETURN
(CONS [FORMAT AFF =(CAR RAD)
ATOMN =(CDR (SASSOC (CADR RAD)
'((C . 1)
(N . 3)
(O . 2))
0))
DEG =(LENGTH VAL)
SIZ =(PLUS 1
(FOR NEW Y
IN VAL PLUS
(SIZ (CAR Y]
VAL])
(GETVARS
[LAMBDA (VVLF)
(APPEND
(CAR VVLF)
(APPEND (FOR NEW Z IN (CDR VVLF)
APPEND
(CAR Z))
(FOR NEW I :=[1 (TIMES 4 (DIFFERENCE 3
(LENGTH
(CDR VVLF]
XLIST 0])
(VVLDRIVER
[LAMBDA (STRUC SPECTRUM)
(PROG (B X Y FRAGS)
(SETQ B (BONDS STRUC))
(FOR NEW BOND IN B
DO (SETQ FRAGS (BREAKBOND BOND (COPY STRUC)))
(SETQ X (ISTHERE? (WEIGHT (CAR FRAGS))
SPECTRUM))
[MAPRINT (CONS BOND (QUOTE (IS UNDER CONSIDERATION]
[SETQ Y (APPEND [GETVARS (VVLFORMAT
(MAKERAD (CAR FRAGS]
(GETVARS (VVLFORMAT
(MAKERAD (CDR FRAGS]
(COND
[X (SETQ F1 (CONS Y F1))
(PRINT (LIST Y (QUOTE (ADDED TO F1]
(T (SETQ F0 (CONS Y F0))
(PRINT (LIST Y (QUOTE (ADDED TO F0])
(WITHIN+
[LAMBDA (X Y E)
(AND (NOT (GREATERP X (PLUS E Y)))
(NOT (GREATERP Y (PLUS E X])
(ISTHERE?
[LAMBDA (N SPEC)
(FOR NEW X IN SPEC WHEN (WITHIN+ (CAR X)
N 2) DO (RETURN X])
(CHECK
[LAMBDA NIL
(PRINT (LENGTH F0))
(SETQ F0 (INTERSECTION F0 F0))
(PRINT (LENGTH F0))
(PRINT (LENGTH F1))
(SETQ F1 (INTERSECTION F1 F1))
(PRINT (LENGTH F1))
(INTERSECTION F1 F0])
)
(RPAQQ STRUC09039 ((1 (3 2 9 9)
C . 0)
(2 (1 4 5)
C . 1)
(3 (1 6 7)
C . 1)
(4 (2)
C . 3)
(5 (2)
C . 3)
(6 (3)
C . 3)
(7 (3 8)
C . 2)
(8 (7)
C . 3)
(9 (1 1)
O . 0)))
(RPAQQ S:09039 ((41 . 30)
(42 . 0)
(43 . 61)
(44 . 2)
(55 . 3)
(56 . 3)
(57 . 100)
(58 . 4)
(69 . 2)
(70 . 2)
(71 . 20)
(72 . 1)
(84 . 2)
(85 . 18)
(86 . 1)
(100 . 1)
(128 . 7)))
(RPAQQ STRUC09493 ((1 (3 2 10 10)
C . 0)
(2 (1 5)
C . 2)
(3 (1 4)
C . 2)
(4 (3)
C . 3)
(5 (2 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6 8)
C . 2)
(8 (7 9)
C . 2)
(9 (8)
C . 3)
(10 (1 1)
O . 0)))
(RPAQQ S:09493 ((41 . 23)
(42 . 4)
(43 . 100)
(44 . 3)
(53 . 2)
(54 . 1)
(55 . 10)
(56 . 3)
(57 . 77)
(58 . 3)
(67 . 1)
(68 . 1)
(69 . 2)
(70 . 2)
(71 . 1)
(72 . 46)
(73 . 6)
(85 . 23)
(86 . 2)
(95 . 2)
(99 . 1)
(100 . 1)
(113 . 23)
(114 . 2)
(142 . 1)))
(RPAQQ STRUC09320 ((1 (2)
C . 3)
(2 (1 3)
C . 2)
(3 (2 4)
C . 2)
(4 (3 5 9 9)
C . 0)
(5 (4 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6 8)
C . 2)
(8 (7)
C . 3)
(9 (4 4)
O . 0)))
(RPAQQ S:09320 ((41 . 48)
(42 . 8)
(43 . 100)
(44 . 3)
(53 . 2)
(55 . 8)
(56 . 2)
(57 . 92)
(58 . 56)
(59 . 2)
(64 . 1)
(67 . 1)
(69 . 3)
(70 . 1)
(71 . 91)
(72 . 4)
(81 . 1)
(83 . 1)
(84 . 1)
(85 . 60)
(86 . 23)
(87 . 2)
(99 . 3)
(113 . 2)
(128 . 13)
(129 . 1)))
(RPAQQ F0
((1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 2 2 0 1 1 1 1 7 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 7 1 1 0 1 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 9 1 1 1 8 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 1 7 1 1 0 1 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 0 1 1 1 2 7 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 0 1 1 1 2 7 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 2 7 1 1 0 1 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 5 1 1 2 3 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7 0 0 0 0 0 0
0 0)
(1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 1 9 1 1 1 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 2 7 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 1 5 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 1 8 1 1 2 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 2 7 0 0 0 0 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 5 1 1 1 3 0 0
0 0)
(1 1 2 9 1 1 1 5 1 1 1 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 2 8 2 2 0 1 1 1 1 6 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 2 1 1 1 6 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 9 1 1 2 8 0 0 0 0 0 0
0 0)
(1 1 1 9 1 1 2 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 1 2 1 1 1 6 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7 0 0 0 0 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 7 1 1 2 6 0 0 0 0 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 1 4 1 1 1 3 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 7 1 1 1 6 0 0 0 0 0 0
0 0)
(1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 2 4 1 1 2 3 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 0 1 1 1 2 6 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 8 1 1 1 2 1 1 2 5 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 2 7 1 1 0 1 1 1 2 5 0 0
0 0)
(1 1 2 8 1 1 0 1 1 1 2 6 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 8 1 1 1 2 1 1 2 5 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 8 1 1 2 7 0 0 0 0 0 0
0 0)
(1 1 1 8 1 1 2 7 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 8 1 1 2 4 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)))
(RPAQQ F1
((1 1 2 9 2 2 0 1 1 1 1 7 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 2 3 2 2 0 1 1 1 0 1 0 0
0 0)
(1 1 2 3 2 2 0 1 1 1 0 1 0 0 0 0 1 1 1 7 1 1 1 6 0 0 0 0 0 0
0 0)
(1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 2 3 0 0 0 0 0 0
0 0)
(1 1 1 4 1 1 2 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 1 5 0 0 0 0 0 0
0 0)
(1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 1 4 0 0 0 0 0 0
0 0)
(1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 1 5 0 0 0 0 0 0
0 0)
(1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 1 3 0 0 0 0 0 0
0 0)
(1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 1 7 1 1 1 6 0 0 0 0 0 0
0 0)
(1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0 0 0 0
0 0)
(1 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 8 1 1 1 7 0 0 0 0 0 0
0 0)
(1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 1 9 1 1 1 8 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 1 7 1 1 0 1 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 7 2 2 0 1 1 1 1 5 0 0 0 0 1 1 2 3 1 1 0 1 1 1 0 1 0 0
0 0)
(1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 7 2 2 0 1 1 1 1 5 0 0
0 0)
(1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1 1 1 2 3 0 0
0 0)
(1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 1 5 1 1 1 4 0 0 0 0 0 0
0 0)
(1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 1 6 1 1 2 5 0 0 0 0 0 0
0 0)
(1 1 1 6 1 1 2 5 0 0 0 0 0 0 0 0 1 1 1 4 1 1 1 3 0 0 0 0 0 0
0 0)
(1 1 2 7 2 2 0 1 1 1 1 5 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0 0 0 0
0 0)
(1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 7 2 2 0 1 1 1 1 5 0 0
0 0)
(1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1 1 1 1 3 0 0
0 0)
(1 1 2 5 2 2 0 1 1 1 1 3 0 0 0 0 1 1 1 5 1 1 1 4 0 0 0 0 0 0
0 0)
(1 1 1 6 1 1 1 5 0 0 0 0 0 0 0 0 1 1 2 4 2 2 0 1 1 1 1 2 0 0
0 0)
(1 1 2 4 2 2 0 1 1 1 1 2 0 0 0 0 1 1 1 6 1 1 1 5 0 0 0 0 0 0
0 0)
(1 1 1 5 1 1 1 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 2 4 0 0 0 0 0 0
0 0)
(1 1 2 8 2 2 0 1 1 1 1 6 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 1 5 1 1 2 4 0 0 0 0 0 0 0 0 1 1 1 5 1 1 1 4 0 0 0 0 0 0
0 0)
(1 1 1 8 1 1 1 7 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 1 7 1 1 2 6 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 2 6 2 2 0 1 1 1 1 4 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0 0 0 0
0 0)
(1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 6 2 2 0 1 1 1 1 4 0 0
0 0)
(1 1 1 4 1 1 1 3 0 0 0 0 0 0 0 0 1 1 2 5 2 2 0 1 1 1 1 3 0 0
0 0)
(1 1 2 5 2 2 0 1 1 1 1 3 0 0 0 0 1 1 1 4 1 1 1 3 0 0 0 0 0 0
0 0)
(1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 1 6 1 1 2 5 0 0 0 0 0 0
0 0)
(1 1 1 6 1 1 2 5 0 0 0 0 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0 0 0 0
0 0)
(1 1 1 7 1 1 1 6 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)
(1 1 2 8 1 1 1 4 1 1 1 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 4 1 1 1 2 1 1 0 1 0 0 0 0 1 1 2 5 2 2 0 1 1 1 2 3 0 0
0 0)
(1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 6 2 2 0 1 1 1 2 4 0 0
0 0)
(1 1 2 6 2 2 0 1 1 1 2 4 0 0 0 0 1 1 2 3 1 1 0 1 1 1 0 1 0 0
0 0)
(1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 2 4 1 1 1 2 1 1 0 1 0 0
0 0)
(1 1 2 7 1 1 0 1 1 1 2 5 0 0 0 0 1 1 1 2 1 1 0 1 0 0 0 0 0 0
0 0)))
(RPAQQ STRUC09598 ((1 (2)
C . 3)
(2 (1 10 10 3)
C . 0)
(3 (2 4)
C . 2)
(4 (3 5)
C . 2)
(5 (4 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6 8)
C . 2)
(8 (7 9)
C . 2)
(9 (8)
C . 3)
(10 (2 2)
O . 0)))
(RPAQQ STRUC09041 ((1 (2)
C . 3)
(2 (1 9 3)
C . 1)
(3 (2 10 10 4)
C . 0)
(4 (3 5)
C . 2)
(5 (4 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6 8)
C . 2)
(8 (7)
C . 3)
(9 (2)
C . 3)
(10 (3 3)
O . 0)))
(RPAQQ STRUC09494 ((1 (2)
C . 3)
(2 (1 3)
C . 2)
(3 (2 4)
C . 2)
(4 (3 5 10 10)
C . 0)
(5 (4 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6 8)
C . 2)
(8 (7 9)
C . 2)
(9 (8)
C . 3)
(10 (4 4)
O . 0)))
(RPAQQ S:09598 ((29 . 11)
(39 . 6)
(41 . 17)
(42 . 5)
(43 . 100)
(44 . 2)
(45 . 1)
(53 . 1)
(55 . 6)
(56 . 2)
(57 . 20)
(58 . 95)
(59 . 18)
(67 . 1)
(69 . 1)
(71 . 19)
(72 . 1)
(82 . 2)
(84 . 3)
(85 . 3)
(95 . 1)
(99 . 1)
(100 . 1)
(113 . 3)
(128 . 1)
(142 . 3)))
(RPAQQ S:09041 ((41 . 19)
(42 . 6)
(43 . 100)
(44 . 3)
(53 . 1)
(54 . 7)
(56 . 2)
(59 . 2)
(70 . 1)
(71 . 48)
(72 . 2)
(86 . 7)
(99 . 31)
(100 . 2)
(142 . 5)))
(RPAQQ S:09494 ((41 . 20)
(42 . 6)
(43 . 100)
(44 . 3)
(52 . 1)
(54 . 7)
(57 . 3)
(58 . 29)
(59 . 2)
(69 . 1)
(70 . 1)
(71 . 63)
(72 . 3)
(86 . 11)
(87 . 2)
(99 . 24)
(100 . 2)
(142 . 3)))
(RPAQQ STRUC09490 ((1 (2)
C . 3)
(2 (1 8 3)
C . 1)
(3 (2 4 10 10)
C . 0)
(4 (3 5 9)
C . 1)
(5 (4 6)
C . 2)
(6 (5 7)
C . 2)
(7 (6)
C . 3)
(8 (2)
C . 3)
(9 (4)
C . 3)
(10 (3 3)
O . 0)))
(RPAQQ S:09490 ((41 . 17)
(42 . 4)
(43 . 100)
(44 . 2)
(55 . 5)
(57 . 2)
(70 . 1)
(71 . 73)
(72 . 3)
(99 . 5)
(100 . 11)))
(RPAQQ F70
((1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 2 5 1 1 2 3 0 0
0 0)
(1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 9 1 1 1 3 1 1 2 5 0 0
0 0)
(1 1 2 9 1 1 1 3 1 1 2 5 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0
0 0)
(1 1 2 9 1 1 2 5 1 1 2 3 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0
0 0)))
(RPAQQ F71
((1 1 2 7 2 2 0 1 1 1 2 5 0 0 0 0 1 1 2 3 1 1 0 1 1 1 0 1 0 0
0 0)
(1 1 2 3 1 1 0 1 1 1 0 1 0 0 0 0 1 1 2 7 2 2 0 1 1 1 2 5 0 0
0 0)
(1 1 2 5 1 1 0 1 1 1 1 3 0 0 0 0 1 1 2 5 2 2 0 1 1 1 2 3 0 0
0 0)
(1 1 2 5 2 2 0 1 1 1 2 3 0 0 0 0 1 1 2 5 1 1 0 1 1 1 1 3 0 0
0 0)
(1 1 1 3 1 1 1 2 0 0 0 0 0 0 0 0 1 1 2 7 1 1 0 1 1 1 2 5 0 0
0 0)
(1 1 2 7 1 1 0 1 1 1 2 5 0 0 0 0 1 1 1 3 1 1 1 2 0 0 0 0 0 0
0 0)))
(DEFLIST(QUOTE(
[BREAKBOND1 (NIL (AFTER NIL (RETURN (INTERSECTION !VALUE !VALUE]
))(QUOTE READVICE))
(READVISE BREAKBOND1)
(DEFLIST(QUOTE(
[BONDS (NIL (AFTER NIL (RETURN (INTERSECTION !VALUE !VALUE]
))(QUOTE READVICE))
(READVISE BONDS)
STOP