Number of objectives: 1  { MIN }
Real variables:    0
Integer variables: 3
Index        Label       Lower Bound T       Upper Bound T
    1           x0                -1 H                 1 H 
    2       _none_                -1 H                 1 H 
    3       _none_                -1 H                 1 H 
Binary variables:  4
Index        Label
    1       _none_ 
    2       _none_ 
    3           b2 
    4       _none_ 
Linear constraints:       0
  Equality:               0
  Inequality:             0
Nonlinear constraints:    0
  Equality:               0
  Inequality:             0
