sem_res.adb 400 KB