projective_plane_order_6