GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
1 2 [1X11 [33X[0;0YMonoidal Categories[133X[101X 3 4 5
