/usr/lib/ats-anairiats-0.2.5/libats/SATS/ is in ats-lang-anairiats 0.2.5-0ubuntu1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats-anairiats-0.2.5/libats/SATS/fmatrix.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/freelst.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funarray_braun.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/fundeque_fingertree.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funheap_braun.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funmap_avltree.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funralist_nested.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funset_avltree.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/funset_listord.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/genarrays.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/gfarray.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/gflist.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/gflist_vt.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/gftree.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/hashtable_chain.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/hashtable_linprb.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/ilistp.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/imsetp.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/intinf.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/iterint.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/itreep.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/linbitvec.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/linmap_avltree.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/linqueue_arr.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/linqueue_lst.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/linstack_arr.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/optini.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/parworkshop.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/rarray.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/regexp.sats
/usr/lib/ats-anairiats-0.2.5/libats/SATS/vector.sats