2 Set Declarations
   a : 	Dim=0 	Dimen=1 	Size=3 	Domain=None 	Ordered=False 	Bounds=(1, 3)
	 Model=unknown
	   [1, 2, 3]
   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
	1 : 1.1 : 0 : None : None : False
	2 : 1.1 : 0 : None : None : False
	3 : 1.1 : 0 : None : None : False
   c : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed
	2.1 : 0 : None : None : False
   d : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed
	3.1 : 0 : None : None : False
   e : 	Size=1 	Domain=PositiveReals
	Initial Value : Lower Bound : Upper Bound : Current Value: Fixed
	4.1 : 0 : None : None : False

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

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

34 Declarations: a b c d e A B o2 o3_index o3 c1 c2 c3 c4 c5 c6a c6b c7a c7b c8 c9a c9b c10a c10b c11 c15a c15b c16a c16b c12 c13a c13b c14a c14b 
