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