(MODAPP::FIRST-ORDER-LIKE-TERMS-AND-OUT-ARITIES1)
(MODAPP::FIRST-ORDER-LIKE-TERMS-AND-OUT-ARITIES)
(MODAPP::WEAK-APPLY$-BADGE-P)
(MODAPP::COMPUTE-BADGE-OF-PRIMITIVES)
(MODAPP::APPLY$-PRIMP)
(MODAPP::BADGE-PRIM)
(MODAPP::APPLY$-BADGEP)
(MODAPP::APPLY$-BADGEP-PROPERTIES
 (47 47 (:REWRITE DEFAULT-CDR))
 (31 1 (:DEFINITION SUBSETP-EQUAL))
 (28 4 (:DEFINITION MEMBER-EQUAL))
 (13 13 (:REWRITE DEFAULT-CAR))
 (5 1 (:DEFINITION LEN))
 (3 1 (:DEFINITION ALL-NILS))
 (2 1 (:REWRITE DEFAULT-+-2))
 (2 1 (:DEFINITION TRUE-LISTP))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(MODAPP::CHECK-IT!)
(MODAPP::CHECK-IT!-WORKS
 (1794 1794 (:REWRITE DEFAULT-CDR))
 (946 96 (:REWRITE MODAPP::APPLY$-BADGEP-PROPERTIES . 2))
 (909 909 (:REWRITE DEFAULT-CAR))
 (499 34 (:REWRITE MODAPP::APPLY$-BADGEP-PROPERTIES . 1))
 (143 22 (:DEFINITION TRUE-LISTP))
 (60 60 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (52 26 (:REWRITE DEFAULT-+-2))
 (28 28 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (26 26 (:REWRITE DEFAULT-+-1))
 (23 23 (:REWRITE DEFAULT-<-2))
 (23 23 (:REWRITE DEFAULT-<-1))
 )
(MODAPP::BADGE-PRIM-TYPE)
(MODAPP::N-CAR-CADR-CADDR-ETC)
(MODAPP::MAKE-APPLY$-PRIM-BODY-FN)
(MODAPP::APPLY$-PRIM
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-REVAPPEND-TYPE-PRESCRIPTION))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-MERGE-SORT-LEXORDER))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-EXPLODE-NONNEGATIVE-INTEGER))
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (10 5 (:TYPE-PRESCRIPTION NATP-POSITION-EQUAL-AC))
 (10 5 (:TYPE-PRESCRIPTION NATP-POSITION-AC-EQL-EXEC))
 (10 5 (:TYPE-PRESCRIPTION NATP-POSITION-AC-EQ-EXEC))
 (10 5 (:TYPE-PRESCRIPTION FN-COUNT-EVG-REC-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION UPDATE-MUTUAL-RECURSION-FOR-DEFUN-NX))
 (5 5 (:TYPE-PRESCRIPTION UNION-EQUAL-TO-END))
 (5 5 (:TYPE-PRESCRIPTION UNION-EQUAL))
 (5 5 (:TYPE-PRESCRIPTION UNION-EQL-EXEC))
 (5 5 (:TYPE-PRESCRIPTION UNION-EQ-EXEC))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSTITUTE-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSEQ-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION TRANSLATE-ABBREV-RUNE))
 (5 5 (:TYPE-PRESCRIPTION TO-DF?-FN))
 (5 5 (:TYPE-PRESCRIPTION THE-CHECK-FOR-*1*))
 (5 5 (:TYPE-PRESCRIPTION TAU-SYSTEM))
 (5 5 (:TYPE-PRESCRIPTION SYSTEM-VERIFY-GUARDS-AUX))
 (5 5 (:TYPE-PRESCRIPTION SUBST-VAR))
 (5 5 (:TYPE-PRESCRIPTION SUBST-EXPR1))
 (5 5 (:TYPE-PRESCRIPTION SUBST-EXPR))
 (5 5 (:TYPE-PRESCRIPTION SUBST))
 (5 5 (:TYPE-PRESCRIPTION STRINGP-SUBSTITUTE-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION STRINGP-SUBSEQ-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION STRING<-L))
 (5 5 (:TYPE-PRESCRIPTION STRICT-TABLE-GUARD))
 (5 5 (:TYPE-PRESCRIPTION SET-WORMHOLE-ENTRY-CODE))
 (5 5 (:TYPE-PRESCRIPTION SET-GC-STRATEGY-FN))
 (5 5 (:TYPE-PRESCRIPTION SET-ABSSTOBJ-DEBUG-FN))
 (5 5 (:TYPE-PRESCRIPTION SEARCH-FROM-END))
 (5 5 (:TYPE-PRESCRIPTION SEARCH-FN))
 (5 5 (:TYPE-PRESCRIPTION SCAN-PAST-WHITESPACE))
 (5 5 (:TYPE-PRESCRIPTION REWRITE-LAMBDA-MODEP))
 (5 5 (:TYPE-PRESCRIPTION REWRITE-EQUIV))
 (5 5 (:TYPE-PRESCRIPTION REVERSE-STRIP-CDRS))
 (5 5 (:TYPE-PRESCRIPTION REVERSE-STRIP-CARS))
 (5 5 (:TYPE-PRESCRIPTION REVAPPEND))
 (5 5 (:TYPE-PRESCRIPTION RETRACT-WORLD))
 (5 5 (:TYPE-PRESCRIPTION RATIONALP-EXPT-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION PUNCTP))
 (5 5 (:TYPE-PRESCRIPTION PARTITION-REST-AND-KEYWORD-ARGS2))
 (5 5 (:TYPE-PRESCRIPTION OCCUR-CNT-BOUNDED-LST))
 (5 5 (:TYPE-PRESCRIPTION OCCUR-CNT-BOUNDED))
 (5 5 (:TYPE-PRESCRIPTION NON-FREE-VAR-RUNES))
 (5 5 (:TYPE-PRESCRIPTION NATP-POSITION-AC))
 (5 5 (:TYPE-PRESCRIPTION MIN-FIXNAT$INLINE))
 (5 5 (:TYPE-PRESCRIPTION MIN))
 (5 5 (:TYPE-PRESCRIPTION MERGE-TERM-ORDER))
 (5 5 (:TYPE-PRESCRIPTION MERGE-SORT-TERM-ORDER))
 (5 5 (:TYPE-PRESCRIPTION MERGE-SORT-LEXORDER))
 (5 5 (:TYPE-PRESCRIPTION MAYBE-FLUSH-AND-COMPRESS1))
 (5 5 (:TYPE-PRESCRIPTION MAX))
 (5 5 (:TYPE-PRESCRIPTION MAKE-VAR-LST1))
 (5 5 (:TYPE-PRESCRIPTION MAKE-LIST-AC))
 (5 5 (:TYPE-PRESCRIPTION MAKE-LAMBDA-APPLICATION))
 (5 5 (:TYPE-PRESCRIPTION MAKE-FAST-ALIST))
 (5 5 (:TYPE-PRESCRIPTION LET*-MACRO))
 (5 5 (:TYPE-PRESCRIPTION LATEST-BODY))
 (5 5 (:TYPE-PRESCRIPTION LAST))
 (5 5 (:TYPE-PRESCRIPTION KWOTE?))
 (5 5 (:TYPE-PRESCRIPTION IF*))
 (5 5 (:TYPE-PRESCRIPTION IDENTITY))
 (5 5 (:TYPE-PRESCRIPTION HONS-COPY-PERSISTENT))
 (5 5 (:TYPE-PRESCRIPTION HONS-COPY))
 (5 5 (:TYPE-PRESCRIPTION GOOD-BYE-FN))
 (5 5 (:TYPE-PRESCRIPTION GETPROP-DEFAULT))
 (5 5 (:TYPE-PRESCRIPTION FROM-TO-BY-AC))
 (5 5 (:TYPE-PRESCRIPTION FLUSH-HONS-GET-HASH-TABLE-LINK))
 (5 5 (:TYPE-PRESCRIPTION FIND-DOT-DOT))
 (5 5 (:TYPE-PRESCRIPTION FIND-ALTERNATIVE-START1))
 (5 5 (:TYPE-PRESCRIPTION FILENAME-TO-BOOK-NAME-1))
 (5 5 (:TYPE-PRESCRIPTION FILENAME-TO-BOOK-NAME))
 (5 5 (:TYPE-PRESCRIPTION FETCH-DCL-FIELDS2))
 (5 5 (:TYPE-PRESCRIPTION FAST-ALIST-FREE))
 (5 5 (:TYPE-PRESCRIPTION FAST-ALIST-FORK!))
 (5 5 (:TYPE-PRESCRIPTION FAST-ALIST-FORK))
 (5 5 (:TYPE-PRESCRIPTION EXTEND-WORLD))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-PRESCRIPTION-NON-ZERO-BASE))
 (5 5 (:TYPE-PRESCRIPTION E/D-FN))
 (5 5 (:TYPE-PRESCRIPTION DO-BODY-GUARD-WRAPPER))
 (5 5 (:TYPE-PRESCRIPTION DISJOIN2))
 (5 5 (:TYPE-PRESCRIPTION DEFUN-NX-DCLS))
 (5 5 (:TYPE-PRESCRIPTION CONS-SUBTREES))
 (5 5 (:TYPE-PRESCRIPTION CONS-ABSOLUTE-EVENT-NUMBERS))
 (5 5 (:TYPE-PRESCRIPTION CONJOIN2))
 (5 5 (:TYPE-PRESCRIPTION COMPRESS1))
 (5 5 (:TYPE-PRESCRIPTION COLLECT-POSP-INDICES-TO-HEADER))
 (5 5 (:TYPE-PRESCRIPTION CLEAR-MEMOIZE-TABLE))
 (5 5 (:TYPE-PRESCRIPTION CHK-WITH-GUARD-CHECKING-ARG))
 (5 5 (:TYPE-PRESCRIPTION CDRN))
 (5 5 (:TYPE-PRESCRIPTION BRR-DATA-MIRROR))
 (5 5 (:TYPE-PRESCRIPTION BOOLE$))
 (5 5 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (5 5 (:TYPE-PRESCRIPTION ASET1-LST))
 (5 5 (:TYPE-PRESCRIPTION ADD-TO-SET-EQUAL))
 (5 5 (:TYPE-PRESCRIPTION ADD-TO-SET-EQL-EXEC))
 (5 5 (:TYPE-PRESCRIPTION ADD-TO-SET-EQ-EXEC))
 )
(MODAPP::META-APPLY$-PRIM
 (1 1 (:TYPE-PRESCRIPTION MODAPP::META-APPLY$-PRIM))
 )
(APPLY-FOR-DEFEVALUATOR)
(MODAPP::APPLY$-PRIM-META-FN-EV)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-0)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-2)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-3)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-4)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-5)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-6)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-7)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-8)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-9)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-10)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-11)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-12)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-13)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-14)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-15)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-16)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-17)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-18)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-19)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-20)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-21)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-22)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-23)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-24)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-25)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-26)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-27)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-28)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-29)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-30)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-31)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-32)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-33)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-34)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-35)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-36)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-37)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-38)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-39)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-40)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-41)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-42)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-43)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-44)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-45)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-46)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-47)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-48)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-49)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-50)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-51
 (2 2 (:DEFINITION ACL2-COUNT))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-52)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-53)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-54)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-55)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-56)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-57)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-58)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-59)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-60)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-61)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-62)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-63)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-64)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-65)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-66)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-67)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-68)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-69)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-70)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-71)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-72)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-73)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-74)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-75)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-76)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-77)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-78)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-79)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-80
 (44 2 (:DEFINITION O<))
 (22 22 (:DEFINITION O-FINP))
 (16 8 (:DEFINITION O-FIRST-EXPT))
 (16 8 (:DEFINITION O-FIRST-COEFF))
 (4 4 (:DEFINITION O-RST))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-81)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-82)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-83)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-84)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-85)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-86)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-87)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-88)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-89)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-90)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-91)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-92)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-93)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-94)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-95)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-96)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-97)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-98)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-99)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-100)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-101)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-102)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-103)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-104)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-105)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-106)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-107)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-108)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-109
 (2 2 (:DEFINITION TRUE-LIST-FIX))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-110)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-111)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-112)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-113)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-114
 (2 2 (:DEFINITION ALISTP))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-115)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-116)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-117)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-118)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-119)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-120)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-121)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-122)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-123)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-124)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-125)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-126)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-127)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-128)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-129)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-130)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-131)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-132)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-133)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-134)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-135)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-136)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-137)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-138)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-139)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-140)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-141)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-142)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-143)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-144)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-145)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-146)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-147)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-148)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-149)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-150)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-151)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-152)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-153)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-154)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-155)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-156)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-157)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-158)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-159)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-160)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-161)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-162)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-163)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-164)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-165)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-166)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-167)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-168)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-169)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-170)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-171)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-172)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-173)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-174)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-175)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-176)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-177)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-178)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-179)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-180)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-181)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-182)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-183)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-184)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-185)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-186)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-187)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-188)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-189)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-190)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-191)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-192)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-193)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-194)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-195)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-196)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-197)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-198)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-199)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-200)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-201)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-202)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-203)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-204)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-205)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-206)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-207)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-208)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-209)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-210)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-211)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-212)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-213)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-214)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-215)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-216)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-217)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-218)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-219)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-220)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-221)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-222)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-223)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-224)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-225)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-226)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-227)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-228)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-229)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-230)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-231)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-232)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-233)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-234)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-235)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-236)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-237)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-238)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-239)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-240)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-241)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-242)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-243)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-244)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-245)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-246)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-247)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-248)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-249)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-250)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-251)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-252)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-253)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-254)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-255)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-256)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-257)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-258)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-259)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-260)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-261)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-262)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-263)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-264)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-265)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-266)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-267)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-268)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-269)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-270)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-271)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-272)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-273)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-274)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-275)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-276)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-277)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-278)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-279)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-280)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-281)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-282)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-283)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-284)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-285)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-286)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-287)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-288)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-289)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-290)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-291)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-292)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-293)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-294)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-295)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-296)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-297)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-298)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-299)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-300)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-301)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-302)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-303)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-304)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-305)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-306)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-307)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-308)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-309)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-310)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-311)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-312)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-313)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-314)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-315)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-316)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-317)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-318)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-319)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-320)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-321)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-322)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-323)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-324)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-325)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-326)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-327)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-328)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-329)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-330)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-331)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-332)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-333)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-334)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-335)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-336)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-337)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-338)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-339)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-340)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-341)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-342)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-343)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-344)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-345)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-346)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-347)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-348)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-349)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-350)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-351)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-352)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-353)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-354)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-355)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-356)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-357)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-358)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-359)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-360)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-361)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-362)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-363)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-364)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-365)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-366)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-367)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-368)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-369)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-370)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-371)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-372)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-373)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-374)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-375)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-376)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-377)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-378)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-379)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-380)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-381)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-382)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-383)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-384
 (2 2 (:DEFINITION MV-NTH))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-385)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-386)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-387)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-388)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-389)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-390)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-391)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-392)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-393)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-394)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-395)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-396)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-397)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-398)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-399)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-400)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-401)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-402)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-403)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-404)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-405)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-406)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-407)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-408)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-409)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-410)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-411)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-412)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-413)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-414)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-415)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-416)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-417)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-418)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-419)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-420)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-421)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-422)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-423)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-424)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-425)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-426)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-427)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-428)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-429)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-430)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-431)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-432)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-433)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-434)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-435)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-436)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-437)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-438)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-439
 (4 2 (:DEFINITION KWOTE-LST))
 (2 2 (:DEFINITION KWOTE))
 )
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-440)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-441)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-442)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-443)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-444)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-445)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-446)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-447)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-448)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-449)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-450)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-451)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-452)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-453)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-454)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-455)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-456)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-457)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-458)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-459)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-460)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-461)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-462)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-463)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-464)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-465)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-466)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-467)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-468)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-469)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-470)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-471)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-472)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-473)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-474)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-475)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-476)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-477)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-478)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-479)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-480)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-481)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-482)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-483)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-484)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-485)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-486)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-487)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-488)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-489)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-490)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-491)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-492)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-493)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-494)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-495)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-496)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-497)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-498)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-499)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-500)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-501)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-502)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-503)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-504)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-505)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-506)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-507)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-508)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-509)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-510)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-511)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-512)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-513)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-514)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-515)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-516)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-517)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-518)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-519)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-520)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-521)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-522)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-523)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-524)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-525)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-526)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-527)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-528)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-529)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-530)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-531)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-532)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-533)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-534)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-535)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-536)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-537)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-538)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-539)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-540)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-541)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-542)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-543)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-544)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-545)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-546)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-547)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-548)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-549)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-550)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-551)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-552)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-553)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-554)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-555)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-556)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-557)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-558)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-559)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-560)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-561)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-562)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-563)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-564)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-565)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-566)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-567)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-568)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-569)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-570)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-571)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-572)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-573)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-574)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-575)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-576)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-577)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-578)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-579)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-580)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-581)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-582)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-583)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-584)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-585)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-586)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-587)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-588)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-589)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-590)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-591)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-592)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-593)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-594)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-595)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-596)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-597)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-598)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-599)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-600)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-601)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-602)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-603)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-604)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-605)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-606)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-607)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-608)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-609)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-610)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-611)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-612)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-613)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-614)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-615)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-616)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-617)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-618)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-619)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-620)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-621)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-622)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-623)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-624)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-625)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-626)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-627)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-628)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-629)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-630)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-631)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-632)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-633)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-634)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-635)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-636)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-637)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-638)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-639)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-640)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-641)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-642)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-643)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-644)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-645)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-646)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-647)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-648)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-649)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-650)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-651)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-652)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-653)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-654)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-655)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-656)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-657)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-658)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-659)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-660)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-661)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-662)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-663)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-664)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-665)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-666)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-667)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-668)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-669)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-670)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-671)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-672)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-673)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-674)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-675)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-676)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-677)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-678)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-679)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-680)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-681)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-682)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-683)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-684)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-685)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-686)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-687)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-688)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-689)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-690)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-691)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-692)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-693)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-694)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-695)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-696)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-697)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-698)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-699)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-700)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-701)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-702)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-703)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-704)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-705)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-706)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-707)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-708)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-709)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-710)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-711)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-712)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-713)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-714)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-715)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-716)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-717)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-718)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-719)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-720)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-721)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-722)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-723)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-724)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-725)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-726)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-727)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-728)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-729)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-730)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-731)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-732)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-733)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-734)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-735)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-736)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-737)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-738)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-739)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-740)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-741)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-742)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-743)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-744)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-745)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-746)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-747)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-748)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-749)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-750)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-751)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-752)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-753)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-754)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-755)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-756)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-757)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-758)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-759)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-760)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-761)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-762)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-763)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-764)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-765)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-766)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-767)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-768)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-769)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-770)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-771)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-772)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-773)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-774)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-775)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-776)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-777)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-778)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-779)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-780)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-781)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-782)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-783)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-784)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-785)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-786)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-787)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-788)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-789)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-790)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-791)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-792)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-793)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-794)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-795)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-796)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-797)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-798)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-799)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-800)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-801)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-802)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-803)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-804)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-805)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-806)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-807)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-808)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-809)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-810)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-811)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-812)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-813)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-814)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-815)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-816)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-817)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-818)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-819)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-820)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-821)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-822)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-823)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-824)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-825)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-826)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-827)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-828)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-829)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-830)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-831)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-832)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-833)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-834)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-835)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-836)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-837)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-838)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-839)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-840)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-841)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-842)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-843)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-844)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-845)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-846)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-847)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-848)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-849)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-850)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-851)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-852)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-853)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-854)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-855)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-856)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-857)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-858)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-859)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-860)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-861)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-862)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-863)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-864)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-865)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-866)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-867)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-868)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-869)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-870)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-871)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-872)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-873)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-874)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-875)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-876)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-877)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-878)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-879)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-880)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-881)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-882)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-883)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-884)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-885)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-886)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-887)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-888)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-889)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-890)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-891)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-892)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-893)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-894)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-895)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-896)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-897)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-898)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-899)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-900)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-901)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-902)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-903)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-904)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-905)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-906)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-907)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-908)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-909)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-910)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-911)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-912)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-913)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-914)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-915)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-916)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-917)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-918)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-919)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-920)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-921)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-922)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-923)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-924)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-925)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-926)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-927)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-928)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-929)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-930)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-931)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-932)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-933)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-934)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-935)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-936)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-937)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-938)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-939)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-940)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-941)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-942)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-943)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-944)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-945)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-946)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-947)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-948)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-949)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-950)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-951)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-952)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-953)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-954)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-955)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-956)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-957)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-958)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-959)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-960)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-961)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-962)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-963)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-964)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-965)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-966)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-967)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-968)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-969)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-970)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-971)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-972)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-973)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-974)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-975)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-976)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-977)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-978)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-979)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-980)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-981)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-982)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-983)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-984)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-985)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-986)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-987)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-988)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-989)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-990)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-991)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-992)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-993)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-994)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-995)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-996)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-997)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-998)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-999)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1000)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1001)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1002)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1003)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1004)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1005)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1006)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1007)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1008)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1009)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1010)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1011)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1012)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1013)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1014)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1015)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1016)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1017)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1018)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1019)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1020)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1021)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1022)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1023)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1024)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1025)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1026)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1027)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1028)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1029)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1030)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1031)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1032)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1033)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1034)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1035)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1036)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1037)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1038)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1039)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1040)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1041)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1042)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1043)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1044)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1045)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1046)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1047)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1048)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1049)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1050)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1051)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1052)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1053)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1054)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1055)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1056)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1057)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1058)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1059)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1060)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1061)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1062)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1063)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1064)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1065)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1066)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1067)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1068)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1069)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1070)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1071)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1072)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1073)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1074)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1075)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1076)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1077)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1078)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1079)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1080)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1081)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1082)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1083)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1084)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1085)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1086)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1087)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1088)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1089)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1090)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1091)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1092)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1093)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1094)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1095)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1096)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1097)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1098)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1099)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1100)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1101)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1102)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1103)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1104)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1105)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1106)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1107)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1108)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1109)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1110)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1111)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1112)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1113)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1114)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1115)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1116)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1117)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1118)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1119)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1120)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1121)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1122)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1123)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1124)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1125)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1126)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1127)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1128)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1129)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1130)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1131)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1132)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1133)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1134)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1135)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1136)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1137)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1138)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1139)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1140)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1141)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1142)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1143)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1144)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1145)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1146)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1147)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1148)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1149)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1150)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1151)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1152)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1153)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1154)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1155)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1156)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1157)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1158)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1159)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1160)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1161)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1162)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1163)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1164)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1165)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1166)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1167)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1168)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1169)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1170)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1171)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1172)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1173)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1174)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1175)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1176)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1177)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1178)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1179)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1180)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1181)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1182)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1183)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1184)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1185)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1186)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1187)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1188)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1189)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1190)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1191)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1192)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1193)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1194)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1195)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1196)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1197)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1198)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1199)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1200)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1201)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1202)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1203)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1204)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1205)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1206)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1207)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1208)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1209)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1210)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1211)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1212)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1213)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1214)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1215)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1216)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1217)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1218)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1219)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1220)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1221)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1222)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1223)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1224)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1225)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1226)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1227)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1228)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1229)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1230)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1231)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1232)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1233)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1234)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1235)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1236)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1237)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1238)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1239)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1240)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1241)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1242)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1243)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1244)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1245)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1246)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1247)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1248)
(MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1249)
(MODAPP::N-CAR-CADR-CADDR-ETC-OPENER
 (5 5 (:REWRITE DEFAULT-+-2))
 (5 5 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(MODAPP::APPLY$-PRIM-META-FN-CORRECT
 (23217 23217 (:REWRITE DEFAULT-CDR))
 (15147 10854 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1219))
 (15147 10854 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1218))
 (15123 10842 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1205))
 (15123 10842 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1204))
 (15119 10840 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1201))
 (15119 10840 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1200))
 (15119 10840 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1199))
 (15057 10809 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1167))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1163))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1162))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1161))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1160))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1159))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1158))
 (15051 10806 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1157))
 (15033 10797 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1147))
 (15031 10796 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1145))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1143))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1142))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1141))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1140))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1139))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1138))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1137))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1136))
 (15029 10795 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1135))
 (15027 10794 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1133))
 (15027 10794 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1132))
 (14981 10771 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1108))
 (14947 10754 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1090))
 (14947 10754 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1089))
 (14947 10754 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1088))
 (14901 10731 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1064))
 (14899 10730 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1062))
 (14819 10690 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1021))
 (14815 10688 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1018))
 (14815 10688 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1017))
 (14815 10688 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1016))
 (14809 10685 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1012))
 (14795 10678 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1004))
 (14733 10647 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-972))
 (14692 10626 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-950))
 (14640 10600 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-923))
 (14640 10600 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-922))
 (14638 10599 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-920))
 (14638 10599 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-919))
 (14233 10392 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-711))
 (14042 10296 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-614))
 (4546 4546 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-3))
 (3353 3353 (:REWRITE MODAPP::APPLY$-PRIM-META-FN-EV-CONSTRAINT-1))
 (28 28 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (18 14 (:REWRITE DEFAULT-<-2))
 (18 14 (:REWRITE DEFAULT-<-1))
 (16 2 (:REWRITE DEFAULT-CODE-CHAR))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (12 2 (:REWRITE ALL-BOUNDP-INITIAL-GLOBAL-TABLE-ALT))
 (10 2 (:REWRITE SYMBOL<-ASYMMETRIC))
 (8 8 (:TYPE-PRESCRIPTION STATE-P))
 (8 2 (:REWRITE DEFAULT-UNARY-/))
 (6 2 (:REWRITE STRING<-L-ASYMMETRIC))
 (6 2 (:REWRITE RESIZE-LIST-EXEC-IS-RESIZE-LIST))
 (6 2 (:REWRITE PAIRLIS$-TAILREC-IS-PAIRLIS$))
 (6 2 (:REWRITE O-P-IMPLIES-O<G))
 (6 2 (:REWRITE LAST-CDR-IS-NIL))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL<))
 (4 4 (:TYPE-PRESCRIPTION STATE-P1))
 (4 4 (:TYPE-PRESCRIPTION O-P))
 (4 4 (:TYPE-PRESCRIPTION EQLABLE-LISTP))
 (4 2 (:REWRITE DEFAULT-UNARY-MINUS))
 (4 2 (:REWRITE DEFAULT-REALPART))
 (4 2 (:REWRITE DEFAULT-IMAGPART))
 (4 2 (:REWRITE DEFAULT-+-2))
 (4 2 (:REWRITE DEFAULT-+-1))
 (4 2 (:REWRITE DEFAULT-*-2))
 (4 2 (:REWRITE DEFAULT-*-1))
 (2 2 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (2 2 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (2 2 (:REWRITE SYMBOL<-TRICHOTOMY))
 (2 2 (:REWRITE SYMBOL<-TRANSITIVE))
 (2 2 (:REWRITE POSITION-EQ-EXEC-IS-POSITION-EQUAL))
 (2 2 (:REWRITE LEXORDER-TRANSITIVE))
 (2 2 (:REWRITE LEGAL-VARIABLE-OR-CONSTANT-NAMEP-IMPLIES-SYMBOLP))
 (2 2 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (2 2 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (2 2 (:REWRITE DEFAULT-SYMBOL-NAME))
 (2 2 (:REWRITE DEFAULT-PKG-IMPORTS))
 (2 2 (:REWRITE DEFAULT-NUMERATOR))
 (2 2 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (2 2 (:REWRITE DEFAULT-DENOMINATOR))
 (2 2 (:REWRITE DEFAULT-COMPLEX-2))
 (2 2 (:REWRITE DEFAULT-COMPLEX-1))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-CHAR-CODE))
 (2 2 (:REWRITE BAD-ATOM<=-TRANSITIVE))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-LOGICP))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-ARITY))
 (2 2 (:REWRITE ALPHORDER-TRANSITIVE))
 )
(MODAPP::APPLY$-PRIMP-IMPLIES-SYMBOLP)
