cs263 Mechanize Project