files / problems / tuza-triangle-packing-covering / compute / certs / reduce_c7_8reg_compact.json
{
"summary": {
"n_cores": 1044,
"template": 1002,
"ilp": 42,
"fail": 0,
"fails": []
},
"failures": [],
"ilp_certs": [
{
"g6": "FC~~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
7,
3,
4
],
[
7,
1,
5
],
[
8,
1,
4
],
[
7,
2,
6
],
[
8,
3,
6
],
[
8,
2,
5
],
[
0,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
7
],
[
4,
8
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FEz~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
8,
0,
6
],
[
7,
2,
6
],
[
8,
2,
5
],
[
8,
1,
3
],
[
0,
4,
5
],
[
1,
4,
6
],
[
3,
5,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 17
}
},
{
"g6": "FEv~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
2
],
[
7,
0,
4
],
[
7,
1,
5
],
[
8,
0,
6
],
[
8,
4,
5
],
[
7,
3,
6
],
[
8,
1,
3
],
[
0,
3,
5
],
[
1,
4,
6
],
[
2,
5,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 17
}
},
{
"g6": "FEn~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
2,
4
],
[
7,
0,
4
],
[
8,
1,
5
],
[
8,
0,
3
],
[
7,
2,
5
],
[
7,
1,
3
],
[
3,
4,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 13
}
},
{
"g6": "FE~vw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
3
],
[
7,
2,
4
],
[
8,
1,
4
],
[
8,
0,
6
],
[
7,
0,
5
],
[
7,
1,
6
],
[
8,
2,
5
],
[
0,
3,
4
],
[
1,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FE~~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
8,
2,
4
],
[
7,
4,
5
],
[
7,
2,
6
],
[
8,
1,
6
],
[
7,
1,
3
],
[
8,
3,
5
],
[
0,
3,
6
]
],
"X": [
[
0,
3
],
[
0,
6
],
[
1,
3
],
[
1,
6
],
[
2,
4
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
7
],
[
4,
8
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FFzvw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
2,
4
],
[
7,
0,
4
],
[
8,
1,
5
],
[
8,
0,
3
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
5,
6
],
[
1,
4,
6
],
[
2,
3,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 17
}
},
{
"g6": "FFz~o",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
7,
0,
4
],
[
8,
4,
6
],
[
8,
2,
3
],
[
7,
2,
6
],
[
8,
0,
5
],
[
7,
3,
5
],
[
0,
3,
6
],
[
2,
4,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
7
],
[
1,
8
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FFz~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
7,
2,
4
],
[
8,
0,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
8,
2,
5
],
[
8,
1,
3
],
[
1,
4,
6
],
[
2,
3,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
6
],
[
4,
6
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "FF~~w",
"n_edges": 18,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
8,
1,
4
],
[
7,
2,
3
],
[
7,
4,
5
],
[
8,
3,
6
],
[
7,
1,
6
],
[
8,
2,
5
],
[
0,
3,
4
],
[
0,
5,
6
],
[
1,
3,
5
],
[
2,
4,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 11,
"nx": 19
}
},
{
"g6": "FQz~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
7,
0,
4
],
[
8,
1,
4
],
[
8,
0,
2
],
[
7,
2,
6
],
[
8,
3,
6
],
[
7,
1,
3
]
],
"X": [
[
0,
2
],
[
0,
4
],
[
1,
3
],
[
1,
4
],
[
2,
4
],
[
2,
6
],
[
3,
6
],
[
5,
7
],
[
5,
8
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 7,
"nx": 12
}
},
{
"g6": "FQ~vw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
7,
2,
4
],
[
8,
0,
4
],
[
7,
5,
6
],
[
8,
3,
6
],
[
8,
2,
5
],
[
0,
2,
6
],
[
1,
3,
5
],
[
1,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 17
}
},
{
"g6": "FQ~~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
4
],
[
8,
0,
2
],
[
7,
2,
6
],
[
7,
0,
5
],
[
8,
1,
6
],
[
7,
1,
3
],
[
8,
3,
5
],
[
0,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
6
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
4,
7
],
[
4,
8
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 15
}
},
{
"g6": "FUZ~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
2,
4
],
[
7,
0,
3
],
[
7,
1,
4
],
[
8,
0,
5
],
[
7,
2,
5
],
[
8,
1,
3
],
[
0,
2,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
5,
7
],
[
5,
8
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FUzvw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
7,
2,
4
],
[
8,
0,
4
],
[
7,
0,
3
],
[
7,
5,
6
],
[
8,
3,
6
],
[
8,
2,
5
],
[
0,
2,
6
],
[
1,
3,
5
],
[
1,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 17
}
},
{
"g6": "FUz^w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
7,
2,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
8,
1,
4
],
[
8,
0,
2
],
[
8,
3,
5
],
[
0,
4,
5
],
[
1,
3,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FUz~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
2,
4
],
[
8,
1,
5
],
[
8,
0,
3
],
[
7,
1,
4
],
[
7,
0,
2
],
[
7,
3,
5
],
[
0,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FU~vo",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
7,
0,
4
],
[
8,
3,
4
],
[
8,
0,
2
],
[
7,
2,
6
],
[
8,
1,
6
],
[
7,
1,
3
],
[
0,
3,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
6
],
[
1,
3
],
[
1,
6
],
[
2,
6
],
[
3,
4
],
[
3,
6
],
[
4,
7
],
[
4,
8
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FU~vW",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
2
],
[
7,
3,
4
],
[
8,
0,
3
],
[
8,
1,
4
],
[
8,
5,
6
],
[
7,
0,
5
],
[
7,
1,
6
],
[
0,
4,
6
],
[
1,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
7
],
[
2,
8
],
[
3,
4
],
[
3,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FU~vw",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
8,
2,
4
],
[
7,
4,
6
],
[
7,
0,
2
],
[
8,
0,
5
],
[
8,
3,
6
],
[
7,
3,
5
],
[
0,
3,
4
],
[
2,
5,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
7
],
[
1,
8
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "FU~~w",
"n_edges": 18,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
7,
0,
4
],
[
8,
3,
4
],
[
8,
0,
2
],
[
7,
2,
6
],
[
8,
1,
6
],
[
7,
1,
3
],
[
0,
3,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
6
],
[
1,
3
],
[
1,
6
],
[
2,
6
],
[
3,
4
],
[
3,
6
],
[
4,
7
],
[
4,
8
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FTzvw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
8,
1,
5
],
[
8,
4,
6
],
[
7,
1,
4
],
[
8,
2,
3
],
[
7,
3,
6
],
[
7,
2,
5
],
[
0,
2,
4
],
[
0,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
3,
6
],
[
4,
6
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FTznw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
8,
2,
4
],
[
7,
0,
4
],
[
8,
0,
3
],
[
7,
2,
3
],
[
8,
1,
6
],
[
0,
2,
5
],
[
1,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FTz~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
7,
2,
4
],
[
7,
1,
5
],
[
8,
2,
3
],
[
8,
4,
5
],
[
7,
3,
6
],
[
8,
1,
6
],
[
0,
3,
5
],
[
0,
4,
6
],
[
2,
5,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 18
}
},
{
"g6": "FTnvw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
3
],
[
7,
0,
4
],
[
8,
1,
5
],
[
8,
4,
6
],
[
8,
0,
2
],
[
7,
1,
6
],
[
7,
2,
5
],
[
0,
3,
5
],
[
2,
3,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
6
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "FTm~o",
"n_edges": 15,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
7,
2,
4
],
[
8,
0,
4
],
[
7,
0,
3
],
[
8,
2,
3
],
[
7,
1,
6
],
[
0,
2,
5
],
[
3,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FTm|w",
"n_edges": 15,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
8,
0,
4
],
[
8,
2,
3
],
[
7,
0,
2
],
[
7,
4,
5
],
[
8,
5,
6
],
[
7,
3,
6
],
[
0,
3,
5
],
[
2,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "FTm~w",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
7,
0,
4
],
[
8,
0,
3
],
[
8,
4,
5
],
[
7,
2,
6
],
[
7,
3,
5
],
[
0,
2,
5
],
[
2,
3,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 8,
"nx": 14
}
},
{
"g6": "FTn~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
8,
2,
4
],
[
7,
0,
3
],
[
8,
0,
6
],
[
7,
4,
5
],
[
7,
2,
6
],
[
8,
3,
5
],
[
0,
2,
5
],
[
1,
5,
6
],
[
3,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 18
}
},
{
"g6": "FT~~w",
"n_edges": 18,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
1
],
[
8,
3,
4
],
[
7,
0,
6
],
[
7,
2,
3
],
[
7,
4,
5
],
[
8,
2,
6
],
[
8,
0,
5
],
[
0,
2,
4
],
[
1,
4,
6
],
[
3,
5,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 19
}
},
{
"g6": "FV~~w",
"n_edges": 19,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
2
],
[
8,
3,
4
],
[
8,
0,
5
],
[
8,
1,
6
],
[
7,
1,
3
],
[
7,
5,
6
],
[
7,
0,
4
],
[
0,
3,
6
],
[
1,
4,
5
],
[
2,
3,
5
],
[
2,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 11,
"nx": 20
}
},
{
"g6": "F]zno",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
2
],
[
8,
0,
3
],
[
7,
4,
6
],
[
8,
4,
5
],
[
7,
0,
5
],
[
8,
1,
6
],
[
7,
1,
3
],
[
0,
2,
4
],
[
1,
2,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
4,
5
],
[
4,
6
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "F]znW",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
1,
2
],
[
7,
0,
4
],
[
8,
0,
3
],
[
8,
4,
5
],
[
7,
2,
5
],
[
7,
1,
3
],
[
1,
5,
6
],
[
2,
4,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
7
],
[
0,
8
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "F]zlw",
"n_edges": 16,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
4
],
[
8,
1,
5
],
[
8,
0,
3
],
[
7,
0,
2
],
[
8,
2,
6
],
[
7,
5,
6
],
[
7,
1,
3
],
[
0,
4,
6
],
[
1,
2,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
6
],
[
3,
6
],
[
4,
6
],
[
5,
6
],
[
5,
7
],
[
5,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "F]znw",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
2
],
[
7,
0,
3
],
[
8,
1,
4
],
[
7,
4,
5
],
[
8,
0,
5
],
[
8,
3,
6
],
[
7,
1,
6
],
[
0,
2,
4
],
[
1,
2,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 16
}
},
{
"g6": "F]y~w",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
7,
1,
2
],
[
7,
0,
4
],
[
8,
0,
3
],
[
8,
1,
4
],
[
8,
2,
5
],
[
7,
3,
5
],
[
0,
2,
6
],
[
1,
3,
6
],
[
4,
5,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 18
}
},
{
"g6": "F]z~w",
"n_edges": 18,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
0
],
[
7,
4,
6
],
[
8,
1,
4
],
[
8,
2,
6
],
[
7,
2,
5
],
[
7,
1,
3
],
[
8,
3,
5
],
[
0,
3,
6
],
[
0,
4,
5
],
[
1,
5,
6
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
5
],
[
2,
6
],
[
2,
7
],
[
2,
8
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 10,
"nx": 18
}
},
{
"g6": "F]~vo",
"n_edges": 17,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
4
],
[
8,
1,
5
],
[
7,
0,
6
],
[
8,
0,
2
],
[
8,
3,
6
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
3,
5
],
[
1,
2,
6
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
5
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
1,
5
],
[
1,
6
],
[
2,
5
],
[
2,
6
],
[
3,
5
],
[
3,
6
],
[
4,
7
],
[
4,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "F]~vw",
"n_edges": 18,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
6
],
[
8,
2,
4
],
[
7,
1,
4
],
[
7,
0,
2
],
[
8,
0,
5
],
[
8,
1,
3
],
[
7,
3,
5
],
[
0,
3,
4
],
[
1,
2,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 9,
"nx": 15
}
},
{
"g6": "F]~~w",
"n_edges": 19,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
3
],
[
7,
4,
6
],
[
8,
0,
2
],
[
7,
0,
5
],
[
8,
5,
6
],
[
7,
1,
2
],
[
8,
1,
4
],
[
0,
3,
4
],
[
1,
3,
5
],
[
2,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
6,
7
],
[
6,
8
],
[
7,
8
]
],
"ns": 10,
"nx": 18
}
},
{
"g6": "F^~~w",
"n_edges": 20,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
3
],
[
7,
4,
5
],
[
7,
1,
2
],
[
8,
0,
4
],
[
8,
1,
5
],
[
7,
0,
6
],
[
8,
2,
6
],
[
0,
2,
5
],
[
1,
4,
6
]
],
"X": [
[
0,
2
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
2
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
7
],
[
3,
8
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 9,
"nx": 17
}
},
{
"g6": "F~~~w",
"n_edges": 21,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
8,
5
],
[
7,
4,
6
],
[
7,
0,
1
],
[
8,
0,
3
],
[
8,
1,
4
],
[
7,
2,
3
],
[
8,
2,
6
],
[
0,
2,
4
],
[
0,
5,
6
],
[
1,
2,
5
],
[
1,
3,
6
],
[
3,
4,
5
]
],
"X": [
[
0,
1
],
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
0,
6
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
1,
6
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
2,
6
],
[
3,
4
],
[
3,
5
],
[
3,
6
],
[
4,
5
],
[
4,
6
],
[
5,
6
],
[
7,
8
]
],
"ns": 12,
"nx": 22
}
}
]
}