{
  "schema": "random-sat-stream-v1",
  "n": 3,
  "k": 3,
  "law": "iid_proper_with_replacement",
  "clauses": [
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      -1,
      -2,
      -3
    ],
    [
      1,
      -2,
      -3
    ],
    [
      -1,
      2,
      -3
    ],
    [
      1,
      2,
      -3
    ],
    [
      -1,
      -2,
      3
    ],
    [
      1,
      -2,
      3
    ],
    [
      -1,
      2,
      3
    ],
    [
      1,
      2,
      3
    ]
  ]
}