files / problems / kissing-5d / compute / q6 / five_star_color.json
{
"n_pools": 252,
"n_colouring_le_19": 0,
"min_chi": 28,
"max_chi": 39,
"chi_hist": {
"28": 30,
"30": 20,
"32": 10,
"33": 106,
"35": 16,
"36": 16,
"37": 20,
"38": 33,
"39": 1
},
"by_k": [
{
"k": 30,
"n_pools": 32,
"n_extras": 625,
"n_seeds": 110,
"chi_min": 35,
"chi_max": 36,
"n_chi_le_19": 0
},
{
"k": 31,
"n_pools": 160,
"n_extras": 596,
"n_seeds": 106,
"chi_min": 33,
"chi_max": 39,
"n_chi_le_19": 0
},
{
"k": 32,
"n_pools": 60,
"n_extras": 528,
"n_seeds": 96,
"chi_min": 28,
"chi_max": 32,
"n_chi_le_19": 0
}
],
"found_41": false,
"comment": "Greedy extras colouring of 5-star pools. chi<=19 would empty leftovers in that pool. A larger chi does not give a 41-set.",
"pools": [
{
"stars": [
0,
1,
2,
3,
4
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
3,
5
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
3,
6
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
3,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
3,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
3,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
4,
5
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
4,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
4,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
4,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
4,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
2,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
2,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
3,
4,
5
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
3,
4,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
4,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
4,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
4,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
3,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
3,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
4,
5,
6
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
4,
5,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
4,
5,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
4,
5,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
4,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
4,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
4,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
4,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
4,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
4,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
1,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
1,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
6,
7,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
6,
7,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
6,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
1,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
2,
3,
4,
5
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
2,
3,
4,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
4,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
4,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
4,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
2,
3,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
3,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
2,
4,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
4,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
4,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
4,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
4,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
4,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
4,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
4,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
4,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
4,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
2,
5,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
2,
5,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
5,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
5,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
5,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
2,
5,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
2,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
2,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
2,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
2,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
3,
4,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
4,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
4,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
4,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
4,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
4,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
4,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
4,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
4,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
4,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
3,
5,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
0,
3,
5,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
5,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
5,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
5,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 35
},
{
"stars": [
0,
3,
5,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
3,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
3,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
3,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
3,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
4,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
0,
4,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
4,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
4,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
4,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
4,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
0,
4,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
4,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
4,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 39
},
{
"stars": [
0,
4,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
5,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
5,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
5,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
0,
5,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
0,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
1,
2,
3,
4,
5
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
1,
2,
3,
4,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
4,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
4,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
4,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
1,
2,
3,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
3,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
1,
2,
4,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
4,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
4,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
4,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
4,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
4,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
4,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
4,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
4,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
4,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
1,
2,
5,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
2,
5,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
5,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
5,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
5,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
2,
5,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
2,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
2,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
2,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
1,
2,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
3,
4,
5,
6
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
4,
5,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
4,
5,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
4,
5,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
4,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
4,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
4,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
4,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
4,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
4,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
3,
5,
6,
7
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
5,
6,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
5,
6,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
5,
7,
8
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
5,
7,
9
],
"k": 30,
"n_extras": 625,
"n_seeds": 110,
"chi_welsh_powell": 36
},
{
"stars": [
1,
3,
5,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
3,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
3,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
4,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
1,
4,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
4,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
4,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
4,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
4,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
1,
4,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
4,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
4,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
1,
4,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
5,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
5,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
5,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
1,
5,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
1,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
2,
3,
4,
5,
6
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
4,
5,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
4,
5,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
4,
5,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
4,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
4,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
4,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
4,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
4,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
4,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
3,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
3,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
2,
3,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
3,
6,
7,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
3,
6,
7,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
3,
6,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
3,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
4,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
2,
4,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
4,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
4,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
4,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
4,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
2,
4,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
2,
4,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
2,
4,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
2,
4,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
2,
5,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
5,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
5,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
2,
5,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
2,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
3,
4,
5,
6,
7
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 28
},
{
"stars": [
3,
4,
5,
6,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
4,
5,
6,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
4,
5,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
4,
5,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
4,
5,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 30
},
{
"stars": [
3,
4,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
3,
4,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
3,
4,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 37
},
{
"stars": [
3,
4,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
3,
5,
6,
7,
8
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
5,
6,
7,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
5,
6,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 38
},
{
"stars": [
3,
5,
7,
8,
9
],
"k": 31,
"n_extras": 596,
"n_seeds": 106,
"chi_welsh_powell": 33
},
{
"stars": [
3,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
4,
5,
6,
7,
8
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
4,
5,
6,
7,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
4,
5,
6,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
4,
5,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
4,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
},
{
"stars": [
5,
6,
7,
8,
9
],
"k": 32,
"n_extras": 528,
"n_seeds": 96,
"chi_welsh_powell": 32
}
]
}