using System;
using System.Globalization;

internal static class Program
{
    private static void Main(string[] args)
    {
        var workshop = new ScheduledWorkshop("Paper repair", new DateOnly(2026, 11, 7), 8);
        Console.WriteLine($"{workshop.Title}: {workshop.Capacity} places");
        Console.WriteLine(workshop.Date.ToString("yyyy-MM-dd", CultureInfo.InvariantCulture));
    }
}

internal sealed record ScheduledWorkshop(string Title, DateOnly Date, int Capacity);