files / problems / one-third-two-thirds / compute / known.json
{
"checks": [
{
"name": "T",
"n": 3,
"e": 3,
"delta": [
1,
3
],
"pair": [
0,
2,
2,
1
]
},
{
"name": "T \u2295 1 \u2295 T (Aigner type)",
"n": 7,
"e": 9,
"delta": [
1,
3
],
"pair": [
0,
2,
6,
3
]
},
{
"name": "C2xC3",
"n": 6,
"e": 5,
"delta": [
2,
5
],
"pair": [
1,
3,
3,
2
]
},
{
"name": "Y(4,4,2)",
"n": 10,
"e": 252,
"delta": [
4,
9
],
"pair": [
1,
4,
140,
112
]
}
],
"chen_E_ok": true,
"M7_hits": 39,
"M7_iso_types": [
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
6
],
[
2,
4
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
4,
6
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
5,
6
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
6
],
[
2,
5
],
[
3,
4
],
[
3,
6
],
[
4,
5
]
],
[
[
0,
2
],
[
0,
4
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
2
],
[
0,
4
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
2
],
[
0,
4
],
[
1,
3
],
[
1,
6
],
[
2,
3
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
2
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
2,
3
],
[
2,
4
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
2
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
2,
3
],
[
2,
4
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
4
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
2,
4
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
4,
6
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
5,
6
]
],
[
[
0,
4
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
2,
5
],
[
3,
4
],
[
3,
6
],
[
4,
5
]
],
[
[
0,
3
],
[
0,
5
],
[
1,
2
],
[
1,
4
],
[
2,
3
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
3
],
[
0,
5
],
[
1,
2
],
[
1,
4
],
[
2,
3
],
[
2,
5
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
3
],
[
0,
6
],
[
1,
2
],
[
1,
4
],
[
2,
3
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
2
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
2
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
4
],
[
1,
6
],
[
2,
4
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
6
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
3
],
[
1,
5
],
[
2,
4
],
[
2,
6
],
[
3,
4
],
[
3,
6
],
[
4,
5
]
],
[
[
0,
1
],
[
0,
4
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
[
[
0,
1
],
[
0,
4
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
4
],
[
1,
3
],
[
1,
6
],
[
2,
3
],
[
2,
6
],
[
3,
5
],
[
4,
5
]
],
[
[
0,
1
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
2,
3
],
[
2,
4
],
[
3,
6
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
2,
3
],
[
2,
4
],
[
4,
6
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
4
],
[
1,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
4,
6
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
4
],
[
1,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
4
],
[
1,
6
],
[
2,
5
],
[
3,
4
],
[
3,
6
],
[
4,
5
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
6
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
5,
6
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
5
],
[
2,
4
],
[
2,
6
],
[
3,
4
],
[
3,
6
],
[
4,
5
]
]
],
"M7_example_covers": [
[
0,
2
],
[
0,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
4,
6
]
],
"M7_e": 39,
"olsonC_hits": 0
}