Course material for Introduction of Alloy Analyzer