files / problems / tuza-triangle-packing-covering / compute / certs / reduce_c6_8reg.json
{
"summary": {
"n_cores": 156,
"template": 120,
"ilp": 24,
"fail": 12,
"fails": [
"E???",
"E?Bo",
"E?Bw",
"E?~o",
"EQhO",
"EQ~o",
"EQ~w",
"ET~w",
"EV~w",
"E]zw",
"E^~w",
"E~~w"
]
},
"results": [
{
"g6": "E???",
"n_edges": 0,
"template": false,
"how": "fail",
"best": {
"R": [],
"q": 0,
"p": 1,
"lhs": 3,
"rhs": 2
}
},
{
"g6": "E?A?",
"n_edges": 1,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
5
]
],
"q": 0,
"Q": [],
"p": 2,
"lhs": 4,
"rhs": 4
}
},
{
"g6": "E?B?",
"n_edges": 2,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
5
],
[
1,
5
]
],
"q": 0,
"Q": [],
"p": 3,
"lhs": 5,
"rhs": 6
}
},
{
"g6": "E?B_",
"n_edges": 3,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
5
],
[
1,
5
],
[
2,
5
]
],
"q": 0,
"Q": [],
"p": 3,
"lhs": 6,
"rhs": 6
}
},
{
"g6": "E?Bo",
"n_edges": 4,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
5
],
[
1,
5
]
],
"q": 1,
"p": 3,
"lhs": 7,
"rhs": 6
}
},
{
"g6": "E?Bw",
"n_edges": 5,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
5
],
[
1,
5
]
],
"q": 1,
"p": 3,
"lhs": 7,
"rhs": 6
}
},
{
"g6": "E?`?",
"n_edges": 2,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
5
]
],
"q": 0,
"Q": [],
"p": 3,
"lhs": 5,
"rhs": 6
}
},
{
"g6": "E?b?",
"n_edges": 3,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 0,
"Q": [],
"p": 4,
"lhs": 6,
"rhs": 8
}
},
{
"g6": "E?`_",
"n_edges": 3,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
5
],
[
2,
5
]
],
"q": 0,
"Q": [],
"p": 4,
"lhs": 6,
"rhs": 8
}
},
{
"g6": "E?aG",
"n_edges": 3,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
4,
5
]
],
"q": 0,
"Q": [],
"p": 3,
"lhs": 6,
"rhs": 6
}
},
{
"g6": "E?b_",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
2
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?`o",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
5
],
[
2,
5
]
],
"q": 1,
"Q": [
3
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?bG",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
4
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?bo",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?bg",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?bw",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?r?",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
1
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?oo",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
5
]
],
"q": 1,
"Q": [
3
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?r_",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?qo",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?rG",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?qg",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?ow",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?ro",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?rg",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?qw",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?rw",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "E?z_",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
2
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "E?zO",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
3
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "E?zo",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "E?zg",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "E?zW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "E?zw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "E?~o",
"n_edges": 8,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
4
],
[
1,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 2,
"p": 5,
"lhs": 11,
"rhs": 10
}
},
{
"g6": "E?~w",
"n_edges": 9,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
3
],
[
7,
2,
4
],
[
7,
1,
5
],
[
6,
1,
4
],
[
6,
2,
5
],
[
3,
4,
5
]
],
"X": [
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "ECO_",
"n_edges": 3,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
5
]
],
"q": 0,
"Q": [],
"p": 3,
"lhs": 6,
"rhs": 6
}
},
{
"g6": "ECR?",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
1
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECQ_",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
2
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECQO",
"n_edges": 4,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
3
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECR_",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECRO",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECQo",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECRo",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECRW",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECRw",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECpO",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECr_",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECrO",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECpo",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECrG",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECqg",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECro",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECrg",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECrW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECrw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZ?",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECX_",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECYO",
"n_edges": 5,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZ_",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZO",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZG",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECXg",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECYW",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZo",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZg",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECZw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 4,
"lhs": 8,
"rhs": 8
}
},
{
"g6": "ECeW",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
3,
4
],
[
0,
5
],
[
3,
5
]
],
"q": 1,
"Q": [
4
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECfo",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
3,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECfW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
3,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECfw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
3,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECxo",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECzo",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECzg",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECzW",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECxw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECzw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECvo",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECvW",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECuw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "ECvw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
],
[
0,
5
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EC~o",
"n_edges": 9,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
0
],
[
7,
2,
4
],
[
7,
1,
5
],
[
6,
1,
4
],
[
6,
2,
5
],
[
0,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EC~w",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
1
],
[
7,
2,
4
],
[
6,
0,
4
],
[
7,
0,
5
],
[
6,
2,
5
],
[
1,
4,
5
]
],
"X": [
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
6
],
[
3,
7
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EEr_",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EErO",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEro",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EErW",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EErw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEh_",
"n_edges": 6,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEj_",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEio",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEho",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEiW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEhW",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEjo",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEjW",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEhw",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEjw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EEz_",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEzO",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEzo",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEzg",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEzw",
"n_edges": 10,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEvo",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEvW",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEuw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEvw",
"n_edges": 10,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEno",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EElw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EEnw",
"n_edges": 10,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
2,
4
],
[
3,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EE~w",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
6,
0,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
6,
3,
5
],
[
1,
3,
4
],
[
2,
4,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "EFz_",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
3
],
[
1,
3
],
[
2,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
],
[
2,
5
]
],
"q": 0,
"Q": [],
"p": 6,
"lhs": 12,
"rhs": 12
}
},
{
"g6": "EFzo",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
0
],
[
7,
1,
5
],
[
7,
2,
3
],
[
6,
2,
5
],
[
6,
1,
3
],
[
0,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
3,
5
],
[
4,
6
],
[
4,
7
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EFzW",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
5
],
[
6,
2,
4
],
[
7,
0,
4
],
[
7,
2,
3
],
[
6,
1,
3
],
[
0,
3,
5
],
[
1,
4,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "EFzw",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
5
],
[
6,
0,
4
],
[
7,
0,
3
],
[
7,
1,
4
],
[
6,
2,
3
],
[
1,
3,
5
],
[
2,
4,
5
]
],
"X": [
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "EF~w",
"n_edges": 12,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
4
],
[
6,
1,
5
],
[
6,
2,
3
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
3,
5
]
],
"X": [
[
0,
3
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
3
],
[
2,
5
],
[
3,
5
],
[
4,
6
],
[
4,
7
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EQhO",
"n_edges": 6,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
2,
4
]
],
"q": 1,
"p": 4,
"lhs": 9,
"rhs": 8
}
},
{
"g6": "EQj_",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
1,
3
],
[
0,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
2
],
"p": 5,
"lhs": 9,
"rhs": 10
}
},
{
"g6": "EQjO",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
]
],
"q": 1,
"Q": [
3
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQig",
"n_edges": 7,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
2,
4
],
[
0,
5
],
[
2,
5
],
[
4,
5
]
],
"q": 0,
"Q": [],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQjo",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
1,
3
],
[
0,
4
],
[
0,
5
],
[
1,
5
],
[
3,
5
]
],
"q": 1,
"Q": [
2
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQjg",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
5
],
[
1,
5
],
[
2,
5
]
],
"q": 1,
"Q": [
4
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQjw",
"n_edges": 9,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
7,
0,
4
],
[
6,
4,
5
],
[
6,
1,
3
],
[
7,
3,
5
],
[
0,
2,
5
]
],
"X": [
[
0,
2
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EQzO",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQzo",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQzg",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQzW",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQyw",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQzw",
"n_edges": 10,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EQ~o",
"n_edges": 10,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 2,
"p": 5,
"lhs": 11,
"rhs": 10
}
},
{
"g6": "EQ~w",
"n_edges": 11,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 2,
"p": 5,
"lhs": 11,
"rhs": 10
}
},
{
"g6": "EUZ_",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
3
],
[
1,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EUZO",
"n_edges": 8,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
3
],
[
1,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EUZo",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
3
],
[
1,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EUZw",
"n_edges": 10,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
3
],
[
1,
3
],
[
1,
4
],
[
2,
4
]
],
"q": 1,
"Q": [
5
],
"p": 5,
"lhs": 10,
"rhs": 10
}
},
{
"g6": "EUxo",
"n_edges": 9,
"template": true,
"how": "template",
"info": {
"R": [
[
0,
2
],
[
0,
3
],
[
1,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
1,
5
],
[
2,
5
],
[
3,
5
]
],
"q": 0,
"Q": [],
"p": 6,
"lhs": 12,
"rhs": 12
}
},
{
"g6": "EUzo",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
6,
0,
3
],
[
6,
1,
4
],
[
7,
0,
5
],
[
7,
1,
3
],
[
0,
2,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
2,
4
],
[
5,
6
],
[
5,
7
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EUzW",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
5
],
[
6,
2,
4
],
[
6,
0,
3
],
[
7,
1,
4
],
[
7,
0,
2
],
[
0,
4,
5
],
[
1,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "EUzw",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
4
],
[
6,
1,
5
],
[
6,
0,
2
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
5
],
[
3,
5
],
[
4,
6
],
[
4,
7
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "EU~w",
"n_edges": 12,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
4
],
[
6,
1,
5
],
[
6,
0,
2
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
5
],
[
1,
3
],
[
1,
5
],
[
2,
5
],
[
3,
5
],
[
4,
6
],
[
4,
7
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 6,
"nx": 12
}
},
{
"g6": "ETzo",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
6,
1,
5
],
[
6,
0,
3
],
[
7,
1,
4
],
[
7,
0,
5
],
[
0,
2,
4
],
[
2,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "ETzg",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
6,
0,
4
],
[
6,
1,
5
],
[
7,
1,
4
],
[
7,
0,
5
],
[
0,
2,
3
],
[
2,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "ETzw",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
1
],
[
7,
2,
4
],
[
6,
0,
4
],
[
7,
0,
3
],
[
6,
2,
3
],
[
0,
2,
5
],
[
1,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
4
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "ETno",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
6,
0,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
6,
3,
5
],
[
0,
2,
5
],
[
2,
3,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "ETmw",
"n_edges": 10,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
1
],
[
7,
2,
3
],
[
6,
0,
2
],
[
7,
0,
5
],
[
6,
3,
5
],
[
0,
3,
4
],
[
2,
4,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 13
}
},
{
"g6": "ETnw",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
0
],
[
7,
3,
4
],
[
7,
1,
5
],
[
6,
2,
3
],
[
6,
4,
5
],
[
0,
2,
4
],
[
0,
3,
5
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
5
],
[
2,
3
],
[
2,
4
],
[
2,
5
],
[
3,
4
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "ET~w",
"n_edges": 12,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
0,
3
],
[
2,
3
],
[
0,
4
],
[
1,
4
]
],
"q": 2,
"p": 5,
"lhs": 12,
"rhs": 10
}
},
{
"g6": "EV~w",
"n_edges": 13,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
2,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
0,
5
],
[
1,
5
],
[
2,
5
],
[
3,
5
],
[
4,
5
]
],
"q": 1,
"p": 6,
"lhs": 15,
"rhs": 12
}
},
{
"g6": "E]zo",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
5
],
[
6,
2,
4
],
[
7,
1,
4
],
[
7,
0,
2
],
[
6,
1,
3
],
[
0,
3,
5
],
[
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,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "E]zg",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
6,
7,
2
],
[
7,
0,
4
],
[
6,
1,
5
],
[
6,
0,
3
],
[
7,
1,
3
],
[
0,
2,
5
],
[
1,
2,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
1,
5
],
[
2,
4
],
[
2,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "E]yw",
"n_edges": 11,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
0,
4
],
[
6,
0,
2
],
[
6,
4,
5
],
[
7,
2,
5
],
[
7,
1,
3
],
[
0,
3,
5
],
[
1,
2,
4
]
],
"X": [
[
0,
2
],
[
0,
3
],
[
0,
4
],
[
0,
5
],
[
1,
2
],
[
1,
3
],
[
1,
4
],
[
2,
4
],
[
2,
5
],
[
3,
5
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 7,
"nx": 14
}
},
{
"g6": "E]zw",
"n_edges": 12,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
1,
2
],
[
0,
3
],
[
1,
3
]
],
"q": 2,
"p": 5,
"lhs": 11,
"rhs": 10
}
},
{
"g6": "E]~o",
"n_edges": 12,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
2,
4
],
[
6,
1,
2
],
[
6,
0,
4
],
[
7,
1,
5
],
[
7,
0,
3
],
[
6,
3,
5
],
[
0,
2,
5
],
[
1,
3,
4
]
],
"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,
9
]
],
"ns": 8,
"nx": 15
}
},
{
"g6": "E]~w",
"n_edges": 13,
"template": false,
"how": "ilp",
"cert": {
"S": [
[
7,
2,
4
],
[
6,
1,
4
],
[
6,
0,
2
],
[
7,
0,
5
],
[
7,
1,
3
],
[
6,
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
],
[
4,
5
],
[
6,
7
],
[
6,
8
],
[
7,
9
]
],
"ns": 8,
"nx": 16
}
},
{
"g6": "E^~w",
"n_edges": 14,
"template": false,
"how": "fail",
"best": {
"R": [
[
0,
2
],
[
1,
2
],
[
0,
3
],
[
1,
3
]
],
"q": 3,
"p": 5,
"lhs": 13,
"rhs": 10
}
},
{
"g6": "E~~w",
"n_edges": 15,
"template": false,
"how": "fail",
"best": {
"R": [
[
1,
2
],
[
1,
3
],
[
2,
3
],
[
0,
4
],
[
1,
4
],
[
2,
4
],
[
3,
4
],
[
0,
5
],
[
1,
5
],
[
2,
5
],
[
3,
5
],
[
4,
5
]
],
"q": 1,
"p": 6,
"lhs": 17,
"rhs": 12
}
}
]
}