{
  "schema": "crt_capacity_envelope_v1",
  "claim_boundary": "crt-torus-braid-dag:capacity-envelope:integer-only",
  "config": {
    "label_sets": [
      [
        "sidon_pow2",
        [
          1,
          2,
          4,
          8,
          16
        ],
        32
      ],
      [
        "sidon_singer5",
        [
          0,
          1,
          4,
          14,
          16
        ],
        30
      ],
      [
        "sidon_pow6",
        [
          1,
          2,
          4,
          8,
          16,
          32
        ],
        64
      ],
      [
        "nonsidon_seq5",
        [
          0,
          1,
          2,
          3,
          4
        ],
        5
      ],
      [
        "nonsidon_seq6",
        [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        5
      ]
    ],
    "strand_counts": [
      8,
      12,
      16
    ],
    "max_depth": 50
  },
  "results": [
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16
      ],
      "S": 32,
      "n_strands": 8,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 173,
      "M": 2503025857120011,
      "capacity_headroom_bits": 43.72,
      "desc": "sidon_pow2",
      "elapsed_s": 0.02,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16
      ],
      "S": 32,
      "n_strands": 12,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 233,
      "M": 5241335291277485756076249,
      "capacity_headroom_bits": 74.25,
      "desc": "sidon_pow2",
      "elapsed_s": 0.07,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16
      ],
      "S": 32,
      "n_strands": 16,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 293,
      "M": 28081402992151033251906529133660157,
      "capacity_headroom_bits": 106.24,
      "desc": "sidon_pow2",
      "elapsed_s": 0.26,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        0,
        1,
        4,
        14,
        16
      ],
      "S": 30,
      "n_strands": 8,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 173,
      "M": 2503025857120011,
      "capacity_headroom_bits": 43.72,
      "desc": "sidon_singer5",
      "elapsed_s": 0.02,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        0,
        1,
        4,
        14,
        16
      ],
      "S": 30,
      "n_strands": 12,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 233,
      "M": 5241335291277485756076249,
      "capacity_headroom_bits": 74.25,
      "desc": "sidon_singer5",
      "elapsed_s": 0.08,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        0,
        1,
        4,
        14,
        16
      ],
      "S": 30,
      "n_strands": 16,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 293,
      "M": 28081402992151033251906529133660157,
      "capacity_headroom_bits": 106.24,
      "desc": "sidon_singer5",
      "elapsed_s": 0.25,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16,
        32
      ],
      "S": 64,
      "n_strands": 8,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 173,
      "M": 2503025857120011,
      "capacity_headroom_bits": 43.72,
      "desc": "sidon_pow6",
      "elapsed_s": 0.02,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16,
        32
      ],
      "S": 64,
      "n_strands": 12,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 233,
      "M": 5241335291277485756076249,
      "capacity_headroom_bits": 74.25,
      "desc": "sidon_pow6",
      "elapsed_s": 0.08,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        1,
        2,
        4,
        8,
        16,
        32
      ],
      "S": 64,
      "n_strands": 16,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 50,
      "sidon_paths": 50,
      "max_modulus": 293,
      "M": 28081402992151033251906529133660157,
      "capacity_headroom_bits": 106.24,
      "desc": "sidon_pow6",
      "elapsed_s": 0.27,
      "collapsed": false,
      "stays_sidon": true
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4
      ],
      "S": 5,
      "n_strands": 8,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 173,
      "M": 2503025857120011,
      "capacity_headroom_bits": 43.72,
      "desc": "nonsidon_seq5",
      "elapsed_s": 0.02,
      "collapsed": false,
      "stays_sidon": false
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4
      ],
      "S": 5,
      "n_strands": 12,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 233,
      "M": 5241335291277485756076249,
      "capacity_headroom_bits": 74.25,
      "desc": "nonsidon_seq5",
      "elapsed_s": 0.08,
      "collapsed": false,
      "stays_sidon": false
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4
      ],
      "S": 5,
      "n_strands": 16,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 293,
      "M": 28081402992151033251906529133660157,
      "capacity_headroom_bits": 106.24,
      "desc": "nonsidon_seq5",
      "elapsed_s": 0.25,
      "collapsed": false,
      "stays_sidon": false
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "S": 5,
      "n_strands": 8,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 173,
      "M": 2503025857120011,
      "capacity_headroom_bits": 43.72,
      "desc": "nonsidon_seq6",
      "elapsed_s": 0.01,
      "collapsed": false,
      "stays_sidon": false
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "S": 5,
      "n_strands": 12,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 233,
      "M": 5241335291277485756076249,
      "capacity_headroom_bits": 74.25,
      "desc": "nonsidon_seq6",
      "elapsed_s": 0.08,
      "collapsed": false,
      "stays_sidon": false
    },
    {
      "label_set": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "S": 5,
      "n_strands": 16,
      "max_depth": 50,
      "total_states": 50,
      "sidon_states": 0,
      "sidon_paths": 0,
      "max_modulus": 293,
      "M": 28081402992151033251906529133660157,
      "capacity_headroom_bits": 106.24,
      "desc": "nonsidon_seq6",
      "elapsed_s": 0.26,
      "collapsed": false,
      "stays_sidon": false
    }
  ]
}