by Bret J. Benesh, Dana C. Ernst, NĂ¡ndor Sieben
GAP code for computing feasible extended types.
Program output.