Truncated_differential_cryptanalysis loading ...