SP LXX disjoint life pattern.json

{
  "names": [
    "Shem",
    "Arphaxad",
    "Shelah",
    "Eber",
    "Peleg",
    "Reu",
    "Serug",
    "Nahor",
    "Terah"
  ],
  "parameters": [
    "u",
    "t",
    "a"
  ],
  "matrix": [
    [
      0,
      0,
      0
    ],
    [
      0,
      0,
      1
    ],
    [
      0,
      0,
      1
    ],
    [
      1,
      0,
      0
    ],
    [
      1,
      0,
      0
    ],
    [
      1,
      0,
      0
    ],
    [
      1,
      0,
      0
    ],
    [
      0,
      1,
      0
    ],
    [
      0,
      1,
      0
    ]
  ],
  "rank": 3,
  "values": [
    0,
    27,
    27,
    100,
    100,
    100,
    100,
    60,
    60
  ],
  "support_sizes": [
    4,
    2,
    2
  ],
  "total_formula": "4u+2t+2a",
  "source_total": 574,
  "nonnegative_cone": "u,t,a>=0 gives coordinatewise LXX>=SP while regular begetting values are equal"
}