***** decl1 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]

3 Declarations: x_index x c
***** decl2 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]

3 Declarations: x_index x c
***** decl3 
1 Set Declarations
    A : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=Insertion, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

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

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=2
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]

3 Declarations: A x c
***** decl4 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[3]
		3 : x[5]

3 Declarations: x_index x c
***** decl5 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=2
		Weight : Variable
		1 : x[1]
		2 : x[3]
		3 : x[5]

3 Declarations: x_index x c
***** decl6 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]

3 Declarations: x_index x c
***** decl7 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

2 SOSConstraint Declarations
   c1 : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]
   c2 : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]

4 Declarations: x_index x c1 c2
***** decl8 
2 Set Declarations
    c_index : Dim=0, Dimen=1, Size=2, Domain=None, Ordered=False, Bounds=(0, 1)
        [0, 1]
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=2 	Index= c_index
	0
		Type=1
		Weight : Variable
		1 : x[2]
		2 : x[4]
	1
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[3]
		3 : x[5]

4 Declarations: x_index x c_index c
***** decl9 
2 Set Declarations
    c_index : Dim=0, Dimen=1, Size=3, Domain=None, Ordered=False, Bounds=(1, 3)
        [1, 2, 3]
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=2 	Index= c_index
	1
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]
	3
		Type=1
		Weight : Variable
		1 : x[3]
		2 : x[4]
		3 : x[5]

4 Declarations: x_index x c_index c
***** decl10 
4 Set Declarations
    c_index : Dim=0, Dimen=2, Size=4, Domain=None, Ordered=False, Bounds=None
        Virtual
    c_index_0 : Dim=0, Dimen=1, Size=2, Domain=None, Ordered=False, Bounds=(1, 2)
        [1, 2]
    c_index_1 : Dim=0, Dimen=1, Size=2, Domain=None, Ordered=False, Bounds=(1, 2)
        [1, 2]
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=4 	Index= c_index
	(1, 2)
		Type=1
		Weight : Variable
		1 : x[3]
		2 : x[4]
		3 : x[5]
	(1, 1)
		Type=1
		Weight : Variable
		1 : x[2]
		2 : x[3]
		3 : x[4]
		4 : x[5]
	(2, 1)
		Type=1
		Weight : Variable
		1 : x[3]
		2 : x[4]
		3 : x[5]
	(2, 2)
		Type=1
		Weight : Variable
		1 : x[4]
		2 : x[5]

6 Declarations: x_index x c_index_0 c_index_1 c_index c
***** decl11 
2 Set Declarations
    c_index : Dim=0, Dimen=1, Size=2, Domain=None, Ordered=False, Bounds=(0, 1)
        [0, 1]
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=2 	Index= c_index
	0
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]
	1
		Type=1
		Weight : Variable
		11 : x[1]
		12 : x[2]
		13 : x[3]
		14 : x[4]
		15 : x[5]

4 Declarations: x_index x c_index c
***** decl12 
1 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

1 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=2
		Weight : Variable
		1 : x[5]
		2 : x[4]
		3 : x[3]
		4 : x[2]
		5 : x[1]

3 Declarations: x_index x c
***** decl13 
2 Set Declarations
    x_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]
    y_index : Dim=0, Dimen=1, Size=5, Domain=None, Ordered=False, Bounds=(1, 5)
        [1, 2, 3, 4, 5]

2 Var Declarations
    x : Size=5, Index=x_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True
    y : Size=5, Index=y_index, Domain=Reals
        Key : Lower : Value : Upper : Fixed : Stale
          1 :  None :  None :  None : False :  True
          2 :  None :  None :  None : False :  True
          3 :  None :  None :  None : False :  True
          4 :  None :  None :  None : False :  True
          5 :  None :  None :  None : False :  True

1 SOSConstraint Declarations
   c : 	Size=1 
		Type=1
		Weight : Variable
		1 : x[1]
		2 : x[2]
		3 : x[3]
		4 : x[4]
		5 : x[5]
		6 : y[1]
		7 : y[2]
		8 : y[3]
		9 : y[4]
		10 : y[5]

5 Declarations: x_index x y_index y c
