sem_res.adb 399 KB