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