print "@predefined\n";