# 
# Dummy content to delete old contest definition
#