files / problems / affine-013 / compute / certs / n7_triples.json

435 B · on GitHub

{
  "S": [0, 3, 6, 8, 9, 12, 18],
  "n": 7,
  "T": 18,
  "T_interval": 17,
  "bound_ceil_n2_2": 25,
  "equation": "x + 2y = 3z",
  "triples": [
    [0, 0, 0],
    [0, 9, 6],
    [0, 12, 8],
    [0, 18, 12],
    [3, 3, 3],
    [3, 12, 9],
    [6, 6, 6],
    [6, 9, 8],
    [8, 8, 8],
    [9, 0, 3],
    [9, 9, 9],
    [12, 3, 6],
    [12, 6, 8],
    [12, 12, 12],
    [18, 0, 6],
    [18, 3, 8],
    [18, 9, 12],
    [18, 18, 18]
  ]
}