!  COCOS Lib2 test problem haverly

PROGRAM haverly_source

  USE CODELIST_CREATION
  IMPLICIT NONE

      TYPE(CDLVAR), DIMENSION(12):: X

      TYPE(CDLLHS):: PHI
      TYPE(CDLEQ), DIMENSION(7) :: C
      TYPE(CDLINEQ), DIMENSION(16) :: G
 
      CALL INITIALIZE_CODELIST(X)

  PHI = X(1) - X(2) 
  
  C(1) =  X(1) - 6*X(3) - 16*X(4) - 10*X(5)
  C(2) =  X(2) - 9*X(6) - 15*X(7)
  C(3) = X(6) - X(8) - X(10)
  C(4) =  X(7) - X(9) - X(11)
  C(5) = X(3) + X(4) - X(10) - X(11)
  C(6) = X(5) - X(8) - X(9)
  C(7) = X(12)*(X(10) + X(11)) - 3*X(3) - X(4)
  
  G(1) = -X(1)
  G(2) = -X(2)
  G(3) = -X(3)
  G(4) = -X(4)
  G(5) = -X(5)
  G(6) = -X(6)
  G(7) = X(6) - 100
  G(8) = - X(7)
  G(9) = X(7) - 200
  G(10) = -X(8)
  G(11) = -X(9)
  G(12) = -X(10)
  G(13) = -X(11)
  G(14) = -X(12)
  G(15) = X(12)*X(10) - 2.5D0*X(10) - 0.5D0*X(8) 
  G(16) = X(12)*X(11) - 1.5D0*X(11) + 0.5D0*X(9)
  

      CALL FINISH_CODELIST

END PROGRAM haverly_source