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