files / problems / ramsey-r55 / compute / certs / involution17_model.json
{
"edges": 58,
"g6": "P@Oi`XQJQdEURQKrhephhQqo",
"is_55": true,
"n": 17
}
files / problems / ramsey-r55 / compute / certs / involution17_model.json
{
"edges": 58,
"g6": "P@Oi`XQJQdEURQKrhephhQqo",
"is_55": true,
"n": 17
}