files / problems / caccetta-haggkvist-k3 / compute / certs / flags4.json
{
"n_labeled_by_type": [
1,
12,
12,
24,
12,
4,
12,
12,
4,
24,
12,
24,
24,
24,
24,
24,
24,
24,
24,
24,
24,
6,
12,
24,
24,
12,
12,
24,
6,
24,
12,
24
],
"AC_computed": {
"0,0": {
"1": 2.0,
"10": 4.0
},
"0,1": {
"3": 1.0,
"11": 1.0,
"15": 1.0
},
"0,2": {
"2": 2.0,
"11": 1.0,
"12": 1.0
},
"0,3": {
"4": 2.0,
"12": 1.0,
"17": 1.0
},
"0,4": {
"9": 1.0,
"13": 1.0,
"18": 1.0
},
"0,5": {
"9": 1.0,
"14": 1.0,
"19": 1.0
},
"0,6": {
"3": 1.0,
"15": 1.0,
"17": 1.0
},
"0,7": {
"9": 1.0,
"16": 1.0,
"20": 1.0
},
"1,1": {
"7": 2.0,
"16": 2.0
},
"1,2": {
"6": 2.0,
"14": 1.0
},
"1,3": {
"17": 1.0,
"23": 1.0,
"25": 2.0
},
"1,4": {
"19": 1.0,
"24": 1.0,
"27": 1.0
},
"1,5": {
"18": 1.0,
"27": 1.0
},
"1,6": {
"15": 1.0,
"23": 1.0,
"28": 4.0
},
"1,7": {
"18": 1.0,
"29": 1.0
},
"2,2": {
"5": 6.0,
"13": 2.0
},
"2,3": {
"12": 1.0,
"21": 4.0,
"23": 1.0
},
"2,4": {
"14": 1.0,
"22": 2.0
},
"2,5": {
"13": 1.0,
"22": 2.0,
"24": 1.0
},
"2,6": {
"11": 1.0,
"23": 1.0,
"25": 2.0
},
"2,7": {
"13": 1.0,
"24": 1.0,
"26": 2.0
},
"3,3": {
"8": 6.0,
"20": 2.0
},
"3,4": {
"20": 1.0,
"26": 2.0,
"29": 1.0
},
"3,5": {
"20": 1.0,
"29": 1.0,
"30": 2.0
},
"3,6": {
"7": 2.0,
"19": 1.0
},
"3,7": {
"19": 1.0,
"30": 2.0
},
"4,4": {
"30": 2.0,
"31": 2.0
},
"4,5": {
"29": 1.0,
"31": 1.0
},
"4,6": {
"16": 1.0,
"24": 1.0
},
"4,7": {
"27": 1.0,
"31": 1.0
},
"5,5": {
"26": 2.0,
"31": 2.0
},
"5,6": {
"16": 1.0,
"27": 1.0
},
"5,7": {
"24": 1.0,
"31": 1.0
},
"6,6": {
"6": 2.0,
"18": 2.0
},
"6,7": {
"14": 1.0,
"27": 1.0,
"29": 1.0
},
"7,7": {
"22": 2.0,
"31": 2.0
}
},
"AR_computed": [
[
24.0,
12.0,
6.0,
6.0,
6.0,
6.0,
6.0,
6.0,
6.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
4.0,
4.0,
4.0,
4.0,
0.0,
0.0,
0.0,
0.0,
6.0,
8.0,
4.0,
4.0,
2.0,
2.0,
4.0,
2.0,
4.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
4.0,
4.0,
4.0,
4.0,
0.0,
0.0,
0.0,
0.0,
6.0,
8.0,
4.0,
4.0,
2.0,
2.0,
4.0,
2.0,
4.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
4.0,
0.0,
0.0,
12.0,
4.0,
0.0,
0.0,
0.0,
0.0,
4.0,
4.0,
8.0,
4.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
8.0,
8.0,
4.0,
4.0,
4.0,
4.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
4.0,
4.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
4.0,
4.0,
2.0,
4.0,
2.0,
0.0,
0.0,
0.0,
4.0,
2.0,
4.0,
0.0,
4.0,
8.0,
2.0,
0.0,
0.0
],
[
0.0,
4.0,
4.0,
4.0,
4.0,
0.0,
0.0,
0.0,
0.0,
6.0,
8.0,
4.0,
4.0,
2.0,
2.0,
4.0,
2.0,
4.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
4.0,
4.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
4.0,
4.0,
2.0,
4.0,
2.0,
0.0,
0.0,
0.0,
4.0,
2.0,
4.0,
0.0,
4.0,
8.0,
2.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
4.0,
12.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
4.0,
8.0,
8.0,
0.0,
4.0,
0.0,
4.0,
4.0,
0.0,
0.0,
4.0,
8.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
6.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
2.0,
4.0,
4.0,
0.0,
2.0,
0.0,
2.0,
2.0,
0.0,
0.0,
2.0,
4.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
2.0,
2.0,
0.0,
2.0,
0.0,
2.0,
2.0,
2.0,
0.0,
4.0,
0.0,
4.0,
0.0,
4.0,
4.0,
0.0,
4.0,
4.0,
8.0
],
[
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
4.0,
4.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
4.0,
4.0,
2.0,
4.0,
2.0,
0.0,
0.0,
0.0,
4.0,
2.0,
4.0,
0.0,
4.0,
8.0,
2.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
2.0,
2.0,
0.0,
2.0,
0.0,
2.0,
2.0,
2.0,
0.0,
4.0,
0.0,
4.0,
0.0,
4.0,
4.0,
0.0,
4.0,
4.0,
8.0
],
[
0.0,
0.0,
2.0,
0.0,
0.0,
6.0,
2.0,
0.0,
0.0,
0.0,
0.0,
2.0,
2.0,
4.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
4.0,
2.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
2.0,
2.0,
0.0,
2.0,
0.0,
2.0,
2.0,
2.0,
0.0,
4.0,
0.0,
4.0,
0.0,
4.0,
4.0,
0.0,
4.0,
4.0,
8.0
]
],
"BR_computed": [
[
0.0,
2.0,
4.0,
2.0,
0.0,
6.0,
4.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
4.0,
2.0,
2.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
2.0,
2.0,
2.0,
0.0,
0.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
8.0,
8.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
2.0,
2.0,
0.0,
0.0,
0.0,
2.0,
2.0,
4.0,
0.0,
4.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
2.0,
0.0,
2.0,
0.0,
2.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
2.0,
0.0,
0.0,
0.0,
8.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
0.0,
4.0,
4.0,
0.0,
0.0,
2.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
6.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
2.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
4.0,
4.0,
6.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
4.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
2.0,
0.0,
0.0,
4.0,
4.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0
],
[
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
0.0,
2.0,
0.0,
2.0,
0.0,
2.0
]
]
}