This is the content of the contracts file.