zip submission.zip .gitmodules README *.sh requirements.txt centralized_verification/*/*.py \
centralized_verification/*/*/*.py centralized_verification/*/*/*/*.py \
centralized_verification/*.py experiments/*.py experiments/**/*.py lib/from_ingy/*  \
maps/* parallel_configs/*.csv shields/*.structuredslugs