#################################################
#################################################
###                                           ###
###   Walkup's vertex-minimal triangulation   ###
###   of                                      ###
###          RP^3                             ###
###                                           ###
###   with f-vector  f=(11,51,80,40)          ###
###                                           ###
#################################################
#################################################


RP^3=[ [ 1, 2, 3, 7 ], [ 1, 2, 3, 11 ], [ 1, 2, 6, 9 ], [ 1, 2, 6, 11 ], 
  [ 1, 2, 7, 9 ], [ 1, 3, 5, 10 ], [ 1, 3, 5, 11 ], [ 1, 3, 7, 10 ], 
  [ 1, 4, 7, 9 ], [ 1, 4, 7, 10 ], [ 1, 4, 8, 9 ], [ 1, 4, 8, 10 ], 
  [ 1, 5, 6, 8 ], [ 1, 5, 6, 11 ], [ 1, 5, 8, 10 ], [ 1, 6, 8, 9 ], 
  [ 2, 3, 4, 8 ], [ 2, 3, 4, 11 ], [ 2, 3, 7, 8 ], [ 2, 4, 6, 10 ], 
  [ 2, 4, 6, 11 ], [ 2, 4, 8, 10 ], [ 2, 5, 7, 8 ], [ 2, 5, 7, 9 ], 
  [ 2, 5, 8, 10 ], [ 2, 5, 9, 10 ], [ 2, 6, 9, 10 ], [ 3, 4, 5, 9 ], 
  [ 3, 4, 5, 11 ], [ 3, 4, 8, 9 ], [ 3, 5, 9, 10 ], [ 3, 6, 7, 8 ], 
  [ 3, 6, 7, 10 ], [ 3, 6, 8, 9 ], [ 3, 6, 9, 10 ], [ 4, 5, 6, 7 ], 
  [ 4, 5, 6, 11 ], [ 4, 5, 7, 9 ], [ 4, 6, 7, 10 ], [ 5, 6, 7, 8 ] ]