| Page | Date | Minor Edit | Revision Message | Actions |
|---|---|---|---|---|
| InternalSystem/SubmissionContent/S7835 r2 | 11/27/2022 1:37:37 PM | True | I thought that I would have to end the movie at a suitable time, and not on the final input. The submission movie time then turned out to be almost a minute longer than the final input. The actual time is around 49:56. | Diff |
| InternalSystem/SubmissionContent/S7835 r1 | 11/27/2022 12:58:59 PM | False | Auto-generated from Submission #7835 | Diff |