Edits to AntLabMain for the P1 constructor