{
  `Output`: (31337_22122562689406, `Output`),
  `Carry in`: (31337_45190053242926, `Carry in`),
  `A`: (31337_25535487507842, `A`),
  `B`: (31337_65041743851294, `B`),
  `Carry out`: (31337_76244671092409, `Carry out`),
}