(REF : PROSPF2)
(REF : PROLMR)
(REF : PROPSSP)
(REF : PROPR2)
(REF : GAPIR1)
(REF : PROPL6)
(REF : PATLGF6)
(REF : GASPF1)
(REF : PROSPR2)
(REF : PATT1)
(REF : PROVPSP)
(REF : GAPEP1)
(REF : GASPI2)
(REF : CLPL2)
(REF : GASPF2)
(REF : PATT5)