files / problems / one-third-two-thirds / compute / q2 / interval_orders.json

4.0 KB · on GitHub

{
  "census": [
    {
      "n": 3,
      "n_natural_interval": 7,
      "n_nonchain": 6,
      "n_not_semiorder": 0,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_down": [
        0,
        0,
        1
      ],
      "complete": true
    },
    {
      "n": 4,
      "n_natural_interval": 37,
      "n_nonchain": 36,
      "n_not_semiorder": 4,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_down": [
        0,
        0,
        1,
        7
      ],
      "complete": true,
      "min_not_semi": [
        1,
        2
      ],
      "min_ns_e": 4,
      "min_not_semi_down": [
        0,
        0,
        1,
        5
      ]
    },
    {
      "n": 5,
      "n_natural_interval": 272,
      "n_nonchain": 271,
      "n_not_semiorder": 82,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 3,
      "min_down": [
        0,
        0,
        1,
        7,
        15
      ],
      "complete": true,
      "min_not_semi": [
        2,
        5
      ],
      "min_ns_e": 5,
      "min_not_semi_down": [
        0,
        0,
        1,
        5,
        13
      ]
    },
    {
      "n": 6,
      "n_natural_interval": 2637,
      "n_nonchain": 2636,
      "n_not_semiorder": 1355,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15
      ],
      "complete": true,
      "min_not_semi": [
        2,
        5
      ],
      "min_ns_e": 10,
      "min_not_semi_down": [
        0,
        0,
        1,
        5,
        7,
        23
      ]
    },
    {
      "n": 7,
      "n_natural_interval": 32469,
      "n_nonchain": 32468,
      "n_not_semiorder": 22595,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63
      ],
      "complete": true,
      "min_not_semi": [
        8,
        21
      ],
      "min_ns_e": 63,
      "min_not_semi_down": [
        0,
        0,
        0,
        1,
        11,
        11,
        27
      ]
    },
    {
      "n": 8,
      "n_natural_interval": 493602,
      "n_nonchain": 493601,
      "n_not_semiorder": 408370,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 9,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63,
        127
      ],
      "complete": true,
      "min_not_semi": [
        8,
        21
      ],
      "min_ns_e": 63,
      "min_not_semi_down": [
        0,
        0,
        0,
        1,
        11,
        11,
        27,
        127
      ]
    },
    {
      "n": 9,
      "n_natural_interval": 9062503,
      "n_nonchain": 9062502,
      "n_not_semiorder": 8248974,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 27,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63,
        63,
        127
      ],
      "complete": true,
      "min_not_semi": [
        8,
        21
      ],
      "min_ns_e": 63,
      "min_not_semi_down": [
        0,
        0,
        0,
        1,
        11,
        11,
        27,
        127,
        255
      ]
    },
    {
      "n": 10,
      "n_natural_interval": 197409097,
      "n_nonchain": 197409096,
      "n_not_semiorder": 188911483,
      "n_below_1_3": 0,
      "min_delta": [
        1,
        3
      ],
      "min_e": 27,
      "min_down": [
        0,
        0,
        1,
        7,
        7,
        15,
        63,
        63,
        127,
        511
      ],
      "complete": true,
      "min_not_semi": [
        47,
        130
      ],
      "min_ns_e": 130,
      "min_not_semi_down": [
        0,
        0,
        1,
        1,
        7,
        23,
        31,
        95,
        95,
        255
      ]
    }
  ],
  "oeis": "A367494"
}