thinking machines lab 1