1#!/bin/bash 2 3a100_zip="pad_mm_a100_data.zip" 4a100_data="https://github.com/AlnisM/autoheuristic-datasets/raw/main/${a100_zip}" 5rm -f ${a100_zip} 6wget ${a100_data} 7unzip -o ${a100_zip} 8rm ${a100_zip} 9