crackNum-4.7: Golds/decode7.gold

Arguments: -fe5m2    0b01111011
Exit code: ExitSuccess
Satisfiable. Model:
  DECODED = 57300 :: E5M2
                  7 65432 10
                  S -E5-- S2
   Binary layout: 0 11110 11
      Hex layout: 7B
       Precision: 5 exponent bits, 2 significand bits
            Sign: Positive
        Exponent: 15 (Stored: 30, Bias: 15)
  Classification: FP_NORMAL
          Binary: 0b1.11p15
           Octal: 0o1.6p15
         Decimal: 57300
             Hex: 0xep12