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