(F0
 (1 1 (:TYPE-PRESCRIPTION F0))
 )
(F1
 (1 1 (:TYPE-PRESCRIPTION F1))
 )
(F2
 (1 1 (:TYPE-PRESCRIPTION F2))
 )
(F3
 (1 1 (:TYPE-PRESCRIPTION F3))
 )
(F4
 (1 1 (:TYPE-PRESCRIPTION F4))
 )
(F5
 (1 1 (:TYPE-PRESCRIPTION F5))
 )
(F6
 (1 1 (:TYPE-PRESCRIPTION F6))
 )
(F7
 (1 1 (:TYPE-PRESCRIPTION F7))
 )
(F8
 (1 1 (:TYPE-PRESCRIPTION F8))
 )
(F9)
(F9
 (1 1 (:TYPE-PRESCRIPTION F9))
 )
