partial_factor<
  fa16b {partial}
  31927
>
