type: BellExpression
scenario: '[(2 2 2) (2 2 2)]'
representation: Non-signaling Probabilities
coefficients: [-5, 3, -5, 3, -4, 2, 3, -1, 3, -1, 4, -2, -5, 3, -5, 3, 2,
  -4, 3, -1, 3, -1, -2, 4, -4, 4, 2, -2, 0, 0, 2, -2, -4, 4, 0, 0]
keywords: [canonical, not-composite, not-io-lifted, minimal]
shortName: I3322
names: [Froissart inequality]
upper:
  keywords: [facet-local]
  bounds:
    local: 12
    quantum: '([0.250875384514, 0.25087539] + 1)*12'
sources:
  upper.bounds.local: ['doi:10.1007/BF02903286']
  bounds.quantum: ['doi:10.1103/PhysRevA.82.022116', 'arXiv:1006.3032']