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