[[Vecsmall([32, 78, 21, 36, 84, 30, 25, 44, 73, 34, 50, 95, 77, 91, 9, 99, 96, 93, 13, 98, 82, 97, 101, 67, 87, 68, 6, 106, 10, 113, 109, 107, 112, 117, 52, 111, 1, 115, 56, 65, 4, 104, 42, 75, 124, 66, 108, 47, 79, 80, 127, 116, 2, 85, 49, 120, 45, 5, 54, 51, 103, 105, 83, 89, 28, 31, 33, 38, 53, 8, 57, 58, 90, 11, 70, 60, 94, 69, 118, 74, 3, 81, 20, 72, 121, 7, 86, 18, 23, 15, 61, 22, 125, 19, 119, 62, 128, 63, 123, 12, 64, 16, 14, 122, 17, 40, 37, 126, 46, 35, 41, 24, 27, 39, 26, 110, 29, 55, 100, 114, 59, 43, 102, 71, 88, 48, 76, 92]), Vecsmall([115, 126, 127, 112, 122, 17, 124, 7, 5, 14, 3, 64, 2, 128, 58, 63, 125, 66, 53, 4, 76, 65, 1, 102, 71, 100, 105, 29, 103, 96, 27, 26, 99, 91, 80, 24, 38, 95, 75, 34, 33, 54, 59, 25, 56, 30, 49, 55, 94, 21, 52, 74, 108, 90, 77, 70, 39, 104, 73, 35, 22, 18, 111, 107, 117, 113, 16, 12, 47, 86, 114, 42, 84, 81, 87, 110, 78, 48, 19, 82, 51, 60, 41, 43, 15, 45, 57, 46, 37, 72, 92, 40, 31, 69, 89, 88, 28, 36, 83, 101, 32, 98, 97, 85, 93, 10, 68, 79, 6, 50, 67, 123, 62, 44, 119, 11, 61, 13, 23, 8, 9, 121, 20, 120, 109, 118, 116, 106]), Vecsmall([30, 44, 73, 34, 50, 32, 77, 78, 21, 36, 84, 93, 25, 98, 82, 97, 101, 95, 87, 91, 9, 99, 96, 106, 13, 109, 107, 67, 111, 1, 68, 6, 65, 4, 104, 10, 113, 66, 108, 112, 117, 52, 116, 2, 49, 115, 56, 120, 45, 5, 54, 42, 75, 51, 124, 47, 79, 80, 127, 85, 83, 89, 103, 105, 33, 38, 28, 31, 70, 69, 118, 74, 3, 72, 53, 121, 7, 8, 57, 58, 90, 15, 61, 11, 60, 94, 19, 119, 62, 81, 20, 123, 12, 86, 18, 23, 16, 14, 22, 125, 17, 128, 63, 35, 64, 24, 27, 39, 26, 122, 29, 40, 37, 126, 46, 43, 41, 71, 88, 48, 76, 110, 92, 55, 100, 114, 59, 102]), Vecsmall([75, 113, 67, 80, 117, 69, 68, 107, 65, 72, 111, 124, 66, 42, 40, 127, 47, 118, 46, 35, 33, 121, 39, 81, 38, 86, 78, 73, 84, 53, 77, 70, 21, 58, 20, 74, 44, 25, 23, 15, 50, 14, 103, 37, 100, 19, 17, 105, 125, 41, 102, 98, 30, 128, 93, 101, 119, 34, 97, 123, 122, 126, 116, 120, 9, 13, 3, 7, 6, 32, 95, 10, 28, 36, 1, 99, 31, 27, 88, 4, 24, 112, 110, 29, 92, 26, 115, 79, 114, 106, 104, 85, 55, 109, 71, 108, 59, 52, 76, 45, 56, 51, 43, 91, 48, 90, 8, 96, 94, 83, 11, 82, 2, 89, 87, 63, 5, 18, 57, 64, 22, 61, 60, 12, 49, 62, 16, 54]), Vecsmall([42, 67, 113, 47, 68, 82, 117, 61, 12, 87, 62, 9, 16, 75, 95, 13, 80, 116, 99, 49, 30, 120, 54, 78, 34, 84, 81, 45, 86, 21, 51, 43, 53, 25, 125, 48, 104, 58, 128, 71, 108, 1, 32, 91, 28, 76, 4, 36, 20, 96, 31, 93, 33, 23, 98, 97, 106, 38, 101, 109, 8, 11, 118, 121, 124, 127, 2, 5, 112, 103, 40, 115, 100, 105, 14, 46, 102, 24, 83, 17, 27, 6, 79, 26, 89, 29, 10, 110, 85, 119, 44, 114, 52, 123, 15, 50, 56, 55, 19, 73, 59, 77, 70, 37, 74, 57, 122, 41, 60, 88, 126, 69, 3, 92, 72, 18, 7, 63, 90, 22, 64, 107, 94, 65, 35, 111, 66, 39])], Vecsmall([4, 4, 2, 2, 2])]
