The following features are demonstrated in this example:
problem type: mixed integer linear programming (totally unimodular)
reading multiple input data sets
IN expression
logical operator AND
using a colon (:) to select members of a set
modeling if-then constraints using binary variables
creating an output data set from a subset of an index set