SWIMMER = anon_enum(29);
STYLE = anon_enum(29);
time = [|
38, 51, 28, 14, 42, 7, 20, 38, 57, 18, 22, 10, 10, 23, 52, 35, 39, 23, 2, 21, 52, 1, 23, 43, 29, 37, 1, 59, 20 |
32, 11, 57, 21, 43, 24, 48, 26, 58, 41, 27, 59, 15, 14, 46, 50, 43, 54, 51, 56, 2, 36, 50, 6, 20, 8, 38, 17, 3 |
24, 59, 13, 49, 57, 8, 25, 52, 1, 19, 27, 46, 59, 6, 43, 7, 46, 34, 13, 16, 35, 49, 39, 3, 1, 5, 53, 41, 3 |
53, 28, 17, 25, 43, 33, 9, 35, 13, 30, 47, 14, 7, 13, 22, 59, 56, 39, 20, 15, 44, 17, 46, 52, 23, 25, 24, 59, 59 |
59, 44, 40, 28, 14, 44, 0, 24, 6, 8, 23, 0, 43, 7, 23, 10, 50, 16, 7, 34, 34, 32, 58, 4, 41, 38, 57, 40, 27 |
6, 8, 7, 11, 33, 32, 47, 54, 22, 23, 36, 34, 43, 39, 21, 26, 34, 0, 34, 36, 46, 13, 2, 0, 4, 25, 54, 13, 38 |
26, 8, 14, 14, 25, 41, 59, 12, 50, 31, 38, 48, 51, 31, 3, 29, 36, 22, 38, 44, 14, 42, 28, 35, 12, 31, 6, 58, 50 |
21, 27, 1, 41, 44, 56, 52, 5, 27, 27, 43, 43, 19, 29, 10, 57, 54, 27, 24, 38, 32, 0, 56, 26, 56, 51, 12, 40, 2 |
38, 5, 7, 26, 8, 36, 32, 50, 41, 43, 23, 14, 58, 53, 31, 31, 23, 40, 51, 48, 48, 57, 51, 11, 38, 1, 2, 48, 36 |
48, 55, 16, 58, 48, 1, 1, 27, 53, 22, 36, 31, 32, 0, 18, 1, 52, 43, 25, 31, 5, 31, 54, 3, 54, 10, 55, 58, 16 |
37, 23, 4, 51, 33, 5, 21, 10, 47, 15, 32, 8, 59, 58, 5, 15, 28, 2, 19, 59, 58, 35, 18, 25, 2, 18, 19, 31, 6 |
51, 40, 32, 39, 38, 17, 39, 0, 10, 27, 56, 24, 49, 22, 30, 29, 41, 34, 6, 59, 15, 25, 47, 56, 51, 59, 48, 1, 0 |
47, 11, 4, 36, 31, 58, 54, 8, 40, 34, 18, 47, 15, 2, 19, 23, 53, 55, 32, 23, 51, 10, 48, 7, 35, 37, 39, 19, 34 |
47, 24, 34, 24, 28, 17, 45, 17, 1, 53, 34, 15, 40, 35, 32, 3, 32, 13, 20, 47, 19, 55, 7, 6, 2, 16, 32, 47, 11 |
58, 50, 21, 54, 21, 45, 29, 37, 37, 44, 50, 53, 7, 26, 26, 33, 20, 29, 32, 27, 46, 32, 4, 59, 47, 18, 3, 34, 48 |
16, 43, 27, 29, 28, 45, 52, 5, 34, 59, 40, 36, 23, 28, 48, 45, 52, 30, 34, 59, 32, 51, 20, 31, 22, 32, 2, 17, 24 |
41, 30, 53, 57, 2, 39, 45, 23, 49, 31, 46, 21, 22, 1, 26, 41, 1, 25, 16, 39, 32, 8, 42, 53, 47, 38, 28, 41, 54 |
25, 34, 49, 24, 23, 12, 59, 57, 6, 56, 35, 44, 19, 0, 7, 45, 15, 13, 11, 50, 22, 14, 27, 33, 1, 31, 22, 21, 50 |
24, 57, 21, 57, 57, 21, 48, 51, 41, 5, 14, 53, 42, 59, 36, 32, 7, 52, 59, 43, 43, 4, 38, 3, 5, 44, 31, 51, 29 |
46, 34, 54, 39, 51, 15, 12, 49, 59, 41, 29, 18, 16, 55, 18, 27, 57, 54, 25, 36, 25, 52, 22, 8, 11, 52, 0, 57, 57 |
0, 46, 33, 31, 53, 47, 24, 39, 44, 52, 0, 15, 38, 4, 21, 28, 54, 2, 11, 25, 15, 50, 36, 21, 56, 28, 13, 27, 4 |
46, 48, 29, 45, 51, 4, 11, 15, 25, 25, 47, 20, 38, 35, 32, 29, 36, 22, 57, 9, 53, 4, 35, 33, 51, 30, 9, 57, 18 |
57, 31, 0, 55, 4, 44, 3, 15, 23, 15, 54, 1, 48, 27, 31, 26, 19, 23, 11, 49, 34, 59, 32, 32, 50, 42, 36, 11, 2 |
0, 32, 39, 9, 42, 43, 28, 12, 11, 30, 45, 1, 50, 49, 34, 22, 16, 25, 7, 28, 25, 9, 25, 33, 50, 40, 6, 3, 57 |
52, 49, 44, 10, 28, 55, 35, 24, 20, 56, 35, 9, 36, 8, 23, 34, 48, 34, 47, 35, 17, 48, 38, 31, 23, 22, 31, 36, 11 |
48, 54, 12, 22, 24, 34, 40, 29, 16, 48, 19, 47, 24, 21, 12, 58, 18, 48, 35, 11, 40, 18, 11, 8, 6, 27, 13, 30, 51 |
18, 57, 46, 15, 52, 4, 34, 11, 24, 51, 58, 20, 35, 52, 22, 15, 56, 38, 44, 52, 41, 57, 38, 13, 30, 57, 4, 34, 22 |
28, 42, 10, 17, 46, 11, 8, 9, 57, 43, 16, 37, 6, 45, 12, 39, 41, 8, 49, 26, 57, 1, 4, 28, 36, 37, 18, 7, 47 |
44, 0, 21, 51, 16, 6, 24, 44, 3, 35, 5, 59, 30, 18, 43, 53, 38, 26, 9, 25, 18, 38, 2, 44, 12, 49, 27, 57, 19 |];