SHA256 (Bit-Vector-Minimal-1.3.tar.gz) = 0394f09bd0049fbfff6353965f203dc8603cfc60cebea92ba0f67af37160eaf6
SIZE (Bit-Vector-Minimal-1.3.tar.gz) = 3002