sem_res.adb 353 KB