3 lines
150 B
Text
3 lines
150 B
Text
TIMESTAMP = 1630783130
|
|
SHA256 (nauty27r3.tar.gz) = 4f0665b716a53f7a14ea2ae30059f23d064ce3fe4c12c013404ef6e1ee0b88c2
|
|
SIZE (nauty27r3.tar.gz) = 1721200
|