{
  "schemaVersion": 1,
  "source": "https://static.usenix.org/events/hotdep08/tech/full_papers/greenan/greenan_html/",
  "kind": "exhaustive-algebraic-check",
  "assumptions": [
    "One binary symbol per disk, extended bitwise to equal-length blocks.",
    "All available symbols are correct, mutually consistent and from one completed codeword.",
    "Unavailable is a read-observation state, not necessarily a permanent failure.",
    "No workload, timing, energy, corruption or crash-consistency model."
  ],
  "results": [
    {
      "name": "flat53",
      "dataSymbols": 5,
      "codewords": 32,
      "coefficients": [
        [
          1,
          0,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          0,
          0
        ],
        [
          0,
          0,
          1,
          0,
          0
        ],
        [
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          1
        ],
        [
          1,
          1,
          1,
          0,
          0
        ],
        [
          1,
          1,
          0,
          1,
          0
        ],
        [
          1,
          0,
          1,
          1,
          1
        ]
      ],
      "twoUnavailable": {
        "total": 28,
        "recoverable": 27,
        "unrecoverablePairs": [
          [
            4,
            7
          ]
        ]
      },
      "byActiveCount": [
        {
          "activeDisks": 0,
          "total": 1,
          "fullData": 0,
          "partialOnly": 0
        },
        {
          "activeDisks": 1,
          "total": 8,
          "fullData": 0,
          "partialOnly": 0
        },
        {
          "activeDisks": 2,
          "total": 28,
          "fullData": 0,
          "partialOnly": 0
        },
        {
          "activeDisks": 3,
          "total": 56,
          "fullData": 0,
          "partialOnly": 8
        },
        {
          "activeDisks": 4,
          "total": 70,
          "fullData": 0,
          "partialOnly": 39
        },
        {
          "activeDisks": 5,
          "total": 56,
          "fullData": 40,
          "partialOnly": 4
        },
        {
          "activeDisks": 6,
          "total": 28,
          "fullData": 27,
          "partialOnly": 0
        },
        {
          "activeDisks": 7,
          "total": 8,
          "fullData": 8,
          "partialOnly": 0
        },
        {
          "activeDisks": 8,
          "total": 1,
          "fullData": 1,
          "partialOnly": 0
        }
      ],
      "states": [
        {
          "active": [],
          "recoverable": [],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0
          ],
          "recoverable": [
            0
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1
          ],
          "recoverable": [
            1
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1
          ],
          "recoverable": [
            0,
            1
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2
          ],
          "recoverable": [
            2
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2
          ],
          "recoverable": [
            0,
            2
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2
          ],
          "recoverable": [
            1,
            2
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2
          ],
          "recoverable": [
            0,
            1,
            2,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3
          ],
          "recoverable": [
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3
          ],
          "recoverable": [
            0,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3
          ],
          "recoverable": [
            1,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3
          ],
          "recoverable": [
            0,
            1,
            3,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3
          ],
          "recoverable": [
            2,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3
          ],
          "recoverable": [
            0,
            2,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3
          ],
          "recoverable": [
            1,
            2,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            4
          ],
          "recoverable": [
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4
          ],
          "recoverable": [
            0,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4
          ],
          "recoverable": [
            1,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4
          ],
          "recoverable": [
            0,
            1,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            4
          ],
          "recoverable": [
            2,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            4
          ],
          "recoverable": [
            0,
            2,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            4
          ],
          "recoverable": [
            1,
            2,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            4
          ],
          "recoverable": [
            0,
            1,
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            4
          ],
          "recoverable": [
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            4
          ],
          "recoverable": [
            0,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            4
          ],
          "recoverable": [
            1,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            4
          ],
          "recoverable": [
            0,
            1,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            4
          ],
          "recoverable": [
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3,
            4
          ],
          "recoverable": [
            1,
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5
          ],
          "recoverable": [
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5
          ],
          "recoverable": [
            0,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            5
          ],
          "recoverable": [
            1,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            5
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            5
          ],
          "recoverable": [
            2,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            5
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            5
          ],
          "recoverable": [
            3,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            5
          ],
          "recoverable": [
            0,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            5
          ],
          "recoverable": [
            1,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            5
          ],
          "recoverable": [
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5
          ],
          "recoverable": [
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5
          ],
          "recoverable": [
            0,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            5
          ],
          "recoverable": [
            1,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            4,
            5
          ],
          "recoverable": [
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            4,
            5
          ],
          "recoverable": [
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            4,
            5
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            2,
            3,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            6
          ],
          "recoverable": [
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            6
          ],
          "recoverable": [
            0,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            6
          ],
          "recoverable": [
            1,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            2,
            6
          ],
          "recoverable": [
            2,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            6
          ],
          "recoverable": [
            0,
            2,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            6
          ],
          "recoverable": [
            1,
            2,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            6
          ],
          "recoverable": [
            3,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            6
          ],
          "recoverable": [
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            4,
            6
          ],
          "recoverable": [
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            6
          ],
          "recoverable": [
            0,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            6
          ],
          "recoverable": [
            1,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            2,
            4,
            6
          ],
          "recoverable": [
            2,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            4,
            6
          ],
          "recoverable": [
            0,
            2,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            4,
            6
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            6
          ],
          "recoverable": [
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            6
          ],
          "recoverable": [
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            6
          ],
          "recoverable": [
            0,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            5,
            6
          ],
          "recoverable": [
            1,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5,
            6
          ],
          "recoverable": [
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            5,
            6
          ],
          "recoverable": [
            1,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            7
          ],
          "recoverable": [
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            7
          ],
          "recoverable": [
            0,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            7
          ],
          "recoverable": [
            1,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            7
          ],
          "recoverable": [
            0,
            1,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            7
          ],
          "recoverable": [
            2,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            7
          ],
          "recoverable": [
            0,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            7
          ],
          "recoverable": [
            1,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            7
          ],
          "recoverable": [
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            7
          ],
          "recoverable": [
            0,
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            7
          ],
          "recoverable": [
            1,
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            7
          ],
          "recoverable": [
            0,
            1,
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            7
          ],
          "recoverable": [
            2,
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            7
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            4,
            7
          ],
          "recoverable": [
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            7
          ],
          "recoverable": [
            0,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            7
          ],
          "recoverable": [
            1,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            4,
            7
          ],
          "recoverable": [
            2,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            4,
            7
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            7
          ],
          "recoverable": [
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            7
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            7
          ],
          "recoverable": [
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            7
          ],
          "recoverable": [
            0,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            5,
            7
          ],
          "recoverable": [
            1,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            5,
            7
          ],
          "recoverable": [
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            5,
            7
          ],
          "recoverable": [
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            5,
            7
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            4
          ]
        },
        {
          "active": [
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            2,
            3,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            4
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            4
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            4,
            5,
            7
          ],
          "recoverable": [
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            5,
            7
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            2,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            1,
            3,
            4,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            6,
            7
          ],
          "recoverable": [
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            6,
            7
          ],
          "recoverable": [
            0,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            6,
            7
          ],
          "recoverable": [
            1,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            2,
            6,
            7
          ],
          "recoverable": [
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            6,
            7
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3,
            4
          ]
        },
        {
          "active": [
            3,
            6,
            7
          ],
          "recoverable": [
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            2,
            3,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            4
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            4
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            4,
            6,
            7
          ],
          "recoverable": [
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            6,
            7
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            1,
            2,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            3,
            4,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            6,
            7
          ],
          "recoverable": [
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            1,
            5,
            6,
            7
          ],
          "recoverable": [
            1,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3,
            4
          ]
        },
        {
          "active": [
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            2,
            3,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3,
            4
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3,
            4
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3,
            4
          ]
        },
        {
          "active": [
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            2,
            3,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            4
          ]
        },
        {
          "active": [
            1,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            4
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            4
          ]
        },
        {
          "active": [
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            2,
            3,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            4
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            4
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            4
          ]
        },
        {
          "active": [
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        }
      ]
    },
    {
      "name": "flat44",
      "dataSymbols": 4,
      "codewords": 16,
      "coefficients": [
        [
          1,
          0,
          0,
          0
        ],
        [
          0,
          1,
          0,
          0
        ],
        [
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          1
        ],
        [
          0,
          0,
          1,
          1
        ],
        [
          1,
          0,
          0,
          1
        ],
        [
          1,
          1,
          0,
          0
        ],
        [
          0,
          1,
          1,
          0
        ]
      ],
      "twoUnavailable": {
        "total": 28,
        "recoverable": 28,
        "unrecoverablePairs": []
      },
      "byActiveCount": [
        {
          "activeDisks": 0,
          "total": 1,
          "fullData": 0,
          "partialOnly": 0
        },
        {
          "activeDisks": 1,
          "total": 8,
          "fullData": 0,
          "partialOnly": 0
        },
        {
          "activeDisks": 2,
          "total": 28,
          "fullData": 0,
          "partialOnly": 8
        },
        {
          "activeDisks": 3,
          "total": 56,
          "fullData": 0,
          "partialOnly": 36
        },
        {
          "activeDisks": 4,
          "total": 70,
          "fullData": 45,
          "partialOnly": 12
        },
        {
          "activeDisks": 5,
          "total": 56,
          "fullData": 52,
          "partialOnly": 0
        },
        {
          "activeDisks": 6,
          "total": 28,
          "fullData": 28,
          "partialOnly": 0
        },
        {
          "activeDisks": 7,
          "total": 8,
          "fullData": 8,
          "partialOnly": 0
        },
        {
          "activeDisks": 8,
          "total": 1,
          "fullData": 1,
          "partialOnly": 0
        }
      ],
      "states": [
        {
          "active": [],
          "recoverable": [],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0
          ],
          "recoverable": [
            0
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1
          ],
          "recoverable": [
            1
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1
          ],
          "recoverable": [
            0,
            1,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2
          ],
          "recoverable": [
            2
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2
          ],
          "recoverable": [
            0,
            2
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2
          ],
          "recoverable": [
            1,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3
          ],
          "recoverable": [
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3
          ],
          "recoverable": [
            0,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3
          ],
          "recoverable": [
            1,
            3
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            3
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3
          ],
          "recoverable": [
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4
          ],
          "recoverable": [
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4
          ],
          "recoverable": [
            0,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4
          ],
          "recoverable": [
            1,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4
          ],
          "recoverable": [
            0,
            1,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            4
          ],
          "recoverable": [
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4
          ],
          "recoverable": [
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4
          ],
          "recoverable": [
            2,
            3,
            4
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3,
            4
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5
          ],
          "recoverable": [
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5
          ],
          "recoverable": [
            0,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            5
          ],
          "recoverable": [
            1,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            5
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            2,
            5
          ],
          "recoverable": [
            2,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            2,
            5
          ],
          "recoverable": [
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            5
          ],
          "recoverable": [
            0,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            3,
            5
          ],
          "recoverable": [
            0,
            3,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5
          ],
          "recoverable": [
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            1,
            4,
            5
          ],
          "recoverable": [
            1,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            2,
            3,
            4,
            5
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            6
          ],
          "recoverable": [
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            6
          ],
          "recoverable": [
            0,
            1,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            6
          ],
          "recoverable": [
            0,
            1,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            6
          ],
          "recoverable": [
            0,
            1,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            6
          ],
          "recoverable": [
            2,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            6
          ],
          "recoverable": [
            3,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            6
          ],
          "recoverable": [
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            4,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            2,
            3,
            4,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            6
          ],
          "recoverable": [
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            2,
            5,
            6
          ],
          "recoverable": [
            2,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            3,
            5,
            6
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5,
            6
          ],
          "recoverable": [
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            3
          ]
        },
        {
          "active": [
            1,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            6
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            7
          ],
          "recoverable": [
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            7
          ],
          "recoverable": [
            0,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            7
          ],
          "recoverable": [
            1,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            7
          ],
          "recoverable": [
            1,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            2,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            7
          ],
          "recoverable": [
            1,
            2,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            7
          ],
          "recoverable": [
            3,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            7
          ],
          "recoverable": [
            0,
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            7
          ],
          "recoverable": [
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            7
          ],
          "recoverable": [
            0,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            1,
            2,
            3,
            4,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            7
          ],
          "recoverable": [
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            7
          ],
          "recoverable": [
            0,
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            1,
            5,
            7
          ],
          "recoverable": [
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            0,
            1,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            5,
            7
          ],
          "recoverable": [
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            0,
            2,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            7
          ],
          "recoverable": [
            1,
            2,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            3,
            5,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            1,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5,
            7
          ],
          "recoverable": [
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            3
          ]
        },
        {
          "active": [
            1,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            6,
            7
          ],
          "recoverable": [
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            3,
            6,
            7
          ],
          "recoverable": [
            3,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            6,
            7
          ],
          "recoverable": [
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            3
          ]
        },
        {
          "active": [
            1,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            5,
            6,
            7
          ],
          "recoverable": [
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            3
          ]
        },
        {
          "active": [
            1,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        },
        {
          "active": [
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            4,
            5,
            6,
            7
          ],
          "fullData": false,
          "sleepingData": []
        },
        {
          "active": [
            0,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2,
            3
          ]
        },
        {
          "active": [
            1,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2,
            3
          ]
        },
        {
          "active": [
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            3
          ]
        },
        {
          "active": [
            0,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            3
          ]
        },
        {
          "active": [
            1,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            3
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            3
          ]
        },
        {
          "active": [
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1,
            2
          ]
        },
        {
          "active": [
            0,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1,
            2
          ]
        },
        {
          "active": [
            1,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            2
          ]
        },
        {
          "active": [
            0,
            1,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            2
          ]
        },
        {
          "active": [
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0,
            1
          ]
        },
        {
          "active": [
            0,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            1
          ]
        },
        {
          "active": [
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": [
            0
          ]
        },
        {
          "active": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "recoverable": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7
          ],
          "fullData": true,
          "sleepingData": []
        }
      ]
    }
  ],
  "generation": {
    "generatedAt": "2026-10-17T07:48:33.883Z",
    "node": "v24.21.0",
    "sourceSha256": "b548977435ddd705ab5edac68436b5fb1eefbbac47ffff5950e9c7d96b6fed5a",
    "command": "node scripts/build-power-aware-coding.mjs",
    "license": "MIT"
  }
}