2 Set Declarations
    A : set A
        Dim=0, Dimen=1, Size=3, Domain=None, Ordered=False, Bounds=(1, 3)
        [1, 2, 3]
    c3_index : Dim=0, Dimen=1, Size=1, Domain=None, Ordered=False, Bounds=None
        [1]

2 Param Declarations
    B : param B
        Size=3, Index=A, Domain=Any, Default=None, Mutable=True
        Key : Value
          1 :   100
          2 :   200
          3 :   300
    C : param C
        Size=1, Index=None, Domain=Any, Default=None, Mutable=True
        Key  : Value
        None :     3

2 Var Declarations
    x : var x
        Size=3, Index=A, Domain=Reals
        Key : Lower : Value : Upper : Initial : Fixed : Stale
          1 :  None :  None :  None :    None : False :  True
          2 :  None :  None :  None :    None : False :  True
          3 :  None :  None :  None :    None : False :  True
    y : var y
        Size=1, Index=None, Domain=Reals
        Key  : Lower : Value : Upper : Initial : Fixed : Stale
        None :  None :  None :  None :    None : False :  True

1 Objective Declarations
    o : obj o
        Size=1, Index=None, Active=True, Sense=minimize
        Key  : Active : Expression
        None :   True :          y

3 Constraint Declarations
    c1 : con c1
        Size=1, Index=None, Active=True
        Key  : Lower : Body : Upper : Active
        None :   0.0 : x[1] :  +Inf :   True
    c2 : con c2
        Size=3, Index=A, Active=True
        Key : Lower : Body        : Upper : Active
          1 :  -Inf : B[1] * x[1] :   1.0 :   True
          2 :  -Inf : B[2] * x[2] :   1.0 :   True
          3 :  -Inf : B[3] * x[3] :   1.0 :   True
    c3 : con c3
        Size=1, Index=c3_index, Active=True
        Key : Lower : Body : Upper : Active
          1 :  -Inf :    y :   0.0 :   True

1 Suffix Declarations
    canonical_repn : Direction=Suffix.LOCAL, Datatype=None
        Key   : Value
           c1 : LinearCanonical{ 1*x[1] }
        c2[1] : LinearCanonical{ 100*x[1] }
        c2[2] : LinearCanonical{ 200*x[2] }
        c2[3] : LinearCanonical{ 300*x[3] }
        c3[1] : LinearCanonical{ 1*y }
            o : LinearCanonical{ 1*y }

11 Declarations: A B C x y o c1 c2 c3_index c3 canonical_repn
