sem_res.adb 501 KB