magnus/back_end/GAP/src
