{
  `A`: (31337_25535487507842, `A`),
  `Sum`: (31337_50183740481245, `Sum`),
  `Carry`: (31337_34717193596171, `Carry`),
  `B`: (31337_65041743851294, `B`),
}