|
| 1 | +# This is an auto-generated file. |
| 2 | +# |
| 3 | +# Regenerating this file via `configlet sync` will: |
| 4 | +# - Recreate every `description` key/value pair |
| 5 | +# - Recreate every `reimplements` key/value pair, where they exist in problem-specifications |
| 6 | +# - Remove any `include = true` key/value pair (an omitted `include` key implies inclusion) |
| 7 | +# - Preserve any other key/value pair |
| 8 | +# |
| 9 | +# As user-added comments (using the # character) will be removed when this file |
| 10 | +# is regenerated, comments can be added via a `comment` key. |
| 11 | + |
| 12 | +[716dcc2b-8fe4-4fc9-8c48-cbe70d8e6b67] |
| 13 | +description = "shared birthday -> one birthdate" |
| 14 | + |
| 15 | +[f7b3eb26-bcfc-4c1e-a2de-af07afc33f45] |
| 16 | +description = "shared birthday -> two birthdates with same year, month, and day" |
| 17 | + |
| 18 | +[7193409a-6e16-4bcb-b4cc-9ffe55f79b25] |
| 19 | +description = "shared birthday -> two birthdates with same year and month, but different day" |
| 20 | + |
| 21 | +[d04db648-121b-4b72-93e8-d7d2dced4495] |
| 22 | +description = "shared birthday -> two birthdates with same month and day, but different year" |
| 23 | + |
| 24 | +[3c8bd0f0-14c6-4d4c-975a-4c636bfdc233] |
| 25 | +description = "shared birthday -> two birthdates with same year, but different month and day" |
| 26 | + |
| 27 | +[df5daba6-0879-4480-883c-e855c99cdaa3] |
| 28 | +description = "shared birthday -> two birthdates with different year, month, and day" |
| 29 | + |
| 30 | +[0c17b220-cbb9-4bd7-872f-373044c7b406] |
| 31 | +description = "shared birthday -> multiple birthdates without shared birthday" |
| 32 | + |
| 33 | +[966d6b0b-5c0a-4b8c-bc2d-64939ada49f8] |
| 34 | +description = "shared birthday -> multiple birthdates with one shared birthday" |
| 35 | + |
| 36 | +[b7937d28-403b-4500-acce-4d9fe3a9620d] |
| 37 | +description = "shared birthday -> multiple birthdates with more than one shared birthday" |
| 38 | + |
| 39 | +[70b38cea-d234-4697-b146-7d130cd4ee12] |
| 40 | +description = "random birthdates -> generate requested number of birthdates" |
| 41 | + |
| 42 | +[d9d5b7d3-5fea-4752-b9c1-3fcd176d1b03] |
| 43 | +description = "random birthdates -> years are not leap years" |
| 44 | + |
| 45 | +[d1074327-f68c-4c8a-b0ff-e3730d0f0521] |
| 46 | +description = "random birthdates -> months are random" |
| 47 | + |
| 48 | +[7df706b3-c3f5-471d-9563-23a4d0577940] |
| 49 | +description = "random birthdates -> days are random" |
| 50 | + |
| 51 | +[89a462a4-4265-4912-9506-fb027913f221] |
| 52 | +description = "estimated probability of at least one shared birthday -> for one person" |
| 53 | + |
| 54 | +[ec31c787-0ebb-4548-970c-5dcb4eadfb5f] |
| 55 | +description = "estimated probability of at least one shared birthday -> among ten people" |
| 56 | + |
| 57 | +[b548afac-a451-46a3-9bb0-cb1f60c48e2f] |
| 58 | +description = "estimated probability of at least one shared birthday -> among twenty-three people" |
| 59 | + |
| 60 | +[e43e6b9d-d77b-4f6c-a960-0fc0129a0bc5] |
| 61 | +description = "estimated probability of at least one shared birthday -> among seventy people" |
0 commit comments