3 Set Declarations
   a : 	Dim=0 	Dimen=1 	Size=3 	Domain=None 	Ordered=False 	Bounds=(1, 3)
	 Model=unknown
	   [1, 2, 3]
   cl_index : 	Dim=0 	Dimen=1 	Size=0 	Domain=None 	Ordered=False 	Bounds=None
	 Model=unknown
	   []
   o3_index : 	Dim=0 	Dimen=2 	Size=9 	Domain=None 	Ordered=False 	Bounds=None
	 Model=unknown
	  Virtual

0 RangeSet Declarations

2 Param Declarations
   A : 	Size=1 	Domain=Any
	-1
	default: -1
   B : 	Size=1 	Domain=Any
	-2
	default: -2

4 Var Declarations
   b : 	Size=3 	Domain=PositiveReals
	Key : Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Status
	1 : 1.1 : 0.0 : None : 1.1 : 0.0 : used
	2 : 1.1 : 0.0 : None : 1.1 : 0.0 : used
	3 : 1.1 : 0.0 : None : 1.1 : 0.0 : used
   c : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Status
	 2.1 : 0.0 : None : 2.1 : False : used
   d : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Status
	 3.1 : 0.0 : None : 3.1 : False : used
   e : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed: Status
	 4.1 : 0.0 : None : 4.1 : False : unused

2 Objective Declarations
   o2 : 	Size=3 	Index= a
	b[1] 
	b[2] 
	b[3] 
   o3 : 	Size=0 	Index= o3_index

18 Constraint Declarations
   c1 : 	Size=1 
		1.0
		<=
		b[1]
		<=
		Inf
   c10a : 	Size=1 
		-Inf
		<=
		c
		<=
		sum( B , B ) 
   c11 : 	Size=1 
		sum( A , B ) 
		<=
		c
		<=
		sum( A , B ) 
   c12 : 	Size=1 
		0.0
		<=
		sum( c , -1 *  d ) 
		<=
		0.0
   c13a : 	Size=1 
		-Inf
		<=
		sum( c , -1 *  d ) 
		<=
		0.0
   c14a : 	Size=1 
		-Inf
		<=
		sum( d , -1 *  c ) 
		<=
		0.0
   c15a : 	Size=1 
		A
		<=
		prod( num=( A , d ) ) 
		<=
		Inf
   c16a : 	Size=1 
		-Inf
		<=
		prod( num=( A , d ) ) 
		<=
		B
   c2 : 	Size=1 
		-Inf
		<=
		b[1]
		<=
		0.0
   c3 : 	Size=1 
		0.0
		<=
		b[1]
		<=
		1.0
   c4 : 	Size=1 
		3.0
		<=
		b[1]
		<=
		3.0
   c5 : 	Size=3 	Index= a
	1
		0.0
		<=
		b[1]
		<=
		0.0
	2
		0.0
		<=
		b[2]
		<=
		0.0
	3
		0.0
		<=
		b[3]
		<=
		0.0
   c6a : 	Size=1 
		0.0
		<=
		c
		<=
		Inf
   c7a : 	Size=1 
		-Inf
		<=
		c
		<=
		1.0
   c7b : 	Size=1 
		-Inf
		<=
		c
		<=
		1.0
   c8 : 	Size=1 
		2.0
		<=
		c
		<=
		2.0
   c9a : 	Size=1 
		sum( A , A ) 
		<=
		c
		<=
		Inf
   c9b : 	Size=1 
		sum( A , A ) 
		<=
		c
		<=
		Inf

0 Block Declarations

1 ConstraintList Declarations
   cl : 	Size=10 	Index= cl_index
	1
		-Inf
		<=
		sum( d , -1 *  c ) 
		<=
		0.0
	2
		-Inf
		<=
		sum( d , -2.0 *  c ) 
		<=
		0.0
	3
		-Inf
		<=
		sum( d , -3.0 *  c ) 
		<=
		0.0
	4
		-Inf
		<=
		sum( d , -4.0 *  c ) 
		<=
		0.0
	5
		-Inf
		<=
		sum( d , -5.0 *  c ) 
		<=
		0.0
	6
		-Inf
		<=
		sum( d , -6.0 *  c ) 
		<=
		0.0
	7
		-Inf
		<=
		sum( d , -7.0 *  c ) 
		<=
		0.0
	8
		-Inf
		<=
		sum( d , -8.0 *  c ) 
		<=
		0.0
	9
		-Inf
		<=
		sum( d , -9.0 *  c ) 
		<=
		0.0
	10
		-Inf
		<=
		sum( d , -10.0 *  c ) 
		<=
		0.0

30 Declarations: a b c d e A B o2 o3_index o3 c1 c2 c3 c4 c5 c6a c7a c7b c8 c9a c9b c10a c11 c15a c16a c12 c13a c14a cl_index cl 
