xcsp3-3.0.jar.sha1 40 Bytes