(name 'ConfigurationOfMonticello2')