"""100 KB Python sample: exactly 102,400 bytes of valid Python. Free sample from 99helpers.com/file-types/py A table of Collatz stopping times (how many steps n takes to reach 1 when you halve even numbers and turn odd n into 3n + 1), and a check of every entry. Run: python3 sample-100kb.py """ STEPS = ( 0, 1, 7, 2, 5, 8, 16, 3, 19, 6, 14, 9, 9, 17, 17, 4, 12, 20, 20, 7, 7, 15, 15, 10, 23, 10, 111, 18, 18, 18, 106, 5, 26, 13, 13, 21, 21, 21, 34, 8, 109, 8, 29, 16, 16, 16, 104, 11, 24, 24, 24, 11, 11, 112, 112, 19, 32, 19, 32, 19, 19, 107, 107, 6, 27, 27, 27, 14, 14, 14, 102, 22, 115, 22, 14, 22, 22, 35, 35, 9, 22, 110, 110, 9, 9, 30, 30, 17, 30, 17, 92, 17, 17, 105, 105, 12, 118, 25, 25, 25, 25, 25, 87, 12, 38, 12, 100, 113, 113, 113, 69, 20, 12, 33, 33, 20, 20, 33, 33, 20, 95, 20, 46, 108, 108, 108, 46, 7, 121, 28, 28, 28, 28, 28, 41, 15, 90, 15, 41, 15, 15, 103, 103, 23, 116, 116, 116, 23, 23, 15, 15, 23, 36, 23, 85, 36, 36, 36, 54, 10, 98, 23, 23, 111, 111, 111, 67, 10, 49, 10, 124, 31, 31, 31, 80, 18, 31, 31, 31, 18, 18, 93, 93, 18, 44, 18, 44, 106, 106, 106, 44, 13, 119, 119, 119, 26, 26, 26, 119, 26, 18, 26, 39, 26, 26, 88, 88, 13, 39, 39, 39, 13, 13, 101, 101, 114, 26, 114, 52, 114, 114, 70, 70, 21, 52, 13, 13, 34, 34, 34, 127, 21, 83, 21, 127, 34, 34, 34, 52, 21, 21, 96, 96, 21, 21, 47, 47, 109, 47, 109, 65, 109, 109, 47, 47, 8, 122, 122, 122, 29, 29, 29, 78, 29, 122, 29, 21, 29, 29, 42, 42, 16, 29, 91, 91, 16, 16, 42, 42, 16, 42, 16, 60, 104, 104, 104, 42, 24, 29, 117, 117, 117, 117, 117, 55, 24, 73, 24, 117, 16, 16, 16, 42, 24, 37, 37, 37, 24, 24, 86, 86, 37, 130, 37, 37, 37, 37, 55, 55, 11, 24, 99, 99, 24, 24, 24, 143, 112, 50, 112, 24, 112, 112, 68, 68, 11, 112, 50, 50, 11, 11, 125, 125, 32, 125, 32, 125, 32, 32, 81, 81, 19, 125, 32, 32, 32, 32, 32, 50, 19, 45, 19, 45, 94, 94, 94, 45, 19, 19, 45, 45, 19, 19, 45, 45, 107, 63, 107, 58, 107, 107, 45, 45, 14, 32, 120, 120, 120, 120, 120, 120, 27, 58, 27, 76, 27, 27, 120, 120, 27, 19, 19, 19, 27, 27, 40, 40, 27, 40, 27, 133, 89, 89, 89, 133, 14, 133, 40, 40, 40, 40, 40, 32, 14, 58, 14, 53, 102, 102, 102, 40, 115, 27, 27, 27, 115, 115, 53, 53, 115, 27, 115, 53, 71, 71, 71, 97, 22, 115, 53, 53, 14, 14, 14, 40, 35, 128, 35, 128, 35, 35, 128, 128, 22, 35, 84, 84, 22, 22, 128, 128, 35, 35, 35, 27, 35, 35, 53, 53, 22, 48, 22, 22, 97, 97, 97, 141, 22, 48, 22, 141, 48, 48, 48, 97, 110, 22, 48, 48, 110, 110, 66, 66, 110, 61, 110, 35, 48, 48, 48, 61, 9, 35, 123, 123, 123, 123, 123, 61, 30, 123, 30, 123, 30, 30, 79, 79, 30, 30, 123, 123, 30, 30, 22, 22, 30, 22, 30, 48, 43, 43, 43, 136, 17, 43, 30, 30, 92, 92, 92, 43, 17, 136, 17, 30, 43, 43, 43, 87, 17, 43, 43, 43, 17, 17, 61, 61, 105, 56, 105, 30, 105, 105, 43, 43, 25, 30, 30, 30, 118, 118, 118, 30, 118, 56, 118, 118, 118, 118, 56, 56, 25, 74, 74, 74, 25, 25, 118, 118, 17, 56, 17, 69, 17, 17, 43, 43, 25, 131, 38, 38, 38, 38, 38, 69, 25, 131, 25, 131, 87, 87, 87, 131, 38, 25, 131, 131, 38, 38, 38, 38, 38, 30, 38, 30, 56, 56, 56, 131, 12, 51, 25, 25, 100, 100, 100, 38, 25, 144, 25, 100, 25, 25, 144, 144, 113, 51, 51, 51, 113, 113, 25, 25, 113, 51, 113, 144, 69, 69, 69, 95, 12, 64, 113, 113, 51, 51, 51, 64, 12, 64, 12, 38, 126, 126, 126, 38, 33, 126, 126, 126, 33, 33, 126, 126, 33, 126, 33, 64, 82, 82, 82, 170, 20, 33, 126, 126, 33, 33, 33, 64, 33, 25, 33, 25, 33, 33, 51, 51, 20, 46, 46, 46, 20, 20, 46, 46, 95, 33, 95, 139, 95, 95, 46, 46, 20, 139, 20, 20, 46, 46, 46, 95, 20, 90, 20, 46, 46, 46, 46, 139, 108, 20, 64, 64, 108, 108, 59, 59, 108, 33, 108, 152, 46, 46, 46, 59, 15, 33, 33, 33, 121, 121, 121, 152, 121, 33, 121, 59, 121, 121, 121, 121, 28, 121, 59, 59, 28, 28, 77, 77, 28, 77, 28, 103, 121, 121, 121, 72, 28, 59, 20, 20, 20, 20, 20, 72, 28, 46, 28, 134, 41, 41, 41, 134, 28, 41, 41, 41, 28, 28, 134, 134, 90, 134, 90, 41, 90, 90, 134, 134, 15, 28, 134, 134, 41, 41, 41, 85, 41, 41, 41, 41, 41, 41, 33, 33, 15, 59, 59, 59, 15, 15, 54, 54, 103, 28, 103, 147, 103, 103, 41, 41, 116, 147, 28, 28, 28, 28, 28, 178, 116, 147, 116, 28, 54, 54, 54, 147, 116, 116, 28, 28, 116, 116, 54, 54, 72, 147, 72, 46, 72, 72, 98, 98, 23, 67, 116, 116, 54, 54, 54, 116, 15, 67, 15, 54, 15, 15, 41, 41, 36, 129, 129, 129, 36, 36, 129, 129, 36, 129, 36, 67, 129, 129, 129, 116, 23, 129, 36, 36, 85, 85, 85, 129, 23, 173, 23, 85, 129, 129, 129, 36, 36, 36, 36, 36, 36, 36, 28, 28, 36, 28, 36, 28, 54, 54, 54, 129, 23, 49, 49, 49, 23, 23, 23, 142, 98, 49, 98, 36, 98, 98, 142, 142, 23, 98, 49, 49, 23, 23, 142, 142, 49, 23, 49, 36, 49, 49, 98, 98, 111, 93, 23, 23, 49, 49, 49, 49, 111, 142, 111, 41, 67, 67, 67, 93, 111, 111, 62, 62, 111, 111, 36, 36, 49, 155, 49, 62, 49, 49, 62, 62, 10, 36, 36, 36, 124, 124, 124, 36, 124, 155, 124, 124, 124, 124, 62, 62, 31, 124, 124, 124, 31, 31, 124, 124, 31, 62, 31, 93, 80, 80, 80, 168, 31, 80, 31, 31, 124, 124, 124, 75, 31, 75, 31, 62, 23, 23, 23, 168, 31, 23, 23, 23, 31, 31, 49, 49, 44, 137, 44, 137, 44, 44, 137, 137, 18, 44, 44, 44, 31, 31, 31, 75, 93, 137, 93, 31, 93, 93, 44, 44, 18, 93, 137, 137, 18, 18, 31, 31, 44, 137, 44, 93, 44, 44, 88, 88, 18, 44, 44, 44, 44, 44, 44, 137, 18, 36, 18, 36, 62, 62, 62, 62, 106, 18, 57, 57, 106, 106, 31, 31, 106, 150, 106, 57, 44, 44, 44, 57, 26, 150, 31, 31, 31, 31, 31, 57, 119, 181, 119, 150, 119, 119, 31, 31, 119, 57, 57, 57, 119, 119, 119, 119, 119, 31, 119, 57, 57, 57, 57, 88, 26, 150, 75, 75, 75, 75, 75, 49, 26, 101, 26, 119, 119, 119, 119, 70, 18, 57, 57, 57, 18, 18, 70, 70, 18, 57, 18, 70, 44, 44, 44, 163, 26, 132, 132, 132, 39, 39, 39, 132, 39, 132, 39, 132, 39, 39, 70, 70, 26, 132, 132, 132, 26, 26, 132, 132, 88, 39, 88, 70, 88, 88, 132, 132, 39, 176, 26, 26, 132, 132, 132, 88, 39, 39, 39, 83, 39, 39, 39, 176, 39, 39, 31, 31, 39, 39, 31, 31, 57, 31, 57, 83, 57, 57, 132, 132, 13, 52, 52, 52, 26, 26, 26, 145, 101, 145, 101, 52, 101, 101, 39, 39, 26, 101, 145, 145, 26, 26, 101, 101, 26, 52, 26, 176, 145, 145, 145, 101, 114, 26, 52, 52, 52, 52, 52, 145, 114, 101, 114, 52, 26, 26, 26, 52, 114, 52, 52, 52, 114, 114, 145, 145, 70, 44, 70, 26, 70, 70, 96, 96, 13, 114, 65, 65, 114, 114, 114, 158, 52, 39, 52, 114, 52, 52, 65, 65, 13, 52, 65, 65, 13, 13, 39, 39, 127, 39, 127, 114, 127, 127, 39, 39, 34, 158, 127, 127, 127, 127, 127, 96, 34, 65, 34, 65, 127, 127, 127, 114, 34, 34, 127, 127, 34, 34, 65, 65, 83, 96, 83, 127, 83, 83, 171, 171, 21, 83, 34, 34, 127, 127, 127, 34, 34, 78, 34, 127, 34, 34, 65, 65, 34, 26, 26, 26, 34, 34, 26, 26, 34, 26, 34, 78, 52, 52, 52, 127, 21, 140, 47, 47, 47, 47, 47, 52, 21, 140, 21, 140, 47, 47, 47, 140, 96, 34, 34, 34, 96, 96, 140, 140, 96, 34, 96, 140, 47, 47, 47, 171, 21, 96, 140, 140, 21, 21, 21, 96, 47, 34, 47, 140, 47, 47, 96, 96, 21, 47, 91, 91, 21, 21, 47, 47, 47, 47, 47, 47, 47, 47, 140, 140, 109, 39, 21, 21, 65, 65, 65, 91, 109, 65, 109, 140, 60, 60, 60, 153, 109, 109, 34, 34, 109, 109, 153, 153, 47, 60, 47, 60, 47, 47, 60, 60, 16, 153, 34, 34, 34, 34, 34, 109, 122, 60, 122, 34, 122, 122, 153, 153, 122, 122, 34, 34, 122, 122, 60, 60, 122, 60, 122, 153, 122, 122, 122, 60, 29, 34, 122, 122, 60, 60, 60, 60, 29, 91, 29, 122, 78, 78, 78, 166, 29, 78, 78, 78, 29, 29, 104, 104, 122, 122, 122, 73, 122, 122, 73, 73, 29, 60, 60, 60, 21, 21, 21, 166, 21, 73, 21, 21, 21, 21, 73, 73, 29, 47, 47, 47, 29, 29, 135, 135, 42, 135, 42, 73, 42, 42, 135, 135, 29, 135, 42, 42, 42, 42, 42, 104, 29, 73, 29, 73, 135, 135, 135, 135, 91, 29, 135, 135, 91, 91, 42, 42, 91, 73, 91, 42, 135, 135, 135, 73, 16, 179, 29, 29, 135, 135, 135, 42, 42, 91, 42, 135, 42, 42, 86, 86, 42, 42, 42, 42, 42, 42, 42, 42, 42, 34, 42, 135, 34, 34, 34, 179, 16, 34, 60, 60, 60, 60, 60, 60, 16, 135, 16, 148, 55, 55, 55, 148, 104, 29, 29, 29, 104, 104, 148, 148, 104, 55, 104, 55, 42, 42, 42, 55, 117, 104, 148, 148, 29, 29, 29, 104, 29, 104, 29, 55, 29, 29, 179, 179, 117, 148, 148, 148, 117, 117, 29, 29, 55, 55, 55, 42, 55, 55, 148, 148, 117, 104, 117, 117, 29, 29, 29, 148, 117, 55, 117, 55, 55, 55, 55, 86, 73, 117, 148, 148, 73, 73, 47, 47, 73, 29, 73, 47, 99, 99, 99, 99, 24, 117, 68, 68, 117, 117, 117, 68, 55, 161, 55, 42, 55, 55, 117, 117, 16, 55, 68, 68, 16, 16, 55, 55, 16, 68, 16, 161, 42, 42, 42, 161, 37, 42, 130, 130, 130, 130, 130, 68, 37, 42, 37, 130, 130, 130, 130, 161, 37, 130, 130, 130, 37, 37, 68, 68, 130, 68, 130, 130, 130, 130, 117, 117, 24, 37, 130, 130, 37, 37, 37, 68, 86, 68, 86, 37, 86, 86, 130, 130, 24, 86, 174, 174, 24, 24, 86, 86, 130, 37, 130, 86, 130, 130, 37, 37, 37, 81, 37, 37, 37, 37, 37, 174, 37, 68, 37, 68, 29, 29, 29, 130, 37, 37, 29, 29, 37, 37, 29, 29, 55, 81, 55, 174, 55, 55, 130, 130, 24, 143, 50, 50, 50, 50, 50, 50, 24, 55, 24, 143, 24, 24, 143, 143, 99, 50, 50, 50, 99, 99, 37, 37, 99, 37, 99, 81, 143, 143, 143, 174, 24, 37, 99, 99, 50, 50, 50, 81, 24, 174, 24, 81, 143, 143, 143, 99, 50, 24, 24, 24, 50, 50, 37, 37, 50, 143, 50, 143, 99, 99, 99, 50, 112, 50, 94, 94, 24, 24, 24, 50, 50, 50, 50, 50, 50, 50, 50, 50, 112, 50, 143, 143, 112, 112, 42, 42, 68, 24, 68, 42, 68, 68, 94, 94, 112, 68, 112, 112, 63, 63, 63, 156, 112, 156, 112, 156, 37, 37, 37, 63, 50, 112, 156, 156, 50, 50, 63, 63, 50, 63, 50, 156, 63, 63, 63, 156, 11, 156, 37, 37, 37, 37, 37, 37, 125, 112, 125, 37, 125, 125, 37, 37, 125, 125, 156, 156, 125, 125, 125, 125, 125, 37, 125, 94, 63, 63, 63, 50, 32, 63, 125, 125, 125, 125, 125, 112, 32, 63, 32, 37, 125, 125, 125, 107, 32, 63, 63, 63, 32, 32, 94, 94, 81, 125, 81, 156, 81, 81, 169, 169, 32, 81, 81, 81, 32, 32, 32, 81, 125, 107, 125, 32, 125, 125, 76, 76, 32, 125, 76, 76, 32, 32, 63, 63, 24, 63, 24, 76, 24, 24, 169, 169, 32, 76, 24, 24, 24, 24, 24, 107, 32, 76, 32, 169, 50, 50, 50, 125, 45, 32, 138, 138, 45, 45, 138, 138, 45, 76, 45, 50, 138, 138, 138, 76, 19, 138, 45, 45, 45, 45, 45, 138, 32, 107, 32, 76, 32, 32, 76, 76, 94, 138, 138, 138, 94, 94, 32, 32, 94, 138, 94, 50, 45, 45, 45, 169, 19, 76, 94, 94, 138, 138, 138, 120, 19, 76, 19, 94, 32, 32, 32, 182, 45, 138, 138, 138, 45, 45, 94, 94, 45, 138, 45, 45, 89, 89, 89, 138, 19, 45, 45, 45, 45, 45, 45, 76, 45, 45, 45, 37, 45, 45, 138, 138, 19, 37, 37, 37, 19, 19, 37, 37, 63, 63, 63, 89, 63, 63, 63, 63, 107, 138, 19, 19, 58, 58, 58, 151, 107, 151, 107, 58, 32, 32, 32, 120, 107, 107, 151, 151, 107, 107, 58, 58, 45, 58, 45, 151, 45, 45, 58, 58, 27, 107, 151, 151, 32, 32, 32, 151, 32, 107, 32, 107, 32, 32, 58, 58, 120, 32, 182, 182, 120, 120, 151, 151, 120, 151, 120, 107, 32, 32, 32, 89, 120, 58, 58, 58, 58, 58, 58, 151, 120, 151, 120, 107, 120, 120, 120, 58, 120, 32, 32, 32, 120, 120, 58, 58, 58, 58, 58, 58, 58, 58, 89, 89, 27, 120, 151, 151, 76, 76, 76, 164, 76, 50, 76, 76, 76, 76, 50, 50, 27, 102, 102, 102, 27, 27, 120, 120, 120, 71, 120, 32, 120, 120, 71, 71, 19, 164, 58, 58, 58, 58, 58, 71, 19, 120, 19, 164, 71, 71, 71, 120, 19, 19, 58, 58, 19, 19, 71, 71, 45, 164, 45, 120, 45, 45, 164, 164, 27, 45, 133, 133, 133, 133, 133, 133, 40, 71, 40, 45, 40, 40, 133, 133, 40, 133, 133, 133, 40, 40, 133, 133, 40, 133, 40, 102, 71, 71, 71, 208, 27, 71, 133, 133, 133, 133, 133, 133, 27, 120, 27, 71, 133, 133, 133, 45, 89, 40, 40, 40, 89, 89, 71, 71, 89, 40, 89, 102, 133, 133, 133, 71, 40, 89, 177, 177, 27, 27, 27, 63, 133, 89, 133, 40, 133, 133, 89, 89, 40, 133, 40, 40, 40, 40, 84, 84, 40, 40, 40, 133, 40, 40, 177, 177, 40, 71, 40, 40, 32, 32, 32, 84, 40, 133, 40, 177, 32, 32, 32, 177, 58, 40, 32, 32, 58, 58, 84, 84, 58, 177, 58, 58, 133, 133, 133, 115, 14, 146, 53, 53, 53, 53, 53, 146, 27, 53, 27, 53, 27, 27, 146, 146, 102, 27, 146, 146, 102, 102, 53, 53, 102, 53, 102, 146, 40, 40, 40, 53, 27, 40, 102, 102, 146, 146, 146, 146, 27, 177, 27, 102, 102, 102, 102, 84, 27, 53, 53, 53, 27, 27, 177, 177, 146, 84, 146, 102, 146, 146, 102, 102, 115, 27, 27, 27, 53, 53, 53, 190, 53, 40, 53, 53, 53, 53, 146, 146, 115, 102, 102, 102, 115, 115, 53, 53, 27, 97, 27, 146, 27, 27, 53, 53, 115, 53, 53, 53, 53, 53, 53, 84, 115, 53, 115, 45, 146, 146, 146, 45, 71, 115, 45, 45, 71, 71, 27, 27, 71, 45, 71, 71, 97, 97, 97, 97, 14, 71, 115, 115, 66, 66, 66, 27, 115, 159, 115, 66, 115, 115, 159, 159, 53, 40, 40, 40, 53, 53, 115, 115, 53, 159, 53, 97, 66, 66, 66, 66, 14, 66, 53, 53, 66, 66, 66, 128, 14, 159, 14, 115, 40, 40, 40, 159, 128, 40, 40, 40, 128, 128, 115, 115, 128, 40, 128, 66, 40, 40, 40, 172, 35, 128, 159, 159, 128, 128, 128, 159, 128, 128, 128, 40, 128, 128, 97, 97, 35, 66, 66, 66, 35, 35, 66, 66, 128, 128, 128, 159, 128, 128, 115, 115, 35, 66, 35, 35, 128, 128, 128, 66, 35, 110, 35, 66, 66, 66, 66, 66, 84, 35, 97, 97, 84, 84, 128, 128, 84, 159, 84, 58, 172, 172, 172, 159, 22, 84, 84, 84, 35, 35, 35, 58, 128, 84, 128, 110, 128, 128, 35, 35, 35, 128, 79, 79, 35, 35, 128, 128, 35, 79, 35, 172, 66, 66, 66, 172, 35, 66, 27, 27, 27, 27, 27, 128, 35, 172, 35, 79, 27, 27, 27, 79, 35, 27, 27, 27, 35, 35, 79, 79, 53, 172, 53, 53, 53, 53, 128, 128, 22, 35, 141, 141, 48, 48, 48, 128, 48, 141, 48, 48, 48, 48, 53, 53, 22, 141, 141, 141, 22, 22, 141, 141, 48, 48, 48, 141, 48, 48, 141, 141, 97, 110, 35, 35, 35, 35, 35, 216, 97, 79, 97, 141, 141, 141, 141, 172, 97, 97, 35, 35, 97, 97, 141, 141, 48, 53, 48, 79, 48, 48, 172, 172, 22, 79, 97, 97, 141, 141, 141, 97, 22, 123, 22, 141, 22, 22, 97, 97, 48, 35, 35, 35, 48, 48, 141, 141, 48, 141, 48, 48, 97, 97, 97, 48, 22, 141, 48, 48, 92, 92, 92, 141, 22, 141, 22, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 40, 48, 40, 141, 141, 141, 154, 110, 40, 40, 40, 22, 22, 22, 92, 66, 40, 66, 66, 66, 66, 92, 92, 110, 66, 66, 66, 110, 110, 141, 141, 61, 22, 61, 154, 61, 61, 154, 154, 110, 154, 110, 110, 35, 35, 35, 61, 110, 123, 110, 154, 154, 154, 154, 92, 48, 110, 61, 61, 48, 48, 61, 61, 48, 154, 48, 61, 61, 61, 61, 154, 17, 110, 154, 154, 35, 35, 35, 154, 35, 154, 35, 35, 35, 35, 110, 110, 123, 35, 61, 61, 123, 123, 35, 35, 123, 185, 123, 136, 154, 154, 154, 92, 123, 154, 123, 123, 35, 35, 35, 35, 123, 92, 123, 61, 61, 61, 61, 48, 123, 61, 61, 61, 123, 123, 154, 154, 123, 110, 123, 110, 123, 123, 61, 61, 30, 35, 35, 35, 123, 123, 123, 105, 61, 61, 61, 123, 61, 61, 61, 61, 30, 61, 92, 92, 30, 30, 123, 123, 79, 154, 79, 53, 79, 79, 167, 167, 30, 53, 79, 79, 79, 79, 79, 198, 30, 53, 30, 79, 105, 105, 105, 61, 123, 30, 123, 123, 123, 123, 74, 74, 123, 35, 123, 74, 74, 74, 74, 167, 30, 167, 61, 61, 61, 61, 61, 48, 22, 74, 22, 123, 22, 22, 167, 167, 22, 74, 74, 74, 22, 22, 22, 22, 22, 61, 22, 105, 74, 74, 74, 167, 30, 167, 48, 48, 48, 48, 48, 123, 30, 167, 30, 48, 136, 136, 136, 48, 43, 136, 136, 136, 43, 43, 74, 74, 43, 48, 43, 48, 136, 136, 136, 74, 30, 136, 136, 136, 43, 43, 43, 136, 43, 136, 43, 136, 43, 43, 105, 105, 30, 74, 74, 74, 30, 30, 74, 74, 136, 136, 136, 136, 136, 136, 136, 136, 92, 123, 30, 30, 136, 136, 136, 74, 92, 48, 92, 74, 43, 43, 43, 167, 92, 92, 74, 74, 92, 92, 43, 43, 136, 105, 136, 118, 136, 136, 74, 74, 17, 92, 180, 180, 30, 30, 30, 180, 136, 66, 136, 92, 136, 136, 43, 43, 43, 136, 92, 92, 43, 43, 136, 136, 43, 43, 43, 92, 87, 87, 87, 136, 43, 43, 43, 43, 43, 43, 43, 87, 43, 180, 43, 74, 43, 43, 43, 136, 43, 35, 35, 35, 43, 43, 136, 136, 35, 180, 35, 43, 35, 35, 180, 180, 17, 43, 35, 35, 61, 61, 61, 118, 61, 87, 61, 61, 61, 61, 61, 61, 17, 136, 136, 136, 17, 17, 149, 149, 56, 56, 56, 149, 56, 56, 149, 149, 105, 56, 30, 30, 30, 30, 30, 118, 105, 149, 105, 149, 149, 149, 149, 149, 105, 105, 56, 56, 105, 105, 56, 56, 43, 149, 43, 56, 43, 43, 56, 56, 118, 43, 105, 105, 149, 149, 149, 105, 30, 149, 30, 149, 30, 30, 105, 105, 30, 105, 105, 105, 30, 30, 56, 56, 30, 56, 30, 87, 180, 180, 180, 131, 118, 87, 149, 149, 149, 149, 149, 56, 118, 105, 118, 131, 30, 30, 30, 87, 56, 56, 56, 56, 56, 56, 43, 43, 56, 56, 56, 149, 149, 149, 149, 79, 118, 105, 105, 105, 118, 118, 118, 56, 30, 56, 30, 100, 30, 30, 149, 149, 118, 30, 56, 56, 118, 118, 56, 56, 56, 56, 56, 56, 56, 56, 87, 87, 74, 56, 118, 118, 149, 149, 149, 48, 74, 48, 74, 162, 48, 48, 48, 193, 74, 74, 30, 30, 74, 74, 48, 48, 100, 74, 100, 74, 100, 100, 100, 100, 25, 74, 118, 118, 69, 69, 69, 149, 118, 30, 118, 69, 118, 118, 69, 69, 56, 118, 162, 162, 56, 56, 43, 43, 56, 43, 56, 69, 118, 118, 118, 69, 17, 162, 56, 56, 69, 69, 69, 118, 17, 69, 17, 56, 56, 56, 56, 100, 17, 69, 69, 69, 17, 17, 162, 162, 43, 118, 43, 162, 43, 43, 162, 162, 38, 43, 43, 43, 131, 131, 131, 118, 131, 118, 131, 131, 131, 131, 69, 69, 38, 43, 43, 43, 38, 38, 131, 131, 131, 162, 131, 100, 131, 131, 162, 162, 38, 131, 131, 131, 131, 131, 131, 43, 38, 100, 38, 69, 69, 69, 69, 206, 131, 38, 69, 69, 131, 131, 131, 131, 131, 162, 131, 131, 118, 118, 118, 237, 25, 69, 38, 38, 131, 131, 131, 43, 38, 69, 38, 131, 38, 38, 69, 69, 87, 69, 69, 69, 87, 87, 38, 38, 87, 100, 87, 113, 131, 131, 131, 69, 25, 162, 87, 87, 175, 175, 175, 61, 25, 162, 25, 61, 87, 87, 87, 87, 131, 38, 38, 38, 131, 131, 87, 87, 131, 113, 131, 113, 38, 38, 38, 87, 38, 131, 82, 82, 38, 38, 38, 131, 38, 131, 38, 82, 38, 38, 175, 175, 38, 69, 69, 69, 38, 38, 69, 69, 30, 30, 30, 82, 30, 30, 131, 131, 38, 175, 38, 38, 30, 30, 30, 175, 38, 82, 38, 30, 30, 30, 30, 175, 56, 38, 82, 82, 56, 56, 175, 175, 56, 56, 56, 131, 131, 131, 131, 113, 25, 38, 144, 144, 51, 51, 51, 144, 51, 131, 51, 144, 51, 51, 51, 51, 25, 51, 56, 56, 25, 25, 144, 144, 25, 144, 25, 82, 144, 144, 144, 113, 100, 51, 51, 51, 51, 51, 51, 144, 100, 144, 100, 51, 38, 38, 38, 51, 100, 38, 38, 38, 100, 100, 82, 82, 144, 144, 144, 144, 144, 144, 175, 175, 25, 100, 38, 38, 100, 100, 100, 82, 51, 144, 51, 100, 51, 51, 82, 82, 25, 51, 175, 175, 25, 25, 82, 82, 144, 100, 144, 82, 144, 144, 100, 100, 51, 126, 25, 25, 25, 25, 25, 175, 51, 100, 51, 188, 38, 38, 38, 74, 51, 51, 144, 144, 51, 51, 144, 144, 100, 51, 100, 51, 100, 100, 51, 51, 113, 144, 51, 51, 95, 95, 95, 51, 25, 144, 25, 95, 25, 25, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 82, 51, 51, 51, 188, 113, 43, 51, 51, 144, 144, 144, 43, 113, 157, 113, 188, 43, 43, 43, 43, 69, 25, 25, 25, 69, 69, 43, 43, 69, 69, 69, 69, 95, 95, 95, 95, 113, 69, 69, 69, 113, 113, 113, 144, 64, 144, 64, 25, 64, 64, 157, 157, 113, 64, 157, 157, 113, 113, 157, 157, 38, 113, 38, 64, 38, 38, 64, 64, 51, 126, 113, 113, 157, 157, 157, 157, 51, 95, 51, 157, 64, 64, 64, 64, 51, 51, 64, 64, 51, 51, 157, 157, 64, 64, 64, 126, 64, 64, 157, 157, 12, 113, 157, 157, 38, 38, 38, 157, 38, 157, 38, 38, 38, 38, 38, 38, 126, 38, 113, 113, 126, 126, 38, 38, 126, 64, 126, 95, 38, 38, 38, 170, 126, 188, 126, 126, 157, 157, 157, 95, 126, 95, 126, 157, 126, 126, 126, 64, 126, 38, 38, 38, 126, 126, 95, 95, 64, 64, 64, 64, 64, 64, 51, 51, 33, 64, 64, 64, 126, 126, 126, 113, 126, 157, 126, 126, 126, 126, 113, 113, 33, 126, 64, 64, 33, 33, 38, 38, 126, 38, 126, 64, 126, 126, 108, 108, 33, 64, 64, 64, 64, 64, 64, 64, 33, 64, 33, 64, 95, 95, 95, 108, 82, 33, 126, 126, 82, 82, 157, 157, 82, 56, 82, 157, 170, 170, 170, 157, 33, 56, 82, 82, 82, 82, 82, 38, 33, 201, 33, 56, 33, 33, 82, 82, 126, 108, 108, 108, 126, 126, 33, 33, 126, 126, 126, 82, 77, 77, 77, 201, 33, 38, 126, 126, 77, 77, 77, 126, 33, 170, 33, 126, 64, 64, 64, 170, 25, 64, 64, 64, 25, 25, 77, 77, 25, 126, 25, 126, 170, 170, 170, 126, 33, 77, 77, 77, 25, 25, 25, 77, 25, 25, 25, 64, 25, 25, 108, 108, 33, 77, 77, 77, 33, 33, 170, 170, 51, 51, 51, 126, 51, 51, 126, 126, 46, 170, 33, 33, 139, 139, 139, 170, 46, 51, 46, 126, 139, 139, 139, 64, 46, 46, 77, 77, 46, 46, 51, 51, 139, 51, 139, 183, 139, 139, 77, 77, 20, 139, 139, 139, 46, 46, 46, 170, 46, 139, 46, 139, 46, 46, 139, 139, 33, 46, 108, 108, 33, 33, 77, 77, 33, 77, 33, 214, 77, 77, 77, 77, 95, 139, 139, 139, 139, 139, 139, 170, 95, 139, 95, 126, 33, 33, 33, 100, 95, 139, 139, 139, 95, 95, 51, 51, 46, 77, 46, 46, 46, 46, 170, 170, 20, 95, 77, 77, 95, 95, 95, 77, 139, 46, 139, 95, 139, 139, 121, 121, 20, 139, 77, 77, 20, 20, 95, 95, 33, 183, 33, 95, 33, 33, 183, 183, 46, 69, 139, 139, 139, 139, 139, 95, 46, 46, 46, 46, 95, 95, 95, 46, 46, 46, 139, 139, 46, 46, 46, 46, 90, 95, 90, 139, 90, 90, 139, 139, 20, 46, 46, 46, 46, 46, 46, 46, 46, 90, 46, 183, 46, 46, 77, 77, 46, 46, 46, 46, 46, 46, 38, 38, 46, 38, 46, 90, 139, 139, 139, 152, 20, 183, 38, 38, 38, 38, 38, 90, 20, 183, 20, 90, 38, 38, 38, 38, 64, 64, 64, 64, 64, 64, 90, 90, 64, 64, 64, 183, 64, 64, 64, 183, 108, 139, 139, 139, 20, 20, 20, 183, 59, 152, 59, 59, 59, 59, 152, 152, 108, 59, 152, 152, 108, 108, 59, 59, 33, 33, 33, 59, 33, 33, 121, 121, 108, 152, 108, 108, 152, 152, 152, 90, 108, 152, 108, 121, 59, 59, 59, 170, 46, 108, 59, 59, 46, 46, 152, 152, 46, 59, 46, 121, 59, 59, 59, 152, 28, 46, 108, 108, 152, 152, 152, 90, 33, 108, 33, 152, 33, 33, 152, 152, 33, 33, 108, 108, 33, 33, 108, 108, 33, 108, 33, 90, 59, 59, 59, 90, 121, 59, 33, 33, 183, 183, 183, 59, 121, 134, 121, 33, 152, 152, 152, 90, 121, 152, 152, 152, 121, 121, 108, 108, 33, 134, 33, 33, 33, 33, 90, 90, 121, 59, 59, 59, 59, 59, 59, 46, 59, 46, 59, 59, 59, 59, 152, 152, 121, 152, 152, 152, 121, 121, 108, 108, 121, 108, 121, 82, 121, 121, 59, 59, 121, 59, 33, 33, 33, 33, 33, 59, 121, 152, 121, 103, 59, 59, 59, 103, 59, 121, 59, 59, 59, 59, 59, 59, 59, 59, 59, 59, 90, 90, 90, 152, 28, 59, 121, 121, 152, 152, 152, 59, 77, 51, 77, 152, 77, 77, 165, 165, 77, 51, 51, 51, 77, 77, 77, 77, 77, 33, 77, 196, 51, 51, 51, 103, 28, 77, 103, 103, 103, 103, 103, 59, 28, 103, 28, 77, 121, 121, 121, 77, 121, 72, 72, 72, 121, 121, 33, 33, 121, 72, 121, 165, 72, 72, 72, 165, 20, 121, 165, 165, 59, 59, 59, 121, 59, 46, 59, 46, 59, 59, 72, 72, 20, 121, 121, 121, 20, 20, 165, 165, 72, 59, 72, 103, 72, 72, 121, 121, 20, 72, 20, 20, 59, 59, 59, 165, 20, 103, 20, 165, 72, 72, 72, 165, 46, 20, 165, 165, 46, 46, 121, 121, 46, 165, 46, 121, 165, 165, 165, 90, 28, 46, 46, 46, 134, 134, 134, 46, 134, 121, 134, 121, 134, 134, 134, 134, 41, 134, 72, 72, 41, 41, 46, 46, 41, 46, 41, 178, 134, 134, 134, 72, 41, 165, 134, 134, 134, 134, 134, 103, 41, 165, 41, 134, 134, 134, 134, 121, 41, 134, 134, 134, 41, 41, 103, 103, 72, 72, 72, 72, 72, 72, 209, 209, 28, 41, 72, 72, 134, 134, 134, 196, 134, 134, 134, 134, 134, 134, 134, 134, 28, 121, 121, 121, 28, 28, 72, 72, 134, 41, 134, 72, 134, 134, 46, 46, 90, 72, 41, 41, 41, 41, 41, 165, 90, 72, 90, 72, 72, 72, 72, 72, 90, 90, 41, 41, 90, 90, 103, 103, 134, 116, 134, 165, 134, 134, 72, 72, 41, 165, 90, 90, 178, 178, 178, 90, 28, 64, 28, 178, 28, 28, 64, 64, 134, 90, 90, 90, 134, 134, 41, 41, 134, 41, 134, 64, 90, 90, 90, 90, 41, 116, 134, 134, 41, 41, 41, 116, 41, 90, 41, 134, 85, 85, 85, 134, 41, 41, 41, 41, 41, 41, 134, 134, 41, 85, 41, 85, 178, 178, 178, 85, 41, 72, 72, 72, 41, 41, 41, 134, 33, 72, 33, 33, 33, 33, 85, 85, 41, 33, 134, 134, 41, 41, 178, 178, 33, 41, 33, 85, 33, 33, 178, 178, 59, 85, 41, 41, 33, 33, 33, 72, 59, 178, 59, 116, 85, 85, 85, 85, 59, 59, 178, 178, 59, 59, 59, 59, 134, 134, 134, 59, 134, 134, 116, 116, 15, 41, 147, 147, 54, 54, 54, 147, 54, 147, 54, 54, 54, 54, 147, 147, 28, 54, 54, 54, 28, 28, 54, 54, 28, 59, 28, 116, 147, 147, 147, 90, 103, 147, 28, 28, 147, 147, 147, 147, 103, 116, 103, 54, 54, 54, 54, 178, 103, 54, 54, 54, 103, 103, 147, 147, 41, 54, 41, 116, 41, 41, 54, 54, 28, 41, 41, 41, 103, 103, 103, 72, 147, 85, 147, 103, 147, 147, 147, 147, 28, 147, 178, 178, 28, 28, 103, 103, 103, 41, 103, 134, 103, 103, 85, 85, 28, 147, 54, 54, 54, 54, 54, 59, 28, 85, 28, 54, 178, 178, 178, 129, 147, 28, 85, 85, 147, 147, 103, 103, 147, 85, 147, 54, 103, 103, 103, 85, 116, 129, 28, 28, 28, 28, 28, 85, 54, 178, 54, 103, 54, 54, 191, 191, 54, 41, 41, 41, 54, 54, 54, 54, 54, 147, 54, 103, 147, 147, 147, 77, 116, 54, 103, 103, 103, 103, 103, 77, 116, 54, 116, 54, 54, 54, 54, 147, 28, 98, 98, 98, 28, 28, 147, 147, 28, 98, 28, 147, 54, 54, 54, 98, 116, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 85, 85, 116, 54, 54, 54, 116, 116, 46, 46, 147, 54, 147, 46, 147, 147, 46, 46, 72, 160, 116, 116, 46, 46, 46, 191, 72, 46, 72, 98, 28, 28, 28, 191, 72, 72, 46, 46, 72, 72, 72, 72, 98, 72, 98, 129, 98, 98, 98, 98, 15, 72, 72, 72, 116, 116, 116, 72, 67, 147, 67, 147, 67, 67, 28, 28, 116, 67, 160, 160, 116, 116, 67, 67, 116, 160, 116, 72, 160, 160, 160, 67, 54, 116, 41, 41, 41, 41, 41, 41, 54, 67, 54, 41, 116, 116, 116, 67, 54, 160, 160, 160, 54, 54, 98, 98, 67, 160, 67, 116, 67, 67, 67, 67, 15, 54, 67, 67, 54, 54, 54, 98, 67, 160, 67, 54, 67, 67, 129, 129, 15, 67, 160, 160, 15, 15, 116, 116, 41, 160, 41, 116, 41, 41, 160, 160, 129, 160, 41, 41, 41, 41, 41, 191, 129, 41, 129, 116, 116, 116, 116, 54, 129, 129, 41, 41, 129, 129, 67, 67, 41, 98, 41, 67, 41, 41, 173, 173, 36, 191, 129, 129, 160, 160, 160, 129, 129, 98, 129, 160, 129, 129, 160, 160, 129, 129, 129, 129, 129, 129, 41, 41, 129, 41, 129, 41, 98, 98, 98, 129, 36, 67, 67, 67, 67, 67, 67, 204, 36, 54, 36, 54, 67, 67, 67, 67, 129, 129, 129, 129, 129, 129, 160, 160, 129, 129, 129, 116, 116, 116, 116, 235, 36, 129, 67, 67, 36, 36, 36, 67, 129, 41, 129, 41, 129, 129, 67, 67, 36, 129, 111, 111, 36, 36, 67, 67, 67, 67, 67, 129, 67, 67, 67, 67, 85, 67, 36, 36, 98, 98, 98, 67, 85, 111, 85, 160, 129, 129, 129, 67, 85, 85, 160, 160, 85, 85, 59, 59, 173, 160, 173, 59, 173, 173, 160, 160, 23, 59, 85, 85, 85, 85, 85, 85, 36, 41, 36, 85, 36, 36, 59, 59, 129, 36, 85, 85, 129, 129, 111, 111, 129, 111, 129, 67, 36, 36, 36, 85, 36, 129, 129, 129, 80, 80, 80, 80, 36, 204, 36, 129, 129, 129, 129, 160, 36, 80, 80, 80, 36, 36, 173, 173, 67, 129, 67, 173, 67, 67, 173, 173, 36, 67, 67, 67, 28, 28, 28, 54, 28, 80, 28, 28, 28, 28, 129, 129, 36, 173, 173, 173, 36, 36, 80, 80, 28, 80, 28, 173, 28, 28, 80, 80, 36, 28, 28, 28, 28, 28, 28, 173, 36, 111, 36, 173, 80, 80, 80, 80, 54, 36, 173, 173, 54, 54, 54, 54, 54, 129, 54, 54, 129, 129, 129, 111, 23, 173, 36, 36, 142, 142, 142, 54, 49, 173, 49, 142, 49, 49, 129, 129, 49, 142, 142, 142, 49, 49, 49, 49, 49, 80, 49, 80, 54, 54, 54, 111, 23, 54, 142, 142, 142, 142, 142, 204, 23, 80, 23, 173, 142, 142, 142, 111, 49, 49, 49, 49, 49, 49, 142, 142, 49, 142, 49, 142, 142, 142, 142, 142, 98, 49, 111, 111, 36, 36, 36, 49, 36, 80, 36, 80, 36, 36, 217, 217, 98, 80, 80, 80, 98, 98, 142, 142, 142, 142, 142, 142, 142, 142, 173, 173, 98, 142, 98, 98, 36, 36, 36, 129, 98, 103, 98, 80, 142, 142, 142, 80, 49, 98, 54, 54, 49, 49, 80, 80, 49, 49, 49, 142, 173, 173, 173, 124, 23, 98, 80, 80, 98, 98, 98, 80, 142, 80, 142, 49, 142, 142, 98, 98, 23, 142, 124, 124, 23, 23, 142, 142, 23, 80, 23, 173, 98, 98, 98, 173, 49, 186, 36, 36, 36, 36, 36, 72, 49, 186, 49, 36, 142, 142, 142, 98, 49, 142, 142, 142, 49, 49, 49, 49, 98, 49, 98, 142, 98, 98, 49, 49, 23, 49, 142, 142, 49, 49, 49, 124, 93, 49, 93, 49, 93, 93, 142, 142, 23, 93, 142, 142, 23, 23, 49, 49, 49, 49, 49, 54, 49, 49, 49, 49, 49, 93, 49, 49, 49, 49, 49, 93, 49, 80, 49, 80, 49, 49, 49, 186, 49, 49, 41, 41, 49, 49, 41, 41, 142, 93, 142, 41, 142, 142, 155, 155, 111, 186, 41, 41, 41, 41, 41, 41, 23, 93, 23, 186, 23, 23, 93, 93, 67, 41, 41, 41, 67, 67, 67, 67, 67, 67, 67, 124, 93, 93, 93, 93, 111, 67, 67, 67, 67, 67, 67, 93, 111, 186, 111, 142, 142, 142, 142, 142, 62, 23, 23, 23, 62, 62, 155, 155, 62, 62, 62, 62, 155, 155, 155, 67, 111, 62, 155, 155, 111, 111, 111, 155, 36, 62, 36, 36, 36, 36, 62, 62, 111, 36, 124, 124, 111, 111, 155, 155, 155, 111, 155, 155, 155, 155, 93, 93, 49, 155, 111, 111, 62, 62, 62, 62, 49, 173, 49, 186, 62, 62, 62, 62, 49, 49, 155, 155, 49, 49, 62, 62, 62, 124, 62, 124, 62, 62, 155, 155, 18, 49, 111, 111, 155, 155, 155, 111, 36, 93, 36, 155, 36, 36, 155, 155, 36, 36, 155, 155, 36, 36, 36, 36, 36, 111, 36, 261, 111, 111, 111, 142, 124, 111, 36, 36, 62, 62, 62, 155, 124, 93, 124, 62, 36, 36, 36, 168, 124, 186, 186, 186, 124, 124, 137, 137, 155, 36, 155, 93, 155, 155, 93, 93, 124, 155, 155, 155, 124, 124, 124, 62, 36, 111, 36, 124, 36, 36, 36, 36, 124, 36, 93, 93, 124, 124, 62, 62, 62, 62, 62, 186, 62, 62, 49, 49, 124, 49, 62, 62, 62, 62, 62, 186, 124, 155, 124, 111, 155, 155, 155, 111, 124, 124, 111, 111, 124, 124, 111, 111, 124, 85, 124, 62, 62, 62, 62, 111, 31, 62, 36, 36, 36, 36, 36, 106, 124, 62, 124, 155, 124, 124, 106, 106, 62, 62, 62, 62, 62, 62, 124, 124, 62, 62, 62, 62, 62, 62, 62, 155, 31, 62, 62, 62, 93, 93, 93, 106, 31, 155, 31, 62, 124, 124, 124, 199, 80, 155, 155, 155, 80, 80, 54, 54, 80, 155, 80, 54, 168, 168, 168, 155, 31, 54, 54, 54, 80, 80, 80, 54, 80, 80, 80, 36, 80, 80, 199, 199, 31, 54, 54, 54, 31, 31, 80, 80, 106, 106, 106, 80, 106, 106, 62, 62, 124, 106, 31, 31, 124, 124, 124, 199, 124, 80, 124, 80, 75, 75, 75, 199, 124, 124, 36, 36, 124, 124, 75, 75, 75, 168, 75, 124, 75, 75, 168, 168, 31, 124, 168, 168, 62, 62, 62, 168, 62, 124, 62, 49, 62, 62, 49, 49, 23, 62, 75, 75, 23, 23, 124, 124, 23, 124, 23, 75, 168, 168, 168, 124, 23, 62, 75, 75, 75, 75, 75, 168, 23, 124, 23, 75, 23, 23, 23, 75, 23, 62, 62, 62, 23, 23, 106, 106, 75, 168, 75, 75, 75, 75, 168, 168, 31, 23, 168, 168, 49, 49, 49, 168, 49, 124, 49, 49, 49, 49, 124, 124, 31, 168, 168, 168, 31, 31, 49, 49, 137, 49, 137, 168, 137, 137, 49, 49, 44, 124, 137, 137, 137, 137, 137, 62, 44, 137, 44, 49, 75, 75, 75, 75, 44, 44, 49, 49, 44, 44, 49, 49, 137, 181, 137, 199, 137, 137, 75, 75, 31, 168, 137, 137, 137, 137, 137, 137, 44, 106, 44, 168, 44, 44, 137, 137, 44, 137, 137, 137, 44, 44, 137, 137, 44, 137, 44, 49, 106, 106, 106, 49, 31, 75, 75, 75, 75, 75, 75, 75, 31, 212, 31, 62, 75, 75, 75, 75, 137, 137, 137, 137, 137, 137, 137, 137, 137, 137, 137, 168, 137, 137, 137, 243, 93, 124, 124, 124, 31, 31, 31, 98, 137, 75, 137, 44, 137, 137, 75, 75, 93, 137, 49, 49, 93, 93, 75, 75, 44, 44, 44, 137, 44, 44, 168, 168, 93, 75, 93, 93, 75, 75, 75, 137, 93, 75, 93, 75, 44, 44, 44, 75, 137, 93, 106, 106, 137, 137, 119, 119, 137, 168, 137, 44, 75, 75, 75, 168, 18, 168, 93, 93, 181, 181, 181, 67, 31, 93, 31, 181, 31, 31, 181, 181, 137, 31, 67, 67, 137, 137, 93, 93, 137, 93, 137, 93, 44, 44, 44, 49, 44, 44, 137, 137, 93, 93, 93, 44, 44, 93, 44, 137, 137, 137, 137, 93, 44, 44, 44, 44, 44, 44, 93, 93, 88, 137, 88, 137, 88, 88, 137, 137, 44, 44, 44, 44, 44, 44, 44, 49, 44, 137, 44, 44, 44, 44, 88, 88, 44, 181, 181, 181, 44, 44, 75, 75, 44, 75, 44, 181, 44, 44, 137, 137, 44, 75, 36, 36, 36, 36, 36, 62, 44, 88, 44, 36, 137, 137, 137, 150, 36, 44, 181, 181, 36, 36, 44, 44, 36, 88, 36, 88, 181, 181, 181, 181, 18, 88, 44, 44, 36, 36, 36, 36, 62, 75, 62, 36, 62, 62, 119, 119, 62, 88, 88, 88, 62, 62, 62, 62, 62, 181, 62, 93, 62, 62, 62, 181, 18, 137, 137, 137, 137, 137, 137, 119, 18, 119, 18, 181, 150, 150, 150, 44, 57, 57, 57, 57, 57, 57, 150, 150, 57, 57, 57, 137, 150, 150, 150, 62, 106, 57, 57, 57, 31, 31, 31, 88, 31, 57, 31, 62, 31, 31, 119, 119, 106, 150, 150, 150, 106, 106, 150, 150, 150, 31, 150, 88, 150, 150, 150, 150, 106, 119, 106, 106, 57, 57, 57, 168, 106, 181, 106, 150, 57, 57, 57, 88, 44, 106, 150, 150, 44, 44, 57, 57, 44, 119, 44, 119, 57, 57, 57, 150, 119, 44, 44, 44, 106, 106, 106, 225, 150, 75, 150, 88, 150, 150, 106, 106, 31, 150, 150, 150, 31, 31, 150, 150, 31, 181, 31, 88, 106, 106, 106, 256, 31, 44, 106, 106, 106, 106, 106, 111, 31, 88, 31, 150, 57, 57, 57, 88, 31, 57, 57, 57, 31, 31, 88, 88, 181, 57, 181, 57, 181, 181, 132, 132, 119, 31, 88, 88, 150, 150, 150, 88, 150, 106, 150, 150, 150, 150, 57, 57, 119, 106, 106, 106, 119, 119, 132, 132, 31, 31, 31, 150, 31, 31, 88, 88, 57, 181, 57, 57, 57, 57, 57, 181, 57, 194, 57, 44, 44, 44, 44, 194, 57, 57, 57, 57, 57, 57, 150, 150, 150, 106, 150, 106, 150, 150, 80, 80, 119, 57, 106, 106, 106, 106, 106, 106, 119, 80, 119, 57, 119, 119, 57, 57, 31, 57, 57, 57, 31, 31, 101, 101, 31, 101, 31, 57, 150, 150, 150, 57, 119, 101, 31, 31, 57, 57, 57, 101, 119, 101, 119, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 57, 88, 88, 88, 150, 75, 57, 57, 57, 119, 119, 119, 150, 150, 49, 150, 57, 150, 150, 49, 49, 75, 150, 49, 49, 75, 75, 163, 163, 49, 119, 49, 194, 49, 49, 194, 194, 75, 49, 75, 75, 31, 31, 31, 194, 75, 194, 75, 101, 49, 49, 49, 101, 101, 75, 75, 75, 101, 101, 75, 75, 101, 132, 101, 57, 101, 101, 101, 194, 26, 75, 75, 75, 119, 119, 119, 75, 70, 75, 70, 119, 70, 70, 150, 150, 119, 70, 31, 31, 119, 119, 70, 70, 119, 163, 119, 119, 70, 70, 70, 163, 57, 163, 119, 119, 163, 163, 163, 70, 57, 70, 57, 119, 44, 44, 44, 70, 57, 44, 44, 44, 57, 57, 70, 70, 119, 44, 119, 132, 119, 119, 70, 70, 18, 163, 163, 163, 57, 57, 57, 44, 70, 101, 70, 57, 70, 70, 119, 119, 18, 70, 70, 70, 18, 18, 57, 57, 57, 70, 57, 163, 57, 57, 101, 101, 18, 163, 70, 70, 70, 70, 70, 163, 18, 132, 18, 132, 163, 163, 163, 176, 44, 18, 119, 119, 44, 44, 163, 163, 44, 119, 44, 163, 163, 163, 163, 88, 39, 163, 44, 44, 44, 44, 44, 163, 132, 194, 132, 44, 132, 132, 119, 119, 132, 119, 119, 119, 132, 132, 132, 132, 132, 44, 132, 163, 70, 70, 70, 101, 39, 101, 44, 44, 44, 44, 44, 75, 39, 176, 39, 194, 132, 132, 132, 70, 132, 163, 163, 163, 132, 132, 101, 101, 132, 163, 132, 101, 163, 163, 163, 145, 39, 132, 132, 132, 132, 132, 132, 119, 132, 44, 132, 44, 132, 132, 44, 44, 39, 101, 101, 101, 39, 39, 70, 70, 70, 70, 70, 70, 70, 70, 207, 207, 132, 57, 39, 39, 70, 70, 70, 93, 132, 70, 132, 194, 132, 132, 132, 57, 132, 132, 163, 163, 132, 132, 132, 132, 119, 119, 119, 70, 119, 119, 238, 238, 26, 132, 70, 70, 39, 39, 39, 70, 132, 70, 132, 44, 132, 132, 44, 44, 39, 132, 70, 70, 39, 39, 132, 132, 39, 114, 39, 163, 70, 70, 70, 70, 88, 70, 70, 70, 70, 70, 70, 70, 88, 70, 88, 70, 39, 39, 39, 70, 88, 101, 101, 101, 88, 88, 114, 114, 132, 163, 132, 39, 132, 132, 70, 70, 26, 88, 163, 163, 88, 88, 88, 70, 176, 62, 176, 88, 176, 176, 62, 62, 26, 176, 163, 163, 26, 26, 62, 62, 88, 88, 88, 207, 88, 88, 88, 88, 132, 44, 39, 39, 39, 39, 39, 150, 132, 62, 132, 62, 88, 88, 88, 88, 132, 132, 114, 114, 132, 132, 114, 114, 39, 70, 39, 114, 39, 39, 88, 88, 39, 132, 132, 132, 83, 83, 83, 132, 39, 83, 39, 83, 39, 39, 132, 132, 39, 132, 132, 132, 39, 39, 83, 83, 39, 83, 39, 132, 176, 176, 176, 83, 39, 132, 70, 70, 70, 70, 70, 176, 39, 176, 39, 132, 70, 70, 70, 57, 31, 31, 31, 31, 31, 31, 83, 83, 31, 31, 31, 132, 132, 132, 132, 57, 39, 176, 176, 176, 39, 39, 39, 70, 31, 83, 31, 83, 31, 31, 176, 176, 39, 31, 83, 83, 39, 39, 31, 31, 31, 31, 31, 70, 31, 31, 176, 176, 57, 114, 39, 39, 83, 83, 83, 83, 57, 83, 57, 176, 176, 176, 176, 88, 57, 57, 57, 57, 57, 57, 132, 132, 132, 57, 132, 176, 132, 132, 114, 114, 26, 176, 39, 39, 145, 145, 145, 57, 52, 57, 52, 145, 52, 52, 145, 145, 52, 52, 132, 132, 52, 52, 145, 145, 52, 145, 52, 70, 52, 52, 52, 132, 26, 83, 52, 52, 57, 57, 57, 52, 26, 114, 26, 52, 145, 145, 145, 88, 26, 145, 145, 145, 26, 26, 83, 83, 145, 176, 145, 145, 145, 145, 114, 114, 101, 52, 52, 52, 52, 52, 52, 176, 52, 145, 52, 52, 52, 52, 145, 145, 101, 145, 145, 145, 101, 101, 52, 52, 39, 114, 39, 114, 39, 39, 52, 52, 101, 83, 39, 39, 39, 39, 39, 83, 101, 220, 101, 70, 83, 83, 83, 70, 145, 101, 145, 145, 145, 145, 145, 145, 145, 145, 145, 145, 176, 176, 176, 83, 26, 145, 101, 101, 39, 39, 39, 132, 101, 132, 101, 39, 101, 101, 83, 83, 52, 145, 145, 145, 52, 52, 101, 101, 52, 57, 52, 57, 83, 83, 83, 83, 26, 52, 52, 52, 176, 176, 176, 127, 26, 127, 26, 83, 83, 83, 83, 83, 145, 101, 101, 101, 145, 145, 83, 83, 145, 52, 145, 52, 101, 101, 101, 83, 52, 145, 127, 127, 26, 26, 26, 145, 26, 145, 26, 83, 26, 26, 176, 176, 52, 101, 101, 101, 52, 52, 189, 189, 39, 39, 39, 101, 39, 39, 75, 75, 52, 189, 52, 52, 145, 145, 145, 75, 52, 101, 52, 101, 145, 145, 145, 75, 101, 52, 52, 52, 101, 101, 52, 52, 101, 145, 101, 75, 52, 52, 52, 127, 114, 52, 145, 145, 52, 52, 52, 145, 96, 127, 96, 52, 96, 96, 52, 52, 26, 96, 145, 145, 26, 26, 96, 96, 26, 145, 26, 251, 52, 52, 52, 96, 52, 52, 52, 52, 52, 52, 52, 145, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 83, 83, 52, 83, 52, 52, 52, 52, 189, 189, 114, 52, 44, 44, 52, 52, 52, 44, 145, 44, 145, 52, 145, 145, 44, 44, 114, 145, 158, 158, 114, 114, 189, 189, 44, 44, 44, 189, 44, 44, 44, 44, 70, 96, 26, 26, 26, 26, 26, 189, 70, 96, 70, 52, 44, 44, 44, 44, 70, 70, 70, 70, 70, 70, 70, 70, 96, 127, 96, 52, 96, 96, 96, 96, 114, 70, 70, 70, 70, 70, 70, 70, 114, 96, 114, 70, 114, 114, 145, 145, 65, 145, 145, 145, 65, 65, 26, 26, 65, 26, 65, 189, 158, 158, 158, 114, 114, 65, 65, 65, 158, 158, 158, 189, 114, 70, 114, 65, 158, 158, 158, 65, 39, 114, 114, 114, 39, 39, 65, 65, 39, 39, 39, 39, 65, 65, 65, 189, 52, 39, 127, 127, 114, 114, 114, 65, 158, 158, 158, 114, 158, 158, 158, 158, 52, 158, 96, 96, 52, 52, 158, 158, 65, 114, 65, 127, 65, 65, 65, 65, 52, 176, 52, 52, 65, 65, 65, 158, 52, 65, 52, 96, 158, 158, 158, 145, 65, 52, 65, 65, 65, 65, 127, 127, 65, 127, 65, 127, 158, 158, 158, 158, 13, 52, 114, 114, 158, 158, 158, 114, 39, 114, 39, 158, 39, 39, 158, 158, 39, 39, 158, 158, 39, 39, 39, 39, 39, 158, 39, 189, 39, 39, 39, 189, 127, 114, 39, 39, 114, 114, 114, 52, 127, 145, 127, 114, 39, 39, 39, 158, 127, 65, 65, 65, 127, 127, 96, 96, 39, 65, 39, 65, 39, 39, 171, 171, 127, 189, 189, 189, 127, 127, 127, 158, 158, 140, 158, 127, 158, 158, 96, 96, 127, 158, 96, 96, 127, 127, 158, 158, 127, 158, 127, 96, 127, 127, 65, 65, 127, 114, 39, 39, 39, 39, 39, 96, 127, 39, 127, 158, 96, 96, 96, 127, 65, 127, 65, 65, 65, 65, 65, 65, 65, 189, 65, 202, 52, 52, 52, 88, 34, 52, 65, 65, 65, 65, 65, 65, 127, 189, 127, 158, 127, 127, 114, 114, 127, 158, 158, 158, 127, 127, 127, 127, 127, 114, 127, 65, 114, 114, 114, 233, 34, 88, 127, 127, 65, 65, 65, 140, 34, 114, 34, 65, 39, 39, 39, 158, 127, 39, 39, 39, 127, 127, 65, 65, 127, 158, 127, 158, 109, 109, 109, 158, 34, 65, 65, 65, 65, 65, 65, 65, 65, 127, 65, 65, 65, 65, 65, 65, 34, 65, 65, 65, 34, 34, 65, 65, 96, 65, 96, 65, 96, 96, 109, 109, 83, 158, 34, 34, 127, 127, 127, 65, 83, 202, 83, 158, 158, 158, 158, 96, 83, 83, 57, 57, 83, 83, 158, 158, 171, 57, 171, 109, 171, 171, 158, 158, 34, 57, 57, 57, 83, 83, 83, 202, 83, 57, 83, 83, 83, 83, 39, 39, 34, 83, 202, 202, 34, 34, 57, 57, 34, 57, 34, 109, 83, 83, 83, 83, 127, 109, 109, 109, 109, 109, 109, 140, 127, 65, 127, 109, 34, 34, 34, 83, 127, 127, 127, 127, 127, 127, 83, 83, 78, 83, 78, 78, 78, 78, 202, 202, 34, 127, 39, 39, 127, 127, 127, 158, 78, 78, 78, 127, 78, 78, 127, 127, 34, 78, 171, 171, 34, 34, 127, 127, 65, 171, 65, 127, 65, 65, 171, 171, 26, 127, 65, 65, 65, 65, 65, 78, 26, 52, 26, 52, 78, 78, 78, 78, 26, 26, 127, 127, 26, 26, 127, 127, 171, 78, 171, 171, 171, 171, 127, 127, 34, 65, 78, 78, 78, 78, 78, 78, 26, 171, 26, 127, 26, 26, 78, 78, 26, 26, 26, 26, 26, 26, 65, 65, 26, 65, 26, 171, 109, 109, 109, 171, 34, 171, 78, 78, 78, 78, 78, 78, 34, 171, 34, 140, 171, 171, 171, 78, 52, 52, 52, 52, 52, 52, 127, 127, 52, 52, 52, 171, 127, 127, 127, 109, 47, 171, 171, 171, 34, 34, 34, 52, 140, 52, 140, 52, 140, 140, 171, 171, 47, 140, 52, 52, 47, 47, 127, 127, 140, 140, 140, 127, 140, 140, 65, 65, 47, 140, 47, 47, 78, 78, 78, 171, 47, 78, 47, 109, 52, 52, 52, 109, 140, 47, 52, 52, 140, 140, 184, 184, 140, 202, 140, 202, 78, 78, 78, 109, 21, 171, 140, 140, 140, 140, 140, 109, 47, 140, 47, 140, 47, 47, 171, 171, 47, 47, 140, 140, 47, 47, 140, 140, 47, 140, 47, 127, 140, 140, 140, 140, 34, 140, 47, 47, 109, 109, 109, 109, 34, 52, 34, 47, 78, 78, 78, 52, 34, 78, 78, 78, 34, 34, 215, 215, 78, 65, 78, 47, 78, 78, 78, 78, 96, 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, 140, 171, 171, 96, 140, 140, 140, 96, 96, 127, 127, 34, 127, 34, 127, 34, 34, 101, 101, 96, 78, 140, 140, 140, 140, 140, 78, 96, 78, 96, 52, 52, 52, 52, 52, 47, 96, 78, 78, 47, 47, 47, 47, 47, 140, 47, 122, 171, 171, 171, 122, 21, 78, 96, 96, 78, 78, 78, 78, 96, 140, 96, 78, 96, 96, 78, 78, 140, 47, 47, 47, 140, 140, 96, 96, 140, 109, 140, 78, 122, 122, 122, 78, 21, 171, 140, 140, 78, 78, 78, 78, 21, 171, 21, 96, 96, 96, 96, 171, 34, 184, 184, 184, 34, 34, 96, 96, 34, 184, 34, 70, 184, 184, 184, 70, 47, 34, 70, 70, 140, 140, 140, 96, 140, 96, 140, 96, 140, 140, 96, 96, 47, 47, 47, 47, 47, 47, 47, 47, 96, 140, 96, 70, 96, 96, 47, 47, 47, 96, 47, 47, 140, 140, 140, 109, 47, 96, 47, 122, 47, 47, 47, 153, 91, 47, 96, 96, 91, 91, 140, 140, 91, 140, 91, 96, 140, 140, 140, 246, 21, 47, 47, 47, 47, 47, 47, 140, 47, 52, 47, 140, 47, 47, 47, 47, 47, 47, 91, 91, 47, 47, 184, 184, 47, 184, 47, 91, 78, 78, 78, 140, 47, 78, 47, 47, 47, 47, 47, 184, 47, 140, 47, 78, 39, 39, 39, 78, 47, 39, 39, 39, 47, 47, 91, 91, 140, 39, 140, 39, 140, 140, 153, 153, 21, 47, 184, 184, 39, 39, 39, 184, 39, 47, 39, 39, 39, 39, 91, 91, 21, 184, 184, 184, 21, 21, 91, 91, 39, 47, 39, 91, 39, 39, 39, 39, 65, 78, 65, 65, 65, 65, 65, 91, 65, 122, 65, 47, 91, 91, 91, 91, 65, 65, 65, 65, 65, 65, 184, 184, 65, 96, 65, 91, 65, 65, 184, 184, 109, 140, 140, 140, 140, 140, 140, 140, 21, 122, 21, 122, 21, 21, 184, 184, 60, 153, 153, 153, 60, 60, 60, 60, 60, 60, 60, 153, 153, 153, 153, 65, 109, 60, 60, 60, 153, 153, 153, 153, 109, 65, 109, 153, 60, 60, 60, 60, 34, 34, 34, 34, 34, 34, 60, 60, 34, 65, 34, 65, 122, 122, 122, 91, 109, 153, 153, 153, 109, 109, 109, 197, 153, 153, 153, 34, 153, 153, 91, 91, 109, 153, 153, 153, 109, 109, 122, 122, 60, 109, 60, 60, 60, 60, 171, 171, 47, 184, 109, 109, 60, 60, 60, 60, 47, 91, 47, 153, 153, 153, 153, 65, 47, 47, 60, 60, 47, 47, 122, 122, 60, 122, 60, 122, 60, 60, 153, 153, 29, 47, 47, 47, 109, 109, 109, 47, 153, 228, 153, 109, 153, 153, 91, 91, 34, 153, 109, 109, 34, 34, 153, 153, 34, 153, 34, 91, 153, 153, 153, 184, 34, 184, 34, 34, 109, 109, 109, 153, 34, 259, 34, 47, 109, 109, 109, 140, 34, 109, 109, 109, 34, 34, 91, 91, 60, 153, 60, 153, 60, 60, 91, 91, 122, 60, 60, 60, 34, 34, 34, 166, 184, 91, 184, 34, 184, 184, 60, 60, 122, 184, 135, 135, 122, 122, 34, 34, 153, 91, 153, 91, 153, 153, 91, 91, 122, 109, 153, 153, 153, 153, 153, 91, 122, 60, 122, 60, 109, 109, 109, 91, 34, 122, 135, 135, 34, 34, 34, 34, 34, 153, 34, 153, 91, 91, 91, 60, 122, 184, 60, 60, 60, 60, 60, 109, 60, 184, 60, 197, 60, 60, 47, 47, 60, 47, 47, 47, 60, 60, 60, 60, 60, 60, 60, 184, 153, 153, 153, 47, 122, 109, 153, 153, 153, 153, 153, 109, 122, 83, 122, 60, 109, 109, 109, 60, 122, 109, 109, 109, 122, 122, 83, 83, 122, 60, 122, 60, 60, 60, 60, 109, 122, 60, 60, 60, 34, 34, 34, 60, 34, 104, 34, 104, 34, 34, 60, 60, 122, 153, 153, 153, 122, 122, 104, 104, 60, 34, 60, 153, 60, 60, 104, 104, 60, 104, 122, 122, 60, 60, 60, 153, 60, 60, 60, 153, 60, 60, 60, 153, 60, 60, 60, 60, 60, 60, 60, 60, 91, 60, 91, 104, 91, 91, 153, 153, 29, 60, 60, 60, 122, 122, 122, 197, 153, 153, 153, 52, 153, 153, 60, 60, 78, 153, 52, 52, 78, 78, 153, 153, 78, 52, 78, 104, 166, 166, 166, 153, 78, 122, 52, 52, 52, 52, 52, 52, 78, 197, 78, 52, 78, 78, 78, 104, 78, 34, 34, 34, 78, 78, 197, 197, 52, 104, 52, 78, 52, 52, 104, 104, 29, 78, 78, 78, 104, 104, 104, 52, 104, 78, 104, 104, 104, 104, 60, 60, 29, 104, 104, 104, 29, 29, 78, 78, 122, 78, 122, 197, 122, 122, 78, 78, 122, 78, 73, 73, 73, 73, 73, 197, 122, 153, 122, 153, 34, 34, 34, 135, 122, 122, 73, 73, 122, 122, 166, 166, 73, 122, 73, 73, 73, 73, 166, 166, 21, 166, 122, 122, 166, 166, 166, 122, 60, 73, 60, 166, 60, 60, 122, 122, 60, 47, 47, 47, 60, 60, 47, 47, 60, 47, 60, 47, 73, 73, 73, 158, 21, 47, 122, 122, 122, 122, 122, 135, 21, 73, 21, 166, 166, 166, 166, 122, 73, 60, 60, 60, 73, 73, 104, 104, 73, 60, 73, 166, 122, 122, 122, 184, 21, 73, 73, 73, 21, 21, 21, 73, 60, 60, 60, 73, 60, 60, 166, 166, 21, 60, 104, 104, 21, 21, 166, 166, 73, 73, 73, 60, 73, 73, 166, 166, 47, 135, 21, 21, 166, 166, 166, 135, 47, 179, 47, 166, 122, 122, 122, 60, 47, 47, 166, 166, 47, 47, 122, 122, 166, 166, 166, 104, 166, 166, 91, 91, 29, 166, 47, 47, 47, 47, 47, 47, 135, 166, 135, 47, 135, 135, 47, 47, 135, 135, 122, 122, 135, 135, 122, 122, 135, 122, 135, 60, 135, 135, 135, 153, 42, 47, 135, 135, 73, 73, 73, 73, 42, 104, 42, 135, 47, 47, 47, 153, 42, 47, 47, 47, 42, 42, 179, 179, 135, 197, 135, 197, 135, 135, 73, 73, 42, 166, 166, 166, 135, 135, 135, 47, 135, 104, 135, 135, 135, 135, 104, 104, 42, 166, 166, 166, 42, 42, 135, 135, 135, 135, 135, 73, 135, 135, 122, 122, 42, 47, 135, 135, 135, 135, 135, 104, 42, 47, 42, 166, 104, 104, 104, 47, 73, 42, 73, 73, 73, 73, 73, 73, 73, 73, 73, 73, 210, 210, 210, 96, 29, 60, 42, 42, 73, 73, 73, 73, 135, 96, 135, 73, 135, 135, 197, 197, 135, 135, 135, 135, 135, 135, 135, 135, 135, 166, 135, 166, 135, 135, 135, 241, 29, 122, 122, 122, 122, 122, 122, 122, 29, 241, 29, 96, 73, 73, 73, 73, 135, 42, 42, 42, 135, 135, 73, 73, 135, 47, 135, 47, 47, 47, 47, 148, 91, 135, 73, 73, 42, 42, 42, 135, 42, 135, 42, 117, 42, 42, 166, 166, 91, 73, 73, 73, 91, 91, 73, 73, 73, 73, 73, 135, 73, 73, 73, 73, 91, 73, 91, 91, 42, 42, 42, 73, 91, 73, 91, 73, 104, 104, 104, 73, 135, 91, 117, 117, 135, 135, 166, 166, 135, 42, 135, 73, 73, 73, 73, 166, 42, 91, 166, 166, 91, 91, 91, 166, 179, 73, 179, 65, 179, 179, 91, 91, 29, 179, 65, 65, 29, 29, 179, 179, 29, 166, 29, 210, 65, 65, 65, 65, 135, 91, 91, 91, 91, 91, 91, 65, 135, 91, 135, 91, 42, 42, 42, 47, 135, 42, 42, 42, 135, 135, 65, 65, 91, 65, 91, 42, 91, 91, 91, 91, 42, 135, 117, 117, 135, 135, 135, 91, 42, 117, 42, 135, 42, 42, 117, 117, 42, 42, 91, 91, 42, 42, 135, 135, 86, 135, 86, 91, 86, 86, 135, 135, 42, 86, 42, 42, 42, 42, 42, 223, 42, 135, 42, 47, 135, 135, 135, 148, 42, 42, 86, 86, 42, 42, 86, 86, 179, 135, 179, 86, 179, 179, 86, 86, 42, 135, 73, 73, 73, 73, 73, 73, 42, 179, 42, 179, 42, 42, 135, 135, 34, 73, 73, 73, 34, 34, 34, 34, 34, 34, 34, 60, 86, 86, 86, 117, 42, 34, 34, 34, 135, 135, 135, 148, 42, 60, 42, 86, 179, 179, 179, 179, 34, 42, 42, 42, 34, 34, 86, 86, 34, 86, 34, 86, 179, 179, 179, 179, 60, 34, 86, 86, 42, 42, 42, 86, 34, 34, 34, 34, 34, 34, 73, 73, 60, 34, 179, 179, 60, 60, 117, 117, 86, 42, 86, 179, 86, 86, 86, 86, 60, 86, 60, 60, 179, 179, 179, 148, 60, 91, 60, 86, 60, 60, 60, 179, 135, 60, 135, 135, 135, 135, 60, 60, 135, 179, 135, 117, 117, 117, 117, 241, 16, 179, 42, 42, 148, 148, 148, 42, 55, 60, 55, 148, 55, 55, 148, 148, 55, 55, 148, 148, 55, 55, 55, 55, 55, 135, 55, 148, 148, 148, 148, 60, 29, 148, 55, 55, 55, 55, 55, 148, 29, 135, 29, 86, 55, 55, 55, 148, 29, 60, 60, 60, 29, 29, 117, 117, 148, 55, 148, 60, 148, 148, 91, 91, 104, 148, 148, 148, 29, 29, 29, 86, 148, 86, 148, 29, 148, 148, 148, 148, 104, 148, 117, 117, 104, 104, 55, 55, 55, 55, 55, 166, 55, 55, 179, 179, 104, 148, 55, 55, 55, 55, 55, 86, 104, 148, 104, 135, 148, 148, 148, 117, 42, 104, 55, 55, 42, 42, 117, 117, 42, 117, 42, 117, 55, 55, 55, 148, 29, 86, 42, 42, 42, 42, 42, 86, 104, 86, 104, 223, 104, 104, 73, 73, 148, 86, 86, 86, 148, 148, 104, 104, 148, 148, 148, 86, 148, 148, 148, 86, 29, 148, 148, 148, 179, 179, 179, 109, 29, 86, 29, 148, 104, 104, 104, 254, 104, 42, 42, 42, 104, 104, 135, 135, 104, 42, 104, 109, 86, 86, 86, 86, 29, 148, 148, 148, 55, 55, 55, 86, 55, 104, 55, 60, 55, 55, 60, 60, 29, 86, 86, 86, 29, 29, 55, 55, 179, 55, 179, 148, 179, 179, 130, 130, 148, 130, 29, 29, 86, 86, 86, 86, 148, 86, 148, 86, 104, 104, 104, 130, 148, 148, 86, 86, 148, 148, 55, 55, 104, 55, 104, 86, 104, 104, 86, 86, 117, 148, 130, 130, 29, 29, 29, 130, 29, 148, 29, 148, 29, 29, 86, 86, 55, 29, 179, 179, 55, 55, 104, 104, 55, 104, 55, 179, 192, 192, 192, 86, 55, 42, 42, 42, 42, 42, 42, 192, 55, 78, 55, 192, 55, 55, 55, 179, 55, 148, 148, 148, 55, 55, 104, 104, 148, 104, 148, 148, 148, 148, 78, 78, 117, 55, 55, 55, 104, 104, 104, 60, 104, 55, 104, 104, 104, 104, 78, 78, 117, 55, 55, 55, 117, 117, 55, 55, 55, 148, 55, 130, 55, 55, 148, 148, 29, 130, 99, 99, 99, 99, 99, 161, 29, 55, 29, 104, 148, 148, 148, 55, 29, 29, 99, 99, 29, 29, 148, 148, 55, 254, 55, 99, 55, 55, 99, 99, 117, 55, 55, 55, 55, 55, 55, 55, 55, 148, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 99, 86, 86, 86, 148, 117, 86, 55, 55, 55, 55, 55, 55, 117, 192, 117, 148, 47, 47, 47, 86, 148, 55, 55, 55, 148, 148, 47, 47, 148, 55, 148, 99, 47, 47, 47, 99, 73, 148, 161, 161, 117, 117, 117, 73, 47, 192, 47, 47, 47, 47, 192, 192, 73, 47, 47, 47, 73, 73, 99, 99, 29, 29, 29, 192, 29, 29, 192, 192, 73, 99, 73, 73, 47, 47, 47, 99, 73, 47, 73, 47, 73, 73, 73, 86, 99, 73, 73, 73, 99, 99, 130, 130, 99, 55, 99, 99, 99, 99, 99, 192, 16, 73, 73, 73, 73, 73, 73, 192, 117, 73, 117, 73, 117, 117, 73, 73, 68, 117, 148, 148, 68, 68, 148, 148, 68, 148, 68, 148, 29, 29, 29, 148, 117, 29, 68, 68, 161, 161, 161, 161, 117, 117, 117, 68, 68, 68, 68, 161, 117, 161, 161, 161, 117, 117, 73, 73, 161, 68, 161, 68, 161, 161, 68, 68, 55, 117, 117, 117, 42, 42, 42, 68, 42, 68, 42, 42, 42, 42, 42, 42, 55, 68, 68, 68, 55, 55, 42, 42, 117, 130, 117, 161, 117, 117, 68, 68, 55, 161, 161, 161, 161, 161, 161, 205, 55, 161, 55, 42, 99, 99, 99, 99, 68, 55, 161, 161, 68, 68, 117, 117, 68, 130, 68, 117, 68, 68, 68, 130, 16, 179, 55, 55, 68, 68, 68, 117, 55, 161, 55, 68, 55, 55, 99, 99, 68, 161, 161, 161, 68, 68, 55, 55, 68, 68, 68, 161, 130, 130, 130, 192, 16, 130, 68, 68, 161, 161, 161, 174, 16, 161, 16, 55, 117, 117, 117, 55, 42, 161, 161, 161, 42, 42, 117, 117, 42, 161, 42, 99, 161, 161, 161, 86, 130, 42, 161, 161, 42, 42, 42, 161, 42, 42, 42, 161, 42, 42, 192, 192, 130, 42, 42, 42, 130, 130, 117, 117, 117, 42, 117, 267, 117, 117, 55, 55, 130, 148, 130, 130, 42, 42, 42, 99, 130, 161, 130, 99, 68, 68, 68, 99, 42, 130, 99, 99, 42, 42, 68, 68, 42, 68, 42, 73, 174, 174, 174, 73, 37, 192, 192, 192, 130, 130, 130, 68, 161, 161, 161, 143, 161, 161, 130, 130, 130, 161, 99, 99, 130, 130, 161, 161, 130, 99, 130, 99, 161, 161, 161, 143, 130, 161, 130, 130, 130, 130, 130, 68, 130, 68, 130, 117, 42, 42, 42, 99, 130, 42, 42, 42, 130, 130, 42, 42, 99, 161, 99, 42, 99, 99, 130, 130, 37, 130, 68, 68, 68, 68, 68, 42, 68, 68, 68, 68, 68, 68, 205, 205, 37, 55, 55, 55, 37, 37, 55, 55, 68, 68, 68, 91, 68, 68, 68, 68, 130, 192, 130, 130, 130, 130, 130, 55, 130, 117, 130, 161, 161, 161, 161, 161, 130, 130, 130, 130, 130, 130, 117, 117, 117, 68, 117, 73, 117, 117, 236, 236, 37, 91, 130, 130, 68, 68, 68, 130, 37, 143, 37, 68, 37, 37, 68, 68, 130, 42, 42, 42, 130, 130, 42, 42, 130, 42, 130, 112, 68, 68, 68, 68, 37, 161, 130, 130, 112, 112, 112, 117, 37, 161, 37, 42, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 130, 130, 68, 68, 68, 68, 68, 68, 68, 73, 86, 68, 68, 68, 37, 37, 37, 68, 99, 68, 99, 68, 99, 99, 68, 68, 86, 99, 112, 112, 86, 86, 161, 161, 130, 37, 130, 68, 130, 130, 68, 68, 86, 205, 86, 86, 161, 161, 161, 60, 86, 99, 86, 68, 60, 60, 60, 60, 174, 86, 161, 161, 174, 174, 60, 60, 174, 112, 174, 60, 161, 161, 161, 205, 24, 60, 60, 60, 86, 86, 86, 60, 86, 205, 86, 86, 86, 86, 86, 86, 37, 86, 42, 42, 37, 37, 86, 86, 37, 205, 37, 148, 60, 60, 60, 60, 130, 60, 37, 37, 86, 86, 86, 86, 130, 86, 130, 112, 112, 112, 112, 86, 130, 112, 112, 112, 130, 130, 68, 68, 37, 112, 37, 112, 37, 37, 86, 86, 37, 130, 130, 130, 130, 130, 130, 86, 81, 86, 81, 130, 81, 81, 81, 81, 37, 81, 205, 205, 37, 37, 130, 130, 130, 42, 130, 161, 130, 130, 161, 161, 37, 81, 81, 81, 81, 81, 81, 143, 37, 130, 37, 81, 174, 174, 174, 81, 68, 37, 130, 130, 68, 68, 174, 174, 68, 130, 68, 174, 174, 174, 174, 205, 37, 130, 68, 68, 68, 68, 68, 55, 29, 81, 29, 55, 29, 29, 55, 55, 29, 81, 81, 81, 29, 29, 29, 29, 29, 130, 29, 81, 130, 130, 130, 55, 37, 81, 174, 174, 174, 174, 174, 174, 37, 130, 37, 68, 81, 81, 81, 55, 29, 81, 81, 81, 29, 29, 174, 174, 29, 130, 29, 130, 81, 81, 81, 143, 37, 29, 29, 29, 29, 29, 29, 68, 29, 68, 29, 68, 29, 29, 174, 174, 37, 112, 112, 112, 37, 37, 174, 174, 81, 81, 81, 81, 81, 81, 81, 81, 55, 174, 37, 37, 174, 174, 174, 86, 55, 81, 55, 143, 55, 55, 55, 236, 55, 55, 130, 130, 55, 55, 55, 55, 130, 174, 130, 112, 130, 130, 112, 112, 24, 174, 174, 174, 37, 37, 37, 99, 143, 55, 143, 55, 143, 143, 55, 55, 50, 143, 174, 174, 50, 50, 143, 143, 50, 55, 50, 174, 130, 130, 130, 143, 50, 143, 143, 143, 143, 143, 143, 130, 50, 68, 50, 143, 50, 50, 50, 130, 50, 81, 81, 81, 50, 50, 81, 81, 55, 112, 55, 50, 55, 55, 112, 112, 24, 50, 55, 55, 143, 143, 143, 86, 143, 187, 143, 143, 143, 143, 205, 205, 24, 81, 81, 81, 24, 24, 174, 174, 143, 143, 143, 143, 143, 143, 112, 112, 50, 143, 50, 50, 50, 50, 50, 161, 50, 174, 50, 174, 143, 143, 143, 174, 50, 50, 143, 143, 50, 50, 143, 143, 143, 130, 143, 55, 143, 143, 143, 143, 99, 143, 50, 50, 112, 112, 112, 50, 37, 112, 37, 112, 37, 37, 50, 50, 37, 81, 81, 81, 37, 37, 81, 81, 37, 81, 37, 81, 218, 218, 218, 81, 99, 68, 81, 81, 81, 81, 81, 68, 99, 81, 99, 104, 143, 143, 143, 81, 143, 143, 143, 143, 143, 143, 143, 143, 143, 143, 143, 143, 174, 174, 174, 81, 99, 143, 143, 143, 99, 99, 99, 143, 37, 130, 37, 130, 37, 37, 130, 130, 99, 37, 104, 104, 99, 99, 81, 81, 143, 143, 143, 50, 143, 143, 81, 81, 50, 81, 99, 99, 55, 55, 55, 55, 50, 55, 50, 156, 81, 81, 81, 81, 50, 50, 50, 50, 50, 50, 143, 143, 174, 125, 174, 125, 174, 174, 125, 125, 24, 81, 99, 99, 81, 81, 81, 81, 99, 81, 99, 81, 99, 99, 81, 81, 143, 99, 81, 81, 143, 143, 50, 50, 143, 50, 143, 81, 99, 99, 99, 81, 24, 112, 143, 143, 125, 125, 125, 99, 24, 81, 24, 143, 143, 143, 143, 112, 24, 81, 81, 81, 24, 24, 174, 174, 99, 99, 99, 174, 99, 99, 174, 174, 50, 187, 187, 187, 37, 37, 37, 73, 37, 99, 37, 37, 37, 37, 73, 73, 50, 187, 187, 187, 50, 50, 37, 37, 143, 73, 143, 73, 143, 143, 99, 99, 50, 99, 143, 143, 143, 143, 143, 73, 50, 99, 50, 99, 50, 50, 50, 55, 99, 50, 50, 50, 99, 99, 143, 143, 99, 73, 99, 143, 50, 50, 50, 125, 24, 99, 50, 50, 143, 143, 143, 125, 50, 112, 50, 143, 50, 50, 125, 125, 94, 50, 50, 50, 94, 94, 50, 50, 94, 99, 94, 218, 143, 143, 143, 99, 24, 143, 94, 94, 143, 143, 143, 99, 24, 249, 24, 94, 50, 50, 50, 94, 50, 50, 50, 50, 50, 50, 55, 55, 50, 143, 50, 143, 50, 50, 50, 143, 50, 50, 94, 94, 50, 50, 50, 50, 50, 187, 50, 187, 50, 50, 94, 94, 50, 81, 81, 81, 50, 50, 81, 81, 50, 50, 50, 187, 50, 50, 187, 187, 50, 143, 50, 50, 42, 42, 42, 68, 50, 81, 50, 42, 42, 42, 42, 94, 143, 50, 94, 94, 143, 143, 42, 42, 143, 42, 143, 143, 156, 156, 156, 99, 112, 50, 187, 187, 42, 42, 42, 187, 42, 187, 42, 50, 42, 42, 42, 42, 24, 42, 94, 94, 24, 24, 187, 187, 24, 187, 24, 187, 94, 94, 94, 143, 68, 50, 42, 42, 42, 42, 42, 42, 68, 42, 68, 42, 68, 68, 68, 42, 68, 68, 68, 68, 68, 68, 125, 125, 94, 50, 94, 94, 94, 94, 94, 94, 112, 68, 68, 68, 68, 68, 68, 187, 68, 187, 68, 68, 68, 68, 94, 94, 112, 68, 187, 187, 112, 112, 143, 143, 143, 143, 143, 81, 143, 143, 143, 143, 63, 125, 24, 24, 24, 24, 24, 249, 63, 187, 63, 50, 156, 156, 156, 112, 63, 63, 63, 63, 63, 63, 63, 63, 156, 156, 156, 187, 156, 156, 68, 68, 112, 63, 63, 63, 156, 156, 156, 63, 112, 156, 112, 156, 112, 112, 156, 156, 37, 63, 63, 63, 37, 37, 37, 37, 37, 37, 37, 94, 63, 63, 63, 187, 112, 68, 37, 37, 125, 125, 125, 156, 112, 94, 112, 63, 156, 156, 156, 156, 156, 112, 112, 112, 156, 156, 156, 156, 156, 37, 156, 37, 94, 94, 94, 94, 50, 156, 156, 156, 112, 112, 112, 156, 63, 125, 63, 112, 63, 63, 63, 63, 50, 63, 174, 174, 50, 50, 187, 187, 63, 112, 63, 156, 63, 63, 63, 63, 50, 94, 50, 50, 156, 156, 156, 143, 50, 68, 50, 125, 63, 63, 63, 156, 63, 50, 125, 125, 63, 63, 125, 125, 63, 125, 63, 68, 156, 156, 156, 156, 19, 50, 50, 50, 112, 112, 112, 50, 156, 50, 156, 112, 156, 156, 112, 112, 37, 156, 94, 94, 37, 37, 156, 156, 37, 112, 37, 94, 156, 156, 156, 94, 37, 156, 37, 37, 156, 156, 156, 156, 37, 187, 37, 187, 37, 37, 37, 187, 37, 112, 112, 112, 37, 37, 262, 262, 112, 50, 112, 50, 112, 112, 143, 143, 125, 112, 112, 112, 37, 37, 37, 156, 63, 94, 63, 37, 63, 63, 156, 156, 125, 63, 94, 94, 125, 125, 63, 63, 37, 63, 37, 68, 37, 37, 169, 169, 125, 94, 187, 187, 187, 187, 187, 63, 125, 63, 125, 156, 138, 138, 138, 262, 156, 125, 37, 37, 156, 156, 94, 94, 156, 94, 156, 94, 94, 94, 94, 94, 125, 112, 156, 156, 156, 156, 156, 94, 125, 94, 125, 63, 125, 125, 63, 63, 37, 112, 112, 112, 37, 37, 125, 125, 37, 138, 37, 94, 37, 37, 37, 187, 125, 156, 37, 37, 94, 94, 94, 125, 125, 63, 125, 37, 63, 63, 63, 187, 63, 63, 63, 63, 63, 63, 187, 187, 63, 200, 63, 200, 50, 50, 50, 86, 125, 50, 50, 50, 63, 63, 63, 86, 63, 63, 63, 63, 63, 63, 187, 187, 125, 156, 156, 156, 125, 125, 112, 112, 156, 156, 156, 112, 156, 156, 112, 112, 125, 86, 125, 125, 112, 112, 112, 63, 125, 63, 125, 68, 112, 112, 112, 231, 125, 125, 86, 86, 125, 125, 63, 63, 63, 63, 63, 138, 63, 63, 112, 112, 32, 63, 63, 63, 37, 37, 37, 156, 37, 63, 37, 107, 37, 37, 107, 107, 125, 37, 63, 63, 125, 125, 156, 156, 125, 156, 125, 63, 107, 107, 107, 156, 63, 37, 63, 63, 63, 63, 63, 262, 63, 107, 63, 63, 125, 125, 125, 231, 63, 63, 63, 63, 63, 63, 63, 63, 63, 156, 63, 63, 63, 63, 156, 156, 32, 63, 63, 63, 63, 63, 63, 63, 94, 63, 94, 63, 94, 94, 107, 107, 32, 94, 156, 156, 32, 32, 63, 63, 125, 63, 125, 63, 125, 125, 200, 200, 81, 156, 156, 156, 156, 156, 156, 94, 81, 63, 81, 63, 55, 55, 55, 55, 81, 81, 156, 156, 81, 81, 55, 55, 169, 107, 169, 55, 169, 169, 156, 156, 32, 125, 55, 55, 55, 55, 55, 55, 81, 55, 81, 200, 81, 81, 55, 55, 81, 81, 81, 81, 81, 81, 37, 37, 81, 37, 81, 200, 200, 200, 200, 143, 32, 107, 55, 55, 55, 55, 55, 55, 32, 107, 32, 55, 81, 81, 81, 81, 107, 107, 107, 107, 107, 107, 81, 81, 107, 107, 107, 138, 63, 63, 63, 94, 125, 107, 107, 107, 32, 32, 32, 81, 125, 81, 125, 81, 125, 125, 200, 200, 125, 125, 81, 81, 125, 125, 81, 81, 76, 76, 76, 125, 76, 76, 200, 200, 125, 156, 125, 125, 37, 37, 37, 156, 125, 138, 125, 156, 76, 76, 76, 200, 76, 125, 169, 169, 76, 76, 125, 125, 76, 76, 76, 76, 169, 169, 169, 169, 32, 169, 125, 125, 169, 169, 169, 81, 63, 125, 63, 169, 63, 63, 169, 169, 63, 63, 125, 125, 63, 63, 50, 50, 63, 50, 63, 76, 50, 50, 50, 76, 24, 50, 63, 63, 76, 76, 76, 76, 24, 161, 24, 63, 125, 125, 125, 76, 24, 125, 125, 125, 24, 24, 76, 76, 169, 169, 169, 169, 169, 169, 125, 125, 24, 63, 63, 63, 76, 76, 76, 169, 76, 107, 76, 76, 76, 76, 169, 169, 24, 125, 125, 125, 24, 24, 76, 76, 24, 76, 24, 169, 24, 24, 76, 76, 24, 63, 63, 63, 63, 63, 63, 125, 24, 169, 24, 76, 107, 107, 107, 169, 76, 24, 169, 169, 76, 76, 76, 76, 76, 63, 76, 76, 169, 169, 169, 81, 32, 138, 24, 24, 169, 169, 169, 76, 50, 138, 50, 169, 50, 50, 169, 169, 50, 125, 125, 125, 50, 50, 50, 50, 50, 169, 50, 107, 125, 125, 125, 107, 32, 169, 169, 169, 169, 169, 169, 107, 32, 94, 32, 50, 50, 50, 50, 169, 138, 50, 50, 50, 138, 138, 169, 169, 138, 50, 138, 200, 50, 50, 50, 169, 45, 138, 125, 125, 138, 138, 138, 50, 138, 125, 138, 125, 138, 138, 63, 63, 45, 138, 138, 138, 45, 45, 50, 50, 76, 138, 76, 169, 76, 76, 76, 76, 45, 107, 45, 45, 50, 50, 50, 107, 45, 156, 45, 76, 50, 50, 50, 81, 138, 45, 182, 182, 138, 138, 200, 200, 138, 200, 138, 76, 76, 76, 76, 107, 32, 169, 169, 169, 138, 138, 138, 138, 138, 50, 138, 107, 138, 138, 138, 138, 45, 138, 107, 107, 45, 45, 169, 169, 45, 169, 45, 151, 138, 138, 138, 107, 45, 138, 138, 138, 138, 138, 138, 76, 45, 125, 45, 50, 138, 138, 138, 138, 45, 138, 138, 138, 45, 45, 50, 50, 107, 169, 107, 107, 107, 107, 50, 50, 32, 45, 76, 76, 76, 76, 76, 50, 76, 76, 76, 76, 76, 76, 76, 76, 32, 213, 213, 213, 32, 32, 63, 63, 76, 45, 76, 63, 76, 76, 76, 76, 138, 99, 138, 138, 138, 138, 138, 213, 138, 200, 138, 138, 138, 138, 138, 169, 138, 138, 138, 138, 138, 138, 169, 169, 138, 169, 138, 125, 138, 138, 244, 244, 94, 125, 125, 125, 125, 125, 125, 125, 32, 125, 32, 244, 32, 32, 99, 99, 138, 76, 76, 76, 138, 138, 45, 45, 138, 45, 138, 76, 76, 76, 76, 169, 94, 50, 138, 138, 50, 50, 50, 50, 94, 151, 94, 50, 76, 76, 76, 138, 45, 45, 45, 45, 45, 45, 138, 138, 45, 120, 45, 120, 169, 169, 169, 120, 94, 76, 76, 76, 94, 94, 94, 275, 76, 76, 76, 76, 76, 76, 138, 138, 94, 76, 76, 76, 94, 94, 76, 76, 45, 94, 45, 76, 45, 45, 76, 76, 138, 76, 94, 94, 107, 107, 107, 76, 138, 76, 138, 76, 120, 120, 120, 76, 138, 138, 169, 169, 138, 138, 45, 45, 76, 76, 76, 76, 76, 76, 169, 169, 19, 94, 169, 169, 94, 94, 94, 169, 182, 169, 182, 94, 182, 182, 68, 68, 32, 182, 94, 94, 32, 32, 182, 182, 32, 68, 32, 169, 182, 182, 182, 68, 138, 169, 32, 32, 68, 68, 68, 68, 138, 68, 138, 94, 94, 94, 94, 68, 138, 94, 94, 94, 138, 138, 94, 94, 45, 94, 45, 50, 45, 45, 50, 50, 45, 45, 45, 45, 138, 138, 138, 94, 94, 68, 94, 138, 94, 94, 45, 45, 45, 94, 94, 94, 45, 45, 138, 138, 138, 120, 138, 107, 138, 138, 94, 94, 45, 120, 45, 45, 45, 45, 45, 151, 45, 120, 45, 120, 94, 94, 94, 213, 89, 45, 138, 138, 89, 89, 138, 138, 89, 94, 89, 94, 138, 138, 138, 244, 45, 89, 45, 45, 45, 45, 45, 213, 45, 226, 45, 138, 45, 45, 50, 50, 45, 138, 138, 138, 45, 45, 45, 45, 45, 89, 45, 89, 89, 89, 89, 89, 45, 138, 182, 182, 182, 182, 182, 89, 45, 89, 45, 45, 76, 76, 76, 138, 45, 76, 76, 76, 45, 45, 182, 182, 45, 182, 45, 182, 138, 138, 138, 174, 45, 76, 76, 76, 37, 37, 37, 76, 37, 37, 37, 37, 37, 37, 63, 63, 45, 89, 89, 89, 45, 45, 37, 37, 138, 37, 138, 138, 138, 138, 151, 151, 37, 63, 45, 45, 182, 182, 182, 94, 37, 182, 37, 182, 45, 45, 45, 244, 37, 37, 89, 89, 37, 37, 89, 89, 182, 89, 182, 89, 182, 182, 182, 182, 19, 37, 89, 89, 45, 45, 45, 89, 37, 89, 37, 37, 37, 37, 37, 37, 63, 37, 76, 76, 63, 63, 37, 37, 63, 182, 63, 89, 120, 120, 120, 120, 63, 45, 89, 89, 89, 89, 89, 89, 63, 89, 63, 89, 63, 63, 63, 89, 63, 182, 182, 182, 63, 63, 94, 94, 63, 89, 63, 63, 63, 63, 182, 182, 19, 63, 138, 138, 138, 138, 138, 76, 138, 63, 138, 138, 138, 138, 120, 120, 19, 120, 120, 120, 19, 19, 182, 182, 151, 45, 151, 182, 151, 151, 45, 45, 58, 63, 58, 58, 58, 58, 58, 120, 58, 151, 58, 182, 151, 151, 151, 63, 58, 58, 58, 58, 58, 58, 138, 138, 151, 151, 151, 151, 151, 151, 63, 63, 107, 151, 58, 58, 58, 58, 58, 58, 32, 151, 32, 58, 32, 32, 89, 89, 32, 58, 58, 58, 32, 32, 63, 63, 32, 63, 32, 58, 120, 120, 120, 89, 107, 58, 151, 151, 151, 151, 151, 63, 107, 94, 107, 195, 151, 151, 151, 213, 151, 32, 32, 32, 151, 151, 89, 89, 151, 32, 151, 182, 151, 151, 151, 120, 107, 151, 120, 120, 107, 107, 107, 151, 58, 58, 58, 58, 58, 58, 169, 169, 107, 58, 182, 182, 107, 107, 151, 151, 58, 58, 58, 58, 58, 58, 89, 89, 45, 151, 107, 107, 151, 151, 151, 63, 45, 120, 45, 151, 58, 58, 58, 63, 45, 45, 120, 120, 45, 45, 120, 120, 58, 120, 58, 63, 58, 58, 151, 151, 120, 89, 45, 45, 45, 45, 45, 89, 107, 89, 107, 45, 107, 107, 226, 226, 151, 107, 76, 76, 151, 151, 89, 89, 151, 89, 151, 76, 107, 107, 107, 89, 32, 151, 151, 151, 151, 151, 151, 151, 32, 89, 32, 151, 151, 151, 151, 182, 32, 182, 182, 182, 32, 32, 89, 89, 107, 151, 107, 151, 107, 107, 257, 257, 32, 45, 45, 45, 107, 107, 107, 138, 107, 138, 107, 107, 107, 107, 112, 112, 32, 89, 89, 89, 32, 32, 151, 151, 58, 151, 58, 58, 58, 58, 89, 89, 32, 107, 58, 58, 58, 58, 58, 63, 32, 63, 32, 164, 89, 89, 89, 151, 182, 32, 58, 58, 182, 182, 58, 58, 182, 151, 182, 58, 133, 133, 133, 89, 120, 133, 32, 32, 89, 89, 89, 107, 151, 89, 151, 89, 151, 151, 89, 89, 151, 107, 107, 107, 151, 151, 151, 151, 151, 89, 151, 89, 58, 58, 58, 94, 120, 58, 107, 107, 107, 107, 107, 89, 120, 89, 120, 120, 133, 133, 133, 89, 32, 32, 32, 32, 32, 32, 151, 151, 32, 151, 32, 151, 89, 89, 89, 58, 58, 32, 182, 182, 58, 58, 58, 32, 58, 107, 58, 107, 58, 58, 182, 182, 58, 195, 195, 195, 58, 58, 45, 45, 45, 45, 45, 107, 45, 45, 195, 195, 58, 81, 58, 58, 58, 58, 58, 89, 58, 182, 58, 45, 151, 151, 151, 45, 151, 58, 107, 107, 151, 151, 107, 107, 151, 151, 151, 107, 81, 81, 81, 81, 120, 58, 58, 58, 107, 107, 107, 58, 107, 63, 107, 58, 107, 107, 107, 107, 120, 107, 81, 81, 120, 120, 58, 58, 120, 58, 120, 133, 58, 58, 58, 107, 32, 151, 58, 58, 58, 58, 58, 120, 32, 151, 32, 58, 102, 102, 102, 58, 32, 102, 102, 102, 32, 32, 58, 58, 151, 107, 151, 102, 151, 151, 58, 58, 120, 32, 102, 102, 32, 32, 32, 107, 58, 151, 58, 32, 58, 58, 102, 102, 120, 58, 102, 102, 120, 120, 58, 58, 58, 58, 58, 151, 58, 58, 58, 58, 58, 151, 58, 58, 58, 58, 58, 151, 58, 58, 58, 102, 58, 58, 58, 102, 58, 58, 58, 58, 58, 58, 58, 58, 89, 102, 89, 58, 89, 89, 151, 151, 76, 89, 58, 58, 58, 58, 58, 58, 120, 58, 120, 195, 120, 120, 151, 151, 151, 50, 50, 50, 151, 151, 58, 58, 151, 58, 151, 50, 50, 50, 50, 50, 76, 58, 151, 151, 50, 50, 50, 133, 76, 102, 76, 50, 164, 164, 164, 151, 50, 120, 120, 120, 50, 50, 195, 195, 50, 50, 50, 50, 195, 195, 195, 195, 76, 50, 50, 50, 76, 76, 76, 102, 32, 102, 32, 32, 32, 32, 195, 195, 76, 32, 195, 195, 76, 76, 102, 102, 50, 76, 50, 58, 50, 50, 102, 102, 102, 50, 76, 76, 76, 76, 76, 50, 102, 89, 102, 50, 76, 76, 76, 195, 102, 102, 133, 133, 102, 102, 58, 58, 102, 102, 102, 195, 102, 102, 195, 195, 27, 76, 76, 76, 76, 76, 76, 76, 120, 195, 120, 76, 120, 120, 76, 76, 71, 120, 76, 76, 71, 71, 120, 120, 71, 151, 71, 195, 151, 151, 151, 89, 120, 151, 71, 71, 32, 32, 32, 133, 120, 151, 120, 32, 71, 71, 71, 195, 120, 164, 164, 164, 120, 120, 120, 120, 71, 71, 71, 71, 71, 71, 164, 164, 58, 164, 164, 164, 120, 120, 120, 71, 164, 76, 164, 120, 164, 164, 71, 71, 58, 164, 71, 71, 58, 58, 120, 120, 45, 120, 45, 195, 45, 45, 71, 71, 58, 71, 45, 45, 45, 45, 45, 71, 58, 45, 58, 102, 71, 71, 71, 156, 120, 58, 45, 45, 120, 120, 133, 133, 120, 164, 120, 133, 71, 71, 71, 76, 19, 164, 164, 164, 164, 164, 164, 120, 58, 208, 58, 164, 58, 58, 45, 45, 71, 102, 102, 102, 71, 71, 58, 58, 71, 164, 71, 164, 120, 120, 120, 182, 19, 133, 71, 71, 71, 71, 71, 164, 19, 133, 19, 71, 58, 58, 58, 182, 58, 71, 71, 71, 58, 58, 164, 164, 58, 71, 58, 71, 102, 102, 102, 71, 19, 164, 164, 164, 71, 71, 71, 164, 71, 58, 71, 71, 71, 71, 164, 164, 19, 133, 133, 133, 19, 19, 133, 133, 164, 71, 164, 133, 164, 164, 177, 177, 45, 164, 19, 19, 120, 120, 120, 58, 45, 58, 45, 58, 164, 164, 164, 102, 45, 45, 120, 120, 45, 45, 164, 164, 164, 102, 164, 71, 164, 164, 89, 89, 40, 45, 164, 164, 45, 45, 45, 164, 45, 164, 45, 45, 45, 45, 164, 164, 133, 45, 195, 195, 133, 133, 45, 45, 133, 45, 133, 195, 120, 120, 120, 164, 133, 45, 120, 120, 120, 120, 120, 58, 133, 58, 133, 120, 133, 133, 133, 151, 133, 45, 45, 45, 133, 133, 164, 164, 71, 102, 71, 71, 71, 71, 102, 102, 40, 133, 102, 102, 45, 45, 45, 151, 45, 71, 45, 45, 45, 45, 76, 76, 40, 177, 177, 177, 40, 40, 195, 195, 133, 195, 133, 71, 133, 133, 71, 71, 133, 164, 164, 164, 164, 164, 164, 270, 133, 133, 133, 45, 102, 102, 102, 102, 133, 133, 164, 164, 133, 133, 102, 102, 164, 102, 164, 120, 164, 164, 146, 146, 40, 164, 133, 133, 133, 133, 133, 133, 133, 71, 133, 71, 133, 133, 120, 120, 133, 45, 45, 45, 133, 133, 45, 45, 133, 45, 133, 102, 45, 45, 45, 120, 40, 164, 102, 102, 102, 102, 102, 45, 40, 133, 40, 71, 71, 71, 71, 195, 71, 71, 71, 71, 71, 71, 71, 71, 71, 71, 71, 195, 208, 208, 208, 94, 133, 58, 58, 58, 40, 40, 40, 58, 71, 58, 71, 71, 71, 71, 94, 94, 133, 71, 71, 71, 133, 133, 195, 195, 133, 133, 133, 164, 133, 133, 58, 58, 133, 120, 133, 133, 164, 164, 164, 120, 133, 164, 133, 120, 133, 133, 133, 239, 120, 133, 120, 120, 120, 120, 71, 71, 120, 76, 120, 120, 239, 239, 239, 146, 27, 94, 133, 133, 71, 71, 71, 71, 40, 133, 40, 71, 40, 40, 71, 71, 133, 40, 71, 71, 133, 133, 45, 45, 133, 45, 133, 164, 45, 45, 45, 146, 40, 45, 133, 133, 71, 71, 71, 45, 40, 71, 40, 133, 133, 133, 133, 115, 40, 115, 115, 115, 40, 40, 164, 164, 71, 45, 71, 71, 71, 71, 71, 71, 89, 71, 71, 71, 71, 71, 71, 115, 71, 133, 71, 71, 71, 71, 71, 71, 89, 71, 71, 71, 89, 89, 71, 71, 40, 71, 40, 71, 40, 40, 71, 71, 89, 71, 102, 102, 102, 102, 102, 71, 89, 71, 89, 71, 115, 115, 115, 115, 133, 89, 164, 164, 133, 133, 40, 40, 133, 71, 133, 71, 71, 71, 71, 164, 27, 208, 89, 89, 164, 164, 164, 164, 89, 63, 89, 164, 89, 89, 71, 71, 177, 63, 63, 63, 177, 177, 89, 89, 177, 164, 177, 89, 63, 63, 63, 164, 27, 115, 177, 177, 164, 164, 164, 102, 27, 208, 27, 133, 63, 63, 63, 63, 89, 89, 89, 89, 89, 89, 208, 208, 89, 89, 89, 63, 89, 89, 89, 270, 133, 89, 45, 45, 40, 40, 40, 45, 40, 89, 40, 208, 40, 40, 151, 151, 133, 63, 63, 63, 133, 133, 63, 63, 89, 40, 89, 115, 89, 89, 89, 89, 133, 89, 133, 133, 115, 115, 115, 102, 133, 89, 133, 89, 115, 115, 115, 208, 40, 133, 71, 71, 40, 40, 115, 115, 40, 115, 40, 115, 89, 89, 89, 115, 40, 133, 133, 133, 133, 133, 133, 208, 84, 89, 84, 89, 84, 84, 133, 133, 40, 84, 84, 84, 40, 40, 84, 84, 40, 208, 40, 221, 133, 133, 133, 102, 40, 45, 133, 133, 133, 133, 133, 146, 40, 164, 40, 84, 84, 84, 84, 84, 40, 84, 84, 84, 40, 40, 133, 133, 177, 84, 177, 84, 177, 177, 84, 84, 40, 40, 133, 133, 71, 71, 71, 208, 71, 177, 71, 71, 71, 71, 177, 177, 40, 177, 177, 177, 40, 40, 133, 133, 71, 71, 71, 133, 71, 71, 58, 58, 32, 84, 32, 32, 32, 32, 32, 84, 32, 58, 32, 71, 84, 84, 84, 115, 32, 32, 32, 32, 32, 32, 133, 133, 133, 84, 133, 146, 133, 133, 58, 58, 40, 84, 177, 177, 177, 177, 177, 177, 40, 177, 40, 133, 40, 40, 71, 71, 32, 84, 84, 84, 32, 32, 84, 84, 32, 84, 32, 84, 177, 177, 177, 177, 40, 133, 32, 32, 84, 84, 84, 84, 40, 146, 40, 84, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 71, 71, 32, 71, 32, 71, 177, 177, 177, 84, 58, 115, 115, 115, 40, 40, 40, 84, 84, 177, 84, 84, 84, 84, 84, 84, 58, 84, 84, 84, 58, 58, 177, 177, 177, 40, 177, 146, 177, 177, 89, 89, 58, 84, 58, 58, 58, 58, 58, 177, 58, 239, 58, 177, 133, 133, 133, 71, 133, 58, 58, 58, 133, 133, 177, 177, 133, 115, 133, 133, 115, 115, 115, 239, 27, 177, 177, 177, 40, 40, 40, 177, 146, 102, 146, 40, 146, 146, 58, 58, 53, 146, 58, 58, 53, 53, 146, 146, 53, 177, 53, 115, 146, 146, 146, 177, 53, 58, 53, 53, 133, 133, 133, 146, 53, 146, 53, 146, 146, 146, 146, 58, 53, 146, 146, 146, 53, 53, 71, 71, 53, 146, 53, 146, 53, 53, 133, 133, 27, 84, 84, 84, 53, 53, 53, 146, 58, 84, 58, 53, 58, 58, 53, 53, 27, 58, 115, 115, 27, 27, 53, 53, 146, 58, 146, 58, 146, 146, 89, 89, 27, 190, 146, 146, 146, 146, 146, 133, 27, 208, 27, 84, 84, 84, 84, 89, 146, 27, 177, 177, 146, 146, 146, 146, 146, 146, 146, 146, 115, 115, 115, 58, 102, 146, 53, 53, 53, 53, 53, 115, 53, 164, 53, 177, 53, 53, 177, 177, 53, 146, 146, 146, 53, 53, 53, 53, 53, 146, 53, 84, 146, 146, 146, 120, 102, 133, 146, 146, 146, 146, 146, 115, 102, 146, 102, 146, 53, 53, 53, 115, 40, 115, 115, 115, 40, 40, 115, 115, 40, 115, 40, 58, 53, 53, 53, 146, 102, 84, 84, 84, 40, 40, 40, 84, 40, 84, 40, 84, 40, 40, 84, 84, 102, 221, 221, 221, 102, 102, 71, 71, 84, 84, 84, 53, 84, 84, 71, 71, 146, 84, 102, 102, 146, 146, 146, 84, 146, 84, 146, 221, 146, 146, 146, 84, 146, 146, 146, 146, 146, 146, 146, 146, 177, 146, 177, 107, 177, 177, 84, 84, 27, 146, 146, 146, 102, 102, 102, 252, 40, 146, 40, 133, 40, 40, 133, 133, 102, 40, 133, 133, 102, 102, 40, 40, 102, 107, 102, 146, 84, 84, 84, 84, 53, 146, 146, 146, 146, 146, 146, 53, 53, 84, 53, 84, 102, 102, 102, 177, 53, 58, 58, 58, 53, 53, 58, 58, 84, 159, 84, 102, 84, 84, 84, 84, 27, 53, 53, 53, 53, 53, 53, 146, 177, 146, 177, 53, 177, 177, 128, 128, 27, 177, 128, 128, 27, 27, 84, 84, 84, 102, 84, 84, 84, 84, 84, 84, 146, 84, 102, 102, 102, 102, 102, 128, 146, 84, 146, 84, 84, 84, 84, 84, 146, 146, 53, 53, 146, 146, 53, 53, 102, 84, 102, 53, 102, 102, 84, 84, 53, 115, 146, 146, 128, 128, 128, 146, 27, 102, 27, 128, 27, 27, 146, 146, 27, 146, 146, 146, 27, 27, 84, 84, 27, 84, 27, 84, 177, 177, 177, 84, 53, 102, 102, 102, 102, 102, 102, 177, 53, 177, 53, 177, 190, 190, 190, 84, 40, 40, 40, 40, 40, 40, 102, 102, 40, 40, 40, 190, 76, 76, 76, 177, 53, 190, 190, 190, 53, 53, 53, 177, 146, 40, 146, 76, 146, 146, 76, 76, 53, 146, 102, 102, 53, 53, 102, 102, 146, 146, 146, 102, 146, 146, 76, 76, 102, 102, 53, 53, 53, 53, 53, 58, 102, 58, 102, 58, 53, 53, 53, 221, 102, 102, 146, 146, 102, 102, 76, 76, 53, 146, 53, 76, 53, 53, 128, 128, 115, 102, 53, 53, 146, 146, 146, 146, 53, 128, 53, 146, 53, 53, 146, 146, 97, 53, 128, 128, 97, 97, 53, 53, 97, 53, 97, 159, 53, 53, 53, 128, 27, 102, 97, 97, 146, 146, 146, 53, 27, 102, 27, 97, 97, 97, 97, 221, 27, 146, 146, 146, 27, 27, 252, 252, 53, 97, 53, 53, 53, 53, 97, 97, 53, 53, 53, 53, 53, 53, 53, 146, 53, 58, 53, 53, 53, 53, 146, 146, 53, 53, 53, 53, 53, 53, 53, 53, 53, 97, 53, 97, 53, 53, 53, 53, 53, 190, 53, 53, 53, 53, 53, 97, 53, 97, 53, 53, 84, 84, 84, 146, 53, 53, 84, 84, 53, 53, 53, 53, 53, 190, 53, 53, 190, 190, 190, 97, 115, 146, 53, 53, 45, 45, 45, 84, 53, 71, 53, 45, 53, 53, 45, 45, 146, 45, 45, 45, 146, 146, 53, 53, 146, 97, 146, 97, 45, 45, 45, 97, 115, 45, 146, 146, 159, 159, 159, 97, 115, 102, 115, 71, 190, 190, 190, 97, 45, 45, 45, 45, 45, 45, 190, 190, 45, 53, 45, 53, 45, 45, 45, 234, 71, 45, 97, 97, 27, 27, 27, 45, 27, 190, 27, 190, 27, 27, 190, 190, 71, 97, 97, 97, 71, 71, 53, 53, 45, 45, 45, 97, 45, 45, 45, 45, 71, 45, 71, 71, 71, 71, 71, 84, 71, 45, 71, 45, 71, 71, 71, 146, 97, 71, 128, 128, 97, 97, 53, 53, 97, 97, 97, 190, 97, 97, 97, 190, 115, 71, 71, 71, 71, 71, 71, 71, 71, 190, 71, 190, 71, 71, 71, 71, 115, 71, 97, 97, 115, 115, 71, 71, 115, 190, 115, 102, 146, 146, 146, 190, 66, 146, 146, 146, 146, 146, 146, 71, 66, 146, 66, 146, 27, 27, 27, 146, 66, 27, 27, 27, 66, 66, 190, 190, 159, 53, 159, 159, 159, 159, 115, 115, 115, 66, 66, 66, 66, 66, 66, 159, 159, 66, 159, 66, 159, 159, 190, 190, 115, 159, 71, 71, 115, 115, 66, 66, 159, 66, 159, 190, 159, 159, 66, 66, 40, 159, 115, 115, 115, 115, 115, 190, 40, 159, 40, 66, 66, 66, 66, 84, 40, 40, 40, 40, 40, 40, 40, 40, 66, 97, 66, 97, 66, 66, 190, 190, 53, 71, 40, 40, 128, 128, 128, 40, 115, 159, 115, 128, 115, 115, 66, 66, 159, 159, 159, 159, 159, 159, 115, 115, 159, 115, 159, 203, 159, 159, 159, 159, 53, 40, 159, 159, 97, 97, 97, 97, 53, 97, 53, 40, 159, 159, 159, 159, 66, 115, 115, 115, 66, 66, 128, 128, 66, 115, 66, 115, 66, 66, 66, 128, 53, 66, 177, 177, 53, 53, 53, 190, 66, 190, 66, 115, 66, 66, 159, 159, 53, 66, 66, 66, 53, 53, 97, 97, 159, 53, 159, 159, 159, 159, 146, 146, 66, 71, 53, 53, 66, 66, 66, 159, 66, 159, 66, 71, 128, 128, 128, 190, 66, 66, 128, 128, 66, 66, 128, 128, 159, 71, 159, 172, 159, 159, 159, 159, 14, 53, 53, 53, 115, 115, 115, 53, 159, 53, 159, 115, 159, 159, 115, 115, 40, 159, 115, 115, 40, 40, 159, 159, 40, 97, 40, 66, 159, 159, 159, 84, 40, 115, 40, 40, 159, 159, 159, 159, 40, 97, 40, 159, 40, 40, 40, 221, 40, 159, 159, 159, 40, 40, 190, 190, 40, 190, 40, 190, 40, 40, 190, 190, 128, 115, 115, 115, 40, 40, 40, 159, 115, 265, 115, 40, 115, 115, 53, 53, 128, 115, 146, 146, 128, 128, 115, 115, 40, 115, 40, 97, 40, 40, 159, 159, 128, 97, 66, 66, 66, 66, 66, 97, 128, 159, 128, 66, 97, 97, 97, 146, 40, 128, 66, 66, 40, 40, 66, 66, 40, 71, 40, 71, 172, 172, 172, 71, 128, 97, 190, 190, 190, 190, 190, 66, 128, 66, 128, 66, 128, 128, 159, 159, 159, 141, 141, 141, 159, 159, 128, 128, 159, 40, 159, 141, 97, 97, 97, 97, 128, 97, 159, 159, 97, 97, 97, 120, 128, 97, 128, 115, 159, 159, 159, 141, 128, 159, 159, 159, 128, 128, 97, 97, 128, 66, 128, 66, 66, 66, 66, 66, 128, 115, 115, 115, 40, 40, 40, 97, 40, 128, 40, 141, 40, 40, 97, 97, 128, 40, 40, 40, 128, 128, 159, 159, 97, 40, 97, 159, 97, 97, 128, 128, 66, 66, 128, 128, 66, 66, 66, 40, 66, 190, 66, 40, 66, 66, 66, 234, 66, 66, 190, 190, 66, 66, 203, 203, 53, 203, 53, 97, 53, 53, 89, 89, 35, 53, 53, 53, 66, 66, 66, 203, 66, 89, 66, 66, 66, 66, 66, 66, 128, 66, 190, 190, 128, 128, 159, 159, 128, 159, 128, 53, 115, 115, 115, 159, 128, 159, 159, 159, 159, 159, 159, 159, 128, 115, 128, 89, 128, 128, 128, 115, 128, 115, 115, 115, 128, 128, 66, 66, 115, 71, 115, 115, 115, 115, 234, 234, 35, 128, 89, 89, 128, 128, 128, 141, 66, 66, 66, 128, 66, 66, 141, 141, 35, 66, 115, 115, 35, 35, 66, 66, 40, 66, 40, 66, 40, 40, 159, 159, 128, 66, 40, 40, 40, 40, 40, 66, 128, 110, 128, 110, 66, 66, 66, 66, 128, 128, 159, 159, 128, 128, 159, 159, 110, 66, 110, 115, 110, 110, 159, 159, 35, 40, 66, 66, 66, 66, 66, 66, 66, 265, 66, 110, 66, 66, 66, 66, 66, 128, 128, 128, 66, 66, 66, 66, 66, 66, 66, 159, 66, 66, 66, 71, 35, 159, 66, 66, 66, 66, 66, 66, 35, 159, 35, 66, 66, 66, 66, 66, 97, 66, 66, 66, 97, 97, 66, 66, 97, 66, 97, 66, 110, 110, 110, 110, 84, 97, 159, 159, 35, 35, 35, 66, 128, 66, 128, 66, 128, 128, 66, 66, 84, 128, 203, 203, 84, 84, 159, 159, 159, 159, 159, 58, 159, 159, 97, 97, 84, 66, 84, 84, 58, 58, 58, 58, 84, 58, 84, 58, 159, 159, 159, 84, 172, 84, 58, 58, 172, 172, 110, 110, 172, 58, 172, 159, 159, 159, 159, 203, 35, 128, 58, 58, 58, 58, 58, 203, 84, 58, 84, 58, 84, 84, 203, 203, 84, 84, 58, 58, 84, 84, 84, 84, 84, 84, 84, 110, 40, 40, 40, 110, 35, 40, 84, 84, 203, 203, 203, 40, 35, 146, 35, 84, 58, 58, 58, 58, 35, 58, 58, 58, 35, 35, 110, 110, 84, 58, 84, 84, 84, 84, 84, 84, 128, 110, 110, 110, 110, 110, 110, 84, 110, 84, 110, 110, 110, 110, 141, 141, 128, 66, 66, 66, 128, 128, 110, 110, 35, 110, 35, 110, 35, 35, 84, 84, 128, 84, 128, 128, 128, 128, 128, 84, 128, 203, 128, 84, 84, 84, 84, 115, 79, 128, 84, 84, 79, 79, 79, 79, 79, 128, 79, 159, 203, 203, 203, 216, 35, 159, 128, 128, 40, 40, 40, 79, 128, 159, 128, 40, 128, 128, 159, 159, 79, 79, 79, 79, 79, 79, 128, 128, 79, 172, 79, 141, 128, 128, 128, 172, 35, 79, 79, 79, 172, 172, 172, 79, 35, 172, 35, 172, 128, 128, 128, 172, 66, 172, 172, 172, 66, 66, 128, 128, 66, 172, 66, 79, 172, 172, 172, 203, 27, 66, 128, 128, 66, 66, 66, 128, 66, 53, 66, 53, 66, 66, 79, 79, 27, 53, 53, 53, 27, 27, 53, 53, 79, 66, 79, 53, 79, 79, 79, 79, 27, 164, 27, 27, 128, 128, 128, 110, 27, 79, 27, 141, 128, 128, 128, 53, 172, 27, 79, 79, 172, 172, 172, 172, 172, 172, 172, 172, 128, 128, 128, 234, 35, 66, 66, 66, 79, 79, 79, 53, 79, 172, 79, 110, 79, 79, 79, 79, 27, 79, 172, 172, 27, 27, 128, 128, 27, 128, 27, 190, 79, 79, 79, 141, 27, 79, 27, 27, 27, 27, 27, 141, 27, 79, 27, 66, 66, 66, 66, 66, 27, 66, 66, 66, 27, 27, 172, 172, 110, 79, 110, 66, 110, 110, 172, 172, 35, 27, 172, 172, 79, 79, 79, 128, 79, 79, 79, 79, 79, 79, 79, 79, 35, 172, 172, 172, 35, 35, 141, 141, 172, 27, 172, 84, 172, 172, 79, 79, 53, 141, 53, 53, 53, 53, 53, 234, 53, 172, 53, 27, 128, 128, 128, 66, 53, 53, 53, 53, 53, 53, 172, 172, 128, 110, 128, 128, 128, 128, 110, 110, 48, 172, 172, 172, 172, 172, 172, 172, 35, 110, 35, 97, 35, 35, 53, 53, 141, 53, 53, 53, 141, 141, 53, 53, 141, 53, 141, 53, 172, 172, 172, 110, 48, 53, 141, 141, 53, 53, 53, 53, 48, 172, 48, 53, 128, 128, 128, 141, 141, 141, 141, 141, 141, 141, 128, 128, 141, 128, 141, 128, 66, 66, 66, 159, 48, 141, 141, 141, 48, 48, 48, 128, 79, 53, 79, 141, 79, 79, 172, 172, 48, 79, 79, 79, 48, 48, 110, 110, 53, 48, 53, 141, 53, 53, 110, 110, 141, 159, 48, 48, 53, 53, 53, 53, 141, 84, 141, 84, 185, 185, 185, 84, 141, 141, 203, 203, 141, 141, 203, 203, 79, 79, 79, 203, 79, 79, 110, 110, 22, 172, 172, 172, 141, 141, 141, 172, 141, 141, 141, 141, 141, 141, 110, 110, 48, 141, 141, 141, 48, 48, 141, 141, 48, 110, 48, 159, 172, 172, 172, 154, 48, 172, 48, 48, 141, 141, 141, 172, 48, 110, 48, 141, 141, 141, 141, 79, 48, 141, 141, 141, 48, 48, 128, 128, 141, 53, 141, 53, 141, 141, 141, 141, 35, 141, 141, 141, 48, 48, 48, 172, 110, 53, 110, 48, 110, 110, 110, 110, 35, 110, 53, 53, 35, 35, 48, 48, 79, 79, 79, 110, 79, 79, 53, 53, 35, 79, 79, 79, 79, 79, 79, 128, 35, 79, 35, 203, 216, 216, 216, 79, 79, 35, 66, 66, 79, 79, 48, 48, 79, 66, 79, 66, 79, 79, 79, 66, 97, 102, 141, 141, 141, 141, 141, 79, 141, 216, 141, 203, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 141, 102, 172, 172, 172, 79, 97, 172, 141, 141, 141, 141, 141, 102, 97, 247, 97, 141, 128, 128, 128, 128, 35, 128, 128, 128, 35, 35, 128, 128, 35, 247, 35, 247, 102, 102, 102, 141, 97, 79, 79, 79, 141, 141, 141, 79, 141, 48, 141, 48, 141, 141, 79, 79, 97, 79, 79, 79, 97, 97, 53, 53, 53, 141, 53, 53, 53, 53, 53, 53, 48, 154, 97, 97, 79, 79, 79, 79, 48, 141, 48, 53, 48, 48, 48, 278, 48, 48, 141, 141, 48, 48, 123, 123, 172, 123, 172, 128, 172, 172, 123, 123, 22, 79, 79, 79, 97, 97, 97, 79, 79, 278, 79, 79, 79, 79, 79, 79, 97, 79, 141, 141, 97, 97, 79, 79, 97, 79, 97, 154, 79, 79, 79, 79, 141, 97, 48, 48, 48, 48, 48, 79, 141, 79, 141, 48, 97, 97, 97, 79, 141, 110, 110, 110, 141, 141, 79, 79, 123, 79, 123, 97, 123, 123, 79, 79, 22, 141, 172, 172, 141, 141, 141, 110, 79, 48, 79, 141, 79, 79, 79, 79, 22, 79, 172, 172, 22, 22, 97, 97, 97, 172, 97, 172, 97, 97, 172, 172, 35, 172, 185, 185, 185, 185, 185, 79, 35, 71, 35, 71, 97, 97, 97, 71, 35, 35, 185, 185, 35, 35, 71, 71, 185, 172, 185, 185, 185, 185, 71, 71, 48, 172, 35, 35, 71, 71, 71, 35, 141, 71, 141, 71, 141, 141, 97, 97, 141, 97, 97, 97, 141, 141, 97, 97, 141, 97, 141, 71, 97, 97, 97, 172, 48, 97, 48, 48, 48, 48, 48, 53, 48, 53, 48, 97, 48, 48, 48, 216, 97, 141, 141, 141, 97, 97, 71, 71, 97, 141, 97, 71, 48, 48, 48, 123, 48, 97, 97, 97, 48, 48, 48, 97, 141, 141, 141, 123, 141, 141, 110, 110, 48, 141, 97, 97, 48, 48, 123, 123, 48, 48, 48, 141, 48, 48, 154, 154, 92, 123, 48, 48, 97, 97, 97, 123, 92, 216, 92, 123, 141, 141, 141, 97, 92, 92, 141, 141, 92, 92, 97, 97, 141, 97, 141, 97, 141, 141, 247, 247, 22, 92, 48, 48, 48, 48, 48, 92, 48, 216, 48, 48, 48, 48, 141, 141, 48, 48, 53, 53, 48, 48, 141, 141, 48, 141, 48, 154, 48, 48, 48, 141, 48, 92, 48, 48, 92, 92, 92, 92, 48, 92, 48, 48, 185, 185, 185, 185, 48, 185, 185, 185, 48, 48, 92, 92, 79, 48, 79, 141, 79, 79, 141, 141, 48, 79, 79, 79, 48, 48, 48, 141, 48, 185, 48, 48, 48, 48, 185, 185, 48, 141, 141, 141, 48, 48, 79, 79, 40, 79, 40, 66, 40, 40, 79, 79, 48, 40, 40, 40, 40, 40, 40, 92, 48, 66, 48, 79, 92, 92, 92, 92, 141, 48, 40, 40, 141, 141, 40, 40, 141, 141, 141, 40, 154, 154, 154, 97, 22, 66, 48, 48, 185, 185, 185, 185, 40, 97, 40, 185, 40, 40, 185, 185, 40, 48, 48, 48, 40, 40, 40, 40, 40, 92, 40, 185, 92, 92, 92, 185, 22, 92, 185, 185, 185, 185, 185, 92, 22, 185, 22, 141, 92, 92, 92, 141, 40, 48, 48, 48, 40, 40, 92, 92, 40, 40, 40, 40, 40, 40, 40, 40, 66, 40, 79, 79, 66, 66, 66, 40, 66, 40, 66, 185, 66, 66, 92, 92, 66, 123, 123, 123, 66, 66, 48, 48, 92, 92, 92, 185, 92, 92, 92, 92, 66, 92, 66, 66, 66, 66, 66, 185, 66, 92, 66, 185, 185, 185, 185, 97, 66, 66, 97, 97, 66, 66, 92, 92, 66, 66, 66, 154, 185, 185, 185, 97, 110, 66, 141, 141, 141, 141, 141, 141, 141, 79, 141, 66, 141, 141, 141, 141, 22, 141, 123, 123, 22, 22, 123, 123, 22, 123, 22, 247, 185, 185, 185, 185, 61, 48, 154, 154, 154, 154, 154, 110, 61, 48, 61, 154, 61, 61, 61, 66, 61, 61, 61, 61, 61, 61, 154, 154, 154, 185, 154, 61, 154, 154, 66, 66, 110, 61, 61, 61, 61, 61, 61, 185, 154, 141, 154, 61, 154, 154, 154, 154, 110, 154, 66, 66, 110, 110, 154, 154, 61, 61, 61, 79, 61, 61, 61, 61, 35, 154, 35, 35, 35, 35, 35, 172, 35, 92, 35, 92, 61, 61, 61, 185, 35, 35, 66, 66, 35, 35, 66, 66, 123, 61, 123, 154, 123, 123, 92, 92, 110, 61, 154, 154, 154, 154, 154, 154, 110, 66, 110, 97, 110, 110, 198, 198, 154, 154, 154, 154, 154, 154, 35, 35, 154, 35, 154, 92, 92, 92, 92, 92, 110, 35, 154, 154, 154, 154, 154, 167, 110, 123, 110, 154, 123, 123, 123, 154, 61, 110, 110, 110, 61, 61, 61, 61, 61, 61, 61, 61, 172, 172, 172, 123, 48, 61, 185, 185, 110, 110, 110, 61, 61, 154, 61, 61, 61, 61, 61, 61, 48, 61, 92, 92, 48, 48, 154, 154, 154, 110, 154, 141, 154, 154, 66, 66, 48, 123, 48, 48, 61, 61, 61, 154, 48, 66, 48, 123, 123, 123, 123, 66, 61, 48, 123, 123, 61, 61, 123, 123, 61, 66, 61, 167, 154, 154, 154, 154, 30, 92, 48, 48, 48, 48, 48, 48, 110, 92, 110, 48, 110, 110, 48, 48, 154, 110, 229, 229, 154, 154, 110, 110, 154, 79, 154, 79, 92, 92, 92, 61, 35, 92, 154, 154, 110, 110, 110, 92, 35, 92, 35, 154, 154, 154, 154, 92, 35, 154, 154, 154, 35, 35, 92, 92, 154, 154, 154, 154, 154, 154, 185, 185, 35, 185, 185, 185, 35, 35, 35, 185, 110, 92, 110, 35, 110, 110, 154, 154, 35, 110, 260, 260, 35, 35, 48, 48, 110, 48, 110, 141, 110, 110, 141, 141, 35, 141, 110, 110, 110, 110, 110, 92, 35, 115, 35, 154, 92, 92, 92, 167, 61, 35, 154, 154, 61, 61, 154, 154, 61, 61, 61, 92, 92, 92, 92, 141, 123, 110, 61, 61, 61, 61, 61, 66, 35, 66, 35, 66, 35, 35, 167, 167, 185, 92, 92, 92, 185, 185, 35, 35, 185, 61, 185, 61, 61, 61, 61, 154, 123, 154, 185, 185, 136, 136, 136, 260, 123, 92, 123, 185, 35, 35, 35, 136, 154, 92, 92, 92, 154, 154, 92, 92, 154, 92, 154, 92, 92, 92, 92, 92, 123, 110, 110, 110, 154, 154, 154, 92, 154, 154, 154, 92, 154, 154, 92, 92, 123, 61, 61, 61, 123, 123, 61, 61, 110, 110, 110, 92, 110, 110, 92, 92, 35, 92, 123, 123, 136, 136, 136, 92, 35, 92, 35, 154, 35, 35, 35, 185, 35, 35, 154, 154, 35, 35, 154, 154, 92, 154, 92, 123, 92, 92, 61, 61, 123, 35, 185, 185, 61, 61, 61, 185, 61, 35, 61, 110, 61, 61, 110, 110, 61, 61, 185, 185, 61, 61, 198, 198, 61, 198, 61, 92, 48, 48, 48, 84, 61, 48, 48, 48, 48, 48, 48, 48, 61, 198, 61, 84, 61, 61, 61, 48, 61, 61, 61, 61, 61, 61, 185, 185, 154, 48, 154, 154, 154, 154, 48, 48, 123, 61, 110, 110, 154, 154, 154, 229, 154, 110, 154, 154, 154, 154, 110, 110, 123, 84, 84, 84, 123, 123, 61, 61, 110, 61, 110, 61, 110, 110, 61, 61, 123, 66, 110, 110, 110, 110, 110, 229, 123, 110, 123, 154, 84, 84, 84, 110, 123, 123, 61, 61, 123, 123, 61, 61, 61, 136, 61, 110, 61, 61, 110, 110, 123, 154, 61, 61, 61, 61, 61, 61, 35, 123, 35, 154, 35, 35, 61, 61, 35, 105, 105, 105, 35, 35, 105, 105, 35, 105, 35, 167, 61, 61, 61, 136, 123, 110, 154, 154, 154, 154, 154, 105, 123, 61, 123, 110, 105, 105, 105, 154, 61, 35, 35, 35, 61, 61, 154, 154, 61, 35, 61, 260, 105, 105, 105, 110, 61, 61, 105, 105, 123, 123, 123, 229, 61, 61, 61, 61, 61, 61, 154, 154, 61, 61, 61, 61, 61, 61, 154, 154, 61, 61, 61, 61, 61, 61, 154, 154, 61, 61, 61, 61, 61, 61, 61, 105, 61, 105, 61, 61, 61, 61, 61, 198, 92, 61, 61, 61, 92, 92, 105, 105, 92, 61, 92, 92, 154, 154, 154, 229, 30, 92, 61, 61, 61, 61, 61, 61, 123, 61, 123, 61, 123, 123, 198, 198, 154, 123, 154, 154, 154, 154, 53, 53, 154, 53, 154, 92, 61, 61, 61, 53, 79, 61, 154, 154, 53, 53, 53, 53, 79, 53, 79, 154, 154, 154, 154, 92, 79, 53, 53, 53, 79, 79, 105, 105, 167, 53, 167, 154, 167, 167, 154, 154, 79, 123, 123, 123, 53, 53, 53, 61, 53, 198, 53, 53, 53, 53, 53, 53, 79, 198, 198, 198, 79, 79, 53, 53, 79, 53, 79, 92, 79, 79, 105, 105, 79, 105, 35, 35, 35, 35, 35, 53, 79, 198, 79, 198, 198, 198, 198, 141, 53, 79, 105, 105, 53, 53, 79, 79, 53, 61, 53, 53, 105, 105, 105, 198, 30, 53, 79, 79, 79, 79, 79, 79, 105, 53, 105, 79, 105, 105, 53, 53, 105, 79, 79, 79, 105, 105, 105, 105, 105, 136, 105, 136, 61, 61, 61, 92, 30, 105, 105, 105, 105, 105, 105, 105, 30, 198, 30, 79, 79, 79, 79, 79, 123, 79, 79, 79, 123, 123, 198, 198, 123, 79, 123, 79, 79, 79, 79, 198, 123, 123, 79, 79, 74, 74, 74, 198, 74, 123, 74, 154, 74, 74, 198, 198, 123, 154, 154, 154, 123, 123, 154, 154, 35, 74, 35, 154, 35, 35, 136, 136, 123, 154, 123, 123, 74, 74, 74, 198, 123, 198, 123, 198, 167, 167, 167, 136, 74, 123, 123, 123, 74, 74, 74, 74, 74, 74, 74, 198, 167, 167, 167, 167, 22, 167, 167, 167, 123, 123, 123, 198, 167, 74, 167, 79, 167, 167, 123, 123, 61, 167, 74, 74, 61, 61, 167, 167, 61, 74, 61, 159, 123, 123, 123, 167, 61, 123, 48, 48, 48, 48, 48, 167, 61, 74, 61, 74, 48, 48, 48, 74, 61, 48, 48, 48, 61, 61, 48, 48, 74, 105, 74, 74, 74, 74, 159, 159, 22, 61, 48, 48, 123, 123, 123, 74, 123, 136, 123, 123, 123, 123, 136, 136, 22, 74, 74, 74, 22, 22, 167, 167, 167, 167, 167, 167, 167, 167, 123, 123, 74, 211, 61, 61, 61, 61, 61, 167, 74, 48, 74, 167, 105, 105, 105, 105, 74, 74, 61, 61, 74, 74, 167, 167, 123, 167, 123, 180, 123, 123, 185, 185, 22, 136, 74, 74, 74, 74, 74, 74, 22, 167, 22, 74, 22, 22, 74, 74, 61, 61, 61, 61, 61, 61, 74, 74, 61, 74, 61, 123, 167, 167, 167, 167, 22, 74, 61, 61, 105, 105, 105, 167, 22, 74, 22, 61, 167, 167, 167, 167, 74, 74, 74, 74, 74, 74, 61, 61, 74, 74, 74, 74, 167, 167, 167, 79, 48, 136, 136, 136, 22, 22, 22, 79, 167, 136, 167, 74, 167, 167, 136, 136, 48, 167, 180, 180, 48, 48, 167, 167, 123, 22, 123, 61, 123, 123, 61, 61, 48, 61, 48, 48, 167, 167, 167, 123, 48, 105, 48, 123, 123, 123, 123, 105, 167, 48, 167, 167, 167, 167, 105, 105, 167, 74, 167, 105, 92, 92, 92, 92, 30, 48, 167, 167, 48, 48, 48, 167, 48, 167, 48, 48, 48, 48, 48, 48, 136, 48, 167, 167, 136, 136, 48, 48, 136, 198, 136, 198, 48, 48, 48, 167, 136, 48, 136, 136, 123, 123, 123, 123, 136, 167, 136, 48, 123, 123, 123, 123, 136, 123, 123, 123, 136, 136, 61, 61, 136, 123, 136, 154, 136, 136, 154, 154, 43, 48, 48, 48, 136, 136, 136, 128, 74, 167, 74, 136, 74, 74, 74, 74, 43, 74, 105, 105, 43, 43, 136, 136, 48, 105, 48, 105, 48, 48, 154, 154, 43, 74, 48, 48, 48, 48, 48, 79, 43, 79, 43, 79, 180, 180, 180, 180, 136, 43, 198, 198, 136, 136, 198, 198, 136, 74, 136, 198, 74, 74, 74, 105, 43, 167, 167, 167, 167, 167, 167, 149, 136, 273, 136, 136, 136, 136, 48, 48, 136, 105, 105, 105, 136, 136, 136, 136, 136, 167, 136, 198, 105, 105, 105, 154, 43, 105, 167, 167, 167, 167, 167, 123, 43, 149, 43, 167, 136, 136, 136, 105, 136, 136, 136, 136, 136, 136, 74, 74, 136, 74, 136, 74, 123, 123, 123, 105, 43, 48, 48, 48, 136, 136, 136, 136, 136, 48, 136, 48, 136, 136, 105, 105, 43, 48, 48, 48, 43, 43, 167, 167, 105, 105, 105, 48, 105, 105, 48, 48, 74, 136, 43, 43, 74, 74, 74, 105, 74, 198, 74, 48, 74, 74, 74, 105, 74, 74, 74, 74, 74, 74, 74, 74, 211, 198, 211, 198, 211, 211, 97, 97, 30, 61, 61, 61, 43, 43, 43, 97, 74, 61, 74, 61, 74, 74, 74, 74, 136, 74, 97, 97, 136, 136, 74, 74, 136, 74, 136, 211, 198, 198, 198, 74, 136, 136, 136, 136, 136, 136, 136, 167, 136, 61, 136, 123, 136, 136, 136, 97, 136, 167, 167, 167, 136, 136, 167, 167, 136, 123, 136, 136, 136, 136, 242, 242, 30, 136, 123, 123, 123, 123, 123, 74, 123, 74, 123, 123, 123, 123, 123, 123, 30, 242, 242, 242, 30, 30, 97, 97, 74, 136, 74, 97, 74, 74, 74, 74, 136, 136, 43, 43, 43, 43, 43, 97, 136, 74, 136, 123, 74, 74, 74, 167, 136, 136, 48, 48, 136, 136, 48, 48, 48, 167, 48, 48, 48, 48, 149, 149, 92, 48, 136, 136, 74, 74, 74, 136, 43, 48, 43, 74, 43, 43, 136, 136, 43, 136, 136, 136, 43, 43, 118, 118, 43, 118, 43, 123, 167, 167, 167, 118, 92, 48, 74, 74, 74, 74, 74, 167, 92, 74, 92, 273, 74, 74, 74, 118, 74, 74, 74, 74, 74, 74, 136, 136, 74, 74, 74, 74, 74, 74, 74, 149, 92, 74, 74, 74, 92, 92, 92, 74, 43, 74, 43, 74, 43, 43, 74, 74, 92, 43, 74, 74, 92, 92, 74, 74, 105, 105, 105, 74, 105, 105, 74, 74, 136, 74, 92, 92, 118, 118, 118, 74, 136, 118, 136, 118, 167, 167, 167, 211, 136, 136, 43, 43, 136, 136, 74, 74, 74, 74, 74, 74, 74, 74, 167, 167, 43, 211, 92, 92, 167, 167, 167, 167, 92, 167, 92, 167, 92, 92, 167, 167, 180, 92, 74, 74, 180, 180, 66, 66, 180, 66, 180, 66, 92, 92, 92, 66, 30, 167, 180, 180, 66, 66, 66, 92, 30, 167, 30, 180, 180, 180, 180, 66, 30, 167, 167, 167, 30, 30, 211, 211, 66, 136, 66, 66, 66, 66, 66, 66, 136, 92, 92, 92, 92, 92, 92, 66, 92, 211, 92, 92, 92, 92, 66, 66, 136, 92, 92, 92, 136, 136, 92, 92, 43, 48, 43, 118, 43, 43, 48, 48, 136, 92, 43, 43, 43, 43, 43, 48, 136, 154, 136, 92, 66, 66, 66, 118, 92, 136, 66, 66, 92, 92, 43, 43, 92, 118, 92, 43, 92, 92, 92, 242, 43, 92, 136, 136, 118, 118, 118, 118, 136, 105, 136, 118, 136, 136, 92, 92, 43, 118, 118, 118, 43, 43, 136, 136, 43, 74, 43, 149, 118, 118, 118, 118, 43, 118, 43, 43, 92, 92, 92, 211, 43, 118, 43, 92, 136, 136, 136, 92, 87, 136, 136, 136, 87, 87, 92, 92, 87, 92, 87, 92, 136, 136, 136, 242, 43, 87, 87, 87, 43, 43, 43, 87, 43, 87, 43, 211, 43, 43, 224, 224, 43, 136, 136, 136, 43, 43, 48, 48, 136, 136, 136, 167, 136, 136, 149, 149, 43, 167, 43, 43, 87, 87, 87, 48, 43, 87, 43, 136, 87, 87, 87, 87, 180, 43, 136, 136, 180, 180, 87, 87, 180, 87, 180, 87, 87, 87, 87, 87, 43, 43, 136, 136, 74, 74, 74, 136, 74, 211, 74, 180, 74, 74, 74, 74, 43, 74, 180, 180, 43, 43, 180, 180, 43, 180, 43, 211, 136, 136, 136, 172, 35, 74, 74, 74, 74, 74, 74, 61, 35, 61, 35, 74, 35, 35, 35, 74, 35, 35, 35, 35, 35, 35, 61, 61, 87, 74, 87, 87, 87, 87, 118, 118, 43, 35, 35, 35, 35, 35, 35, 74, 136, 136, 136, 35, 136, 136, 149, 149, 43, 136, 61, 61, 43, 43, 87, 87, 180, 180, 180, 92, 180, 180, 180, 180, 35, 180, 43, 43, 43, 43, 43, 242, 35, 74, 35, 74, 87, 87, 87, 180, 35, 35, 87, 87, 35, 35, 87, 87, 180, 87, 180, 74, 180, 180, 180, 180, 61, 136, 35, 35, 87, 87, 87, 35, 43, 87, 43, 87, 43, 43, 87, 87, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 74, 74, 74, 74, 198, 61, 74, 35, 35, 180, 180, 180, 136, 61, 87, 61, 87, 118, 118, 118, 118, 87, 43, 43, 43, 87, 87, 180, 180, 87, 87, 87, 87, 87, 87, 87, 167, 61, 87, 87, 87, 61, 61, 61, 87, 180, 180, 180, 43, 180, 180, 149, 149, 61, 180, 92, 92, 61, 61, 87, 87, 61, 61, 61, 149, 61, 61, 180, 180, 136, 242, 61, 61, 136, 136, 136, 35, 136, 74, 136, 74, 61, 61, 61, 136, 136, 136, 180, 180, 136, 136, 118, 118, 118, 136, 118, 61, 118, 118, 242, 242, 17, 180, 180, 180, 43, 43, 43, 180, 149, 180, 149, 43, 149, 149, 43, 43, 56, 149, 61, 61, 56, 56, 149, 149, 56, 61, 56, 118, 149, 149, 149, 180, 56, 180, 56, 56, 149, 149, 149, 61, 56, 180, 56, 61, 56, 56, 56, 211, 56, 136, 136, 136, 56, 56, 149, 149, 149, 149, 149, 149, 149, 149, 61, 61, 30, 149, 149, 149, 56, 56, 56, 74, 56, 74, 56, 56, 56, 56, 149, 149, 30, 56, 136, 136, 30, 30, 87, 87, 56, 87, 56, 141, 56, 56, 149, 149, 30, 87, 61, 61, 61, 61, 61, 87, 30, 56, 30, 149, 118, 118, 118, 87, 149, 30, 56, 56, 149, 149, 61, 61, 149, 61, 149, 61, 92, 92, 92, 92, 105, 193, 149, 149, 149, 149, 149, 211, 30, 136, 30, 211, 30, 30, 87, 87, 149, 87, 87, 87, 149, 149, 30, 30, 149, 180, 149, 180, 149, 149, 149, 118, 105, 149, 149, 149, 118, 118, 118, 162, 105, 61, 105, 149, 56, 56, 56, 149, 56, 56, 56, 56, 56, 56, 167, 167, 56, 180, 56, 180, 180, 180, 180, 136, 105, 149, 149, 149, 56, 56, 56, 149, 56, 56, 56, 149, 56, 56, 87, 87, 105, 149, 149, 149, 105, 105, 136, 136, 149, 149, 149, 61, 149, 149, 118, 118, 43, 149, 105, 105, 56, 56, 56, 61, 43, 118, 43, 180, 118, 118, 118, 61, 43, 43, 118, 118, 43, 43, 118, 118, 56, 61, 56, 162, 56, 56, 149, 149, 30, 87, 87, 87, 43, 43, 43, 61, 43, 87, 43, 87, 43, 43, 87, 87, 105, 43, 87, 87, 105, 105, 224, 224, 105, 224, 105, 87, 74, 74, 74, 74, 149, 87, 87, 87, 87, 87, 87, 74, 149, 74, 149, 87, 105, 105, 105, 87, 149, 149, 149, 149, 149, 149, 87, 87, 149, 224, 149, 149, 149, 149, 87, 87, 30, 149, 149, 149, 149, 149, 149, 180, 180, 149, 180, 149, 180, 180, 110, 110, 30, 180, 87, 87, 30, 30, 149, 149, 105, 149, 105, 149, 105, 105, 255, 255, 105, 149, 43, 43, 43, 43, 43, 136, 105, 136, 105, 136, 136, 136, 136, 136, 105, 105, 43, 43, 105, 105, 110, 110, 87, 149, 87, 149, 87, 87, 87, 87, 30, 149, 149, 149, 149, 149, 149, 149, 56, 56, 56, 87, 56, 56, 87, 87, 56, 105, 105, 105, 56, 56, 61, 61, 56, 61, 56, 61, 61, 61, 61, 255, 30, 162, 87, 87, 87, 87, 87, 149, 30, 87, 30, 149, 56, 56, 56, 56, 180, 56, 56, 56, 180, 180, 149, 149, 180, 56, 180, 131, 131, 131, 131, 87, 149, 180, 131, 131, 30, 30, 30, 61, 87, 87, 87, 105, 87, 87, 87, 87, 149, 87, 87, 87, 149, 149, 87, 87, 105, 105, 105, 87, 105, 105, 131, 131, 149, 87, 149, 149, 87, 87, 87, 162, 149, 87, 149, 87, 56, 56, 56, 92, 105, 149, 56, 56, 105, 105, 87, 87, 105, 56, 105, 87, 87, 87, 87, 87, 118, 118, 149, 149, 131, 131, 131, 87, 30, 149, 30, 131, 30, 30, 131, 131, 30, 30, 149, 149, 30, 30, 149, 149, 30, 149, 30, 118, 87, 87, 87, 56, 56, 87, 30, 30, 180, 180, 180, 87, 56, 87, 56, 30, 105, 105, 105, 224, 56, 105, 105, 105, 56, 56, 180, 180, 193, 180, 193, 193, 193, 193, 87, 87, 56, 43, 43, 43, 43, 43, 43, 193, 43, 105, 43, 43, 43, 43, 193, 193, 56, 79, 79, 79, 56, 56, 193, 193, 56, 193, 56, 87, 56, 56, 180, 180, 56, 43, 149, 149, 149, 149, 149, 43, 56, 79, 56, 79, 105, 105, 105, 79, 149, 56, 105, 105, 149, 149, 149, 149, 149, 105, 149, 105, 79, 79, 79, 79, 118, 105, 56, 56, 56, 56, 56, 56, 105, 61, 105, 56, 105, 105, 61, 61, 105, 56, 56, 56, 105, 105, 105, 105, 105, 149, 105, 131, 79, 79, 79, 131, 118, 149, 56, 56, 56, 56, 56, 131, 118, 131, 118, 105, 56, 56, 56, 105, 56, 149, 149, 149, 56, 56, 131, 131, 56, 149, 56, 118, 149, 149, 149, 79, 30, 56, 131, 131, 100, 100, 100, 56, 100, 56, 100, 56, 100, 100, 162, 162, 30, 56, 56, 56, 30, 30, 105, 105, 149, 100, 149, 224, 149, 149, 56, 56, 30, 105, 30, 30, 100, 100, 100, 149, 30, 224, 30, 105, 149, 149, 149, 193, 56, 30, 255, 255, 56, 56, 100, 100, 56, 56, 56, 100, 100, 100, 100, 149, 118, 56, 56, 56, 56, 56, 56, 149, 56, 149, 56, 61, 56, 56, 56, 56, 56, 56, 149, 149, 56, 56, 56, 56, 56, 56, 56, 149, 56, 56, 56, 61, 56, 100, 56, 56, 56, 56, 56, 100, 56, 56, 56, 193, 56, 56, 56, 100, 56, 56, 56, 56, 56, 56, 100, 100, 87, 56, 87, 87, 87, 87, 149, 149, 118, 56, 87, 87, 56, 56, 56, 100, 56, 56, 56, 56, 56, 56, 56, 56, 118, 193, 193, 193, 118, 118, 149, 149, 48, 56, 48, 87, 48, 48, 87, 87, 149, 74, 56, 56, 56, 56, 56, 255, 149, 48, 149, 48, 48, 48, 48, 48, 149, 149, 56, 56, 149, 149, 100, 100, 48, 100, 48, 131, 48, 48, 100, 100, 74, 48, 149, 149, 162, 162, 162, 149, 118, 100, 118, 162, 118, 118, 74, 74, 48, 193, 193, 193, 48, 48, 48, 48, 48, 48, 48, 193, 193, 193, 193, 193, 74, 56, 48, 48, 48, 48, 48, 87, 74, 237, 74, 100, 100, 100, 100, 48, 30, 30, 30, 30, 30, 30, 193, 193, 30, 193, 30, 193, 193, 193, 193, 74, 74, 100, 100, 100, 74, 74, 74, 48, 48, 56, 48, 48, 48, 48, 100, 100, 74, 48, 48, 48, 74, 74, 48, 48, 74, 74, 74, 48, 74, 74, 87, 87, 100, 48, 74, 74, 74, 74, 74, 193, 100, 149, 100, 100, 131, 131, 131, 131, 100, 100, 56, 56, 100, 100, 100, 100, 100, 193, 100, 100, 100, 100, 193, 193, 17, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 193, 193, 118, 74, 74, 74, 118, 118, 74, 74, 118, 100, 118, 105, 74, 74, 74, 100, 69, 193, 118, 118, 149, 149, 149, 74, 69, 193, 69, 149, 149, 149, 149, 87, 69, 149, 149, 149, 69, 69, 149, 149, 30, 149, 30, 131, 30, 30, 149, 149, 118, 30, 30, 30, 69, 69, 69, 193, 162, 193, 162, 69, 162, 162, 162, 162, 118, 162, 118, 118, 118, 118, 69, 69, 69, 69, 69, 193, 69, 69, 162, 162, 118, 69, 162, 162, 162, 162, 162, 131, 118, 193, 118, 69, 74, 74, 74, 162, 162, 118, 69, 69, 162, 162, 69, 69, 162, 193, 162, 149, 69, 69, 69, 154, 56, 162, 118, 118, 118, 118, 118, 74, 43, 193, 43, 162, 43, 43, 69, 69, 43, 69, 69, 69, 43, 43, 43, 43, 43, 43, 43, 69, 43, 43, 43, 87, 56, 100, 69, 69, 69, 69, 69, 154, 56, 193, 56, 43, 43, 43, 43, 74, 118, 131, 131, 131, 118, 118, 162, 162, 118, 131, 118, 100, 69, 69, 69, 74, 56, 162, 162, 162, 162, 162, 162, 162, 162, 118, 162, 118, 162, 162, 206, 206, 56, 162, 162, 162, 56, 56, 43, 43, 100, 162, 100, 43, 100, 100, 100, 100, 69, 100, 56, 56, 162, 162, 162, 193, 69, 162, 69, 175, 118, 118, 118, 180, 69, 69, 131, 131, 69, 69, 118, 118, 69, 118, 69, 162, 69, 69, 131, 131, 17, 69, 180, 180, 56, 56, 56, 180, 69, 193, 69, 193, 69, 69, 118, 118, 56, 69, 162, 162, 56, 56, 69, 69, 56, 69, 56, 131, 100, 100, 100, 69, 69, 56, 162, 162, 162, 162, 162, 118, 69, 149, 69, 162, 56, 56, 56, 162, 69, 69, 69, 69, 69, 69, 162, 162, 131, 74, 131, 56, 131, 131, 193, 193, 17, 69, 131, 131, 69, 69, 69, 74, 162, 131, 162, 69, 162, 162, 175, 175, 17, 162, ) def collatz_steps(n: int) -> int: steps = 0 while n != 1: n = n // 2 if n % 2 == 0 else 3 * n + 1 steps += 1 return steps if __name__ == "__main__": bad = [n for n, s in enumerate(STEPS, start=1) if collatz_steps(n) != s] longest = max(range(len(STEPS)), key=STEPS.__getitem__) + 1 print(f"{len(STEPS):,} entries checked, {len(bad)} wrong.") print(f"Longest: n = {longest:,} takes {STEPS[longest - 1]} steps.") # padding to reach the exact size: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx