(REQ_TRANS (1 1 (:TYPE-PRESCRIPTION REQ_TRANS)))
(PROCESS_REQ)
(CHK_AVAIL (48 24 (:TYPE-PRESCRIPTION TRUE-LISTP-LAST))
           (24 24 (:TYPE-PRESCRIPTION TRUE-LISTP))
           (24 24 (:TYPE-PRESCRIPTION LAST))
           (24 24 (:TYPE-PRESCRIPTION CONSP-LAST)))
(GOOD_ROUTE?)
(TEST_ROUTES (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-LAST))
             (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
             (5 5 (:TYPE-PRESCRIPTION LAST))
             (5 5 (:TYPE-PRESCRIPTION CONSP-LAST)))
(CHECK_ACK)
(STATE-REQ-TRAND)
(CHK_AVAIL_OBLIGATION-FOR-SCHEDULING
     (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-LAST))
     (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
     (3 3 (:TYPE-PRESCRIPTION LAST))
     (3 3 (:TYPE-PRESCRIPTION CONSP-LAST)))
(VALIDSTATE-GOOD_ROUTE?
     (240 60
          (:REWRITE VALIDSTATE-ENTRY-IMPLIES-COORD-AND-BUFFER))
     (208 208 (:TYPE-PRESCRIPTION TRUE-LISTP))
     (180 180
          (:TYPE-PRESCRIPTION VALIDSTATE-ENTRYP))
     (26 26 (:REWRITE CONSP-LAST)))
(VALIDDTATE-TEST_ROUTES
     (176 2 (:DEFINITION GOOD_ROUTE?))
     (140 2 (:DEFINITION CHK_AVAIL))
     (136 10 (:REWRITE NTH-WITH-LARGE-INDEX))
     (87 33 (:REWRITE DEFAULT-CAR))
     (85 5 (:DEFINITION NTH))
     (69 3 (:DEFINITION VALIDSTATE))
     (68 34 (:TYPE-PRESCRIPTION TRUE-LISTP-LAST))
     (60 60 (:REWRITE DEFAULT-CDR))
     (60 3 (:DEFINITION VALIDSTATE-ENTRYP))
     (54 54 (:TYPE-PRESCRIPTION LEN))
     (45 9 (:DEFINITION LEN))
     (34 34 (:TYPE-PRESCRIPTION TRUE-LISTP))
     (34 34 (:TYPE-PRESCRIPTION CONSP-LAST))
     (30 30 (:TYPE-PRESCRIPTION LAST))
     (24 6
         (:REWRITE VALIDSTATE-ENTRY-IMPLIES-COORD-AND-BUFFER))
     (20 2 (:DEFINITION NO-HOPS-EQUAL-TO-DEST))
     (18 18
         (:TYPE-PRESCRIPTION VALIDSTATE-ENTRYP))
     (18 9 (:REWRITE DEFAULT-<-2))
     (18 9 (:REWRITE DEFAULT-+-2))
     (18 6 (:DEFINITION LAST))
     (15 3 (:DEFINITION VALIDCOORD))
     (12 2 (:DEFINITION NO-CONSECUTIVE-EQUALS))
     (9 9 (:TYPE-PRESCRIPTION NFIX))
     (9 9 (:REWRITE DEFAULT-<-1))
     (9 9 (:REWRITE DEFAULT-+-1))
     (9 9 (:LINEAR LEQ-POSITION-EQUAL-LEN))
     (9 3 (:DEFINITION VALIDBUFFER))
     (6 6 (:REWRITE CONSP-LAST))
     (4 4
        (:TYPE-PRESCRIPTION NO-HOPS-EQUAL-TO-DEST))
     (2 2
        (:TYPE-PRESCRIPTION NO-CONSECUTIVE-EQUALS)))
