sem_res.adb 476 KB