Menu
We determine all 120 nonisomorphic systems obtainable from the projective Steiner triple system of order 31 by at most three Pasch trades. Exactly three of these, each corresponding to three Pasch trades, are rigid. Thus three Pasch trades suffice, and are required, in
order to convert the projective system of order 31 to a rigid system. This contrasts with the projective system of order 15 where four Pasch trades are required. We also show that four Pasch trades are required in order to convert the projective system of order 63 to a
rigid system.