spec5: Print all recipes with unique IDs