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