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

0 RangeSet Declarations

2 Param Declarations
   B : param B
   	Size=3 	Domain=Any
	1 : 100
	2 : 200
	3 : 300
   C : param C
   	Size=1 	Domain=Any
	3

2 Var Declarations
   x : var x
   	Size=3 	Domain=Reals
	Key : Initial Value : Lower Bound : Upper Bound : Current Value: 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 	Domain=Reals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Stale
	 None : None : None : None : False : True

1 Objective Declarations
   o : obj o
   	Size=1 
	   y : var y
   	Size=1 	Domain=Reals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Stale
	 None : None : None : None : False : True


2 Constraint Declarations
   c1 : con c1
   	Size=1 
		0.0
		<=
		x[1]
		<=
		Inf
   c2 : con c2
   	Size=3 	Index= A
	1
		-Inf
		<=
		prod( num=( B[1] , x[1] ) ) 
		<=
		1.0
	2
		-Inf
		<=
		prod( num=( B[2] , x[2] ) ) 
		<=
		1.0
	3
		-Inf
		<=
		prod( num=( B[3] , x[3] ) ) 
		<=
		1.0

0 Block Declarations

1 ConstraintList Declarations
   c3 : con c3
   	Size=1 	Index= c3_index
	1
		-Inf
		<=
		y
		<=
		0.0

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