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