# Small-result-b57 / grounded
# source: iccma-2019-Small-result-b57.apx-SE-GR.out
