sem_res.adb 419 KB