# proto-file: ortools/sat/cp_model.proto
# proto-message: operations_research.sat.CpModelProto

variables {
  domain: [ 0, 4 ]
}
variables {
  domain: [ 0, 4 ]
}
constraints {
  table {
    vars: [ 0, 1 ]
    values: [ 0, 0, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 4 ]
  }
}