1953bd6a51cc39df9322c2b5443444bdf926bc960ef15b1d99126a73a159f9dd  CITATION.cff
939c21cb1aa9ed9c8c145216ea57e68687a7f311da4ec9859099941f4b0d1f4b  LICENSES.md
0dc1ee10e03d85215f237c98ee49e0c5fda2c98a7636e938781b9159c90531b7  UPLOAD_GUIDE.md
c65e332f876c63287daf4a1f8a01504909281c660c7119db8d09991b2bfddc94  description.html
45a4a585bf0e3f6019664cc2463d5fcd99b43365c8dbb7e2769419d87c33ce79  description.txt
d1210e3292b521344278c450eee2358f2a0c931ecbfc9d299ca08478002fd3e3  metadata.json
6225ed0ba605c1014c0e5e4954d97011f33eb8fa4c2b6243e4d071d5d82122df  upload/Kourovka_16_45_Counterexample_v1.0.1.pdf
16495c3c54db97c6cbba4a1688a876e400902f90cfd3034debff7187316aaf11  upload/Kourovka_16_45_Source_and_Verification_v1.0.1.zip
