103 - Nefri Janri - paper to icsar 2017 layout