type: BellExpression
scenario: '[(3 3 2) (3 2)]'
representation: Non-signaling Correlators
coefficients:
  numerator: [0, 4, 2, 0, 0, 3, 4, -16, -8, 0, 0, -12, 2, -8, -4, 0, 0, -6, -3, 12,
    6, 0, 0, -9]
  denominator: 19
symmetries:
  remarkableGenerators:
    liftings: ['B1(2,3)', 'A2(1,2)', 'A2(2,3)', 'A1(2,3)']
  numberOfRepresentatives: 72
upper:
  bounds: {local: '1'}
  keywords: [facet-local]
keywords: [io-lifted, not-composite, not-minimal]
names: ['Local facet in [(3 3 2) (3 2)], solved by SymPol.']
sources:
  upper.keywords.facet-local: ['http://www.math.uni-rostock.de/~rehn/software/sympol.html']
  upper.bounds.local: ['http://www.math.uni-rostock.de/~rehn/software/sympol.html']
remarkableForms:
  maximal:
    type: PermutationTransform
    permutation: B1(1,3,2)
    of: {type: OriginalExpression}
decomposition:
  type: RepresentationTransform
  representation: Non-signaling Correlators
  of:
    type: ReorderingTransform
    reordering: A(2,3)
    of:
      type: LiftingTransform
      lifting: '[(2+(0 1) 2)+(3) (2+(0 1) 2)]'
      of:
        type: PermutationTransform
        permutation: A(1,2)
        of:
          type: AffineTransform
          affine: 9/19 * x + 1/19
          of: {type: CanonicalExpression, index: 3}