Pick the file you exported from the Boolder app. Any new problem IDs will be added to Wouter's ticks with today's timestamp.