(:includeupload operators.html:) failed: Could not open http://www.cs.ubc.ca/labs/scl/sparco/uploads/Main/operators.html
