{
  "n": 23,
  "claimedEdges": 64,
  "lattice": [
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0
    ],
    [
      1,
      1,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0
    ],
    [
      1,
      0,
      1,
      0
    ],
    [
      2,
      0,
      1,
      0
    ],
    [
      0,
      1,
      1,
      0
    ],
    [
      1,
      1,
      1,
      0
    ],
    [
      1,
      0,
      2,
      0
    ],
    [
      2,
      0,
      2,
      0
    ],
    [
      0,
      1,
      2,
      0
    ],
    [
      1,
      1,
      2,
      0
    ],
    [
      0,
      0,
      0,
      1
    ],
    [
      1,
      0,
      0,
      1
    ],
    [
      2,
      0,
      0,
      1
    ],
    [
      0,
      1,
      0,
      1
    ],
    [
      1,
      1,
      0,
      1
    ],
    [
      0,
      0,
      1,
      1
    ],
    [
      1,
      0,
      1,
      1
    ],
    [
      2,
      0,
      1,
      1
    ],
    [
      0,
      1,
      1,
      1
    ],
    [
      1,
      1,
      1,
      1
    ]
  ],
  "source": "Engel et al., run 0; frozen densest.json key 23",
  "sourceEdges": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      4
    ],
    [
      0,
      13
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      5
    ],
    [
      1,
      14
    ],
    [
      2,
      3
    ],
    [
      2,
      7
    ],
    [
      2,
      16
    ],
    [
      3,
      8
    ],
    [
      3,
      17
    ],
    [
      3,
      18
    ],
    [
      4,
      5
    ],
    [
      4,
      7
    ],
    [
      4,
      13
    ],
    [
      4,
      18
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      5,
      8
    ],
    [
      5,
      9
    ],
    [
      5,
      14
    ],
    [
      5,
      19
    ],
    [
      6,
      8
    ],
    [
      6,
      10
    ],
    [
      6,
      15
    ],
    [
      6,
      20
    ],
    [
      7,
      8
    ],
    [
      7,
      11
    ],
    [
      7,
      16
    ],
    [
      7,
      21
    ],
    [
      8,
      12
    ],
    [
      8,
      17
    ],
    [
      8,
      22
    ],
    [
      9,
      10
    ],
    [
      9,
      11
    ],
    [
      9,
      12
    ],
    [
      9,
      19
    ],
    [
      10,
      12
    ],
    [
      10,
      20
    ],
    [
      11,
      12
    ],
    [
      11,
      15
    ],
    [
      11,
      21
    ],
    [
      12,
      22
    ],
    [
      13,
      14
    ],
    [
      13,
      16
    ],
    [
      13,
      18
    ],
    [
      14,
      15
    ],
    [
      14,
      16
    ],
    [
      14,
      17
    ],
    [
      14,
      19
    ],
    [
      15,
      17
    ],
    [
      15,
      20
    ],
    [
      16,
      17
    ],
    [
      16,
      21
    ],
    [
      17,
      22
    ],
    [
      18,
      19
    ],
    [
      18,
      21
    ],
    [
      19,
      20
    ],
    [
      19,
      21
    ],
    [
      19,
      22
    ],
    [
      20,
      22
    ],
    [
      21,
      22
    ]
  ]
}
