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