magnus/back_end/GAP/src/obj
