{
  `Input`: (31337_45326245069696, `Input`),
  `Result`: (31337_13327132168076, `Result`),
}