crackNum-4.7: Golds/decode0.gold

Arguments: -i4       0b0110
Exit code: ExitSuccess
Satisfiable. Model:
  DECODED = 6 :: IntN 4
                  3210
   Binary layout: 0110
      Hex layout: 6
            Type: Signed 4-bit 2's complement integer
            Sign: Positive
          Binary: 0b110
           Octal: 0o6
         Decimal: 6
             Hex: 0x6