p 0 x1 s s 0 s s p x1 p s 0 x1 0 x1 p s s x1 s p s x1 f s x1 g q i x1 g x1 f p p x1 q i x1 q s x1 q s x1 s s x1 i x1 s x1 p 1 0 1 s 1 f 1 g 1 q 1 i 1 FULL ./SRS/secret05/aprove3.srs