file too large

external/z3/lib/libz3-a-64b (31454132 bytes) exceeds the storage limit; its content is not kept.