a7c610c98d44a504d5350a5ef7d3148f1f62d5a3ff7d5e34acc2c290f729350b  basic.tix.tar.xz